Gale–Shapley Algorithm

computation

Definition

Gale-Shapely Algorithm

The Gale-Shapely algorithm is an algorithm for finding a solution to the stable matching problem.

Proofs

Proof of Termination

Proof of Conclusion

Proof of Stability