染色法判定二分图

二分图

当且仅当图中不含有奇数环(由奇数条边形成的一个环)，两个集合的内部没有边。

算法思路

一条边的两点染不同颜色，即证明这两点不属于一个集合（一个颜色代表一个集合）。
当产生奇数环时，染色就会产生矛盾，即不存在二分图。

dfs代码实现

#include<iostream>
#include<cstring>
using namespace std;

const int N = 2e5 + 10;

int h[N], e[N], ne[N], idx;

int color[N];

int n, m;

void add(int a, int b)
{
	e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

bool dfs(int x, int c)
{
	color[x] = c; // 将x点染成c色

	for (int i = h[x]; i != -1; i = ne[i])
	{
		int j = e[i]; 
		if (!color[j]) // 如果这个点未染色
		{
			if (!dfs(j, 3 - c)) return false;
							// 将j点染色（当c = 2时染成1）
		}
		else if (color[j] == c) return false;
								// 如果这个点染色,且这个点与它所连的点的颜色相同返回false
	}
	return true;
}

int main()
{
	cin >> n >> m;
	memset(h, -1, sizeof h);
	while (m--)
	{
		int a, b; cin >> a >> b;
		add(a, b), add(b, a);
	}
	int flag = true;
	for (int i = 1; i <= n; i++)
	{
		// 可能存在不连通图，所以每个图都要搜索到
		if (!color[i]) // 查找未染色点
		{
			if (!dfs(i, 1))
			{
				flag = false;
				break;
			}
		}
	}
	if (!flag) puts("No");
	else puts("Yes");
}