小白学习KM算法详细总结--附上模板题hdu2255

KM算法是基于匈牙利算法求最大或最小权值的完备匹配

关于KM不知道看了多久，每次都不能完全理解，今天花了很久的时间做个总结，归纳以及结合别人的总结给出自己的理解，希望自己以后来看能一目了然，也希望对刚学习KM算法的人有帮助，这里结合一个模板题，以及 图形解说，更加明了

对于这里给出 一：基本概念 二：算法原理和语言描述 三：结合图形理解KM算法过程

一.

首先给出一些摘要知识点以及算法的语言描述(如果前面看过前辈们的，只是对于算法过程不了解的可以直接看后面结合图形的算法详细解说，这里归纳个人觉得对于一个小白学习有用的知识点)

首先

KM算法的正确性基于以下定理：

若由二分图中所有满足A[ i ]+B[j]=w[i,j]的边(i,j)构成的子图（称做相等子图）有完备匹配，那么这个完备匹配就是二分图的最大权匹配。

1. 完备匹配：如下图，设G＝<V₁，V₂，E>为二部图，|V₁|≤|V₂|，M为G中一个最大匹配，且|M|＝|V₁|，则称M为V₁到V₂的完备匹配。

那么对于V1的点都有与之对应的匹配，就是完备匹配(就是完全把V1的点都匹配完)

2. 可行顶标：对于左边的点设 lx[MAX] 数组， 对于右边的点设 ly[MAX] 数组，Vi,j 表示 vi 到 vj 的权值(这里的原因是为了求解最优完备匹配，可以在下面理解)

3. 相等子图：相等子图为完备匹配中所有的匹配(就是全部的V1的点，和与之匹配的V2中的点)，但是对于边就只包含lx[i] + ly[j] =  V(i,j)的边

4.最优完备匹配：那么这个就是我们的目的啦，对于上面说的完备匹配之下要求最优，那么结合相等子图来就有若由二分图中所有满足A[i]+B[j]=w[i,j]的边(i,j)构成的相等子图有完备匹配，那么这个完备匹配就是二分图的最大权匹配。

这个定理是显然的。因为对于二分图的任意一个匹配，如果它包含于相等子图，那么它的边权和等于所有顶点的顶标和；如果它有的边不包含于相等子图，那么它的边权和小于所有顶点的顶标和。所以相等子图的完备匹配一定是二分图的最大权匹配。