匈牙利算法理解

在n个人n项任务的指派问题，匈牙利算法是有效的解决途径。

如果只有m(m<n)个独立0元素，那么我们需要添加m条横的或纵的直线，覆盖住所有的0元素。

(1) 如何找到所有的m条直线？

因为m < n，所以必定存在没有0元素的行。基于此：

a. 对没有独立0元素的行打“√”；

b. 对于打“√”的行中，所含有“Φ”元素的列打“√”；

c. 对于打“√”的列中，所含有独立0元素的行打“√”；

d. 重复步骤b和步骤c，直至没有新的行、列需要打“√”；

e. 对没有打“√”的行画一条横线，对有打“√”的列画一条横线，即得到覆盖m个独立0元素的最小直线数。

(2) 为什么按照(1)找到的是能够盖住m个独立0元素的最少直线条数？

定义一： 匈牙利数学家康尼格提出：系数矩阵中独立0元素的最多个数等于能覆盖所有0元素的最少直线数。

首先如上文 定义 ，对没有打“√”的行画一条横线，对有打“√”的列画一条横线 。

定义二： 独立0元素优先确定为一行中仅有一个0元素的元素。因此，对于一列中的两个0元素 x1、 x2，若x1为“Φ”且x1所在的行没有独立0元素，则 x2 所在的行仅有一个0元素 x2 且为独立0元素。

步骤一： 对于一个 n ✖ n 的系数矩阵，其独立0元素数为m，则必然有n-m行元素没有独立0元素，则该行不需要直线。将其使用“√”标记。故此时认为直线数为m。

步骤二： 而对这n-m行中含有“Φ”的列打“√”，表明该列上至少有两个0元素，且其独立0元素所在的行没有其他0元素(即没有 Φ）。对该列打勾，因为经过该列的直线至少能覆盖两个0元素。设打”√“的有x列，则此时直线数为m+x。

步骤三： 对于步骤二打“√”的列中，所含有独立0元素的行打“√”——是因为根据定义二，对于只有一个0元素的某一行将优先定义为独立0元素，且该行中一定没有其他0元素。因为若该行有其他0元素，则该行不会优先确定独立0元素，确定该列应该打 “√” 的有 “Φ” 的那一行应该被确定为独立0元素。但是该行的独立0元素已被该列打“√”且划为一条直线，故该行没有其他的0元素，不需要直线，故而打“√”（需要始终记得定义：对没有打“√”的行画一条横线，对有打“√”的列画一条横线）。而x列中一定含有独立0元素共x个，故行的打“√”数增加x。

因此，总的直线数为 m+x-x = m = 独立0元素个数，显然，这些打“√”的列和没有打“√”的行覆盖了所有0元素，故（1）中的直线能够盖住m个独立0元素。