Stabil házasságok és egyetemi felvételi, avagy miért kapta a 2012-es közgazdasági Nobel emlékdíjat Al Roth and Lloyd Shapley

Átírás

1 Stabil házasságok és egyetemi felvételi, avagy miért kapta a 202-es közgazdasági Nobel emlékdíjat Al Roth and Lloyd Shapley Biró Péter MTA-KRTK-KTI, BCE peter.biro@krtk.mta.hu Matematikai Modellalkotás szeminárium BME, Budapest 203 november 5.

2

3

4 Stabil házasítás probléma Gale, Shapley [962]: College admission and the stability of marriage A B C D E F G Minden fiú és lány szigorú rangsort álĺıt fel a lehetséges partnerei között.

5 Stabil házasítás probléma Gale, Shapley [962]: College admission and the stability of marriage A B C D E F G Minden fiú és lány szigorú rangsort álĺıt fel a lehetséges partnerei között. Egy házasítás stabil, ha nem létezik blokkoló pár : egy olyan fiú és lány, akik jobban kedvelik egymást, mint jelenlegi házastársaikat. A B C D E F G (C,F) blokkoló pár nem stabil

6 Gale és Shapley lánykérő algoritmusa A B C D E F G

7 Gale és Shapley lánykérő algoritmusa - Minden fiú ajánlatot tesz a számára legjobban tetsző lánynak. A B C D E F G

8 Gale és Shapley lánykérő algoritmusa - Minden fiú ajánlatot tesz a számára legjobban tetsző lánynak. - Ha egy lány több ajánlatot is kapott, akkor tartsa meg a számára legkedvesebb udvarlót, a többieket pedig utasítsa vissza. A B C D E F G

9 Gale és Shapley lánykérő algoritmusa - Minden fiú ajánlatot tesz a számára legjobban tetsző lánynak. - Ha egy lány több ajánlatot is kapott, akkor tartsa meg a számára legkedvesebb udvarlót, a többieket pedig utasítsa vissza. További körök: - A visszautasított fiúk ajánlatot tesznek a listájuk szerinti következő lehetséges partnernek. A B C D E F G

10 Gale és Shapley lánykérő algoritmusa - Minden fiú ajánlatot tesz a számára legjobban tetsző lánynak. - Ha egy lány több ajánlatot is kapott, akkor tartsa meg a számára legkedvesebb udvarlót, a többieket pedig utasítsa vissza. További körök: - A visszautasított fiúk ajánlatot tesznek a listájuk szerinti következő lehetséges partnernek. -Minden lány tartsa meg a legjobb kérőjét, a többieket pedig utasítsa vissza. A B C D E F G

11 Gale és Shapley lánykérő algoritmusa - Minden fiú ajánlatot tesz a számára legjobban tetsző lánynak. - Ha egy lány több ajánlatot is kapott, akkor tartsa meg a számára legkedvesebb udvarlót, a többieket pedig utasítsa vissza. További körök: - A visszautasított fiúk ajánlatot tesznek a listájuk szerinti következő lehetséges partnernek. -Minden lány tartsa meg a legjobb kérőjét, a többieket pedig utasítsa vissza. A B C D E F G A kapott párosítás stabil mert egy (m, w) pár nem lehet blokkoló, w miatt, ha ezt a kapcsolatot ő utasította vissza, m miatt, ha m sohasem udvarolt w-nek.

12 Optimalitás Gale-Shapley (962): A kapott párosítás fiú-optimális (egyik fiú sem kaphatha jobb feleséget egy másik stabil párosításban).

13 Optimalitás Gale-Shapley (962): A kapott párosítás fiú-optimális (egyik fiú sem kaphatha jobb feleséget egy másik stabil párosításban). Biz: Tegyük fel indirekt módon, hogy Ádám az első olyan fiú, akit egy számára lehetséges lány, Kati visszautasított eljárásban (vagyis van olyan stabil párosítás, M ahol Ádám és Kati házasok.) A K

14 Optimalitás Gale-Shapley (962): A kapott párosítás fiú-optimális (egyik fiú sem kaphatha jobb feleséget egy másik stabil párosításban). Biz: Tegyük fel indirekt módon, hogy Ádám az első olyan fiú, akit egy számára lehetséges lány, Kati visszautasított eljárásban (vagyis van olyan stabil párosítás, M ahol Ádám és Kati házasok.) A B Katinak ekkor egy jobb kérője kellett, hogy legyen, mondjuk Béla. K

15 Optimalitás Gale-Shapley (962): A kapott párosítás fiú-optimális (egyik fiú sem kaphatha jobb feleséget egy másik stabil párosításban). Biz: Tegyük fel indirekt módon, hogy Ádám az első olyan fiú, akit egy számára lehetséges lány, Kati visszautasított eljárásban (vagyis van olyan stabil párosítás, M ahol Ádám és Kati házasok.) A B? Katinak ekkor egy jobb kérője kellett, hogy legyen, mondjuk Béla. Béla muszály, hogy jobban kedvelje az M-beli feleségét, Laurát mint Katit, különben Béla és Kati blokkolná M-et. K L

16 Optimalitás Gale-Shapley (962): A kapott párosítás fiú-optimális (egyik fiú sem kaphatha jobb feleséget egy másik stabil párosításban). Biz: Tegyük fel indirekt módon, hogy Ádám az első olyan fiú, akit egy számára lehetséges lány, Kati visszautasított eljárásban (vagyis van olyan stabil párosítás, M ahol Ádám és Kati házasok.) A K B? L Katinak ekkor egy jobb kérője kellett, hogy legyen, mondjuk Béla. Béla muszály, hogy jobban kedvelje az M-beli feleségét, Laurát mint Katit, különben Béla és Kati blokkolná M-et. Akkor viszont nem Ádám, hanem Béla volna az első fiú, akit visszautasított egy számára lehetséges lány az algoritmus futása során. Ellentmondás.

17 Egyetemi felvételi rendszer: stabil házasság bigámiával Minden szaknak van egy kvótája, pl. S szaknak b(s). párosítás: egyik szakra sem vehetnek fel több jelentkezőt a szak kvótájánál.

18 Egyetemi felvételi rendszer: stabil házasság bigámiával Minden szaknak van egy kvótája, pl. S szaknak b(s). párosítás: egyik szakra sem vehetnek fel több jelentkezőt a szak kvótájánál. a párosítás stabilitása: Ha egy a i jeletkezőt nem vettek fel az S szakra, akkor vagy a i lett felvéve egy jobb szakra vagy S töltötte fel a kvótáját a i -nél jobb jelentkezőkkel.

19 Egyetemi felvételi rendszer: stabil házasság bigámiával Minden szaknak van egy kvótája, pl. S szaknak b(s). párosítás: egyik szakra sem vehetnek fel több jelentkezőt a szak kvótájánál. a párosítás stabilitása: Ha egy a i jeletkezőt nem vettek fel az S szakra, akkor vagy a i lett felvéve egy jobb szakra vagy S töltötte fel a kvótáját a i -nél jobb jelentkezőkkel. Az egyetemek felől futtatott Gale-Shapley algoritmus: minden S szak ajánlatot tesz a legjobb b(s) jelentkezőjének minden jeletkező, aki egynél több ajánlatot kap, a legjobbat elfogadja, a többit visszautasítja...

20 Egyetemi felvételi rendszer: stabil házasság bigámiával Minden szaknak van egy kvótája, pl. S szaknak b(s). párosítás: egyik szakra sem vehetnek fel több jelentkezőt a szak kvótájánál. a párosítás stabilitása: Ha egy a i jeletkezőt nem vettek fel az S szakra, akkor vagy a i lett felvéve egy jobb szakra vagy S töltötte fel a kvótáját a i -nél jobb jelentkezőkkel. Az egyetemek felől futtatott Gale-Shapley algoritmus: minden S szak ajánlatot tesz a legjobb b(s) jelentkezőjének minden jeletkező, aki egynél több ajánlatot kap, a legjobbat elfogadja, a többit visszautasítja... A jelentkezők felől futtatott Gale-Shapley algoritmus: minden jelentkező ajánlatot tesz az első szaknak a ransorában minden S szakon megtartják a legjobb b(s) jelentkezőt, a többieket pedig visszautasítják...

21 Megéri-e taktikázni? Egy eljárás stratégiailag biztos, ha egyik résztvevő sem érhet el jobb megoldást, ha nem a valódi preferenciája szerint cselekszik.

22 Megéri-e taktikázni? Egy eljárás stratégiailag biztos, ha egyik résztvevő sem érhet el jobb megoldást, ha nem a valódi preferenciája szerint cselekszik. Dubins-Freedman (98), Roth (982): A jelentkezőknek nem éri meg taktikázni a felőlük futtatot Gale-Shapley algoritmusban.

23 Megéri-e taktikázni? Egy eljárás stratégiailag biztos, ha egyik résztvevő sem érhet el jobb megoldást, ha nem a valódi preferenciája szerint cselekszik. Dubins-Freedman (98), Roth (982): A jelentkezőknek nem éri meg taktikázni a felőlük futtatot Gale-Shapley algoritmusban. De a másik oldalon lévő játékosok javíthatnak a helyzetükön, ha taktikáznak: A B C D E F G

24 Megéri-e taktikázni? Egy eljárás stratégiailag biztos, ha egyik résztvevő sem érhet el jobb megoldást, ha nem a valódi preferenciája szerint cselekszik. Dubins-Freedman (98), Roth (982): A jelentkezőknek nem éri meg taktikázni a felőlük futtatot Gale-Shapley algoritmusban. De a másik oldalon lévő játékosok javíthatnak a helyzetükön, ha taktikáznak: A B C D E F G Azonban kellő információ hiányában vagy túl nagy piac esetén a csalás túl rizikós.

25 Egyetemi felvételi, ahogy Gale and Shapley elképzelte A Gale-Shapley eljárással kapott megoldás igazságos: egy jelentkezés csak akkor kerül elutasításra, ha az adott szak helyeit jobb diákok töltötték be diák-optimális: egyik diák sem kerülhet be jobb szakra egy másik igazságos megoldásban

26 Egyetemi felvételi, ahogy Gale and Shapley elképzelte A Gale-Shapley eljárással kapott megoldás igazságos: egy jelentkezés csak akkor kerül elutasításra, ha az adott szak helyeit jobb diákok töltötték be diák-optimális: egyik diák sem kerülhet be jobb szakra egy másik igazságos megoldásban A Gale-Shapley algoritmuson alapuló felvételi eljárás gyors: a futásidő a jelentkezések számával arányos 0 másodperc Magyarországon, az Egyesült Királyságban kb perc lenne és kb 30 perc Kínában stratégiailag biztos: egyik diák se juthat be jobb helyre taktikázással (Roth, 984)

27 A Gale Shapley algoritmus a gyakorlatban Kórházi gyakornokok allokálása: National Resident Matching Program (USA) 952 óta! és sok hasonló eljárás más országokban is... (pl. Scottish Foundation Allocation Scheme SFAS)

28 A Gale Shapley algoritmus a gyakorlatban Kórházi gyakornokok allokálása: National Resident Matching Program (USA) 952 óta! és sok hasonló eljárás más országokban is... (pl. Scottish Foundation Allocation Scheme SFAS) Felvételi eljárások az oktatásban: New York-i középiskolák 2004 óta, Boston-i középiskolák 2005 óta Spanyol felsőoktatási felvételi (998) Magyar felsőoktatási felvételi 985 óta Magyar középiskolai felvételi 2000 óta (eredeti Gale Shapley modell és algoritmus!)

29 Rezidens allokációk házaspárokkal Házaspárok közös listát adhatnak meg az amerikai National Resident Matching Program-ban a 90-es évek vége óta (és pl óta Skóciában is).

30

31

32 Rezidens allokációs probléma házaspárokkal Jelentkezők: Béla Ádám és Éva. választás: Queens (Memorial, Queens) 2. választás: Memorial a NY Queens Hospital rangsora: Éva, Béla a NY Memorial Hospital rangsora: Béla, Ádám P. Biró, R.W. Irving and I. Schlotter, Stable matching with couples an empirical study. ACM Journal of Experimental Algorithmics, 6: Article number.2, 20.

39 Rezidens allokációs probléma házaspárokkal Jelentkezők: Béla Ádám és Éva. választás: Queens (Memorial, Queens) 2. választás: Memorial a NY Queens Hospital rangsora: Éva, Béla a NY Memorial Hospital rangsora: Béla, Ádám Roth (984): Igazságos megoldás nem mindig létezik. Ronn (990): A kapcsolódó eldöntési probléma NP-teljes. B.-Irving-Schlotter (20): NP-teljes közös rangsorra is. Heurisztikákat használunk a gyakorlatban... P. Biró, R.W. Irving and I. Schlotter, Stable matching with couples an empirical study. ACM Journal of Experimental Algorithmics, 6: Article number.2, 20.

40 Economics/Game Theory literature A. E. Roth. The evolution of the labor market for medical interns and residents: a case study in game theory. Journal of Political Economy, 6(4):99-06, 984. A. E. Roth and E. Peranson. The redesign of the matching market for American physicians: Some engineering aspects of economic design. American Economic Review, 89(4): , 999. A. E. Roth. The economist as engineer: Game Theory, Experimentation, and Computation as tools for design economics. Econometrica, 70:34-378, B. Klaus and F. Klijn. Stable matchings and preferences of couples. Journal of Economic Theory, 2:75-06, B. Klaus and F. Klijn. Paths to stability for matching markets with couples. Games and Economic Behavior, 58:58-7, B. Klaus, F. Klijn, and J. Massó. Some things couples always wanted to know about stable matchings (but were afraid to ask). Review of Economic Design, :75-84, 2007.

41

42

43 Maths / Computer Science literature E. Ronn. NP-complete stable matching problems. Journal of Algorithms, : , 990. B. Aldershof and O.M. Carducci. Stable matchings with couples. Discrete Applied Mathematics, 68: , 996. J. Sethuraman, C-P. Teo, and L. Qian. Many-to-one stable matching: geometry and fairness. Mathematics of Operations Research, 3:58-596, E. McDermid and D.F. Manlove. Keeping partners together: Algorithmic results for the hospitals / residents problem with couples. Journal of Combinatorial Optimization, 9: , 200. D. Marx and I. Schlotter. Stable assignment with couples: parameterized complexity and local search. Discrete Optimization, 8:25-40, 20. P. Biró, R.W. Irving, I. Schlotter. Stable matching with couples - an empirical study. Journal of Experimental Algorithmics, 6, Article No.:.2, 20.

44

45

46

47

48 Új heurisztika Scarf algoritmusával Number of couples Algorithm Roth-Perantson Best heuristics in B-I-S Scarf (int. solution) Scarf half-int. solution Scarf frac. solution Av. # of frac. weights # of frac. weights = # of frac. weights = # of frac. weights = # of frac. weights = # of frac. weights = A Scarf algoritmus nagyon jónak bizonyult sok házaspár esetén. P. Biró, T, Fleiner and R.W. Irving, Matching couples with Scarf s algorithm. Working paper, 203.

49 Magyar felsőoktatási felvételi eljárás Speciális elemek:. holtversenyek pontegyezések miatt 2. alsó kvóták a szakokra 3. közös kvóták egyetemi és országos szinten 4. szakpárokra történő jelentkezések (200-től ismét) 5. korlátos hosszú listák (203-tól hatályban) Elméleti tények: A elemek mindegyike NP-nehézzé teszi a feladatot, ezért mindenképpen heurisztikát kell alkalmaznunk. Továbbá az. és 5. elem is taktikázásra késztetheti a diákokat...

50 . speciális elem: holtversenyek és egyenlő elbírálás A B Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre 2 K L P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

53 . speciális elem: holtversenyek és egyenlő elbírálás A K B 2 L Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre Stabil ponthatár: egyik ponthatár sem csökkenthető a kvóta túllépése nélkül. (Tehát az utolsó csoport vissza lesz utasítva!) P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

54 . speciális elem: holtversenyek és egyenlő elbírálás A K B 2 L Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre Stabil ponthatár: egyik ponthatár sem csökkenthető a kvóta túllépése nélkül. (Tehát az utolsó csoport vissza lesz utasítva!) B. (2007): Az általánosított GS algoritmus diák / egyetem felől futtatott verziója a diákoknak legjobb / legrosszabb ponthatárokat adja. P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

55 . speciális elem: holtversenyek és egyenlő elbírálás A K B 2 L Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre Stabil ponthatár: egyik ponthatár sem csökkenthető a kvóta túllépése nélkül. (Tehát az utolsó csoport vissza lesz utasítva!) B. (2007): Az általánosított GS algoritmus diák / egyetem felől futtatott verziója a diákoknak legjobb / legrosszabb ponthatárokat adja. Magyarországon az egyetemek felől futtatott verziót a diákok felől futtatott verzió váltotta fel 2007-ben. P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

56 . speciális elem: holtversenyek és egyenlő elbírálás A K B 2 L Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre Stabil ponthatár: egyik ponthatár sem csökkenthető a kvóta túllépése nélkül. (Tehát az utolsó csoport vissza lesz utasítva!) B. (2007): Az általánosított GS algoritmus diák / egyetem felől futtatott verziója a diákoknak legjobb / legrosszabb ponthatárokat adja. Magyarországon az egyetemek felől futtatott verziót a diákok felől futtatott verzió váltotta fel 2007-ben. Ezek az algoritmusok nem stratégiailag biztosak! P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

57 . speciális elem: holtversenyek és egyenlő elbírálás A K B 2 2 L Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre Stabil ponthatár: egyik ponthatár sem csökkenthető a kvóta túllépése nélkül. (Tehát az utolsó csoport vissza lesz utasítva!) B. (2007): Az általánosított GS algoritmus diák / egyetem felől futtatott verziója a diákoknak legjobb / legrosszabb ponthatárokat adja. Magyarországon az egyetemek felől futtatott verziót a diákok felől futtatott verzió váltotta fel 2007-ben. Ezek az algoritmusok nem stratégiailag biztosak! P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

58 . speciális elem: holtversenyek és egyenlő elbírálás A K B 2 2 L Azonos pontszámú jelentkezők egy szakon Vagy mindegyikük vagy egyikük se kerül felvételre Stabil ponthatár: egyik ponthatár sem csökkenthető a kvóta túllépése nélkül. (Tehát az utolsó csoport vissza lesz utasítva!) B. (2007): Az általánosított GS algoritmus diák / egyetem felől futtatott verziója a diákoknak legjobb / legrosszabb ponthatárokat adja. Magyarországon az egyetemek felől futtatott verziót a diákok felől futtatott verzió váltotta fel 2007-ben. Ezek az algoritmusok nem stratégiailag biztosak! P. Biró. Student Admissions in Hungary as Gale and Shapley Envisaged. Technical Report, University of Glasgow, TR P. Biró and S. Kiselgof. College admissions with stable score-limits. To appear in Central European Journal of Operations Research, 203.

59 Score-limits in Spain

60 Score-limits in Spain

61 Score-limits in Ireland

65 2. speciális elem: alsó kvóták Szakok: Szaxofon Trombita alsó és felső kvóták 2 2. jelentkező: Ádám Ádám 2. jelentkező: Béla Béla Ádám listája: Trombita, Szaxofon Béla listája: Szaxofon, Trombita P. Biró, T.Fleiner, R.W. Irving and D.F. Manlove. The College Admissions problem with lower and common quotas. Theoretical Computer Science 4, (200).

72 2. speciális elem: alsó kvóták Szakok: Szaxofon Trombita alsó és felső kvóták 2 2. jelentkező: Ádám Ádám 2. jelentkező: Béla Béla Ádám listája: Trombita, Szaxofon Béla listája: Szaxofon, Trombita B.-Fleiner-Irving-Manlove (200): Stabil megoldás nem mindig létezik, a kapcsolódó probléma NP-teljes. P. Biró, T.Fleiner, R.W. Irving and D.F. Manlove. The College Admissions problem with lower and common quotas. Theoretical Computer Science 4, (200).

73 2. speciális elem: alsó kvóták Szakok: Szaxofon Trombita alsó és felső kvóták 2 2. jelentkező: Ádám Ádám 2. jelentkező: Béla Béla Ádám listája: Trombita, Szaxofon Béla listája: Szaxofon, Trombita B.-Fleiner-Irving-Manlove (200): Stabil megoldás nem mindig létezik, a kapcsolódó probléma NP-teljes. Egy természetes heurisztikát alkalmaznak a gyakorlatban. P. Biró, T.Fleiner, R.W. Irving and D.F. Manlove. The College Admissions problem with lower and common quotas. Theoretical Computer Science 4, (200).

74 3. speciális elem: közös kvóták Szakok: k.info BME á.info BME... á.info GD... közös kvóta: Info országos keret: 3000 kvóták: : 49 (78p) 474 (3p) (74p) : 5 (90p) 423 (26p) (77p) : 4 (80p) 443 (25p) (78p) : 5 (00p) 478 (20p) (79p)...

75 3. speciális elem: közös kvóták Szakok: k.info BME á.info BME... á.info GD... közös kvóta: Info országos keret: 3000 kvóták: : 49 (78p) 474 (3p) (74p) : 5 (90p) 423 (26p) (77p) : 4 (80p) 443 (25p) (78p) : 5 (00p) 478 (20p) (79p)... Szakok: k.info BME á.info BME... á.info GD... közös kvóta: Info országos keret: 3000 közös kvóta: kari kvóta: : 8 (365p) 493 (366p) (60p) : 6 (365p) 583 (373p) (224p) : 23 (384p) 572 (370p) (206p)... 20: 24 (372p) 573 (370p) (200p) : 35 (396p) 578 (370p) (240p) : 42 (382p) 59 (370p) (240p)...

76 Egyetemi felvételi közös kvótákkal: elmélet B.-Fleiner-Irving-Manlove (200): Egymásba ágyazott halmazrendszer esetén stabil párosítás mindig létezik és a Gale-Shapley algoritmus általánosításával hatékonyan megtalálható. Sőt, a jelentkezők / egyetemek felől futtatott algoritmus a diákok számára a legjobb / legrosszabb megoldást adja. Ha viszont a halmazoknak lehet igazi metszete, akkor stabil párosítás nem mindig létezik és a probléma NP-teljes. P. Biró, T.Fleiner, R.W. Irving and D.F. Manlove. The College Admissions problem with lower and common quotas. Theoretical Computer Science 4, (200).

77 Egyetemi felvételi közös kvótákkal: elmélet B.-Fleiner-Irving-Manlove (200): Egymásba ágyazott halmazrendszer esetén stabil párosítás mindig létezik és a Gale-Shapley algoritmus általánosításával hatékonyan megtalálható. Sőt, a jelentkezők / egyetemek felől futtatott algoritmus a diákok számára a legjobb / legrosszabb megoldást adja. Ha viszont a halmazoknak lehet igazi metszete, akkor stabil párosítás nem mindig létezik és a probléma NP-teljes. Magyarországon a halmazrendszer egymásba ágyazott volt 2007-ig, utána ez megszűnt és a közös kvótájú halmazoknak már lehetett igazi metszete. 203-től még nem tudni milyen lesz... P. Biró, T.Fleiner, R.W. Irving and D.F. Manlove. The College Admissions problem with lower and common quotas. Theoretical Computer Science 4, (200).

78 4. speciális elem: szakpárokra történő jelentkezés A diákok szakpárokra is jelentkezhetnek tanári szakok esetén 200 óta ismét. Pl. 200-ben 5578 diák jelentkezett tanári szakokra és közülük 209 listája tartalmazott szakpárokat is. Ez pont olyan feladat, mint a házastársak párosítása rezidensek esetén!

79 5. speciális elem: korlátos listák A jelentkezési lapon korlátos számú szak jelölhető meg (5). Ez természetes módon taktikázásra késztetheti azokat a diákokat, akiknek 5-nél több lenne az elfogadható szakok száma (tipikusan az utolsó helyen egy biztos szakot írnak be, stb). L. Á. Kóczy. A magyarországi felvételi rendszerek sajátosságai. Közgazdasági Szemle 57:(2) pp (200). P. Pathak and Tayfun Sönmez. School Admissions Reform in Chicago and England: Comparing Mechanisms by their Vulnerability to Manipulation. American Economic Review 03(): (203)

80 5. speciális elem: korlátos listák A jelentkezési lapon korlátos számú szak jelölhető meg (5). Ez természetes módon taktikázásra késztetheti azokat a diákokat, akiknek 5-nél több lenne az elfogadható szakok száma (tipikusan az utolsó helyen egy biztos szakot írnak be, stb). A kínai egyetemi felvételi eljárás még ennél is rosszabb a taktikázást tekintve, mert ott csak az első jelentkezések számítanak az első körben, és ha egy egyetemen az összes hely elkelt az első körben, akkor további jelentkezéseket már nem fogadnak... Ugyanez történt Bostonban a középiskolai felvételinél is, amíg 2004-ben Al Roth-ék meg nem reformálták. L. Á. Kóczy. A magyarországi felvételi rendszerek sajátosságai. Közgazdasági Szemle 57:(2) pp (200). P. Pathak and Tayfun Sönmez. School Admissions Reform in Chicago and England: Comparing Mechanisms by their Vulnerability to Manipulation. American Economic Review 03(): (203)

81 Vesecsere programok Veseelégtelenség esetén a beteg választása a következő lehet: diaĺızis (-) transzplantáció (+) ami lehet kadaver (halottból), de hosszúak a várólisták élődonoros

82 Vesecsere programok Veseelégtelenség esetén a beteg választása a következő lehet: diaĺızis (-) transzplantáció (+) ami lehet kadaver (halottból), de hosszúak a várólisták élődonoros De mit tehetünk, ha jelentkező donor inkompatibilis a beteggel? Esetleg cserélhetnek donort másokkal! Vesecsere-programok világszerte (Ausztrália, Kanada, Hollandia, Dél-Korea, Spanyolország, Egyesült Királyság, USA...)

83

84

85

86 Korlátos hosszú cserék problémája átültetésre szoruló betegek elcserélhetik inkompatibilis donorjaikat Az átültetések várható sikere meghatározható immunológiai adatokból

87 Korlátos hosszú cserék problémája átültetésre szoruló betegek elcserélhetik inkompatibilis donorjaikat Az átültetések várható sikere meghatározható immunológiai adatokból körpakolás probléma

88 Korlátos hosszú cserék problémája átültetésre szoruló betegek elcserélhetik inkompatibilis donorjaikat Az átültetések várható sikere meghatározható immunológiai adatokból körpakolás probléma hosszú cserék párosítás egy irányítatlan gráfon

91 Megoldás IP-feladatként kör-változókkal max cx f.h. Ax b és x i {0, } ahol A = , b = c s = [ ] ha max méret 2, x = x x 2 x 3 x 4 x 5 x 6 x 7 és

92 Megoldás IP-feladatként kör-változókkal max cx f.h. Ax b és x i {0, } ahol A = , b = 2, x = és c s = [ ] ha max méret max c s x = 5

93 Megoldás IP-feladatként kör-változókkal max cx f.h. Ax b és x i {0, } ahol A = , b = c w = [ ] ha max súly 2, x = x x 2 x 3 x 4 x 5 x 6 x 7 és

94 Megoldás IP-feladatként kör-változókkal max cx f.h. Ax b és x i {0, } ahol A = , b = 2,x = és c w = [ ] ha max súly max c w x =

95 Megoldás IP-feladatként kör-változókkal max cx f.h. Ax b és x i {0, } ahol A = , b = c o = c s M + c w ha max súly max méret 2, x = x x 2 x 3 x 4 x 5 x 6 x 7 és

96 Megoldás IP-feladatként kör-változókkal max cx f.h. Ax b és x i {0, } ahol A = , b = 2,x = és c o = c s M + c w ha max súly max méret max c o x = 5M + 8

97

98

99 Piactervezés alapkérdései Van egy gazdasági/társadalmi döntési feladat ahol adva vannak a résztvevők lehetséges megoldások +néhány objektív faktor +a résztvevők valódi preferenciái a lehetséges megoldásokra nézve.

100 Piactervezés alapkérdései Van egy gazdasági/társadalmi döntési feladat: pl iskolaválasztás ahol adva vannak a résztvevők: diákok és iskolák lehetséges megoldások: párosítások +néhány objektív faktor (pl. lakóhely távolsága az iskolától) +a résztvevők valódi preferenciái a lehetséges megoldásokra nézve.

101 Piactervezés alapkérdései Van egy gazdasági/társadalmi döntési feladat: pl iskolaválasztás ahol adva vannak a résztvevők: diákok és iskolák lehetséges megoldások: párosítások +néhány objektív faktor (pl. lakóhely távolsága az iskolától) +a résztvevők valódi preferenciái a lehetséges megoldásokra nézve. Olyan szabályt vagy eljárást kell javasolnunk, ami elősegíti egy jó ( igazságos és optimális ) megoldás elérését az objektív faktorok és a valódi preferenciák szerint.

102 Piactervezés alapkérdései Van egy gazdasági/társadalmi döntési feladat: pl iskolaválasztás ahol adva vannak a résztvevők: diákok és iskolák lehetséges megoldások: párosítások +néhány objektív faktor (pl. lakóhely távolsága az iskolától) +a résztvevők valódi preferenciái a lehetséges megoldásokra nézve. Olyan szabályt vagy eljárást kell javasolnunk, ami elősegíti egy jó ( igazságos és optimális ) megoldás elérését az objektív faktorok és a valódi preferenciák szerint. Ez az eljárás lehet decentralizált (egyetemi felvételi az USA-ban) koordinált (egyetemi felvételi az Egyesült Királyságban) központosított (magyar és spanyol egyetemi felvételi)

103 Piactervezés alapkérdései Van egy gazdasági/társadalmi döntési feladat: pl. piac ahol adva vannak a résztvevők: vevők és eladók lehetséges megoldások: párosítás és árak +néhány objektív faktor (pl. vevő kora) +a résztvevők valódi preferenciái a lehetséges megoldásokra nézve. Olyan szabályt vagy eljárást kell javasolnunk, ami elősegíti egy jó ( igazságos és optimális ) megoldás elérését az objektív faktorok és a valódi preferenciák szerint. Ez az eljárás lehet decentralizált (egyszerű piac) koordinált (pl. ebay) központosított (pl. Google aukció az amerikai TV-hirdetésekre)

104 A fő kérdések, interdiszciplináris területek Milyen egy jó ( igazságos és optimális ) megoldás? válaszok társadalomtudósoktól, közgazdászoktól Létezik-e decentralizált / koordinált / központosított mechanizmus, ami elvezet egy jó megoldáshoz? válaszok játékelmélészektől és mechanizmus tervezőktől Ki tudunk-e számítani egy jó megoldást hatékonyan egy központosított mechanizmus révén? válaszok számítástudósoktól, matematikusoktól

105 A fő kérdések, interdiszciplináris területek Milyen egy jó ( igazságos és optimális ) megoldás? válaszok társadalomtudósoktól, közgazdászoktól Létezik-e decentralizált / koordinált / központosított mechanizmus, ami elvezet egy jó megoldáshoz? válaszok játékelmélészektől és mechanizmus tervezőktől Ki tudunk-e számítani egy jó megoldást hatékonyan egy központosított mechanizmus révén? válaszok számítástudósoktól, matematikusoktól Új interdiszciplináris területek: algoritmikus játékelmélet (Algorithmic Game Theory) társadalmi döntések számítástudománya (Computational Social Choice) algoritmikus mechanizmus tervezés (Algorithmic Mechanism Design)

106 BCE játékelmélet szemináriuma

107 Játékelmélet kutatócsoport az MTA KRTK KTI-ben

108 European research network on Matching in Practice

112 COST Action on Computational Social Choice

113 Summer School on Matchings

114 Summer School on Matchings

115 További információk... pbiro/research.html