Optimization problems are trickier. Algorithms lean on powerful
theorems to know when they're done.
- girl-optimal stable marriage
- maximum bipartite matching
- maximum flow
- minimum spanning tree
Syntactic check, solve independently and compare.
MST?
Next: FINDING MINIMUM SPANNING TREES
Up: MINIMUM SPANNING TREES
Previous: Simple Verification