离散数学第14章二分图匹配

二分图的定义

G=<V,E>是无向图，若可将V分成两个非空子集X和Y，并且使得同一子集中的任何两个顶点都互不邻接，则称G为二分图。并称X和Y为G的互补顶点子集
若非平凡图G的每个连通分支都是二分图或平凡图，则G是二分图。

完全二分图Kx,y

X中的每个顶点与Y中每个顶点相邻，记为Kx,y

若G有长度为奇数的闭合链，则也有长度为奇数的圈

长度为1的闭合链是圈。然后画一个8，这是一个有奇数个顶点的闭合链，拆成两个O，这两个O中必有一个O有奇数个顶点，然后数学归纳法得证

非平凡二分图 <=> 每个圈的长度都是偶数

证明思路和之前证“任何圈和任何割集都有偶数条公共边”的思路是一样的。

匹配

“匹配”为二分图的一个边子集，“匹配”中任何两条边不相邻。具有极大性的匹配为最大匹配，最大匹配可能有多个