搜索与图论 染色法判定二分图

染色法判定二分图

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

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

输入格式
第一行包含两个整数 n 和 m。

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

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

数据范围
1≤n,m≤10⁵
输入样例：

4 4
1 3
1 4
2 3
2 4

输出样例：

Yes

二分图
设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i ~ A , j ~ B)，则称图G为一个二分图。

一个图是二分图，当且仅当图中不含有奇数环（环的边数是奇数）。

染色法构造二分图：
使用两种颜色（黑白）对图中的点进行标记，当一个节点被标记为黑色，则它的相邻节点应为白色（任意一条边的两个端点应为不同的颜色），如果在标记过程中出现矛盾（一个点本应该是黑色，却被染成了白色），则说明存在奇数环，不能构成二分图。

#include<bits/stdc++.h>
using namespace std;
const int N = 100010,M=2*N;
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 x,int c) //判断x点染c颜色对不对。
{
    color[x]=c; //给x染c色。 c=1,2
    for(int i=h[x];i!=-1;i=ne[i])
    {
        int j=e[i];
        if(!color[j]) //如果j点未被染色，判断它染另一种颜色是否合适。
        {
           if(!dfs(j,3-c)) return false; //c=1时候，另一种颜色为3-1=2
        }
           
        else if(color[j]==c) return false; //如果j点与x点颜色相同返回false
    }
    return true;
}
int main()
{
    cin>>n>>m;
    memset(h,-1,sizeof h);
    while(m--)
    {
        int x,y;
        cin>>x>>y;
        add(x,y),add(y,x);
    }
    bool flag=true;
    for(int i=1;i<=n;i++) //从1点开始，将未被染色的点染上1颜色。
    {
        if(!color[i])
        {
            if(!dfs(i,1))
            {
                flag=false;
                break;
            }
        }
    }
    if(flag) puts("Yes");
    else puts("No");
    return 0;
}