Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An...
Transcript of Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An...
![Page 1: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/1.jpg)
Love & MathAn introduction to romantic optimization
Man is now seen to be an enigma only as an individual. In themass he is a mathematical problem.
-Robert Chambers
All you need is love. All you need is love. All you need is love.Love is all you need.
-The Beatles
![Page 2: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/2.jpg)
Problem 1Being too sexy
![Page 3: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/3.jpg)
In 1623, Johannes Kepler had a problem.
Kepler
He was too sexy.
![Page 4: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/4.jpg)
In 1623, Johannes Kepler had a problem.
Kepler
♥ Hiiii Johannes ♥
He was too sexy.
![Page 5: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/5.jpg)
Rules for dating• There are a fixed number of suitors.• He can go on a date with a suitor, after which he will know
how they compare to previous suitors.• After each date, he has to either marry or move on.
I If he marries, he can’t go on more dates.I If he moves on, he can’t go back.
Nothing but the best for JohannesHow can Kepler maximize his chance to marry the best suitor?
![Page 6: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/6.jpg)
Rules for dating• There are a fixed number of suitors.• He can go on a date with a suitor, after which he will know
how they compare to previous suitors.• After each date, he has to either marry or move on.
I If he marries, he can’t go on more dates.I If he moves on, he can’t go back.
Nothing but the best for JohannesHow can Kepler maximize his chance to marry the best suitor?
![Page 7: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/7.jpg)
After any given date, either the suitor is the best so far or not.
If they aren’t the best so far...They definitely aren’t the best. Keep looking!
If they are the best so far...
There is a k/n chance they are the best overall, if it’s the k thdate and there are n suitors.
So...how many dates should Kepler go on before settling down?
![Page 8: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/8.jpg)
The optimal strategy [Bruss, 1984]
Given n suitors, the optimal strategy is the following.• Automatically move on from the first dn/ee dates (∼ 37%).• Marry the next suitor who is the best so far.
The probability of marrying the best is at least 1/e ∼ 37%.
Historical footnoteSadly, Kepler’s dilemma predates this solution by 361 years,and Euler’s introduction of his constant by 111 years.Instead, Kepler went on 11 dates and then begged suitor #5 totake him back. They were very happy together.
![Page 9: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/9.jpg)
The optimal strategy [Bruss, 1984]
Given n suitors, the optimal strategy is the following.• Automatically move on from the first dn/ee dates (∼ 37%).• Marry the next suitor who is the best so far.
The probability of marrying the best is at least 1/e ∼ 37%.
Historical footnoteSadly, Kepler’s dilemma predates this solution by 361 years,and Euler’s introduction of his constant by 111 years.Instead, Kepler went on 11 dates and then begged suitor #5 totake him back. They were very happy together.
![Page 10: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/10.jpg)
Problem 2Making everyone happy(ish)
![Page 11: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/11.jpg)
Why are we being so selfish? Let’s try to make everyone happy!
The dating pool• There are equal populations of men and women.• Everyone is attracted to the opposite gender, and they can
rank their preferences.
How can everyone get married as happily as possible?
DisclaimerEveryone being attracted to the opposite gender is necessaryfor our specific solution to work, not a moral judgement.
![Page 12: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/12.jpg)
Why are we being so selfish? Let’s try to make everyone happy!
The dating pool• There are equal populations of men and women.• Everyone is attracted to the opposite gender, and they can
rank their preferences.
How can everyone get married as happily as possible?
DisclaimerEveryone being attracted to the opposite gender is necessaryfor our specific solution to work, not a moral judgement.
![Page 13: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/13.jpg)
...as happily as possible?Not everyone can get their first choice. What if everyone has acrush on Andrew?
A lesser goal is for everyone to be in a stable marriage.
Stable marriagesNo two people would rather be married to each other than totheir current partners.
So, even if Alice prefers Andrew to her husband Bob, it’s stableas long as Andrew doesn’t prefer Alice to his wife.
![Page 14: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/14.jpg)
The stable marriage algorithm (Gale-Sharpley, 1962)The algorithm takes place over rounds, in which engagementsget made and broken. During each round:
• Each unengaged man proposes to the woman they likebest who they haven’t yet proposed to.
• Each woman accepts the proposal from man she likesbest, possibly breaking her current engagement.
When everyone is engaged, have a big group wedding.
![Page 15: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/15.jpg)
Our dating pool and their preferences
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 16: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/16.jpg)
Round 1 proposals
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 17: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/17.jpg)
Round 1 engagements
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 18: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/18.jpg)
Round 2 proposals
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
?
?
?
![Page 19: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/19.jpg)
Round 2 engagements
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 20: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/20.jpg)
Round 3 proposals
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
?
?
?
![Page 21: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/21.jpg)
Round 3 engagements
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 22: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/22.jpg)
Round 4 proposals
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 23: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/23.jpg)
Round 4 engagements
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 24: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/24.jpg)
Happy(ish) ever after!
A
B
C
A
B
C
ACB
ABC
BAC
ACB
BAC
ABC
?
?
?
??
?
![Page 25: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/25.jpg)
Widely applicable beyond romanceThe stable marriage algorithm is widely used in schooladmissions, roommate assignments, content delivery networks,and many other resource allotment problems.
AsymmetryThere can be many stable marriage configurations. Thisalgorithm produces the one most favorable to the proposers.
What a coincidence that it resembles the system we have now.
![Page 26: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/26.jpg)
Problem 3Sharing a dessert
![Page 27: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/27.jpg)
Two paramours are sharing a delicious cake, when theystumble upon an apparent paradox.
1. Neither wants to be the personwho takes the last piece.
2. They don’t want leftover cake.
![Page 28: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/28.jpg)
Two paramours are sharing a delicious cake, when theystumble upon an apparent paradox.
1. Neither wants to be the personwho takes the last piece.
2. They don’t want leftover cake.
![Page 29: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/29.jpg)
Two paramours are sharing a delicious cake, when theystumble upon an apparent paradox.
1. Neither wants to be the personwho takes the last piece.
2. They don’t want leftover cake.
![Page 30: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/30.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.
I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 31: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/31.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.
I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 32: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/32.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.I The second person eats half of what’s left in 30 seconds.
I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 33: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/33.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.
I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 34: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/34.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 35: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/35.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 36: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/36.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 37: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/37.jpg)
100% practical solutionTake turns eating half of whats left twice as fast.
I The first person eats half the cake in, say, 60 seconds.I The second person eats half of what’s left in 30 seconds.I The first person eats half of what’s left in 15 seconds.I And so on.
Total cake eaten:
50%+ 25%+ 12.5%+ ... = 100%
Total time in which to eat it:
60 + 30 + 15 + ... = 120 seconds
Last bite: No one.
![Page 38: Love and Math - An introduction to romantic optimizationgmuller/Love and Math.pdf · Love&Math An introduction to romantic optimization Man is now seen to be an enigma only as an](https://reader036.fdocuments.us/reader036/viewer/2022062602/5ed7d6558e533201dc4ae922/html5/thumbnails/38.jpg)
♥ Thank you ♥
©imogenquest.net