染色法判定二分图

给定一个 nn 个点 mm 条边的无向图，图中可能存在重边和自环。

请你判断这个图是否是二分图。

输入格式

第一行包含两个整数 nn 和 mm。

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

输出格式

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

数据范围

1≤n,m≤1051≤n,m≤105

输入样例：

4 4
1 3
1 4
2 3
2 4

输出样例：

Yes

重要性质：一个图是二分图，当且仅当这个图不含有奇数环(指环当中边的数量是奇数)

什么是二分图：可以把所有点划分成两个集合，使得所有的边都是在集合之间的，集合内没有边
如果当前点没有分组，就先放到左边，然后遍历与这个点连通的所有点，则与当前点相邻的属于右边，在下一层又属于左边  
由于图中不含有奇数环，所以染色过程中一定没有矛盾 

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

using namespace std;

const int N = 100010, M = 200010;

int n, m;
int h[N], e[M], ne[M], idx;
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)
{
    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;//如果染色有矛盾，返回false，其中染色颜色以3-c交替，3-1=2,3-2=1,3-1=2
        }
        else if (color[j] == c) return false;//如果当前要染的颜色与上一个节点一样，那么肯定矛盾了
    }
    return true;
}

int main()
{
    memset(h, -1, sizeof h);
    
    cin >> n >> m;
    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, 1))//dfs返回有矛盾发生
            {
                flag = false;
                break;
            }
        }
    
    if(flag) puts("Yes");
    else puts("No");
    
}