A Note on the Stable Marriage Problem

Since the pioneering work of Gale and Shapley, the stable marriage problem has received wide treatment by researchers due to its elegance and applicability. The original problem has been generalized and well studied from different angles, and many algorithms have been proposed for the solution of many variants of the traditional formulation. This short note tries to shed some more light on the original algorithm by providing a more direct proof of its correctness.