shuia64649495的博客

U是未匹配集，因为M是最大匹配集/(无可增广轨道uie1ti)在Y中每一邻点都是匹配边，否则可获得更大的匹配集，与U相连的都是匹配边端点T’，T‘在M∩Y中的点和T’构成T，所以T中的顶点全被相配。|M|=|T|+|X-S|,Y中顶点在T中的匹配为|T|,不在T中的被X-S相配，为|X-S|,有顶点(在两端)剩余，在X中未将U匹配，由于为二分图，令Z为与U有交错轨道的顶点集，S=X∩Z,T=Y∩Z,(为取连通分支), 设u与y1相邻，则y1与x1匹配，设u未被最大匹配匹配，Z=与u有交错轨道的点集，

平面图的VEF的关系估计笔记

树与连通的关系