严格匹配_匹配理论(Matching Theory)学习笔记 一、婚姻市场

一、引言的引言

作为一名以后想做经济的数学狗，作者近期学了一个月的Matching Theory(匹配理论), 为了巩固知识决定开始写这一系列的学习笔记。既是为了自用，也是想把这个有趣又切实影响着世界进步的领域安利给更多喜欢数学和经济的朋友们。

虽然匹配理论在经济学五花八门的分支中并不起眼，但它对这个世界的影响却意义非凡。罗斯(Alvin Roth)运用匹配理论改进了美国许多地区的肾脏捐赠系统，将肾脏交换成功的病例数提高了几倍，拯救了几万人的性命；前不久，几位机制设计、匹配理论的大牛(Pathak, Sonmez, Unver, Yenmez)则合写了一篇关于新冠肆虐之下呼吸机配给机制优化的文章。

这个领域的经济学家们，都在通过自己的努力优化各种现实生活中的匹配机制，让这个世界变得更有效率。

阅读这篇笔记，需要最基础的集合论(Set Theory), 脑子(Brain), 仅此而已，不过有博弈论基础会更佳。对于涉及到的经济学术语，我都会在文中给出定义，如纳什均衡(Nash Equilibrium), 帕累托最优(Pareto Efficient). 由于我是在英文语境下学的，特定术语的中文翻译可能会出现差错，还请谅解。

学完第一篇笔记，你会了解一个基础模型，两个经济学概念，四个匹配理论的定理，一个特别著名的算法，以及百合网和世纪佳缘原来已经合并了的事实。

那么，让我们开始吧！

二、引言

让我先放一条自己写的朋友圈吧。

糟心的事情太多，想写点和疫情无关的，讲一个有趣的定理吧。
最近刚开始学Two-Sided Matching Theory, 一门研究如何将两组个体配对的学科。一个通俗的例子是，在一个（异性恋的）婚姻市场里如何把单身男生和女生稳定地配对，使得每对脱团狗都对自己的另一半满意，而单身狗们也获得了内心的宁静。【这里的满意指的是没有情侣会想出轨；宁静指的是满足于单身状态，并且剩下的单身狗们要么看不上ta要么ta看不上。一般情况下，稳定配对是不唯一的。
然后一个基本的定理是，不管是哪一个稳定配对，单身狗永远都是同一批人。哪怕换了个平行宇宙，该单身还是会单身，没有人喜欢的还是没有人喜欢。所以给我们的启示是，很多时候单身并不是因为运气，而真的是自己的选择（谁也看不上）或者不够优秀（谁也看不上）。
当然了，知道了又有什么用呢2333

我当时还配了张图。

顾名思义，匹配理论就是一门研究如何将个体配对起来以达到特定经济目的的经济学科。基础的例子包括异性恋婚姻市场——百合网（男女匹配），职工市场——58同城（公司、职工匹配）等。让我们先进入第一个例子：婚姻市场吧。这是匹配理论最基础的模型，是一个一对一的双边匹配模型。当然，你不需要现在就明白这两个词什么意思。

由于我自己没有用过百合网，接下来对百合网的描述可能会有偏差。还请用过百合网的朋友们指正。

三、百合网—— 基本定义

在中国婚恋交友第一社区里，有一群男女参与者在等待匹配。

: 一个有限的男生集合

: 一个有限的女生集合

这篇笔记中，我们保持

不变。

每个参与者对其他异性及单身选项有一个偏好排序(Preference Ranking), 我们用

来表示参与者

的偏好排序。 对于一个女生

, 她的偏好排序

是

上的一个全序(Total Order). 其中，

表示单身。一般而言，这些偏好排序不一定是严格的(strict)；但在学会飞之前，我们总得先学会爬吧。就让我们假设它们都是严格的吧，这样事情会简单很多。

我们用

表示

的偏好排序衍生的严格全序。这样的话，

,

即

表示

喜欢

多于

或者