染色法判定二分图

定理：如果一个图是二分图，那么 当且仅当图中不含奇数环（环中的边的数量是奇数， 或者点是奇数）
证明：如下图所示，若下图为奇数环，那么当沿着边走一圈之后，第一个点会既属于第一个集合，也属于第二个集合，矛盾了。

二分图：无向图中所有的点都可以放在两个集合中，并且点和点之间的边是不在两个集合中的，即所有的额边，都只存在于两个集合之间。

接下来看一个题目

代码如下：

#include<cstring>
#include<algorithm>
#include<iostream>

using namespace std;

const int N = 100010, M = 200010;
int n, m;
int e[M], ne[M], idx, h[N];
int color[N];

void add(int a, int b){
    e[idx] = b, ne[idx] = h[a], h[a] = idx ++;
}

bool dfs(int u, int c){//节点u， 颜色为c
    color[u] = c;
    
    for(int i = h[u]; 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(){
    cin >> n >>m;
    
    memset(h, -1, sizeof h);
    
    while(m -- ){
        int a, b;
        cin >> a >>b;
        add(a, b), add(b, a);
    }
    
    //二分染色法
    bool flag = true;
    for(int i = 1; i <= n; i++){
        if(!color[i])
            if(!dfs(i, 2)){ 
                flag = false;
                break;
            }
    }
    if(flag) puts("Yes");
    else puts("No");
    return 0;
}