稳定婚姻问题和Gale-Shapley算法实现

下面的引用《程序员》杂志上的一篇文章,来说明什么是稳定婚姻问题和Gale-Shapley算法。

网址:http://www.programmer.com.cn/12001/

什么是算法?每当有人问作者这样的问题时,他总会引用这个例子:假如你是一个媒人,有若干个单身男子登门求助,还有同样多的单身女子也前来征婚。如果你已经知道这些女孩儿在每个男孩儿心目中的排名,以及男孩儿们在每个女孩儿心中的排名,你应该怎样为他们牵线配对呢?

最好的配对方案当然是,每个人的另一半正好都是自己的“第一选择”。这虽然很完美,但绝大多数情况下都不可能实现。比方说,男1号最喜欢的是女1号,而女1号的最爱不是男1号,这两个人的最佳选择就不可能被同时满足。如果好几个男孩儿最喜欢的都是同一个女孩儿,这几个男孩儿的首选也不会同时得到满足。当这种最为理想的配对方案无法实现时,怎样的配对方案才能令人满意呢?

其实,找的对象太完美不见得是好事儿,和谐才是婚姻的关键。如果男1号和女1号各有各的对象,但男1号觉得,比起自己现在的,女1号更好一些;女1号也发现,在自己心目中,男1号的排名比现男友更靠前。这样一来,这两人就可能抛弃各自现在的对象——如果出现了这种情况,我们就说婚姻搭配是不稳定的。作为一个红娘,你深知,对象介绍得不好没关系,就怕婚姻关系不稳定。给客户牵线配对时,虽然不能让每个人都得到最满意的,但搭配必须得稳定。换句话说,对于每一个人,在他心目中比他当前伴侣更好的异性,都不会认为他也是一个更好的选择。现在,我们的问题是:稳定的婚姻搭配总是存在吗?应该怎样寻找?

一次失败的尝试

为了便于分析,我们下面做一些约定。我们用字母A、B、C对男性进行编号,用数字1、2、3对女性进行编号。我们把所有男性从上到下列在左侧,括号里的数字表示每个人心目中对所有女性的排名;再把所有女性列在右侧,用括号里的字母表示她们对男性的偏好。图1所示的就是2男2女的一种情形,每个男的都更喜欢女1号,但女1号更喜欢男B,女2号更喜欢男A。若按A-1、B-2进行搭配,则男B和女1都更喜欢对方一些,这样的婚姻搭配就是不稳定的。但若换一种搭配方案(如图2),这样的搭配就是稳定的了

图1 一个不稳定的婚姻搭配图

可能很多人会立即想到一种寻找稳定婚姻搭配的策略:不断修补当前搭配方案。如果两个人互相都觉得对方比自己当前的伴侣更好,就让这两个人成为一对,剩下被甩的那两个人组成一对。

图2 一个稳定的婚姻搭配

如果还有想要私奔的男女对,就继续按照他们的愿望对换情侣,直到最终消除所有的不稳定组合。容易看出,应用这种“修补策略”所得到的最终结果一定满足稳定性,但这种策略的问题在于,它不一定存在“最终结果”。事实上,按照上述方法反复调整搭配方案,最终可能会陷入一个死循环,因此该策略甚至不能保证得出一个确定的方案来,如图3所示。

图3 应用“修补策略”可能会产生死循环

Gale-Shapley算法

1962年,美国数学家David Gale和Lloyd Shapley发明了一种寻找稳定婚姻的策略。不管男女各有多少人,也不管他们的偏好如何,应用这种策略后总能得到一个稳定的搭配。换句话说,他们证明了稳定的婚姻搭配总是存在的。有趣的是,这种策略反映了现实生活中的很多真实情况。

在这种策略中,男孩儿将一轮一轮地去追求他中意的女子,女子可以选择接受或者拒绝他的追求者。第一轮,每个男孩儿都选择自己名单上排在首位的女孩儿,并向她表白。此时,一个女孩儿可能面对的情况有三种:没有人跟她表白,只有一个人跟她表白,有不止一个人跟她表白。在第一种情况下,这个女孩儿什么都不用做,只需要继续等待;在第二种情况下,接受那个人的表白,答应暂时和他做情侣;在第三种情况下,从所有追求者中选择自己最中意的那一位,答应和他暂时做情侣,并拒绝所有其他追求者。

第一轮结束后,有些男孩儿已经有女朋友了,有些男孩儿仍然是单身。在第二轮追女行动中,每个单身男孩儿都从所有还没拒绝过他的女孩儿中选出自己最中意的那一个,并向她表白,不管她现在是否是单身。和第一轮一样,女孩儿们需要从表白者中选择最中意的一位,拒绝其他追求者。注意,如果这个女孩儿已经有男朋友了,当她遇到了更好的追求者时,她必须拒绝掉现在的男友,投向新的追求者的怀抱。这样,一些单身男孩儿将会得到女友,那些已经有了女友的人也可能重新变成光棍。在以后的每一轮中,单身男孩儿继续追求列表中的下一个女孩儿,女孩儿则从包括现男友在内的所有追求者中选择最好的一个,并对其他人说不。这样一轮一轮地进行下去,直到某个时候所有人都不再单身,下一轮将不会有任何新的表白发生,整个过程自动结束。此时的婚姻搭配就一定是稳定的了。

这个策略会不会像之前的修补法一样,出现永远也无法终止的情况呢?不会。下面我们将说明,随着轮数的增加,总有一个时候所有人都能配对。由于在每一轮中,至少会有一个男孩儿向某个女孩儿告白,因此总的告白次数将随着轮数的增加而增加。倘若整个流程一直没有因所有人都配上对了而结束,最终必然会出现某个男孩儿追遍了所有女孩儿的情况。而一个女孩儿只要被人追过一次,以后就不可能再单身了。既然所有女孩儿都被这个男孩儿追过,就说明所有女孩儿现在都不是单身,也就是说此时所有人都已配对。

图4 应用上述策略,三轮之后将得出稳定的婚姻搭配

接下来,我们还需要证明,这样得出的配对方案确实是稳定的。首先注意到,随着轮数的增加,一个男孩儿追求的对象总是越来越糟,而一个女孩儿的男友只可能变得越来越好。假设男A和女1各自有各自的对象,但比起现在的对象,男A更喜欢女1。因此,男A之前肯定已经跟女1表白过。既然女1最后没有跟男A在一起,说明女1拒绝了男A,也就是说她有了比男A更好的男孩儿。这就证明了,两个人虽然不是一对,但都觉得对方比自己现在的伴侣好,这样的情况绝不可能发生。

我们把用来解决某种问题的一个策略,或者说一个方案,或者说一个处理过程,或者说一系列操作规则,或者更贴切地说,一套计算方法,叫做“算法”。上面这个用来寻找稳定婚姻的策略就叫做“Gale-Shapley算法”,有些人也管它叫“延迟认可算法”。

Gale-Shapley算法的意义和应用

每个算法都有它的实际意义,能给我们带来很多启发。Gale-Shapley算法最大的意义就在于,作为一个为这些男女牵线的媒人,你并不需要亲自计算稳定婚姻匹配,甚至根本不需要了解每个人的偏好,只需要按照这个算法组织一个男女配对活动就可以了。你需要做的仅仅是把算法流程当作游戏规则告诉大家,游戏结束后会自动得到一个大家都满意的婚姻匹配。整个算法可以简单地描述为:每个人都去做自己想做的事情。对于男性来说,从最喜欢的女孩儿开始追起是顺理成章的事;对于女性来说,不断选择最好的男孩儿也正好符合她的利益。因此,大家会自动遵守游戏规则,不用担心有人虚报自己的偏好。

历史上,这样的“配对游戏”还真有过实际应用,并且更有意思的是,这个算法的应用居然比算法本身的提出还早10年。早在1952年,美国就开始用这种办法给医学院的学生安排工作,这被称之为“全国住院医师配对项目”。配对的基本流程就是,各医院从尚未拒绝这一职位的医学院学生中选出最佳人选并发送聘用通知,当学生收到来自各医院的聘用通知后,系统会根据他所填写的意愿表自动将其分配到意愿最高的职位,并拒绝掉其他的职位。如此反复,直到每个学生都分配到了工作。那时人们并不知道这样的流程可以保证工作分配的稳定性,只是凭直觉认为这是很合理的。直到10年之后,Gale和Shapley才系统地研究了这个流程,提出了稳定婚姻问题,并证明了这个算法的正确性。

这个算法还有很多有趣的性质。比如说,大家可能会想,这种男追女女拒男的方案对男性更有利还是对女性更有利呢?答案是,这种方案对男性更有利。事实上,稳定婚姻搭配往往不止一种,然而上述算法的结果可以保证,每一位男性得到的伴侣都是所有可能的稳定婚姻搭配方案中最理想的,同时每一位女性得到的伴侣都是所有可能的稳定婚姻搭配方案中最差的。受篇幅限制,我们略去证明的过程。

这个算法会有一些潜在的问题。刚才我们已经说了,对于每位女性来说,得到的结果都是所有可能的稳定搭配中最差的一种。此时,倘若有某位女性知道所有其他人的偏好列表,经过精心计算,她有可能发现,故意拒绝掉本不该拒绝的人(暂时保留一个较差的人在身边),或许有机会等来更好的结果。因而,在实际生活中应用这种算法,不得不考虑一些可能的欺诈与博弈。

这个算法还有一些局限。例如,它无法处理2n个人不分男女的稳定搭配问题。一个简单的应用场景便是宿舍分配问题:假设每个宿舍住两个人,已知2n个学生中每一个学生对其余2n-1个学生的偏好评价,如何寻找一个稳定的宿舍分配?此时,Gale-Shapley算法就不再有用武之地了。而事实上,宿舍分配问题中很可能根本就不存在稳定的搭配。例如,有A、B、C、D四个人,其中A把B排在第一,B把C排在第一,C把A排在第一,而且他们三人都把D排在最后。容易看出,此时一定不存在稳定的宿舍分配方案。倘若A、D同宿舍,B、C同宿舍,那么C会认为A是更好的室友(因为C把A排在了第一),同时A会认为C是更好的室友(因为他把D排在了最后)。同理,B、D同宿舍或者C、D同宿舍也都是不行的,因而稳定的宿舍分配是不存在的。此时,重新定义宿舍分配的优劣性便是一个更为基本的问题。

稳定婚姻问题还有很多其他的变种,有些问题甚至是NP完全问题,至今仍然没有(也不大可能有)一种有效的算法。在图论、算法和博弈论中,这都是非常有趣的话题。

作者顾森,网名Matrix67,北京大学中文系应用语言学专业学生,数学爱好者。2005年开办数学博客http://www.matrix67.com,至今已积累上千篇文章,已有上万人订阅。

下面是wikipida上给这个算法的描述:

function stableMatching {
    Initialize all m ∈ M and w ∈ W to free
    while ∃ free man m who still has a woman w to propose to {
       w = highest ranked woman to whom m has not yet proposed
       if w is free
         (m, w) become engaged
       else some pair (m', w) already exists
         if w prefers m to m'
           (m, w) become engaged
           m' becomes free
         else
           (m', w) remain engaged
    }
}
我根据上面的思路,对这个算法进行了实现,使用了上文中的例子,得出了相同的结论

/*
 * main.c
 *
 *  Created on: 2015年3月25日
 *      Author: wlj
 */

#include<stdio.h>
#include<stdlib.h>

#define N 4

typedef struct _W_INFO
{
	int rank; //在这个男孩心中,这个女孩的排名,数值越大表示越好
	int status; //这个女的是否表白过
} W_INFO;

typedef struct _MAN
{
	int status; //表示现在是否单身
	W_INFO w_info[N]; //用来存储所有女孩的信息
	int lover; //如果表白成功,对象的id(只有status状态为1时,这个值才有意义)
} MAN;

typedef struct _WOMAN
{
	int status; //表示这个女孩是否单身
	int rank[N]; //用来存储所有男孩的排名
	int lover;
} WOMAN;

MAN man[N];
WOMAN woman[N];

int ExistFree()
{
	int m;
	for (m = 0; m < N; m++)
	{
		if (man[m].status == 0)
		{
			return 1;
		}
	}
	return 0;
}

int SelectWoman(int m)
{
	int w;
	W_INFO woman;
	int best_rank = -1;
	int best_id = -1;

	//为男孩m找出一个最好的,且未表白过的女孩
	for (w = 0; w < N; w++)
	{
		woman = man[m].w_info[w];
		if (woman.status == 0) //如果这个女的是没有表白过
		{
			if (woman.rank > best_rank)
			{
				best_rank = woman.rank;
				best_id = w;
			}
		}
	}
	return best_id;
}

//男孩m向女孩w表白
void Propose(int m, int w)
{
	int lover;

	/*
	 * 男孩m向女孩w表白
	 *
	 */

	//如果这个女孩是单身
	if (woman[w].status == 0)
	{
		//女孩w告别单身,找到lover
		woman[w].status = 1;
		woman[w].lover = m;

		//男孩m告别单身,找到lover
		man[m].status = 1;
		man[m].lover = w;
	}
	else //如果这个女孩有男友
	{
		//这是这个女孩现在的男友
		lover = woman[w].lover;
		//如果这个女孩现在的男友没有当前表白的这个好
		if (woman[w].rank[lover] < woman[w].rank[m])
		{
			//更换男友
			woman[w].lover = m;

			//男孩m告别单身,找到lover
			man[m].status = 1;
			man[m].lover = w;

			//女孩与其前男友分手,前男友变成单身
			man[lover].status = 0;
		}
		else
		{
			//男孩m被拒绝了
		}
	}
	//男孩m记下,已经向女孩w表白过了
	man[m].w_info[w].status = 1;
}

void StableMatching()
{
	int m;
	int w;
	while (ExistFree())
	{
		for (m = 0; m < N; m++)
		{
			if (man[m].status == 0)
			{
				w = SelectWoman(m);
				Propose(m, w);
			}
		}
	}

}

void InitData()
{
	int m_w[N][N] = { { 1, 2, 4, 3 }, { 1, 3, 4, 2 }, { 4, 1, 3, 2 }, { 1, 4, 2, 3 } };
	int w_m[N][N] = { { 4, 1, 2, 3 }, { 4, 3, 2, 1 }, { 4, 3, 1, 2 }, { 3, 4, 1, 2 } };
	int i, j;
	for (i = 0; i < N; i++)
	{
		man[i].status = 0;
		man[i].lover = -1;

		woman[i].lover = -1;
		woman[i].status = 0;

		for (j = 0; j < N; j++)
		{
			man[i].w_info[j].rank = m_w[i][j];
			man[i].w_info[j].status = 0;

			woman[i].rank[j] = w_m[i][j];
		}
	}
}

void PrintInfo()
{
	int i;
	char m = 'A';
	for (i = 0; i < N; i++)
	{
		printf("%c <----> %d\n", m, man[i].lover + 1);
		m++;
	}
}
int main()
{

	InitData();
	StableMatching();
	PrintInfo();
	return 0;
}

运行的结果

A <----> 3
B <----> 2
C <----> 1
D <----> 4

还是挺靠谱,结论是在这种假设的下,女孩多半可以找到心仪对象,但男同志多半只能将就,一般不会出现不稳定的情况,与现实的情况基本上是吻合的,也一定程度上验证了人类社会在男女比例适当时候是比较稳定的,显然是明摆的道理,原因是光棍是种不稳定的因素。

展开阅读全文

没有更多推荐了,返回首页