摘要： 这个算法的本质还是不断的找增广路； KM算法的正确性基于以下定理：若由二分图中所有满足A[i]+B[j]=w[i,j]的边(i,j)构成的子图（称做相等子图）有完备匹配，那么这个完备匹配就是二分图的最大权匹配。 这个定理是显然的。因为对于二分图的任意一个匹配，如果它包含于相等子图，那么它的边权和等于 阅读全文

摘要： 邻接矩阵： 邻接表： 阅读全文

摘要： 定理1、无向图G为二分图的充要条件： ①图G至少包含两个点 ②G中所有的回路的长度必须为偶数 根据这个定理，判断一个无向图是否为二分图的时候 只要判断该二分图是否存在奇圈。 常用的方法是相邻染色法，父节点和子节点染上不同的颜色，遇见相邻节点颜色相同，说明存在奇圈。 bfs实现： 1 #include 阅读全文