In many of the problems we've looked at, once you find the answer,
it is easy to see that it is correct. What are the running times?
- sorting
- building a heap
- building a binary search tree
- finding a stable marriage
Next: Optimization Verification
Up: MINIMUM SPANNING TREES
Previous: Mathematical Abstraction