染色法判断二分图(dfs)

二分图成立的充要条件是图中没有奇数环（树一定是二分图）。

根据这个性质我们可以知道当对任意一个顶点进行染色时，无论是否在环内，都不会有一条边的两个顶点同色。

所以当出现一条边的两个顶点同色时说明染色失败，此图不是二分图。

 利用dfs或bfs进行遍历染色。

dfs

#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
#define ll long long
#define ull unsigned long long
#define inf 0x3f3f3f3f3f3f3f3f
#define mem(a, b) memset(a, b, sizeof(a))
#define rep(i, a, b) for (auto i = a; i <= b; ++i)
#define bep(i, a, b) for (auto i = a; i >= b; --i)
#define lowbit(x) x &(-x)
#define PII pair<int, int>
#define PLL pair<ll, ll>
#define PI acos(-1)
#define pb push_back
#define eps 1e-6
#define X1 first
#define Y1 second
#define IOS                      \
    ios::sync_with_stdio(false); \
    cin.tie(0);                  \
    cout.tie(0);
const int MO = 1e9 + 10;
const int mod = 1e8 + 10;
const int MOD = 1e7 + 10;
const int N = 1e6 + 10;
const int M = 2e5 + 10;
int dx[] = {-1, 0, 1, 0};
int dy[] = {0, 1, 0, -1};
int dxy[][2] = {{0, 1}, {1, 0}, {1, 1}, {-1, 1}};
using namespace std;
int e[M], ne[M], h[M], idx;
int st[M];//染色，0还未染，1，2分别是黑白
void add(int u, int v)//链式前向星存图
{
    e[idx] = v;
    ne[idx] = h[u];
    h[u] = idx++;
}
bool dfs(int u,int color)
{
    st[u]=color;//每次进入函数的u一定是没染色的，故先给染色。
    for(int i=h[u];i!=-1;i=ne[i])
    {
        int j=e[i];
        if(!st[j])
        {
            if(!dfs(j,3-color))//递归过程
            return false;
        }
        else if(st[j]==color)
        return false;//染色失败的 最终判断 条件是一条边的两端节点同一颜色。
    }
    return true;
}
int main()
{
    IOS;
    int n, m;
    cin >> n >> m;
    for (int i = 1; i <= m; i++)
    {
        int u, v;
        cin >> u >> v;
        add(u, v);
        add(v, u);//无向图
    }
    bool flag=1;
    for(int i=1;i<=n;i++)//二分图不一定是连通图，故要每个点都要进行染色操作。
    {
        if(!st[i])//对还没有染色的点进行染色。
        {
            if(!dfs(i,1))//对没有染色的点开始染色可以是任意颜色。
            {
                flag= false;//染色失败直接结束循环说明不是二分图。
                break;
            }
        }
    }
    if(flag)
    cout<<"yes"<<endl;
    else
    cout<<"no"<<endl;    
    return 0;
}