AcWing 860 染色法判定二分图

题目描述：

给定一个n个点m条边的无向图，图中可能存在重边和自环。请你判断这个图是否是二分图。

输入格式

第一行包含两个整数n和m。

接下来m行，每行包含两个整数u和v，表示点u和点v之间存在一条边。

输出格式

如果给定图是二分图，则输出“Yes”，否则输出“No”。

数据范围

1≤n,m≤10^5

输入样例：

4 4
1 3
1 4
2 3
2 4

输出样例：

Yes

分析：

设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。简单的说，就是让图中任意一条边上的两个顶点都属于不同的集合即可，比如下图：

无向图G为二分图的充分必要条件是，G至少有两个顶点，且其所有回路的长度均为偶数。很好理解这句话，比如一个环形图abcd有ab，bc，cd，da四条边，回路长度为4，则a，c为一个集合，b，d为一个集合，成功的分成了两个部分。但若回路上仅有abc三点，ab，bc，ca三条边，则无法分成两个不相交的集合。若有ab，bc，cd，de，ea五条边，则a，c，e为一个集合，a和e又是同一条边上的顶点，则矛盾了。

二分图的判定一般使用染色法，顾名思义，需要遍历图中的顶点，将某点u染色为1，则所有与u连通的点都应该被染色为2，如果有点v与u连通，即uv是一条边，但是v已经被染成和u一样的颜色了，则该图不是二分图。简而言之，尝试遍历图中每个连通块，每轮染色要么失败，要么则将该连通块上所有的结点均染上颜色了。

#include <iostream>
#include <cstring>
#include <algorithm>
const int maxn = 100005,maxm = 2 * maxn;
int h[maxn],e[maxm],ne[maxm],idx;
int color[maxn],n,m;
void add(int a,int b){
    e[idx] = b,ne[idx] = h[a],h[a] = idx++;
}
bool dfs(int cur,int c){
    color[cur] = c;
    for(int i = h[cur];i != -1;i = ne[i]){
        int j = e[i];
        if(!color[j]){
            if(!dfs(j,3 - c))   return false;
        }
        else if(color[j] == c)  return false;
    }
    return true;
}
int main(){
    scanf("%d%d",&n,&m);
    int u,v;
    memset(h,-1,sizeof h);
    for(int i = 0;i < m;i++){
        scanf("%d%d",&u,&v);
        add(u,v),add(v,u);
    }
    bool flag = true;
    for(int i = 1;i <= n;i++){
        if(!color[i]){
            if(!dfs(i,1)){
                flag = false;
                break;
            }
        }
    }
    if(flag)    puts("Yes");
    else    puts("No");
    return 0;
}