Boy Optimality

We say that (b,g) is a stable pair if there is some stable marriage in which b and g are matched. We say that g is a stable partner of b and vice versa.

The marriage returned by MATCH assigns every boy to his favorite stable partner! We therefore call this the boy-optimal match.

• Claim: At no point in the execution of MATCH does a girl reject a stable partner. This means that the first time a boy proposes to one of his stable partners, he gets to stay with her (and consequently marries his favorite stable partner).
• Let's assume that a stable pair is rejected. Let be the first such stable pair. Let be the boy that causes the breakup of and .
• Since is a stable pair, there is some stable marriage that includes it. In one such stable marriage, let be 's mate.
• But, a marriage that includes and can't be stable! Because rejected for , we know would rather be with . Because the breakup was the first, we know that prefers to any other stable partner (such as the hypothetical ).
• So, isn't a stable pair--a contradiction--and, therefore, no stable pair can be rejected.

This proves Theorem 7 (boy optimality), but it also implies Theorem 4: you get the same marriage independent of the order in which free boys propose.