二分图

二分图又称双分图二部图偶图,指顶点可以分成两个不相交的UV( (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

给定一个二分图G,在G的一个子图M中,M的边集中的任意两条边都不依附于同一个顶点,则称M是一个匹配。

§特性[编辑]

  • 最小边覆盖集的基数等于最大独立集的基数
  • 最大独立集的基数与最大匹配的基数之和,等于顶点数目
  • 连通的二部图:
    • 最小顶点覆盖集的基数等于最大匹配的基数
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值