染色法判断二分图
- 首先还是图的存储,对于稀疏图而言的话,就需要用邻接表去存,然后在这边有个特别坑的地方就是,如果说这个图是无向图,那么它相当于是特殊的有向图,然后如果他的点数是n的话,注意它的边数此时此刻应该要给到2n
#define N 100010
#define M 200020
int h[N];
int e[M];
int ne[M];
int idx;
memset(h,0xff,sizeof(h));
- 无向图的边的插入
void add(int a, int b)
{
e[idx]=b;
ne[idx]=h[a];
h[a]=idx;
idx++;
}
int a,b;
while(m--)
{
scanf("%d %d",&a,&b);
add(a,b);
add(b,a);
}
- 首先得知道什么是二分图,就是假设现在在这个图当中,所有的点都分属于两个不同的集合,然后图当中不是有边的嘛,就是说在这两个集合当中不能有边存在。这也就意味着对于二分图当中的每一条边两端的两个点,肯定是分属于两个不同的集合,不然的话这个图就不是二分图了
然后有关于二分图的话,有个非常重要的性质:如果说这个图当中存在奇数环(一个环,并且这个环当中边的数量是奇数)的话,那么这个图肯定不是二分图;如果说一个图当中不存在奇数环,我们这个图肯定是二分图。因此如果图当中都没有还的话,那100%是二分图 - 如何判断一个图是不是二分图?这时候就需要用染色法。其实相当于就是对每一个点进行染色,因为是判断二分图,所以只需要染两种颜色,然后去看一下是否会出现矛盾,一开始的话去定义一个color数组,这个数组的作用就是去判断一下当前每个点的颜色情况。如果说是0,就说明当前这个点还没有染过颜色;如果说是一或二的话,就对应两种不同的颜色
int color[N];
- 然后接下来就是具体的判断方法,在这个过程当中需要用到递归。首先先去遍历每一个点,如果说当前这个点没有被染色过的话,就执行dye(int u,int c)。这个函数是一个递归函数,它的功能就是:1. 将该点u染成c颜色;2. 然后把该点u所能连接到的其他点的颜色全部染成另外一种颜色(如果那个点还没有被染色的情况之下),如果那个点已经染色了,这时就去判断一下它的颜色与颜色c是否是相同的,如果是相同的话就说明不是二分图。3. 可以判断在染色的过程当中,是否会发生冲突
int dye(int u,int c)
{
color[u]=c;
for (int i=h[u];i!=-1;i=ne[i])
{
int k=e[i];
if (color[k]==0)
{
int num = dye(k,3-c);
if (num==0)
{
return 0;
}
}
else
{
if (color[k]==c)
{
return 0;
}
}
}
}
for (int i=1;i<=n;i++)
{
if (color[i]==0)
{
if (dye(i,1)==0)
{
printf("No\n");
return 0;
}
}
}
printf("Yes\n");
例题
来源:AcWing
c
#include <stdio.h>
#include <string.h>
#define N 100010
#define M 200020
int h[N];
int e[M];
int ne[M];
int idx;
int n,m;
int color[N];
void add(int a, int b)
{
e[idx]=b;
ne[idx]=h[a];
h[a]=idx;
idx++;
}
int dye(int u,int c)
{
color[u]=c;
for (int i=h[u];i!=-1;i=ne[i])
{
int k=e[i];
if (color[k]==0)
{
int num = dye(k,3-c);
if (num==0)
{
return 0;
}
}
else
{
if (color[k]==c)
{
return 0;
}
}
}
}
int main()
{
memset(h,0xff,sizeof(h));
scanf("%d %d",&n,&m);
int a,b;
while(m--)
{
scanf("%d %d",&a,&b);
add(a,b);
add(b,a);
}
for (int i=1;i<=n;i++)
{
if (color[i]==0)
{
if (dye(i,1)==0)
{
printf("No\n");
return 0;
}
}
}
printf("Yes\n");
return 0;
}