二分图

二分图的一个等价定义是：不含有「奇数条边的环」的图。图 1 是一个二分图。为了清晰，我们以后都把它画成图 2 的形式。

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

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