python实现KM算法

二分图定义

图的顶点恰好可以分成两个集合，同一个集合内的顶点间不允许有边，处在不同集合的顶点允许有边相连。

问题分类

• 最大匹配问题：匈牙利算法、Hopcroft–Karp算法
• 最优权值匹配问题：Kuhn-Munkras算法

关键思想

增广路（augmenting path）：假设目前已有一个匹配结果，存在一组未匹配定点的OD，能够找到一条路径，这条路径上匹配和未匹配的定点交替出现，称为增广路

增广路上的匹配和未匹配取反，则匹配数增加1。

KM算法

基本思想：通过引入顶标，将最优权值匹配转化为最大匹配问题。

步骤1：将边权值转化为顶标/标杆，一般来讲，初始化时，X集合的元素取对应权重的最大值，Y集合的元素取0。取出满足以下条件的边，构建二分图：weight(i,j) = label(i) + label(j)；该二分图称为相等子图