The Prize in Economic Sciences 2012 Toroorn omstabillch Figure1:2012年诺贝尔经济学奖 课程网站 http://math.sjtu.edu.cn/course/skymath/ 第-∞讲2012年诺贝尔经济学奖 2012年诺贝尔经济学奖授予哈佛大学商学院教授罗斯(Alvin E. Roth)和加州大学洛杉矶分校教授夏普利(Lloyd S.Shapley)。祝贺 他们！罗斯教授在哈佛任教，夏普利教授本科在哈佛数学系就读，因此今 年的两个诺奖得主都算哈佛的人，祝贺哈佛大学！ (©上海交通大学加油！©) 两位经济学奖的主要贡献是“the theory of stable allocations and the practice of market design”,即稳定匹配理论(stable matching theory)和市 场设计。稳定匹配理论广泛地应用于实际生活。例如，如何设计高考填报 志愿方法，如何将捐献的器官分配到需要的病人，如何将实习医生分配到 各个医院等。夏普利的主要贡献是提供了一个理论上的最优方案，称之为 “Gale-Shapley方法”。以高考填报志愿为例，该方法的基本思想是，让 分数最高的人先报，每个大学挑选它最中意的学生，踢掉其它候选人：然 后让分数次高的人填报，大学依然挑选最中意的人：最后直到所有学生都 被录取为止。这一机制可以确保公平和效率。 1
Figure 1: 2012❝ì✓✏➨▲➷ø ➅➜✤Õ http://math.sjtu.edu.cn/course/skymath/ ✶ −∞ ù 2012 ❝ì✓✏➨▲➷ø 2012❝ì✓✏➨▲➷ø➬❷▼➹➀➷û➷✓✓➬Û❞↔Alvin E. Roth↕Ú❭➨➀➷âë➑➞☎✓➬❣✃⑤↔Lloyd S. Shapley↕✧ ✻å ➛❶➐Û❞✓➬✸▼➹❄✓➜❣✃⑤✓➬✢❽✸▼➹ê➷❳ÒÖ➜ Ï❞✽ ❝✛ü❻ìø✚❒Ñ➂▼➹✛❁➜✻å▼➹➀➷➐ (,þ➦✂Ï➀➷❭❤➐,) ü➔➨▲➷ø✛❒❻③➫✴the theory of stable allocations and the practice of market design✵➜❂➢➼➎✛♥Ø(stable matching theory)Ú➼ ⑤✗❖✧➢➼➎✛♥Ø✷➁✴❆❫✉➣❙✮➵✧⑦❳➜❳Û✗❖♣⑧❲✞ ➇✑➄④➜ ❳Ûòí③✛ì✭➞✛✔■❻✛➽❁➜❳Ûò➣❙➎✮➞✛✔ ❼❻➎✓✤✧ ❣✃⑤✛❒❻③➫❏ø✡➌❻♥Øþ✛⑩❵➄❨➜→❷➃ ✴Gale-Shapley➄④✵✧➧♣⑧❲✞➇✑➃⑦➜ ❚➄④✛➘✢❣➂➫➜✹ ➞ê⑩♣✛❁❦✞➜③❻➀➷❪➚➜⑩➙➾✛➷✮➜❍❑Ù➜ÿ➚❁➯✱ ✹➞ê❣♣✛❁❲✞➜ ➀➷➑✱❪➚⑩➙➾✛❁➯⑩❺✔↕❦➷✮Ñ ✚➵✒➃➂✧ù➌➴➏➀➧✭✂ú➨Ú✟➬✧ 1
Figure2:2012年诺贝尔经济学奖得主阿尔文·罗斯 阿尔文-罗斯(A1vinE.Roth,1951.12.19-),哈佛商学院经济及工商管 理教授。罗斯1971年本科毕业于哥伦比亚大学，获得运筹学学士学位，随 后赴斯坦福大学攻读研究生，1973年获运筹学硕士学位，一年后获运筹学 博士学位。离开斯坦福之后，罗斯直到1982年一直在伊利诺斯大学任教。 此后他在匹兹堡大学担任安德鲁梅隆经济学教授直到1998年，之后他加入 哈佛大学并在此工作至今。罗斯是美国杰出年轻教授奖：斯隆奖的获得 者，古根海姆基金会会士，美国艺术和科学院院士。他还是美国国家经济 研究局(NBER)和美国计量经济学学会成员。罗斯在博弈论、市场设计和 实验经济学领域都曾作出重大贡献，在很多方面印证了“Gale-Shapley方 法”。 2
Figure 2: 2012❝ì✓✏➨▲➷ø✚❒❈✏➞·Û❞ ❈✏➞-Û❞(Alvin E. Roth➜1951.12.19-)➜▼➹û➷✓➨▲✾óû✰ ♥✓➬✧ Û❞1971❝✢❽✳➆✉①Ô✬æ➀➷➜➻✚✩✃➷➷➡➷➔➜➅ ❆❞✧✹➀➷ôÖï➘✮➜ 1973❝➻✩✃➷❛➡➷➔➜➌❝➻✩✃➷ ➷➡➷➔✧❧♠❞✧✹❷➜Û❞❺✔1982❝➌❺✸➒⑤ì❞➀➷❄✓✧ ❞➛✸➎❬✄➀➷ú❄❙✙➦-r➒➨▲➷✓➬❺✔1998❝➜❷➛❭❭ ▼➹➀➷➾✸❞ó❾➊✽✧ Û❞➫④■★Ñ❝➈✓➬ø➭❞➒ø✛➻✚ ö➜✔❾➦✵➘✼➡➡➡➜④■➨âÚ❽➷✓✓➡✧ ➛❸➫④■■❬➨▲ ï➘Û(NBER)Ú④■❖þ➨▲➷➷➡↕✡✧ Û❞✸➷❽Ø✦➼⑤✗❖Ú ➣✟➨▲➷✰➁Ñ◗❾Ñ➢➀③➜✸éõ➄→❁②✡✴Gale-Shapley➄ ④✵✧ 2
CAFP Figure3:2012年诺贝尔经济学奖得主劳埃德，夏普利 劳埃德.夏普利(1923年6月2日生于美国麻省剑桥)是杰出的美国数学家 和经济学家，对数理经济学、特别是博弈论做出过杰出贡献，被认为是博 弈论的具体化身。1943年应征入伍，作为美国空军士兵在中国成都服役， 并因破解苏联气象密码获得铜质勋章。1948年获得哈佛大学数学学士学 位。1953年获得普林斯顿大学博士学位。1954年重返兰德公司至1981年。 自1981年起，任加州大学洛杉矶分校数理经济学教授。夏普利是1994年诺 贝尔经济学奖得主纳什的高中同学。 夏普利获奖的最大原因是他和David Gale(1921.12.13-2008.3.7）于1962年 所创的“Gale-Shapley方法”，其核心是市场匹配的合理原则应该是“情投 意合”而非“价高者得”. 3
Figure 3: 2012❝ì✓✏➨▲➷ø✚❒◆❉✙·❣✃⑤ ◆❉✙·❣✃⑤(1923❝6✛2❋✮✉④■æ➂ê①)➫★Ñ✛④■ê➷❬ Ú➨▲➷❬➜éê♥➨▲➷✦❆❖➫➷❽Ø ❽Ñ▲★Ñ③➜✚❅➃➫➷ ❽Ø✛ä◆③✜✧1943❝❆✍❭❰➜❾➃④■➌✁➡❲✸➙■↕ÑÑ➳➜ ➾Ï➺✮⑨éí➊➋è➻✚Ô➓✃Ù✧1948❝➻✚▼➹➀➷ê➷➷➡➷ ➔✧1953❝➻✚✃✕❞î➀➷➷➡➷➔✧ 1954❝➢❼❂✙ú✐➊1981❝✧ ❣1981❝å➜❄❭➨➀➷âë➑➞☎ê♥➨▲➷✓➬✧ ❣✃⑤➫1994❝ì ✓✏➨▲➷ø✚❒❇➓✛♣➙Ó➷✧ ❣✃⑤➻ø✛⑩➀✝Ï➫➛ÚDavid Gale (1921.12.13-2008.3.7) ✉ 1962❝ ↕▼✛✴Gale-Shapley➄④✵➜ÙØ✪➫➼⑤➎✛✛Ü♥✝❑❆❚➫✴➐Ý ➾Ü✵✌➎✴❞♣ö✚✵. 3
KSW35断韩纱服感 Figure4:稳定婚姻问题 By all means marry.If you get a good wife you will become happy and if you get a bad one you will become a philosopher'?--Socrates(苏格拉 底B.C.469-B.C.399) Gale-Shapley.方法最初应用于婚烟匹配问题，称为“stable marriage problem”(简称SMP)。该问题如下： 设有N个想结婚的男子和N个想结婚的女子，他们每个人都对每个异性 按照自己钟情的程度给予排名（排名越靠前表示钟情的程度越深）.问题是如 何匹配才能使每个人的选择都是最好的呢？ 4
Figure 4: ➢➼➫Ó➥❑ By all means marry. If you get a good wife you will become happy and if you get a bad one you will become a philosopher?—Socrates(⑨❶✳ ✳B.C.469-B.C.399) Gale-Shapley➄④⑩Ð❆❫✉➫Ó➎✛➥❑➜→➃✴stable marriage problem✵(④→SMP)✧❚➥❑❳❡➭ ✗❦N❻➂✭➫✛■❢ÚN❻➂✭➫✛å❢➜➛❶③❻❁Ñé③❻➱✺ ❯ì❣❈➝➐✛➜Ý❽❷ü➯ (ü➯✖❶❝▲➠➝➐✛➜Ý✖✢). ➥❑➫❳ Û➎✛â❯➛③❻❁✛➚❏Ñ➫⑩Ð✛◗➸ 4
A(1,2) 1(B,A) B(1,2) 2(A,B) Figure5:稳定婚姻 什么是稳定婚姻？ 首先，稳定婚姻当然应该是每个人都有自己的配偶 其次，如果现有的婚烟匹配中，某男子更钟情于某女子而不是现在的 妻子、同时该女子也更钟情于该男子而不是现在的丈夫，则他们有可能 “私奔”，这样的婚姻自然不是稳定的，称为不稳定婚姻匹配(unstable marriage matching).因此，稳定的婚姻匹配应该杜绝这样的男子和女子同 时存在，即稳定婚姻匹配应该是没有男子更钟情于某女子的同时该女子也 更钟情于该男子.换句话说，对于每一个人，他心目中比他当前伴侣更好的 异性，都不会认为他也是一个更好的选择。 问题：稳定婚姻是否存在？ 答案：l962年，Gale-Shapley说，是的，稳定婚姻一定存在（但不必唯 -),因为Gale-Shapley算法.(D.Gale and L.S.Shapley:"College Admis- sions and the Stability of Marriage",American Mathematical Monthly 69, 9-14,1962.) 例子.如图所示，设有2男A、B,2女1、2，括号内的顺序表示他们对 异性的钟情程度.试给出最好的婚姻匹配 课堂练习.设有3男A、B、C,3女1、2、3，他们各自对异性的钟情程 度如下表： A(1,2,3) 1(C,A,B) B(1,3,2) +9◆◆+ 2(A,C,B) C(2,3,1) 3(A,B,C) 试给出最好的婚姻匹配 5
Figure 5: ➢➼➫Ó ➓♦➫➢➼➫Ó➸ ➘❦➜➢➼➫Ó✟✱❆❚➫③❻❁Ñ❦❣❈✛✛ó. Ù❣➜❳❏②❦✛➫Ó➎✛➙➜✱■❢➁➝➐✉✱å❢✌Ø➫②✸✛ Ó❢✦ Ó➒❚å❢➃➁➝➐✉❚■❢✌Ø➫②✸✛à➴➜❑➛❶❦➀❯ ✴❤✛✵➜ù✘✛➫Ó❣✱Ø➫➢➼✛➜ →➃Ø➢➼➫Ó➎✛(unstable marriage matching). Ï❞➜➢➼✛➫Ó➎✛❆❚Úýù✘✛■❢Úå❢Ó ➒⑧✸➜ ❂➢➼➫Ó➎✛❆❚➫✈❦■❢➁➝➐✉✱å❢✛Ó➒❚å❢➃ ➁➝➐✉❚■❢. ❺é④❵➜é✉③➌❻❁➜➛✪✽➙✬➛✟❝❾➾➁Ð✛ ➱✺➜ÑØ➡❅➃➛➃➫➌❻➁Ð✛➚❏✧ ➥❑➭➢➼➫Ó➫➘⑧✸➸ ❽❨➭1962❝➜Gale-Shapley ❵➜➫✛➜➢➼➫Ó➌➼⑧✸(✂Ø✼➁ ➌)➜Ï➃ Gale-Shapley ➂④.( D. Gale and L. S. Shapley: ”College Admissions and the Stability of Marriage”, American Mathematical Monthly 69, 9-14, 1962.) ⑦❢. ❳ã↕➠➜✗❦2■A✦B➜2å1✦2➜✮Ò❙✛❫❙▲➠➛❶é ➱✺✛➝➐➜Ý. ➪❽Ñ⑩Ð✛➫Ó➎✛. ➅✱ö❙. ✗❦3■A✦B✦C➜3å1✦2✦3➜➛❶❼❣é➱✺✛➝➐➜ Ý❳❡▲➭ A(1, 2, 3) · · · · · · 1(C, A, B) B(1, 3, 2) · · · · · · 2(A, C, B) C(2, 3, 1) · · · · · · 3(A, B, C) ➪❽Ñ⑩Ð✛➫Ó➎✛. 5