Acwing_860（染色法判定二分图）

原题链接：

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

题解：

二分图（Bipartite Graph）：

一个图被称为二分图，如果它的所有顶点可以被划分为两个不相交的集合，使得图中的每条边都连接一个属于第一个集合的顶点和一个属于第二个集合的顶点。简单来说，二分图就是可以分为两个独立部分的图，每一条边都跨越这两个部分。

判定方法（染色法）：

染色法是判定图是否为二分图的一种常用方法。具体步骤如下：

1. 从一个未染色的节点开始，将其染色为一种颜色（例如1）。
2. 对该节点的所有邻居节点进行染色，将其染成另一种颜色（例如2）。
3. 对每个邻居节点，继续递归地对其邻居进行染色，保证相邻节点颜色不同。
4. 如果在染色过程中发现某个节点的相邻节点已经被染成与该节点相同的颜色，说明存在奇数长度的环，图不是二分图。
5. 如果染色过程结束，所有节点都被染色，并且相邻节点颜色不同，说明图是二分图。

有一个定理是：一个图是二分图当且仅当图中不存在奇数环。

代码：

DFS：

#include<bits/stdc++.h>
using namespace std;
int n, m;
const int N = 1e5 + 10;
vector<int> v[N];
int color[N];

bool dfs(int u, int c) {
	color[u] = c;//将当前结点染上色

	for (int i = 0;i < v[u].size();i++) {
		if (!color[v[u][i]]) {//若是与当前结点的相邻结点未染色
			if (!dfs(v[u][i], 3 - c)) return false;//染色过程出现矛盾
		}
		else if (color[v[u][i]] == c) return false;//相邻结点与目前结点的染色一致
	}
	return true;
}

int main() {
	cin >> n >> m;
	for (int i = 0;i < m;i++) {
		int x, y;cin >> x >> y;
		v[x].push_back(y);
		v[y].push_back(x);
	}

	bool flag = 1;
	for (int i = 1;i <= n;i++) {
		if (!color[i]) {//如果当前结点没染色
			if (!dfs(i, 1)) {//若是在染色过程中出现了矛盾，则表示不是二分图，1和2分别代表要染的2种颜色
				flag = 0;
				break;
			}
		}
	}
	cout << ((flag) ? "Yes" : "No");
}

BFS：

#include<bits/stdc++.h>
using namespace std;
int n, m;
const int N = 1e5 + 10;
vector<int> v[N];
int color[N];

bool bfs(int u) {
	color[u] = 1;//假设将开始结点染色为1
	queue<int> q;
	q.push(u);

	while (q.size()) {
		int f = q.front();
		q.pop();

		for (int i = 0;i < v[f].size();i++) {
			int c = v[f][i];
			if (!color[c]) {//若是当前结点没染色就为其染色，然后加入队列
				color[c] = 3 - color[f];
				q.push(c);
			}
			else if (color[c] == color[f]) return false;//当当前结点和父结点颜色一致，证明不是二分图
		}
	}
	return true;
}

int main() {
	cin >> n >> m;
	for (int i = 0;i < m;i++) {
		int x, y;cin >> x >> y;
		v[x].push_back(y);
		v[y].push_back(x);
	}

	bool flag = 1;
	for (int i = 1;i <= n;i++) {
		if (!color[i]) {//如果当前结点没染色
			if (!bfs(i)) {//若是在染色过程中出现了矛盾，则表示不是二分图，1和2分别代表要染的2种颜色
				flag = 0;
				break;
			}
		}
	}
	cout << ((flag) ? "Yes" : "No");
}