How-To film · 57
A stable match with proof
Toggle one preference and watch the matching reorganize while stability, proposer optimality, and complete assignment remain certified.
Read transcript
- A stable match should keep its certificate.
- Bob prefers x, so Bob gets x and Alice gets y.
- Exact, stable, proposer-optimal, and complete.
- Now switch one ordinary input. Bob prefers y.
- The matching reorganizes. Alice gets x, and Bob gets y.
- Again the result is exact and certified, with nobody left unmatched.
- New preference. Same proof.
Make the same move
Go from watching to building.
The film shows one cause-and-effect path. These guides, models, and references let you inspect the whole thing.