离散课件图论课件图论-6.pdf

§14 二分图及图的匹配问题 1 重点掌握:⼆分图、图匹配的定义，判定及证明。 定义14.1 （⼆分图）：设G=V,E,ψ是⼀个⽆ X Y V X Y 向图，如果可以把 划分为两个⼦集 和 ，使 x1 得同⼀个⼦集中的任何两个顶点都不邻接，则 y1 G X Y G 称图 为⼀个⼆分图。 和 称为 的互补顶点x2 ⼦集。 y2 7 右上图给出了⼀个具有 个顶点的⼆分图， x3 X={x ,x ,x , x } Y= y3 它的互补顶点⼦集为： 1 2 3 4 和 {y ,y ,y } x4 1 2 3 X Y 顶 完全⼆分图： 中的每个顶点都与 中的所有 点邻接的 #X=p #Y=q ⼆分图。若 ， ，则将其记为 K K 。右下图是完全⼆分图 。 p,q 3,3 例：找出 右图中的 ⼆分图 ⼆分图 ⾮⼆分图 14.1 G , 定理 ： 是⼀个⼆分图 当且仅当⾮平凡⽆向图G 的所有圈的⻓度都是偶数。 证明 (1) G=V,E,ψ C=(u , u , u , ... u , u ) G 设 是⼆分图， 0 1 2 l-1 0 为 中任意⼀圈， l G V X Y G 其⻓度为 。因为 是⼆分图，可将 划分为互补顶点⼦集 和 ，使 X Y 中任⼀边的两端点⼀个在 中，另⼀个在 中。 C u X u , u , ... X C , 对于圈 ，不妨设 在 中，这样顶点 均在 中，即在圈 上下 0 2 4 X u , u , ... Y C , 标为偶数的顶点均在 中，⽽ 1 3 均在 中，即在圈 上下标为奇 Y (u , u )