【暖*墟】 #图论# 二分图匹配

一、二分图的匹配

对于一个二分图G的子图M,若M的边集E的任意两条边都不连接同一个顶点，

则称M为G的一个匹配。即：“任意两条边没有公共端点”的边的集合。

---

二、最大匹配

对于二分图G的一个子图M，若M为其边数最多的子图，则M为G的最大匹配。

增广路：也称增广轨或交错轨。若P是图G中【一条连通两个未匹配顶点的（长）路径】，

属于M的边和不属于M的边（已匹配和待匹配的边）在P上交替出现（一个属于一个不属于...），

则P为M的一条增广路径。（相当于是，新加入一个节点，找到它能得到匹配的修改路径，那么len++）

(即：有A、B集合，增广路由A中一个点通向B中一个点，再由B中这个点通向A中一个点……交替进行)。

---

①初始状态。

当前已有边(1,1')和(4,3')属于M。

---