【BZOJ2199】【Usaco2011 Jan】奶牛议会

最新推荐文章于 2019-08-05 23:21:00 发布

cz_xuyixuan

最新推荐文章于 2019-08-05 23:21:00 发布

阅读量325

点赞数

CC 4.0 BY-SA版权

分类专栏：【算法】2-SAT 【OJ】BZOJ 【类型】做题记录

本文链接：https://blog.youkuaiyun.com/qq_39972971/article/details/79659457

【类型】做题记录同时被 3 个专栏收录

767 篇文章

订阅专栏

【OJ】BZOJ

397 篇文章

订阅专栏

【算法】2-SAT

7 篇文章

订阅专栏

本文介绍了一种使用图论解决特定问题的方法。通过构建图结构并遍历节点来判断问题是否具备可行解，并最终输出解决方案。该算法适用于二分图匹配及约束满足问题。

【题目链接】

点击打开链接

【思路要点】

补档博客，无题解。

【代码】

#include<bits/stdc++.h>
using namespace std;
#define MAXN	3005
vector <int> a[MAXN];
int n, m;
bool visited[MAXN];
char ans[MAXN];
void work(int x) {
	visited[x] = true;
	for (unsigned i = 0; i < a[x].size(); i++)
		if (!visited[a[x][i]]) work(a[x][i]);
}
bool check(int x) {
	memset(visited, false, sizeof(visited));
	work(x);
	for (int i = 1; i <= n; i++)
		if (visited[i * 2] && visited[i * 2 + 1]) return false;
	return true;
}
int main() {
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= m; i++) {
		int x, y;
		char optx, opty;
		scanf("%d %c %d %c", &x, &optx, &y, &opty);
		x = x * 2 + (optx == 'Y');
		y = y * 2 + (opty == 'Y');
		a[x ^ 1].push_back(y);
		a[y ^ 1].push_back(x);
	}
	for (int i = 1; i <= n; i++) {
		bool N = check(i * 2), Y = check(i * 2 + 1);
		if (!N && !Y) {
			printf("IMPOSSIBLE\n");
			return 0;
		}
		if (N && Y) ans[i] = '?';
		else if (N) ans[i] = 'N'; else ans[i] = 'Y';
	}
	for (int i = 1; i <= n; i++)
		printf("%c", ans[i]);
	printf("\n");
	return 0;
}