摘要： 匹配就是一个图中一堆没有端点的边的集合，求最大匹配就是求这个边集最大有多少条边。 无论是任意图还是二分图，都有以下定理： 当前匹配是最大匹配当且仅当不存在增广路。 增广路的定义就是，一条包含奇数条边的路径，最前和最后的两条边都是非匹配边，且对于路径非两端的点，都连接着一条匹配边和非匹配边。 求图的匹 阅读全文