Escolar Documentos
Profissional Documentos
Cultura Documentos
R EPRESENTATIVE P ROBLEMS
stable matching
five representative problems
stable matching
five representative problems
SECTION 1.1
Matching med-school students to hospitals
3
Stable matching problem
Goal. Given a set of n men and a set of n women, find a "suitable" matching.
Participants rank members of opposite sex.
Each man lists women in order of preference from best to worst.
Each woman lists men in order of preference from best to worst.
Def. Given a perfect matching S, man m and woman w are unstable if:
m prefers w to his current partner.
w prefers m to her current partner.
Key point. An unstable pair mw could each improve partner by joint action.
Observation. Stable matchings need not exist for stable roommate problem.
8
Gale-Shapley deferred acceptance algorithm
w rejects m.
9
Proof of correctness: termination
1st 2nd 3rd 4th 5th 1st 2nd 3rd 4th 5th
Victor A B C D E Amy W X Y Z V
Wyatt B C D A E Bertha X Y Z V W
Xavier C D A B E Clare Y Z V W X
Yancey D A B C E Diane Z V W X Y
Zeus A B C D E Erika V W X Y Z
10
Proof of correctness: perfection
11
Proof of correctness: stability
12
Summary
Stable matching problem. Given n men and n women, and their preferences,
find a stable matching if one exists.
13
Efficient implementation
Men proposing.
For each man, maintain a list of women, ordered by preference.
For each man, maintain a pointer to woman in list for next proposal.
14
Efficient implementation (continued)
Women rejecting/accepting.
Does woman w prefer man m to man m' ?
For each woman, create inverse of preference list of men.
Constant time access for each query after O(n) preprocessing.
for i = 1 to n
inverse[pref[i]] = i
15
Understanding the solution
an instance with two stable matching: M = { A-X, B-Y, C-Z } and M' = { A-Y, B-X, C-Z }
16
Understanding the solution
Ex.
Both Amy and Bertha are valid partners for Xavier.
Both Amy and Bertha are valid partners for Yancey.
Clare is the only valid partner for Zeus.
an instance with two stable matching: M = { A-X, B-Y, C-Z } and M' = { A-Y, B-X, C-Z }
17
Understanding the solution
18
Man optimality
20
Deceit: Machiavelli meets Gale-Shapley
X A B C A Y X Z
Y B A C B X Y Z
Z A B C C X Y Z
Amy lies
A Y Z X
B X Y Z
C X Y Z
21
Extensions: matching residents to hospitals
resident A unwilling
Variant 2. Unequal number of men and women. to work in Cleveland
22
Historical context
We report on the design of the new clearinghouse adopted by the National Resident
Matching Program, which annually fills approximately 20,000 jobs for new physi-
cians. Because the market has complementarities between applicants and between
positions, the theory of simple matching markets does not apply directly. However,
computational experiments show the theory provides good approximations. Fur-
thermore, the set of stable matchings, and the opportunities for strategic manipu-
lation, are surprisingly small. A new kind of core convergence result explains
this; that each applicant interviews only a small fraction of available positions is
important. We also describe engineering aspects of the design process. (JEL C78,
B41, J44)
The entry-level labor market for new physi- employment, rather than waiting to participate 23
cians in the United States is organized via a in the larger market. (By the 1940s, contracts
centralized clearinghouse called the National were typically being signed two years in ad-
2012 Nobel Prize in Economics
24
Lessons learned
25
1. R EPRESENTATIVE P ROBLEMS
stable matching
five representative problems
SECTION 1.2
Interval scheduling
h
time
0 1 2 3 4 5 6 7 8 9 10 11
27
Weighted interval scheduling
Input. Set of jobs with start times, finish times, and weights.
Goal. Find maximum weight subset of mutually compatible jobs.
23
12
20
26
13
20
11
16
time
0 1 2 3 4 5 6 7 8 9 10 11
28
Bipartite matching
matching
29
Independent set
Problem. Given a graph G = (V, E), find a max cardinality independent set.
independent set
30
Competitive facility location
10 1 5 15 5 1 5 1 15 10
31
Five representative problems
32