一:定义
二分图:是图论中的一种特殊模型。若能将无向图G=(V,E)的顶点V划分为两个交集为空的顶点集,并且任意边的两个端点都分属于两个集合,则称图G为一个为二分图。
二:判定
根据定义,可以知道如果对于一个图,我们将它的节点用黑白染色,那么如果它是二分图,它的每一条边的两端,都可以实现一黑一白。
所以在判定时,只需要根据这样的性质,对于每一个点,把它所有的未遍历的子节点染上和它不一样的颜色,如果最后没有哪一条边两端颜色一样,就说明它是一个二分图,否则就不是。
在代码实现的时候可以写成对于每一个点,把未遍历的子接点染上与它不同的颜色,如果存在子节点已经染过色了并且与它颜色相同,可以直接判定它不是一个二分图。
看一个这样的图
会有这样的染色过程
最后4和5都是白色,gg。
到此我们就得到了整个图的算法:
- 选取一个未染色的点u进行染色
- 遍历u的相邻节点v:若v未染色,则染色成与u不同的颜色,并对v重复第2步;若v已经染色,如果 u和v颜色相同,判定不可行退出遍历。
- 若所有节点均已染色,则判定可行。
可以用dfs实现它
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<queue>
using namespace std;
struct node
{
int nxt,to;
}edg[200010];
int head[100010],n,m;
int num,col[100010];
bool flag;
void add(int a,int b)
{
num++;
edg[num].nxt=head[a];
edg[num].to=b;
head[a]=num;
}
void dfs(int cur,int color)
{
col[cur]=color;
for(int t=head[cur];t;t=edg[t].nxt)
{
int v=edg[t].to;
if(col[v]==col[cur])
{
cout<<"NO";
flag=1;
exit(0);
}
if(!col[v])
{
dfs(v,-color);
}
}
}
int main()
{
cin>>n>>m;
for(int i=1;i<=m;i++)
{
int a,b;
cin>>a>>b;
add(a,b);
add(b,a);
}
dfs(1,1);
if(!flag)
cout<<"YES";
}
(如果图是不连通的,要枚举起点)