**Scribe: Puneet Arora, Ishan Vaishnavi
Lecture 16 by Prof. Pradeep Dubey**

We are given a group of women and a group of men and we are required to find a desirable matching among them, i.e. we have to form couples from among them. A few instances of this problem occuring in real life are mentioned below :

- A set of employees is to matched against a set of employers
- A class of students applying for internship is to be matched with a set of colleges

Let's illustrate this with an example. Assume there are 5 men labelled A, B, C, D, E and women labelled

The following assumptions are made

- A person is not indifferent to two people of the opposite sex i.e. he or she has a strict preference relation over any two people of the opposite sex.
- A person does not prefer staying alone over marriage i.e. he or she is willing to marry the worst person but not stay alone.

Let the preferences for men be given as follows.

A | : | |||||||||

B | : | |||||||||

C | : | |||||||||

D | : | |||||||||

E | : |

Let the preferences for women be as follows.

: | A | D | C | E | B | |||||

: | A | B | D | C | E | |||||

: | D | E | C | A | B | |||||

: | C | B | A | E | D | |||||

: | A | B | D | E | C |

For , A B implies prefers A over B, similarly A prefers to .

Consider the matching

``(A,) (B, ) (C, ) (D, ) (E, )''

Assuming that there is no dictatorship, i.e. there is no external factor that can force couples to stay together after getting matched. Therefore a pair can break their current marriage if both the partners prefer each other to their current partners. Formally: In the above example (A, ) can destabilise the matching as both of them rank each other higher than their currently matched partners i.e. A prefers to and similarly prefers A to her current match. So if free will is assumed then they will elope destabilising the above matchings.

Also note that the couple (A,) cannot destabilize this matching since prefers C to A and is matched to C in reality although A may want to match with but has no incentive of doing so.

So the desirable matching is the one where there is no pair consisting of a woman and a man who prefer each other to the partners with whom they are currently matched. Such a matching is called a *Stable Matching*.

The question now is that given any arbitary preferences does there always exist such a stable matching? D.Gale and L.Shapley proposed a method which gives a stable matching. The algorithm as we call it is the ``Man Proposal Procedure (MPP)``.

- From the moment any woman gets a proposal she will always have a man 'on hold'.
- This implies there is always a woman without any proposal as long as the process is continuing. Since if every woman has a proposal the matchings are made!
- This implies that there is a rejection every day as long as the procedure continues.
- The procedure is obviously finite and terminates in a maximum of days. This is shown as follows. There is at least one woman proposed on the last day. Except for her the rest will be matched in a maximum of n(n-1) days. Hence the bound.

*Note:The procedure can be framed as the Woman Proposing Procedure (WPP) as well, the man woman terminology is purely a matter of choice of society!!!*

A similar theorem can be formulated for WPP. A point here to note is that the matching obtained by WPP may be different from the one obtained by MPP.

Consider the following example. Let the preferences of men be :

A: | ... | |||

B: | ... | |||

C: | ... | |||

D: | ... |

Let the preferences of women be:

: | B | ... | A | |

: | C | ... | B | |

: | D | ... | C | |

: | A | ... | D |

In this case MPP results in the following matching:

(A,) (B, ) (C, ) (D, )

And WPP results in the following matching:

(,B) (,C) (,D) (,A)

**Remarks**

- We can see that multiple stable matchings may exist as both the matchings obtained by MPP and WPP are stable and different.
- In general more than two stable matchings can exist. In such cases there is no algorithm (other than brute force) to arrive at them at present .
- We can compare these stable matchings on the basis of which is preferable to the players. For instance at a closer look we see that if MPP is followed in the above example each man gets his best choice whereas the women are left with their worst choices and vice versa if WPP is followed.
- For further discussion we define poss(X) as the set of all women with whom X is paired in some stable matching i.e. set of women possible for him. Similarly poss sets can be defined for women.

Proof: Suppose a bad event occurs on day . Let reject A for B although belongs to poss(A) (call this event E1). There exists some stable matching (call it S1) where A and are matched. Now in this stable matching, assume that B is paired with . This implies that B prefers over since S1 is stable else B and would destabilise the matching since E1 implies that prefers B over A. This inturn implies that B proposed to and was rejected by her before proposing to . Which is a contradiction since is in poss B and we assumed no bad event occurred on days through .

What remains to be proven is that no bad event occured on the 1st day. Let reject A for B although belongs to poss(A) (call this event E0). There exists some stable matching (call it S0) where A and are matched. Assume that E0 occurs on day 1. So since S0 is stable B prefers over hence B will propose to only after being rejected by which is not possible on day 1.

A similar theorem can be formulated for WPP.

The above theorem suggests that there exists an inherent competition between men and women since men would prefer MPP and women would prefer WPP. However there is no competition among men since each men gets his best choice in his possible set, when MPP is followed.

Definition : A profile is in strong Nash-equilibrium if there is no subgroup that can deviate by changing strategies jointly in a manner that increases the payoff of all its members, given that nonmembers stick to their original choice.

- It has been shown that the above stable matchings belong to the category of strong Nash equilibrium if MPP or WPP is followed and hence there can be no incentive for a person to misrepresent his or her preferences.
- In case where people are allowed to be indifferent among various choices the above procedure (MPP or WPP) need not lead to a stable matching.

One can think of variations of this problem in different settings. Two major variations to this problem are

- students have to be alloted to n double seated rooms (i.e number of sexes is one). So here each student ranks all the other students. In this case the theorem does not hold.
- We have a set of colleges where students apply (i.e. A multiple number of parties from one side are paired with a single one from the second). Here all students are asked to rank colleges according to their preferences and similarly the colleges rank all students. In this case a stable matching exists. Further in general colleges will not misrepresent their preferences although students may do so. But student proposal procedure is a strong Nash equilibrium hence there is no incentive to do so. A point to note is that college proposal procedure is not a strong Nash equilibrium and hence colleges can get better students by misrepresenting. But as stated earlier in general colleges can be considered socially responsible organisations and will not misrepresent their preferences.

"If MPP and WPP result in the same stable matching then that is the only existing stable matching for the given problem."

Puneet Arora 2002-11-22