染色法判定二分图

二分图：图论中的一种特殊模型。二分图又称作二部图，是图论中的一种特殊模型 。 设G= (V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集 (A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集 (i in A,j in B)，则称图G为一个二分图。（可以把所有点划分到两边的集合去，使得所有所有边都是在集合之间的，集合内部没有边）

一个图是二分图当且仅当图中不含奇数环（奇数环：环当中边的数量是奇数）

必要性证明：（如果该图是二分图，那么该图一定不含有奇数环）画一个环，设第一个点属于左边，那么第二个点一定属于右边，推完整个环第一个点属于右边，与前面假设矛盾。

充分性证明：（图中不含奇数环，那么该图一定是二分图）把图中的点分成两边，使得每边的内部都没有边。从前往后遍历每一个点，如果该点还没分好组，就将这个点放到左边，然后遍历和该点连通的所有点，因为该点属于左边，所以它所有相邻点应该属于右边，和右边的点相邻的点应该属于左边。（一条边上的两个点一定属于两个不同的集合，可以看作染色的过程，左边的点都为白色，右边的点都为黑色）

由于图中不存在奇数环，所以染色过程一定不会出现矛盾。

反证法：假设在染色过程中出现了矛盾，证明图中一定有奇数环。

1. 从前往后遍历每个点for(int i  = 1;i <= n;i ++)

2. 如果当前点没被染色，那么用深度优先遍历把i所在的连通块全都染色一遍dfs(i,1)（两个参数，一个当前点下标i和当前点要染色的颜色1号颜色）

模板题链接：860. 染色法判定二分图 - AcWing题库

模板题代码：

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

using namespace std;

const int N = 100010, M = 200010;//无向图每条无向边要存成两条有向边，所以边的个数是两倍

int n, m;
int h[N];//邻接表
int 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;//记录当前点的颜色为c

    for (int i = h[u]; i != -1; i = ne[i])//从前往后遍历当前点的相邻点
    {
        int j = e[i];//j存储当前点的编号
        if (!color[j])//如果当前点没有染过颜色
        {
            if (!dfs(j, 3 - c)) return false;//如果相邻点颜色为1该点要染成2，如果为2要染成1，所以可以写成3-c
        }
        else if (color[j] == c) return false;//如果j已经被染色了，判断是否有矛盾
    }

    return true;
}

int main()
{
    scanf("%d%d", &n, &m);

    memset(h, -1, sizeof h);

    //邻接表存储图
    while (m -- )
    {
        int a, b;
        scanf("%d%d", &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时返回了false，表示有矛盾发生
            {
                flag = false;
                break;
            }
        }

    if (flag) puts("Yes");//整个过程没有矛盾发生
    else puts("No");

    return 0;
}