什么是二分图？

二分图，也称作二部图，是图论中的一种特殊模型。在一个无向图G=(V,E) 中，如果顶点集合 V 可以被分割成两个互不相交的子集 A 和 B，并且图中的每条边 (i,j) 关联的两个顶点 i 和 j 分别属于这两个不同的顶点集（即 i 属于 A，j 属于 B），那么这样的图 G 就被称为二分图。二分图有一些特殊的性质和应用，例如，二分图中不存在奇数长度的环，并且它可以用在匹配问题、网络流问题等不同领域。
也就是说：二分图，就是可以使用两种不同的颜色对图中的顶点进行均匀染色的图，例如：存在两个区域A、B，A与B之间可以通过边进行连接，但是A与B内部是没有边的。
二分图，当且仅当图中不含奇数环。如果存在奇数环，那么就一定不是二分图。因为图中不含奇数环，所以染色过程中一定没有矛盾
图示：图中1和2表示不同的颜色，即二分图里一条边上的两个点的颜色是不尽相同的
             

 题目：860. 染色法判定二分图 - AcWing题库

 代码：

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

using namespace std;

const int N=1e5+10,M=2*N;
int e[M],h[N],ne[M],idx;
int n,m,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];
        //r如果这一点没有被染色的话，那么就对其进行染色
        if(!color[j])
        {
            /*
            不难发现，对其进行染色的过程是在dfs中‘color[u]=c;’的这一步
            */
            //染色完毕后，如果染的颜色与上一个颜色相同，则else if语句会返回false
            //那么就不会形成二分图，返回false；
            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);
    for(int i=0;i<m;i++)
    {
        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])
        {
//那么就对其进行染色，如果dfs返回false，那么则二分图不成立
            if(!dfs(i,1))
            {
                //更改标志变量
                flag=false;
                //有一个不成立，则二分图整体就不成立，break掉即可
                break;
            }
        }
    }
    
    if(flag) puts("Yes");
    else puts("No");
    
    return 0;
}