牛客月赛：F-全体集合（二分图染色 + 性质）

牛客月赛：F-全体集合

注意点：

• 图必定连通，每个点每一回合都必须移动一格（不能停留）

如果该无向图满足 二分图 性质，显然两个相邻的点永远不可能集合（相当于所在位置的颜色不同）

所以我们可以用 二分图染色法 判断给定的图是否为二分图，若是就查看这 k 个点的颜色是否相同，只有颜色都相同时才可以集合到一块

——————————————————————————————————————————

但这样还会有缺漏，如果给定的图不是二分图呢？

我们就能说这 k 个点永远不可能集合到一块吗？

显然不能，这里就要探讨下二分图的性质了

• 二分图，即不存在奇数环的图，因为一旦存在奇数环，环上的点必不可能满足染色关系
• 而对于一个存在奇数环的图，一个点可以通过走这个奇数环从而改变自己的颜色（改变奇偶性）！

所以如果这个图不是二分图（又是连通图），给定 k 个点无论如何都能集合到一块

代码：

#include<bits/stdc++.h>
#include<unordered_set>
#include<unordered_map>
#define mem(a,b) memset(a,b,sizeof a)
#define cinios (ios::sync_with_stdio(false),cin.tie(0),cout.tie(0))
#define sca scanf
#define pri printf
#define ul (u << 1)
#define ur (u << 1 | 1)
#define fx first
#define fy second
//#pragma GCC optimize(2)
//[博客地址](https://blog.csdn.net/weixin_51797626?t=1) 
using namespace std;

typedef long long ll;
typedef pair<int, int> PII;
typedef pair <ll, PII> PI;

const int N = 500010, M = 1000010, MM = N;
int INF = 0x3f3f3f3f, mod = 100003;
ll LNF = 0x3f3f3f3f3f3f3f3f;
int n, m, k, T, S, D;
int h[N], e[M], ne[M], idx;
int a[N], color[N];

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;
	for (int i = h[x]; ~i; i = ne[i]) {
		int j = e[i];
		if (color[j]) {
			if (color[j] == c)return false;
		}
		else if (!dfs(j, 3 - c))return false;
	}
	return true;
}

int main() {
	cinios;

	cin >> n >> m >> k;
	mem(h, -1);

	for (int i = 1; i <= m; i++) {
		int a, b;
		cin >> a >> b;
		add(a, b), add(b, a);//无向图
	}
	for (int i = 1; i <= k; i++)cin >> a[i];

	if (dfs(1, 1)) { //如果染色成功，是二分图
		bool f = true;
		for (int i = 2; i <= k; i++)//判断点的颜色是否一致
			if (color[a[i]] != color[a[i - 1]])f = false;
		//bug —— color[i]

		if (f)cout << "YES";
		else cout << "NO";
	}
	else cout << "YES";//不是二分图无论如何都能集合

	return 0;
}