离散数学之把妹要诀

jopen 9年前

        离散数学课(CSCI 2110)上,讲到一个有趣的问题。

        假设有五个男生,五个女生,每个人都在自己心中对五个异性有一定的 preference 排序,比如:

离散数学之把妹要诀

        以上的排序表解读为:男生 1 最中意女生C,次中意女生B,次次中意女生E……

        以此类推……

        在五男五女全部成功脱光之后(假设都在圈子内部解决),定义一个 unstable matching 为:如果存在一对不是情侣的男女符合以下情况:

        对于该男,该女在他的 preference 列表中处于现任女友的前面,对于该女,该男在他的 preference 列表中亦处于现任男友的前面,那么这对男女必然有私奔的倾向……

        这样的情景即为 unstable matching。反之,若不存在这样一对有私奔倾向的男女,即为 stable matching。

        问题是:是否在任何情况下,即不论各位的 preference 列表如何变化,只要男女数量相同,总是存在一个 stable matching。 (当然,搅基之类的,是不可以的……)

        在上面五男五女的例子里,一种 stable matching 如下:

离散数学之把妹要诀

        因为每个女生最中意的男生都不同,所以只要让女生们都选择跟自己最中意的男生在一起,她们就都不会有和其他男生私奔的想法。虽然男生们会表示略苦逼啊!仍然不失为一个 stable matching……。

        那么如果有n男n女,每个人心中都已经有了一个 preference 列表,stable matching 是不是一定存在呢?

        1962 年,Gale 和 Shapley 证明了 stable matching 是一定存在的。

        首先他们给出了一个算法:

        第一天早上:所有男生都向自己最中意的女生表白。

        第一天中午:每个女生都被表白了n次(可能是 0 次)之后,拒绝了相对不太中意的那n-1 位,hold 住其中最中意的那位……即暂时不答应也不拒绝

        第一天晚上,被拒绝的男生们在自己的 preference 列表中划掉了那个拒绝他的人……

        第二天早上:所有没有被 hold 住的男生都向自己最中意的女生(无视已经被划掉的)表白。

        第二天中午:女生们在那些向她表白的男生和已经 hold 住的那男生中选择最中意的一位,拒绝掉其他的。

        第二天晚上:被拒绝的男生们在自己的 preference 列表中划掉拒绝了自己的人……

        第三天,重复同样的过程……

        第四天……

        …………

        这样的过程是有限的,不会一直循环下去。(Claim 1)

        在这样的过程结束之后,每个女生都会 hold 住一个男生。(Claim 2)即在那一天之后没有男生可以继续表白了,这时女生们终于都向那个男生说了 yes!

        按照这样的过程,最后不会存在一对男女有私奔倾向(Claim3)

        即完成了 stable matching。

        关于 Claim1, Claim2, Claim3 的证明,有兴趣的同学可以参考这里

        下面是我们的关键问题:

        在这样男生主动的算法中,占了优势的是男生还是女生呢?

        表面上,男生略苦逼:要么被拒绝,要么被 hold 住还不知道是不是第二天就会被拒绝;女生则有着充分的选择权,享受着众星捧月的优越感,而且最差情况下到头来还是会有个伴儿也不至于孤家寡人……。。

        但是实际上,占了优势的却是男生!

        对于男生,

        设最后他的女友是在他当初的 preference 列表的第i位,那么在i位之前的那些女生,他是怎么追也追不到的:

        因为即使追到(即该女生一时糊涂答应了),

        那么那个女生(记为Y)也必然会有比他心仪的对象另一男X(因为既然是一时糊涂,表明在当时的情况下有更心仪的男生已经向她表白),

        而男X既然在当时向该女生表白,表明在Y之前的女生都拒绝了他,而如果Y也拒绝了他,他最后在一起的女生必定排在Y之后。

        所以,X和Y是注定要私奔的!

        所以嘛,男生没有追到的那些女生,都是命中不该有不可强求的……即他最后追到的女生是他最好的选择了……

        对于女生:

        设最后她的男友在她当初的 preference 列表的第i位,那么在i位之前的那些男生,都是还没机会向她表白就被其他女生 hold 住的,也就是说,她永远也等不到的最好的,多苦啊……

        实际上,还可以证明,这个男友是在所有的 stable matching 中她能得到的最差的选择。

        如果她选择了i+1,也就是拒绝了i,那么i最后只能跟不如她的女生(在i眼中)在一起。

        而i+1 也是不如i的,那么最后她还是要和i私奔。

        即:若她选择了(在她眼中的)更差的男生,最后的配对就是 unstable matching 了,所以,没办法更差了!这已经是最差了有木有啊!

        综上,我们惊奇地发现,男生追到的女生,是他最好的选择。

        女生接受的男生,是她最差的选择。

        如果情况相反,即女生主动追求男生,那么结论也会相反。

        这个事实教导我们,主动表白是多么重要啊!

        但是……

        羞涩的女生如果不愿主动表白,还是有机会避免这种最差结果的。这时候,撒点小谎就显得非常重要……。

        假设一个简单的情境,4 V 4 好了。

        男1:BADC                A女:1234

        男2:ABCD                B女:2143(红色是在第一天表白的)

        男3:BCAD                C女:3241

        男4:ADBD                D女:4231

        按照 Gale Shapley 算法,

        第一天,男 1 和男 3 向B女表白,男 2 和男 4 向A女表白。

        A 女喜欢 2 胜过喜欢4,但是她对 2 说谎了(“不,我不爱你……”)她拒绝了2

        B 女喜欢 1 胜过喜欢3,但是她对 1 说谎了,她拒绝了1

        于是第二天早上,被拒的男 1 向A女表白,同时男 2 向B女表白……。。

        最后的结果是:

        1-A

        2-B

        3-C

        4-D

        女生们最终都得到了最佳选择。

        以上的事实教导我们,当女生拒绝你的时候,可能她不是真的不喜欢你(至少在当时),所以……一切死缠烂打都是有理论依据滴,不可等同于耍流氓……

        最后,如果是男生撒谎(即不按 preference 列表来表白,不能否认这样的 2B 青年的存在),他最终能不能交到更加心仪的女友呢?答案是不能。撒谎只会让男生交到在男生心目中排得更靠后的女生。原因不难分析,同学们可以自行尝试。结 论是:对于主动的一方,真诚和坦白是保证得到最优选所必需的……