Вы находитесь на странице: 1из 89

2012

Alvin E. Roth by Bengt Nyman / CC BY 2.0

Lloyd Shapley by Bengt Nyman / CC BY 2.0

2 / 74

.
. :

.
, ?

3 / 74


Gale, D., & Shapley, L. S. (1962).
College admissions and the stability of marriage. American Mathematical Monthly,
69(1), 915.

(one-to-one matching)
;

(many-to-one matching).

4 / 74

5 / 74

A. (x, y), x, y A.
, (x, y) , x y, x y1 .

6 / 74

. A = {, , }.

, , :
1 = { , }

:
2 = { , , }

7 / 74


, A, , a, b A a b
b a.
. A = {, , }.

1 = { , }
.

2 = { , , }
.

8 / 74


, A, ,
a, b, c A, , a b b c,
a c.
. A = {, , }.

1 = { , }
.

2 = { , , }
.

9 / 74

10 / 74

M = {m1 , ..., mk }, k 1, .

W = {w1 , ..., wl }, l 1, .

11 / 74

w M {w}
( ).
: P(w).

m W {m}
( ).
: P(m).

12 / 74


, . ,
.
. k = 3, l = 3. :
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

13 / 74

, :

, ;

, .

w (w), m (m).

14 / 74

1
. 1 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

1 :

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w3 w1

1 :

15 / 74

1
. 1 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

1 :

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w3 w1

1 :

, : w3 ( ) .

15 / 74

, :

m (m) m;

w (w) w.

1 .

16 / 74

2
. 2 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

2 :

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w1 w3

2 :

17 / 74

2
. 2 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

2 :

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w1 w3

2 :

, : m3 ( ) w1 ( ) .

17 / 74

, m w, :

m w (m);

w m (w).

2 .

18 / 74

3
. 3 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

3 :

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w1 w3

3 :

19 / 74

3
. 3 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

3 :

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w1 w3

3 :

, - - .

19 / 74

, :

3 .

20 / 74


, 3 .
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

3 :

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w1 w3

3 :

, .

21 / 74


P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 ( ) w2 ( ):
.
m1 ( ) w2 ( ) . ,
, .

21 / 74

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

w1 ( ) m3 ( ):
.
w1 ( ) m3 ( ) .

21 / 74

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m2 ( ) w3 ( ).
w3 ( ) m2 ( ) , , , ,
, . .

21 / 74


3 :
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

3 :

w2
w1
w1
m3
m1
m3

w3 w1 m1
w3 w2 m2
w2 w3 m3
m2 m1 w1
m3 m2 w2
w3 m2 m1

m1 m2 m3
w2 w1 w3

3 :

, .

22 / 74


. :
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w3
w2
w3
m2
m3
m2

w2 w1 m1
w3 w1 m2
w2 w1 m3
m3 m1 w1
m2 m1 w2
m3 m1 w3

:
1 :

m1 m2 m3
w1 w2 w3

1 :

2 :

m1 m2 m3
w1 w3 w2

2 :

23 / 74

?
! ,
.
Deferred Acceptance Algorithm ( ).

24 / 74

Deferred Acceptance Algorithm (DAA)


1. , , , .
2. , :

( );
, ,
.

.
3. , ,
1. , .

25 / 74

DAA:

m1 ( ) m3 ( ) w3 ( ), m2 ( )
w2 ( ).

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w3
w2
w3
m2
m3
m2

w2 w1 m1
w3 w1 m2
w2 w1 m3
m3 m1 w1
m2 m1 w2
m3 m1 w3

26 / 74

DAA:
, . w3 ( )
m1 ( ).

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 ) w2 w1 m1
w2 w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 m2 m1 w2
m2 m3 (m1 ) w3

( )

( )

27 / 74

DAA:

, , 1.
m1 ( ) w2 ( ).

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 ) w2 w1 m1
w2 w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 m2 m1 w2
m2 m3 (m1 ) w3

( )

( )

28 / 74

DAA:

w2 ( ) m1 ( )
m2 ( ), m1 ( ).

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

( ) ( )

( )

( )

(w3 )(w2 ) w1 m1
w2 w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 m2 (m1 ) w2
m2 m3 (m1 ) w3

29 / 74

DAA:

1. m1 ( ) w1 ( ).

P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 )(w2 ) w1 m1
w2 w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 m2 (m1 ) w2
m2 m3 (m1 ) w3

( ) ( )

( )

( )

30 / 74

DAA:
w1 ( ) , .
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 )(w2 ) w1 m1
w2 w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 m2 (m1 ) w2
m2 m3 (m1 ) w3

( ) ( )

( )

( )

,
1 :

m1 m2 m3
w1 w2 w3

1 :

31 / 74

DAA

1. DAA .
. , :
1. .
2. .

32 / 74

1. .
. m, w .
: m
(m), w (w).

33 / 74

2. .
. m w, .
m w (m), m
. , w . (w) m .

33 / 74

W-proposing DAA

,
, M-proposing DAA.

W-proposing DAA , .

34 / 74

W-proposing DAA

W-proposing DAA , (!):


2 :

m1 m2 m3
w1 w3 w2

2 :

1, .

35 / 74

w m, , , (m) = w.
. :
1 :

m1 m2 m3
w1 w2 w3

1 :

2 :

m1 m2 m3
w1 w3 w2

2 :

m1 ( ) w1 ( ); m2 ( )
m3 ( ) w2 ( ) w3 ( ).

36 / 74

m w, , , (w) = m.
. :
1 :

m1 m2 m3
w1 w2 w3

1 :

2 :

m1 m2 m3
w1 w3 w2

2 :

w1 ( ) m1 ( ); w2 ( )
w3 ( ) m2 ( ) m3 ( ).

37 / 74

DAA

M-proposing DAA .

W-proposing DAA .

: ,
.

38 / 74

DAA

3. 1 2 , 1 2 , 1
2 .
: .

39 / 74

DAA

2 3

M-proposing DAA , .

W-proposing DAA , .

40 / 74


. :
P(m1 )
P(m2 )
P(m3 )
P(m4 )
P(w1 )
P(w2 )
P(w3 )
P(w4 )

w1 w2 m1 w3 w4
w2 w1 m2 w4 w3
w3 w4 m3 w1 w2
w4 w3 m4 w2 w1
m2 m1 w1 m4 m3
m1 m2 w2 m3 m4
m4 m3 w3 m2 m1
m3 m4 w4 m1 m2

1 :

m1 m2 m3 m4
w1 w2 w3 w4

2 :

m1 m2 m3 m4
w1 w2 w4 w3

3 :

m1 m2 m3 m4
w2 w1 w3 w4

4 :

m1 m2 m3 m4
w2 w1 w4 w3

41 / 74


P(m1 )
P(m2 )
P(m3 )
P(m4 )
P(w1 )
P(w2 )
P(w3 )
P(w4 )

w1 w2 m1 w3 w4
w2 w1 m2 w4 w3
w3 w4 m3 w1 w2
w4 w3 m4 w2 w1
m2 m1 w1 m4 m3
m1 m2 w2 m3 m4
m4 m3 w3 m2 m1
m3 m4 w4 m1 m2

1 :

m1 m2 m3 m4
w1 w2 w3 w4

2 :

m1 m2 m3 m4
w1 w2 w4 w3

3 :

m1 m2 m3 m4
w2 w1 w3 w4

4 :

m1 m2 m3 m4
w2 w1 w4 w3

1 ( M-proposing DAA)
.

42 / 74


P(m1 )
P(m2 )
P(m3 )
P(m4 )
P(w1 )
P(w2 )
P(w3 )
P(w4 )

w1 w2 m1 w3 w4
w2 w1 m2 w4 w3
w3 w4 m3 w1 w2
w4 w3 m4 w2 w1
m2 m1 w1 m4 m3
m1 m2 w2 m3 m4
m4 m3 w3 m2 m1
m3 m4 w4 m1 m2

1 :

m1 m2 m3 m4
w1 w2 w3 w4

2 :

m1 m2 m3 m4
w1 w2 w4 w3

3 :

m1 m2 m3 m4
w2 w1 w3 w4

4 :

m1 m2 m3 m4
w2 w1 w4 w3

4 ( W-proposing DAA)
.

42 / 74


P(m1 )
P(m2 )
P(m3 )
P(m4 )
P(w1 )
P(w2 )
P(w3 )
P(w4 )

w1 w2 m1 w3 w4
w2 w1 m2 w4 w3
w3 w4 m3 w1 w2
w4 w3 m4 w2 w1
m2 m1 w1 m4 m3
m1 m2 w2 m3 m4
m4 m3 w3 m2 m1
m3 m4 w4 m1 m2

1 :

m1 m2 m3 m4
w1 w2 w3 w4

2 :

m1 m2 m3 m4
w1 w2 w4 w3

3 :

m1 m2 m3 m4
w2 w1 w3 w4

4 :

m1 m2 m3 m4
w2 w1 w4 w3

2 3 , 1 , , 4 .
, 2 3 .

42 / 74


P(m1 )
P(m2 )
P(m3 )
P(m4 )
P(w1 )
P(w2 )
P(w3 )
P(w4 )

w1 w2 m1 w3 w4
w2 w1 m2 w4 w3
w3 w4 m3 w1 w2
w4 w3 m4 w2 w1
m2 m1 w1 m4 m3
m1 m2 w2 m3 m4
m4 m3 w3 m2 m1
m3 m4 w4 m1 m2

1 :

m1 m2 m3 m4
w1 w2 w3 w4

2 :

m1 m2 m3 m4
w1 w2 w4 w3

3 :

m1 m2 m3 m4
w2 w1 w3 w4

4 :

m1 m2 m3 m4
w2 w1 w4 w3

2 3 , 4 , , 1 .
, 2 3 .

42 / 74

M-proposing DAA

W-proposing DAA

43 / 74

44 / 74


. :
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w3
w2
w3
m2
m3
m2

w2 w1 m1
w3 w1 m2
w2 w1 m3
m3 m1 w1
m2 m1 w2
m3 m1 w3

, M-proposing DAA:
1 :

m1 m2 m3
w1 w2 w3

1 :

45 / 74


P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w3
w2
w3
m2
m3
m2

w2 w1 m1
w3 w1 m2
w2 w1 m3
m3 m1 w1
m2 m1 w2
m3 m1 w3

1 :

m1 m2 m3
w1 w2 w3

1 :

w2 ( ) 1 .
?

46 / 74

, w2 ( )
P(w2 ) : m3 m2 m1 w2 P (w2 ) : m3 w2 m1 m2 ?
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w3
w2
w3
m2
m3
m2

w2 w1 m1
w3 w1 m2
w2 w1 m3
m3 m1 w1
w2 m1 m2
m3 m1 w3

47 / 74

m1 ( ) m3 ( ) w3 ( ), m2 ( )
w2 ( ).
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

w3
w2
w3
m2
m3
m2

w2 w1 m1
w3 w1 m2
w2 w1 m3
m3 m1 w1
w2 m1 m2
m3 m1 w3

48 / 74

w2 ( ) m2 ( ), w3 ( )
m1 ( ).
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 ) w2 w1 m1
(w2 ) w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 w2 m1 (m2 )
m2 m3 (m1 ) w3

( )
( )

( )

( )

49 / 74

1. m1 ( ) w2 ( ),
m2 ( ) w3 ( ).
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 ) w2 w1 m1
(w2 ) w3 w1 m2
w3 w2 w1 m3
m2 m3 m1 w1
m3 w2 m1 (m2 )
m2 m3 (m1 ) w3

( )
( )

( )

( )

50 / 74

w2 ( ) m1 ( ), w3 ( ) m3 ( ).
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 )(w2 ) w1 m1
(w2 ) w3 w1 m2
(w3 ) w2 w1 m3
m2 m3 m1 w1
m3 w2 (m1 )(m2 )
m2 (m3 )(m1 ) w3

( ) ( )
( )
( )

( )

( )
( )

( )

51 / 74

1. m1 ( )
w1 ( ), m3 ( ) w2 ( ).
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 )(w2 ) w1 m1
(w2 ) w3 w1 m2
(w3 ) w2 w1 m3
m2 m3 m1 w1
m3 w2 (m1 )(m2 )
m2 (m3 )(m1 ) w3

( ) ( )
( )
( )

( )

( )
( )

( )

52 / 74


w1 ( ) w2 ( ) .
P(m1 )
P(m2 )
P(m3 )
P(w1 )
P(w2 )
P(w3 )

(w3 )(w2 ) w1 m1
(w2 ) w3 w1 m2
(w3 ) w2 w1 m3
m2 m3 m1 w1
m3 w2 (m1 )(m2 )
m2 (m3 )(m1 ) w3

( ) ( )
( )
( )

( )

( )
( )

( )

,
3 :

m1 m2 m3
w1 w3 w2

3 :

w2 ( ) m3 ( )!

53 / 74

M-proposing DAA .

W-proposing DAA .

54 / 74

55 / 74

tak_ili_inache. , m3 m1, . 23 2014,


13:53.

, , .

, ?

56 / 74

2
c I, M W.


I
.

, .

57 / 74

58 / 74

?
! .

58 / 74

. I = {m1 , m2 , w1 , w2 }. :
P(m1 )
P(m2 )
P(w1 )
P(w2 )

m2 w1 w2 m1
w1 m1 w2 m2
m1 m2 w2 w1
m1 m2 w1 w2

, m1 ( ), m2 ( ) w1 ( )
: m1 ( ) w1 ( ); m2 ( ) m1 ( ); w1 ( ) m2 ( ).

59 / 74

, .
P(m1 )
P(m2 )
P(w1 )
P(w2 )

m2 w1 w2 m1
w1 m1 w2 m2
m1 m2 w2 w1
m1 m2 w1 w2

60 / 74

P(m1 )
P(m2 )
P(w1 )
P(w2 )

m2 w1 w2 m1
w1 m1 w2 m2
m1 m2 w2 w1
m1 m2 w1 w2

w2 ( )
m1 ( ), m2 ( ) w1 ( ), .

60 / 74

P(m1 )
P(m2 )
P(w1 )
P(w2 )

m2 w1 w2 m1
w1 m1 w2 m2
m1 m2 w2 w1
m1 m2 w1 w2

, w2 ( ) m1 ( ), m2 ( ) w1 ( ),
: w2 ( ),
, .

60 / 74

P(m1 )
P(m2 )
P(w1 )
P(w2 )

m2 w1 w2 m1
w1 m1 w2 m2
m1 m2 w2 w1
m1 m2 w1 w2

, w2 ( ) , :
, ,
,
, .

60 / 74

P(m1 )
P(m2 )
P(w1 )
P(w2 )

m2 w1 w2 m1
w1 m1 w2 m2
m1 m2 w2 w1
m1 m2 w1 w2

, .

60 / 74

, .

, 3 , ,

, , .

Irving, R. W. (1985). An efficient algorithm for the Stable Roommates problem. Journal of
Algorithms, 6(4), 577595.

61 / 74

DAA

62 / 74

, , .

Hitsch, G. J., Hortasu, A., &


Ariely, D. (2010). Matching and sorting in online dating. The American Economic
Review, 100(1), 130163.

63 / 74

Hitsch et al. Matching and sorting in online dating


1. .
2. , .
3. , , ,

.

64 / 74

White Coat Ceremony by Iggy Dolphin / CC BY 2.0

. Economic Sciences Nobel Prize Committee. (2012). Stable Allocations and the Practice of
Market Design: Scientific Background.

65 / 74

1950- .

XX . .

40- - ,
,
.

( ),
, - .

66 / 74

1950- .


NRMP (National Resident Matching
Program).

, NRMP, . ,
; .

67 / 74

1. , , ,
.
2. ,
, , .

68 / 74

1995 . NRMP . , .

. . , 1997 .
,
, NRMP
.

69 / 74

NYC high school kids by Ed Yourdon / CC BY-NC-SA 2.0

. Abdulkadirolu, A., Pathak, P. A., & Roth, A. E. (2005). The New York City High School
Match. American Economic Review, 95(2), 364367.

70 / 74

2003 .

, ,
.

,
: ,
.

71 / 74

2003 .:

, ,

.

: , ,
; .

,
, .

72 / 74

1. 30 000 , .
2. , , , ,
.

73 / 74

2003 . . -.


,
( ,
).

3 000 , .

74 / 74