图论中的组合优化——二分图匹配

一、二分图

设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。

二、匹配

极大匹配(Maximal Matching)：在当前已完成的匹配下,无法再通过增加未完成匹配的边的方式来增加匹配的边数

最大匹配(Maximum Matching)：所有极大匹配当中边数最大的一个匹配。

完全匹配（Complete Matching）:图中的每个顶点都和图中某条边相关联

三、匈牙利算法

见：趣写算法系列之--匈牙利算法https://blog.csdn.net/dark_scope/article/details/8880547

四、Kuhn-Munkres（KM）算法  

https://www.cnblogs.com/logosG/p/logos.html?tdsourcetag=s_pcqq_aiomsg

https://blog.csdn.net/thundermrbird/article/details/52231639