二分图

最新推荐文章于 2022-10-17 00:49:38 发布

mengxiaozuo

最新推荐文章于 2022-10-17 00:49:38 发布

阅读量632

点赞数

分类专栏：图论算法

图论算法专栏收录该内容

43 篇文章 4 订阅

订阅专栏

二分图又称双分图、二部图、偶图，指顶点可以分成两个不相交的集 $U$ 和 $V$ （ ( $U$ and $V$ 皆为独立集independent sets)，使得在同一个集内的顶点不相邻（没有共同边）的图。

二分图又称作二部图，是图论中的一种特殊模型。设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(U,V)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in U,j in V)，则称图G为一个二分图。

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

可以将 $U$ 和 $V$ 当做着色图： $U$ 中所有节点为蓝色， $V$ 中所有节点着绿色，每条边的两个端点的颜色不同，符合图着色问题的要求^[1]^[2]。相反，用这样的着色方式对非二分图是行不通的，根据triangle：其中一个顶点着蓝色并且另一个着绿色后，三角形的第三个顶点与上述具有两个颜色的顶点相连，无法再对其着蓝色或绿色。

二分图的一种描述方式为： $G=(U,V,E)$ ，表示有独立顶点集 $U$ 和 $V$ ，以及边 $E$ 组成的图。假如一个二分图不是连通图，其可能包含多个二分图；^[3]这种情况下， $(U,V,E)$ 有利于指定应用中一个特定的二分图。如果 $|U|=|V|$ （这两个子集有相同的势），那么 $G$ 称为平衡二分图。^[1]如果二分图同一侧的顶点有相同的 degree，那么 $G$ 是一个biregular。