Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your...
Transcript of Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your...
![Page 1: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/1.jpg)
Math and Your Love Life
Annie Raymond
University of Washington
March 21, 2016
![Page 2: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/2.jpg)
The stable marriage problem
Disclaimer: The following problem is very heteronormative and generallysocially conservative in order to make the mathematics behind it easier.For this, I apologize.
Problem: Given n girls and n boys and lists of their preferences, find astable matching, i.e. we want everybody to be in a couple and we don’twant a boy and a girl in two couples that would mutually prefer to betogether.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 3: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/3.jpg)
The stable marriage problem
Disclaimer: The following problem is very heteronormative and generallysocially conservative in order to make the mathematics behind it easier.For this, I apologize.
Problem: Given n girls and n boys and lists of their preferences, find astable matching, i.e. we want everybody to be in a couple and we don’twant a boy and a girl in two couples that would mutually prefer to betogether.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 4: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/4.jpg)
The stable marriage problem
Disclaimer: The following problem is very heteronormative and generallysocially conservative in order to make the mathematics behind it easier.For this, I apologize.
Problem: Given n girls and n boys and lists of their preferences, find astable matching,
i.e. we want everybody to be in a couple and we don’twant a boy and a girl in two couples that would mutually prefer to betogether.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 5: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/5.jpg)
The stable marriage problem
Disclaimer: The following problem is very heteronormative and generallysocially conservative in order to make the mathematics behind it easier.For this, I apologize.
Problem: Given n girls and n boys and lists of their preferences, find astable matching, i.e. we want everybody to be in a couple and we don’twant a boy and a girl in two couples that would mutually prefer to betogether.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 6: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/6.jpg)
The stable marriage problemDisclaimer: The following problem is very heteronormative and generallysocially conservative in order to make the mathematics behind it easier.For this, I apologize.
Problem: Given n girls and n boys and lists of their preferences, find astable matching, i.e. we want everybody to be in a couple and we don’twant a boy and a girl in two couples that would mutually prefer to betogether.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 7: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/7.jpg)
The stable marriage problemDisclaimer: The following problem is very heteronormative and generallysocially conservative in order to make the mathematics behind it easier.For this, I apologize.
Problem: Given n girls and n boys and lists of their preferences, find astable matching, i.e. we want everybody to be in a couple and we don’twant a boy and a girl in two couples that would mutually prefer to betogether.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 8: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/8.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 9: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/9.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 10: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/10.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 11: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/11.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 12: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/12.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 13: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/13.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 14: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/14.jpg)
Graph and matching
Definition
We call a set of points, called vertices, and lines between those points,called edges, a graph.
Definition
A subset of the edges of a graph such that each vertex is adjacent to atmost one edge is called a matching.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15
![Page 15: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/15.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 16: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/16.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 17: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/17.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 18: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/18.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 19: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/19.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 20: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/20.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 21: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/21.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 22: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/22.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 23: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/23.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 24: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/24.jpg)
Bipartite graph and matching
Definition
A bipartite graph on vertex sets V1 and V2 is a graph for which no edge isgoing from a vertex in V1 to another vertex in V1 or from a vertex in V2 toa vertex in V2, i.e. any edge is going from a vertex in V1 to a vertex in V2.
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 3 / 15
![Page 25: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/25.jpg)
Definition of a stable matching
Definition
A matching in a bipartite graph with n boys on one side and n girls on theother side is said to be stable if there doesn’t exist a girl X who wouldrather be with Y than with her boyfriend and if boy Y would also ratherbe with X than with his girlfriend.
Lists of preferences
Alice Bobinette Carol David Ernest Francis
1. Francis 1. David 1. Francis 1. Carol 1. Alice 1. Carol
2. David 2. Ernest 2. Ernest 2. Alice 2. Bobinette 2. Bobinette
3. Ernest 3. Francis 3. David 3. Bobinette 3. Carol 3. Alice
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 4 / 15
![Page 26: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/26.jpg)
Definition of a stable matching
Definition
A matching in a bipartite graph with n boys on one side and n girls on theother side is said to be stable if there doesn’t exist a girl X who wouldrather be with Y than with her boyfriend and if boy Y would also ratherbe with X than with his girlfriend.
Lists of preferences
Alice Bobinette Carol David Ernest Francis
1. Francis 1. David 1. Francis 1. Carol 1. Alice 1. Carol
2. David 2. Ernest 2. Ernest 2. Alice 2. Bobinette 2. Bobinette
3. Ernest 3. Francis 3. David 3. Bobinette 3. Carol 3. Alice
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 4 / 15
![Page 27: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/27.jpg)
Definition of a stable matching
Definition
A matching in a bipartite graph with n boys on one side and n girls on theother side is said to be stable if there doesn’t exist a girl X who wouldrather be with Y than with her boyfriend and if boy Y would also ratherbe with X than with his girlfriend.
Lists of preferences
Alice Bobinette Carol David Ernest Francis
1. Francis 1. David 1. Francis 1. Carol 1. Alice 1. Carol
2. David 2. Ernest 2. Ernest 2. Alice 2. Bobinette 2. Bobinette
3. Ernest 3. Francis 3. David 3. Bobinette 3. Carol 3. Alice
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 4 / 15
![Page 28: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/28.jpg)
Definition of a stable matching
Definition
A matching in a bipartite graph with n boys on one side and n girls on theother side is said to be stable if there doesn’t exist a girl X who wouldrather be with Y than with her boyfriend and if boy Y would also ratherbe with X than with his girlfriend.
Lists of preferences
Alice Bobinette Carol David Ernest Francis
1. Francis 1. David 1. Francis 1. Carol 1. Alice 1. Carol
2. David 2. Ernest 2. Ernest 2. Alice 2. Bobinette 2. Bobinette
3. Ernest 3. Francis 3. David 3. Bobinette 3. Carol 3. Alice
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 4 / 15
![Page 29: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/29.jpg)
Definition of a stable matching
Definition
A matching in a bipartite graph with n boys on one side and n girls on theother side is said to be stable if there doesn’t exist a girl X who wouldrather be with Y than with her boyfriend and if boy Y would also ratherbe with X than with his girlfriend.
Lists of preferences
Alice Bobinette Carol David Ernest Francis
1. Francis 1. David 1. Francis 1. Carol 1. Alice 1. Carol
2. David 2. Ernest 2. Ernest 2. Alice 2. Bobinette 2. Bobinette
3. Ernest 3. Francis 3. David 3. Bobinette 3. Carol 3. Alice
Alice
Bobinette
Carol
David
Ernest
Francis
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 4 / 15
![Page 30: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/30.jpg)
Question: Does there always exists a stable matching no matterwhat n is and what the lists of preferences are?
Answer: YES! There exists an algorithm to find a stable matching. Thisalgorithm was first described by Gale and Shapley in 1962.It’s assumed that
1 the number of girls is equal to the number of boys and everyone isheterosexual
2 each person has ranked all the members of the opposite sex in orderof preference
3 everybody would rather be in a relationship with their worst choicethan to be alone
We will now reenact the algorithm.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 5 / 15
![Page 31: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/31.jpg)
Question: Does there always exists a stable matching no matterwhat n is and what the lists of preferences are?Answer: YES! There exists an algorithm to find a stable matching. Thisalgorithm was first described by Gale and Shapley in 1962.
It’s assumed that
1 the number of girls is equal to the number of boys and everyone isheterosexual
2 each person has ranked all the members of the opposite sex in orderof preference
3 everybody would rather be in a relationship with their worst choicethan to be alone
We will now reenact the algorithm.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 5 / 15
![Page 32: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/32.jpg)
Question: Does there always exists a stable matching no matterwhat n is and what the lists of preferences are?Answer: YES! There exists an algorithm to find a stable matching. Thisalgorithm was first described by Gale and Shapley in 1962.It’s assumed that
1 the number of girls is equal to the number of boys and everyone isheterosexual
2 each person has ranked all the members of the opposite sex in orderof preference
3 everybody would rather be in a relationship with their worst choicethan to be alone
We will now reenact the algorithm.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 5 / 15
![Page 33: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/33.jpg)
Question: Does there always exists a stable matching no matterwhat n is and what the lists of preferences are?Answer: YES! There exists an algorithm to find a stable matching. Thisalgorithm was first described by Gale and Shapley in 1962.It’s assumed that
1 the number of girls is equal to the number of boys and everyone isheterosexual
2 each person has ranked all the members of the opposite sex in orderof preference
3 everybody would rather be in a relationship with their worst choicethan to be alone
We will now reenact the algorithm.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 5 / 15
![Page 34: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/34.jpg)
Question: Does there always exists a stable matching no matterwhat n is and what the lists of preferences are?Answer: YES! There exists an algorithm to find a stable matching. Thisalgorithm was first described by Gale and Shapley in 1962.It’s assumed that
1 the number of girls is equal to the number of boys and everyone isheterosexual
2 each person has ranked all the members of the opposite sex in orderof preference
3 everybody would rather be in a relationship with their worst choicethan to be alone
We will now reenact the algorithm.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 5 / 15
![Page 35: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/35.jpg)
Question: Does there always exists a stable matching no matterwhat n is and what the lists of preferences are?Answer: YES! There exists an algorithm to find a stable matching. Thisalgorithm was first described by Gale and Shapley in 1962.It’s assumed that
1 the number of girls is equal to the number of boys and everyone isheterosexual
2 each person has ranked all the members of the opposite sex in orderof preference
3 everybody would rather be in a relationship with their worst choicethan to be alone
We will now reenact the algorithm.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 5 / 15
![Page 36: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/36.jpg)
The stable marriage algorithm
While there exists a boy who is not in a relationship:
1 every boy who is not in a relationship asks out the girl who he rankshighest and who hasn’t rejected him yet
2 every girl who has more than one boy who wants to be with herrejects all of them but the one she ranks highest among them
3 every rejected boy is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 6 / 15
![Page 37: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/37.jpg)
The stable marriage algorithm
While there exists a boy who is not in a relationship:
1 every boy who is not in a relationship asks out the girl who he rankshighest and who hasn’t rejected him yet
2 every girl who has more than one boy who wants to be with herrejects all of them but the one she ranks highest among them
3 every rejected boy is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 6 / 15
![Page 38: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/38.jpg)
The stable marriage algorithm
While there exists a boy who is not in a relationship:
1 every boy who is not in a relationship asks out the girl who he rankshighest and who hasn’t rejected him yet
2 every girl who has more than one boy who wants to be with herrejects all of them but the one she ranks highest among them
3 every rejected boy is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 6 / 15
![Page 39: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/39.jpg)
The stable marriage algorithm
While there exists a boy who is not in a relationship:
1 every boy who is not in a relationship asks out the girl who he rankshighest and who hasn’t rejected him yet
2 every girl who has more than one boy who wants to be with herrejects all of them but the one she ranks highest among them
3 every rejected boy is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 6 / 15
![Page 40: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/40.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 41: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/41.jpg)
Analysis of the algorithm
At the end, everybody has a partner.
I As long as there is a girl who hasn’t been asked out, there will berejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 42: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/42.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 43: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/43.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 44: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/44.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 45: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/45.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.
Suppose not.I Then there exists a boy and a girl, say Ron and Hermione, who are not
together and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 46: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/46.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 47: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/47.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 48: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/48.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 49: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/49.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 50: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/50.jpg)
Analysis of the algorithm
At the end, everybody has a partner.I As long as there is a girl who hasn’t been asked out, there will be
rejections and new asking out since n boys are fighting for at mostn − 1 girls.
I No boy can ask out the same girl more than once.
⇒ Every girl eventually gets asked out, and the algorithm ends.
This set of couples is stable.Suppose not.
I Then there exists a boy and a girl, say Ron and Hermione, who are nottogether and who would prefer to be together than with theirrespective partners, say Lavender and Krum.
I Then Ron must have asked out Hermione before asking out Lavendersince Hermione ranks higher than Lavender on his list.
I Thus Hermione must have rejected him because she preferred to bewith some other boy (Krum or someone else that she ranked lower thanKrum but higher than Ron).
⇒ Thus Hermione cannot prefer Ron to Krum and the set of couplesis stable.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 7 / 15
![Page 51: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/51.jpg)
Switching up the algorithm
Observation: The algorithm is not symmetric for girls and boys.
What happens if the roles of the girls and boys are switched?
While there exists a girl who is not in a relationship:
1 every girl who is not in a relationship asks out the boy she rankshighest and who hasn’t rejected her yet
2 every boy who has more than one girl who wants to be with himrejects all of them but the one he ranks highest among them
3 every rejected girl is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 8 / 15
![Page 52: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/52.jpg)
Switching up the algorithm
Observation: The algorithm is not symmetric for girls and boys.
What happens if the roles of the girls and boys are switched?
While there exists a girl who is not in a relationship:
1 every girl who is not in a relationship asks out the boy she rankshighest and who hasn’t rejected her yet
2 every boy who has more than one girl who wants to be with himrejects all of them but the one he ranks highest among them
3 every rejected girl is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 8 / 15
![Page 53: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/53.jpg)
Switching up the algorithm
Observation: The algorithm is not symmetric for girls and boys.
What happens if the roles of the girls and boys are switched?
While there exists a girl who is not in a relationship:
1 every girl who is not in a relationship asks out the boy she rankshighest and who hasn’t rejected her yet
2 every boy who has more than one girl who wants to be with himrejects all of them but the one he ranks highest among them
3 every rejected girl is now not in a relationship
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 8 / 15
![Page 54: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/54.jpg)
Best- and worst-stable
Definition
Consider all possible stable matchings. Look at the set SX of the ranks ofthe persons that X gets paired with in the different stable matchings; theperson that X rates highest in SX is called his or her best-stable partnerand the person that X rates lowest in Sx is called his or her worst-stablepartner.
Proposition
In the algorithm, the members of the gender doing the ’asking out’ gettheir best-stable partner, and the members of the other gender get theirworst-stable partner.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 9 / 15
![Page 55: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/55.jpg)
Best- and worst-stable
Definition
Consider all possible stable matchings. Look at the set SX of the ranks ofthe persons that X gets paired with in the different stable matchings; theperson that X rates highest in SX is called his or her best-stable partnerand the person that X rates lowest in Sx is called his or her worst-stablepartner.
Proposition
In the algorithm, the members of the gender doing the ’asking out’ gettheir best-stable partner, and the members of the other gender get theirworst-stable partner.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 9 / 15
![Page 56: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/56.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 57: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/57.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}
, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 58: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/58.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}
, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 59: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/59.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}
, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 60: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/60.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}
, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 61: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/61.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}
, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 62: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/62.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7},
SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 63: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/63.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6},
SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 64: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/64.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 65: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/65.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}
, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 66: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/66.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}
, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 67: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/67.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}
, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 68: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/68.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}
, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 69: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/69.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}
, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 70: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/70.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}
, SO = {3, 4}, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 71: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/71.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}
, SP = {2, 6}
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 72: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/72.jpg)
Our example1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
3 Carol
1 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 4
Jack 1
Kevin 2
Leo 1
Matt 3
Ned 1
Oli 3
Peter 2
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
2 Farah
1 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 7
Oli 4
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
2 Gia
4 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 6
Oli 3
Peter 6
1 Alice
2 Bea
4 Carol
8 Diane
3 Emily
7 Farah
6 Gia
7 Helen
Ivan 3
Jack 1
Kevin 2
Leo 1
Matt 2
Ned 1
Oli 3
Peter 2
SA = {1}, SB = {2}, SC = {3, 4}, SD = {1, 8}, SE = {3}, SF = {2, 7}, SG = {1, 2, 6}, SH = {4, 7}
SI = {3, 4}, SJ = {1}, SK = {2}, SL = {1}, SM = {2, 3}, SN = {1, 6, 7}, SO = {3, 4}, SP = {2, 6}Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 10 / 15
![Page 73: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/73.jpg)
Boys get their best-stable girlfriend
Proposition
In the algorithm where boys ask girls out, each boy gets his best-stablegirlfriend.
Proof.
Suppose not: suppose that some boy is rejected by his best-stablegirlfriend in the algorithm.
Let i be the earliest round in which a boy, say Ron, gets rejected byhis best-stable girlfriend, say Hermione
Hermione rejected Ron because she preferred some other man, sayKrum
Krum hasn’t been rejected by his best-stable girl (by the definition ofi)
⇒ either Hermione is the best-stable woman of Krum or she is better thanhis best-stable woman.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 11 / 15
![Page 74: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/74.jpg)
Boys get their best-stable girlfriend
Proposition
In the algorithm where boys ask girls out, each boy gets his best-stablegirlfriend.
Proof.
Suppose not: suppose that some boy is rejected by his best-stablegirlfriend in the algorithm.
Let i be the earliest round in which a boy, say Ron, gets rejected byhis best-stable girlfriend, say Hermione
Hermione rejected Ron because she preferred some other man, sayKrum
Krum hasn’t been rejected by his best-stable girl (by the definition ofi)
⇒ either Hermione is the best-stable woman of Krum or she is better thanhis best-stable woman.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 11 / 15
![Page 75: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/75.jpg)
Boys get their best-stable girlfriend
Proposition
In the algorithm where boys ask girls out, each boy gets his best-stablegirlfriend.
Proof.
Suppose not: suppose that some boy is rejected by his best-stablegirlfriend in the algorithm.
Let i be the earliest round in which a boy, say Ron, gets rejected byhis best-stable girlfriend, say Hermione
Hermione rejected Ron because she preferred some other man, sayKrum
Krum hasn’t been rejected by his best-stable girl (by the definition ofi)
⇒ either Hermione is the best-stable woman of Krum or she is better thanhis best-stable woman.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 11 / 15
![Page 76: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/76.jpg)
Boys get their best-stable girlfriend
Proposition
In the algorithm where boys ask girls out, each boy gets his best-stablegirlfriend.
Proof.
Suppose not: suppose that some boy is rejected by his best-stablegirlfriend in the algorithm.
Let i be the earliest round in which a boy, say Ron, gets rejected byhis best-stable girlfriend, say Hermione
Hermione rejected Ron because she preferred some other man, sayKrum
Krum hasn’t been rejected by his best-stable girl (by the definition ofi)
⇒ either Hermione is the best-stable woman of Krum or she is better thanhis best-stable woman.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 11 / 15
![Page 77: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/77.jpg)
Boys get their best-stable girlfriend
Proposition
In the algorithm where boys ask girls out, each boy gets his best-stablegirlfriend.
Proof.
Suppose not: suppose that some boy is rejected by his best-stablegirlfriend in the algorithm.
Let i be the earliest round in which a boy, say Ron, gets rejected byhis best-stable girlfriend, say Hermione
Hermione rejected Ron because she preferred some other man, sayKrum
Krum hasn’t been rejected by his best-stable girl (by the definition ofi)
⇒ either Hermione is the best-stable woman of Krum or she is better thanhis best-stable woman.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 11 / 15
![Page 78: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/78.jpg)
Boys get their best-stable girlfriend (continued)
Proof continued.
Ron gets rejected by Hermione because she prefers Krum, who likes her atleast as much as his best-stable girlfriend.
We now show that any matching M where Ron and Hermione are togetheris not stable, a contradiction to the fact that Hermione is Ron’sbest-stable girlfriend:
Krum ranks Hermione higher than his girlfriend in M, since Hermioneis at least as good as his best-stable girlfriend.
Hermione ranks Krum higher than Ron since she rejects Ron for himin the algorithm.
We reached a contradiction, and so our first assumption that some boy isrejected by his best-stable girlfriend in the algorithm is wrong ⇒ every boyin the algorithm gets matched to his best-stable girlfriend.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 12 / 15
![Page 79: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/79.jpg)
Boys get their best-stable girlfriend (continued)
Proof continued.
Ron gets rejected by Hermione because she prefers Krum, who likes her atleast as much as his best-stable girlfriend.
We now show that any matching M where Ron and Hermione are togetheris not stable, a contradiction to the fact that Hermione is Ron’sbest-stable girlfriend:
Krum ranks Hermione higher than his girlfriend in M, since Hermioneis at least as good as his best-stable girlfriend.
Hermione ranks Krum higher than Ron since she rejects Ron for himin the algorithm.
We reached a contradiction, and so our first assumption that some boy isrejected by his best-stable girlfriend in the algorithm is wrong ⇒ every boyin the algorithm gets matched to his best-stable girlfriend.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 12 / 15
![Page 80: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/80.jpg)
Boys get their best-stable girlfriend (continued)
Proof continued.
Ron gets rejected by Hermione because she prefers Krum, who likes her atleast as much as his best-stable girlfriend.
We now show that any matching M where Ron and Hermione are togetheris not stable, a contradiction to the fact that Hermione is Ron’sbest-stable girlfriend:
Krum ranks Hermione higher than his girlfriend in M, since Hermioneis at least as good as his best-stable girlfriend.
Hermione ranks Krum higher than Ron since she rejects Ron for himin the algorithm.
We reached a contradiction, and so our first assumption that some boy isrejected by his best-stable girlfriend in the algorithm is wrong ⇒ every boyin the algorithm gets matched to his best-stable girlfriend.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 12 / 15
![Page 81: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/81.jpg)
Boys get their best-stable girlfriend (continued)
Proof continued.
Ron gets rejected by Hermione because she prefers Krum, who likes her atleast as much as his best-stable girlfriend.
We now show that any matching M where Ron and Hermione are togetheris not stable, a contradiction to the fact that Hermione is Ron’sbest-stable girlfriend:
Krum ranks Hermione higher than his girlfriend in M, since Hermioneis at least as good as his best-stable girlfriend.
Hermione ranks Krum higher than Ron since she rejects Ron for himin the algorithm.
We reached a contradiction, and so our first assumption that some boy isrejected by his best-stable girlfriend in the algorithm is wrong ⇒ every boyin the algorithm gets matched to his best-stable girlfriend.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 12 / 15
![Page 82: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/82.jpg)
Boys get their best-stable girlfriend (continued)
Proof continued.
Ron gets rejected by Hermione because she prefers Krum, who likes her atleast as much as his best-stable girlfriend.
We now show that any matching M where Ron and Hermione are togetheris not stable, a contradiction to the fact that Hermione is Ron’sbest-stable girlfriend:
Krum ranks Hermione higher than his girlfriend in M, since Hermioneis at least as good as his best-stable girlfriend.
Hermione ranks Krum higher than Ron since she rejects Ron for himin the algorithm.
We reached a contradiction, and so our first assumption that some boy isrejected by his best-stable girlfriend in the algorithm is wrong
⇒ every boyin the algorithm gets matched to his best-stable girlfriend.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 12 / 15
![Page 83: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/83.jpg)
Boys get their best-stable girlfriend (continued)
Proof continued.
Ron gets rejected by Hermione because she prefers Krum, who likes her atleast as much as his best-stable girlfriend.
We now show that any matching M where Ron and Hermione are togetheris not stable, a contradiction to the fact that Hermione is Ron’sbest-stable girlfriend:
Krum ranks Hermione higher than his girlfriend in M, since Hermioneis at least as good as his best-stable girlfriend.
Hermione ranks Krum higher than Ron since she rejects Ron for himin the algorithm.
We reached a contradiction, and so our first assumption that some boy isrejected by his best-stable girlfriend in the algorithm is wrong ⇒ every boyin the algorithm gets matched to his best-stable girlfriend.
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 12 / 15
![Page 84: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/84.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction ⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 85: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/85.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction ⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 86: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/86.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction ⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 87: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/87.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction ⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 88: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/88.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction
⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 89: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/89.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction ⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 90: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/90.jpg)
Girls get their worst-stable boyfriend
Proposition
In the algorithm where boys ask girls out, each girl gets her worst-stableboyfriend.
Proof.
Suppose there exists a stable matching M where some girl, sayHermione, gets a worse boy, say Krum, than in the algorithm, sayRon.
We know Hermione likes Ron better than Krum by assumption.
Ron likes Hermione better than his girlfriend in M since the algorithmgives him his best-stable girlfriend.
M is not stable, a contradiction ⇒ every girl gets her worst-stableboyfriend in the algorithm
Conclusion: Girls should ask boys out!Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 13 / 15
![Page 91: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/91.jpg)
Variants of the problem
Not same number of people on both sides
⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 92: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/92.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 93: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/93.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences
⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 94: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/94.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 95: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/95.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences
⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 96: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/96.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 97: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/97.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences
⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 98: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/98.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 99: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/99.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)
⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 100: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/100.jpg)
Variants of the problem
Not same number of people on both sides⇒ Easy, application to hospitals
Not always strict preferences⇒ Easy
Not complete list of preferences⇒ Easy
Not always strict preferences and not complete lists of preferences⇒ hard, 2-approximation
Gay/lesbian/bisexual stable marriage problem (like stable roommateproblem)⇒ no guarantee of finding a stable matching!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 14 / 15
![Page 101: Math and Your Love Liferaymond/mathday2016.pdfAnnie Raymond (University of Washington) Math and Your Love Life March 21, 2016 2 / 15. The stable marriage problem Disclaimer: The following](https://reader034.fdocuments.in/reader034/viewer/2022042402/5f10ec631c61580a69447293/html5/thumbnails/101.jpg)
Thank you!
Annie Raymond (University of Washington) Math and Your Love Life March 21, 2016 15 / 15