匈牙利算法Hungarian algorithm

原文地址：http://kukumayas.iteye.com/blog/1075610

匈牙利算法是解决寻找二分图最大匹配的。 

(一)预备知识 
    什么是二分图：二分图又称作二部图，是图论中的一种特殊模型。 设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。 
 
    什么是匹配：把上图想象成3男4女搞对象（无同性恋），连线代表彼此有好感，但最终只能1夫1妻，最终的配对结果连线就是一个匹配。匹配可以是空。 
    什么是最大匹配：在有好感的基础上，能够最多发展几对。 

    现在要用匈牙利算法找出最多能发展几对。 
[color=green][size=medium] 
匈牙利算法是解决寻找二分图最大匹配的。 

(二)匈牙利算法正文： 
    匈牙利算法中有个非常非常最重要的概念叫做-交错路径，或者叫交错树，指的同一个东西。交错路径是这样的。现在有一个匹配如图黑线所示 
 
    则其交错路径为： 
 
    交错路径是对于一个匹配而言的，交错路径的起点和终点必须不是匹配中的点，而且匹配中的边在交错路径中交替出现。 
    先给一个例子 
    1、起始没有匹配 
 
    2、选中第一个x点找第一跟连线 
 
    3、选中第二个点找第二跟连线 
 
    4、发现x3的第一条边x3y1已经被人占了，找出x3出发的的交错路径x3-y1-x1-y4，把交错路中已在匹配上的边x1y1从匹配中去掉，剩余的边x3y1 x1y4加到匹配中去 
 
    5、同理加入x4,x5。 
    

    匈牙利算法可以深度有限或者广度优先，刚才的示例是深度优先，即x3找y1,y1已经有匹配，则找交错路。若是广度优先，应为：x3找y1,y1有匹配，x3找y2。

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

原文地址：http://www.matrix67.com/blog/archives/39

研究了几个小时，终于明白了。说穿了，就是你从二分图中找出一条路径来，让路径的起点和终点都是还没有匹配过的点，并且路径经过的连线是一条没被匹配、一条已经匹配过，再下一条又没匹配这样交替地出现。找到这样的路径后，显然路径里没被匹配的连线比已经匹配了的连线多一条，于是修改匹配图，把路径里所有匹配过的连线去掉匹配关系，把没有匹配的连线变成匹配的，这样匹配数就比原来多1个。不断执行上述操作，直到找不到这样的路径为止。