这篇博客探讨了二分图的概念，包括完全二分图的定义，以及如何证明在非平凡二分图中每个圈的长度为偶数。进一步讲解了匹配的概念，最大匹配的性质，并引入了交错链、饱和点和可扩充链的概念，特别是最大匹配与不存在可扩充链之间的等价关系。最后，讨论了从X到Y的匹配情况。
二分图的定义
G=<V,E>是无向图，若可将V分成两个非空子集X和Y，并且使得同一子集中的任何两个顶点都互不邻接，则称G为二分图。并称X和Y为G的互补顶点子集
若非平凡图G的每个连通分支都是二分图或平凡图，则G是二分图。
完全二分图Kx,y
X中的每个顶点与Y中每个顶点相邻，记为
Kx,y
若G有长度为奇数的闭合链，则也有长度为奇数的圈
长度为1的闭合链是圈。然后画一个8，这是一个有奇数个顶点的闭合链，拆成两个O，这两个O中必有一个O有奇数个顶点，然后数学归纳法得证
非平凡二分图 <=> 每个圈的长度都是偶数
证明思路和之前证“任何圈和任何割集都有偶数条公共边”的思路是一样的。
匹配
“匹配”为二分图的一个边子集，“匹配”中任何两条边不相邻。具有极大性的匹配为最大匹配，最大匹配可能有多个
交错链
二分图中的一条基本链，有一半的边是匹配边，有一半的边是非匹配边，且交错出现
最低0.47元/天 解锁文章
513
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
