Professional Documents
Culture Documents
S TABLE M ATCHING
SECTION 1.1
Matching med-school students to hospitals
3
Stable matching problem: input
favorite
least favorite favorite least favorite
A. A–Y.
B. B–X.
C. B–Z.
7
Stable matching problem
10
1. S TABLE M ATCHING
SECTION 1.1
Gale–Shapley deferred acceptance algorithm
s rejects h.
12
Proof of correctness: termination
A V W X Y Z V B C D E A
B W X Y V Z W C D E A B
E A B C
C X Y V W Z X D
A B C D
D Y V W X Z Y E
B C D E
E V W X Y Z Z A
n(n-1) + 1 proposals
13
Proof of correctness: perfect matching
独 Case 2: h proposed to s.
s rejected h (either right away or later)
s prefers Gale–Shapley partner hʹ to h.
h – sʹ hʹ – s
h–s is not unstable.
students only trade up ⋮
Gale–Shapley matching M*
15
Summary
16
Stable matching: quiz 2
SECTION 1.1
Understanding the solution
11st 222
ndn 333
rdr 11st 222
ndn 333
rdr
A XX YY ZZ XX BB AA CC
X Y Z B A C
B YY XX ZZ YY AA BB CC
Y X Z A B C
C XX YY ZZ ZZ AA BB CC
X Y Z
an instance with two stable matchings: S = { A-X, B-Y, C-Z } and S′ = { A-Y, B-X, C-Z }
19
Understanding the solution
Def. Student s is a valid partner for hospital h if there exists any stable
matching in which h and s are matched.
Ex.
独 Both X and Y are valid partners for A.
独 Both X and Y are valid partners for B.
独 Z is the only valid partner for C.
A X Y Z X B A C
B Y X Z Y A B C
C X Y Z Z A B C
an instance with two stable matchings: S = { A-X, B-Y, C-Z } and S′ = { A-Y, B-X, C-Z }
20
Stable matching: quiz 3
6 stable matchings
A.
{ A–W, B–X, C–Y, D–Z }
Def. Student s is a valid partner for hospital h if there exists any stable
matching in which h and s are matched.
独 hʹ had not been rejected by any valid partner because this is the first
(including sʹ) at the point when h is rejected by s.
rejection by a valid partner
25
Stable matching: quiz 4
Suppose each agent knows the preference lists of every other agent before the hospital
propose-and-reject algorithm is executed.
Which is true?
26
1. S TABLE M ATCHING
SECTION 1.1
Extensions
The Redesign of the Matching Market for American Physicians: Some Engineering Aspects of Economic Design
By ALVIN E. ROTH AND ELLIOTT PERANSON*
arkets 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 surprising
30
2012 Nobel Prize in Economics
original applications:
college admissions
and opposite-sex
marriage
32
Questbridge national college match
33
A modern application
This article is an editorial note submitted to CCR. It has NOT been peer reviewed.
The authors take full responsibility for this article’s technical content. Comments can be posted through CCR Online.
Edge Server
elect paths through an overlay routing network, and elect leaders in various contexts. In each instance, we first explain the theory underlying the algorithms, then introduce practical considerations
Overlay Routing
not cap- tured by the theoretical models, and finally describe what is implemented in prac
Client
Origin
Content
Authoritative Name Server (Global and Local Load Balancing)
DNS
34