浅谈稳定完备婚姻及算法及推广.docVIP

浅谈稳定完备婚姻的算法及推广 话说在1962年，两个数学家David Gale 和Lloyd Shapely提出了下面的问题：给定若干个男生和同样多的女生，他们每个人都对所有的异性有一个心理的偏好次序。是否存在一种男女配对组合构成一种稳定的组合关系？这里稳定组合的意思是说，不存在两个非伴侣的异性对彼此的评价比对各自伴侣的评价还要高。（可以理解，这样的异性太容易红杏出墙了，所以是某种不稳定因素。）进一步的问题是，在已知每个人对异性的偏好顺序的情况下，怎样求出这种稳定组合方式（如果它存在的话）？你可以理解为这是数学家们替月老问的问题：给定一群孤男寡女，寻找一种牵红线的方式，以确保把红杏扼杀在摇篮里。 1、稳定完备婚姻 上面这一问题被称为稳定婚姻问题。它有很多种可能的解法。为了让大家相信数学家不是真得如此无聊，我要指出它确确实实是一个地道的组合数学问题，有其特定的数学价值。当然啦，它也有很多别的背景和应用，比如用来在若干个公司和应聘者之间进行招聘中介……但是数学家们怎么会放过如此八卦的一个名字呢？我们看下面的例题： 某社团中有n位女士和m位男士。假定每位女士按照其对每位男士作为配偶的偏爱程度排名次，无并列。也就是说，这种排列是纯顺序的，每位女士将这些男士的排列成顺序 1,2,3,… ,n，类似的,每位男士也对这些女士排列成顺序1，2，3,…，n,我们知道，在这个社团里配对成完备婚姻的方式有n!种。假定某种婚姻匹配中存在女士A和 B 及两位男士a和b,使得 A和a结婚； B和b结婚； A更偏爱b（名次更优先）而非a； B更偏爱A而非B。 那么，我们认为该完备婚姻是不稳定的。因为在这种假设下，A和b可能会背着别人相伴逃跑，他们都认为，与当前配偶相比每个都更偏爱自己的新伴侣。如果完备婚姻不是不稳定的，我们则称其为稳定的完备婚姻。 2、稳定完备婚姻的算法 2.1 建立模型 用二分图来为这个问题建立数学模型。令G=（X,△,Y）是一个二分图，其中 为n位女士的集合，而 为n位男士的集合。将每一个女-顶点（女士在左边）连接到每一个男-顶点（男士在右边）。所得的二分图在包含双方顶点集之间的所有可能边的意义下是完备的。对应每条边,存在一个数对p，q，其中p表示在给男士排序中的位置，q表示在给女士排序中给女士排序中的位置。这些女士和男士的完备婚姻对应二分图G的（n条边的）完美匹配。 在记法上，使用优先秩评定矩阵所提供的模型会更方便。该矩阵为一n行n列的阵列，n行对应每一位女士，n列对应每一位男士。在第i行和第j列交叉位置处放上代表给排的名次和给排的名次的数对p，q。一个完备婚姻对应该矩阵上n个位置的集合，该集合恰好包含每一行的一个位置和每一列的一个位置。 例1 令n=3，并令优先秩评定矩阵为 存在3！=6种可能的完备婚姻。一种是 由于每一位女士都得到她的第一选择，这个完备婚姻是稳定的，不过每位男士得到的却都是最末位的选择。另一中稳定的完备婚姻是通过是每位男士得到他的第一选择而得到的。 2.2延迟认可算法的基本思想 问题：对于每一个优先秩评定矩阵，都存在稳定的完备婚姻策略。如何找到一个稳定的完备婚姻? 通过延迟认可算法（Gale-Shapely算法） 先对所有女士进行落选标记开始。 当存在落选女士时，进行以下操作 1）每一位落选女士在所有尚未拒绝她的男士中选择一位被他排名最优先的男士 2）每一位男士在所有已经选择他，并且他尚未拒绝的女士中挑选被他排名最优先的女士，对她推迟决定，并于此时拒绝其余女士。 于是，在算法执行期间，由女士向男士求婚，一些男女订婚，但是，如果收到更好的求婚，男士可以悔婚。 即算法中，一旦男士订婚，他就一直处在订婚状态，但是她的未婚妻可以改变；而且，对他来说每次改变都是一种改进。然而，女士则在算法执行期间订婚若干次；每一次对她来说都讲导致更不理想的伴侣。 只要不存在被拒绝女士，那么每一位男士恰与一位女士订婚，由于人数相等，每一位女士也恰与男士订婚。 现在将每一位男士和他订婚的女士配对就可以得到一种完备婚姻，而且可以证明，这种完备婚姻是稳定的。 考虑女士A和B及男士a和b，是A与a配对，B与b配对，但是A更偏爱b而不是a。我们证明b不可能比起偏爱B来更偏爱A。由于在算法的某个阶段A在a，b间更偏爱b, A选择b，但 A因b将某位女士排得更优先而被b拒接过。但是，在算法过程中与男士b配对的女士实际上至少与他拒接过的任何女士有同等的优先级。既然A被b拒接过，b必然更偏爱B而不是A。因此，不存在不稳定的配对，该完备婚姻是稳定的。 2.3 延迟认可算法的举例 例2 将延迟认可算法用于优先秩评定矩阵 算法结果为： A选择a，B选择b，C选择d，D选择a；a拒绝D。 D选择d，d拒绝C。 C选择a；a拒绝A。 A选择b；b拒绝