二分图

定义

编辑

简而言之，就是顶点集V可分割为两个互不相交的子集，并且图中每条边依附的两个顶点都分属于这两个互不相交的子集，两个子集内的顶点不相邻。

辨析示例

编辑

区别二分图，关键是看点集是否能分成两个独立的点集。 [1]  

上图中U和V构造的点集所形成的循环圈不为奇数，所以是二分图。

上图中U和V和W构造的点集所形成的的循环圈为奇数，所以不是二分图。

充要条件

编辑

无向图G为二分图的 充分必要条件是，G至少有两个顶点，且其所有回路的长度均为偶数。

证先证必要性。

设G为二分图<X，E，Y>。由于X，Y非空，故G至少有两个顶点。若C为G中任一回路，令

C = (v0,v 1,v2，…，v l-1,v l = v0)

其中诸vi (i = 0,1，…，l）必定相间出现于X及Y中，不妨设

{v0,v2,v4，…，v l = v0} &Iacute; X

{v1,v3,v5，…，v l-1} &Iacute; Y

因此l必为偶数，从而C中有偶数条边。

再证充分性。

设G的所有回路具有偶数长度，并设G为连通图（不失一般性，若G不连通，则可对G的各连通分支作下述讨论）。

令G的顶点集为V，边集为E，现构作X，Y，使<X，E，Y> = G。取v0&Icirc;V，置

X = {v | v= v0或v到v0有偶数长度的通路}

Y = V-X

X显然非空。现需证Y非空，且没有任何边的两个端点都在X中或都在Y中。

由于|V|≥2并且G为一连通图，因此v0必定有相邻顶点，设为v1，那么v1&Icirc;Y；故Y不空。

设有边（u,v），使u&Icirc;X，v&Icirc;X。那么，v0到u有 偶数长度的通路，或u = v0；v0到v有偶数长度的通路，或v = v0。无论何种情况，均有一条从v0到v0的奇数长度的闭路径，因而有从v0到v0的奇数长度的回路（因从闭路径上可能删去的回路长度总为偶数），与 题设矛盾。故不可能有边（u,v）使u,v均在X中。

“没有任何边的两个端点全在Y中”的证明可仿上进行，请读者思考。