二分图匹配,江湖称二分匹配,图论相关算法。
现在给出两个集合,我们拿约会来举例子。一方是男生集合,一方是女生集合,女生都比较内敛,对不认识的男孩纸并不喜欢一起约会,所以这里边就要有人际关系的问题了。
这里给男生编号n1,n2.....nn;女生编号v1v2....vn;
下面给出女生认识的男生的列表:
v1 :n1 ,n2.
v2 :n2, n3.
v3 : n1.
这里显而易见,1号男生2号男生是比较受欢迎的哈~。不用算法思想的去想这个问题我们可以这样思考:三号女生只认识1号男生,匹配上。(1组搞定)这个时候一号女生就不能选择1号男生了,她只能去选2号男生,这时候2号女生也就有了自己能选择的男生,这里我们就匹配成功了:
v1 n2
v2 n3
v3 n1
这里我们就完成了匹配的过程,这个时候我们因为所有人都有了约会对象,我们这个时候称之为最大匹配,同时也是完美匹配。
最大匹配:一个图所有匹配中,所含匹配边数最多的匹配,称为这个图的最大匹配。
完美匹配:如果一个图的某个匹配中,所有的顶点都是匹配点,那么它就是一个完美匹配。刚刚给出的例子就是完美匹配。
从v1开始找,先找到了n1.约上,然后是v2,找到了n2,约上。v3找到了n1,但是这里n1和v1已经约好了,怎么办呢?v1对v3说:我还认识n2,我去问问他有没有约会人选,要是没有的话,n1让给你。(其实我想说她是傻逼。。。。)然后v1去找n2,但是n2和v2约上了,这个时候呢v2对v1说:我还认识n3,我去看看他有没有约会的人选,要是没有的话n2,让给你(这两个傻逼。。。。)然后v2找到了n3,n3乐的屁颠屁颠的,说正好没人约我,然后他俩约上了,v2找到了n3,那么v1就能和v2约上了,然后v3也就能和n1约上了,我们这个时候就从刚刚的两组匹配,转到了3组匹配。
刚刚所述的过程,其实就是在找增广路。(这里增广路的含义自己就可以理解了吧~)那么我们如何用代码实现这个过程呢?其实并不难,我们这里需要三个数组,一个是图,一个是询问vis标记,一个是match匹配。