婚礼 / Wedding

题目链接：ybt金牌导航3-6-2 / luogu UVA11294 / POJ 3648

题目大意

有一堆夫妇，然后有两边，同一对夫妇不能在同一边。
同时再给出一些条件，就是不能让某两个人同时在左边。

问你是否有成立的情况，然后如果有，输出其中一种合法的方案。

思路

首先，你看到题目，自然会想到用 2-set 来做。

然后你考虑建边，对于每一对，有男的在新郎旁边和女的在新郎旁边。
然后如果有冲突，就互相连到互相的另一半。

然后这里有个关键的点就是新娘要连一条边到新郎。
为什么呢？
那你想，只有新郎是有限制的，新娘这边就是随便坐。
那我们 2-set 肯定要让电脑找的是新郎的这边啊。
那怎么弄呢？我们就可以这样连边，这样如果选了新娘就一定要选新郎，就会出现错误。但如果徐娜了新郎就不会有锅。

然后我们来看看怎么找答案 。
2-set 找答案是利用拓扑序，然后还是逆拓扑序，因为按逆的就不会产生冲突，不用逆的有可能会跟前面已经排好的产生冲突。
然后你会发现逆拓扑序其实就是你缩点的顺序，那就不用再跑一遍求了。

然后怎么通过逆拓扑序看放那边呢？
因为你 2-set 选的是新郎的，答案是要新娘的，我们只要到时反过来即可。
然后现在说的是新郎那边的。
那如果对于某一对，那它两个点会各有逆拓扑序。那你肯定是先处理逆拓扑序前的，也就是拓扑序后的，那就选这个点所对应的。
（记得在这道题要反过来！！！）

然后就可以了。

代码

#include<queue>
#include<cstdio>
#include<cstring>
#include<iostream>

using namespace std;

struct node {
	int to, nxt;
}e[500010];
int n, m, x, y, le[5001], KK;
char cx, cy, answer[5001];
int dfn[5001], low[5001], tmp;
int sta[5001], in[5001], n_n;
bool cant;

void csh() {//初始化
	memset(e, 0, sizeof(e));
	memset(le, 0, sizeof(le));
	KK = 0;
	memset(dfn, 0, sizeof(dfn));
	memset(low, 0, sizeof(low));
	tmp = 0;
	memset(sta, 0, sizeof(sta));
	memset(in, 0, sizeof(in));
	n_n = 0;
	cant = 0;
}

void add(int x, int y) {
	e[++KK] = (node){y, le[x]}; le[x] = KK;
}

int another(int x) {
	if (x > n) return x - n;
	return x + n;
}

void tarjan(int now) {//Tarjan缩点
	dfn[now] = low[now] = ++tmp;
	sta[++sta[0]] = now;
	
	for (int i = le[now]; i; i = e[i].nxt)
		if (!dfn[e[i].to]) {
			tarjan(e[i].to);
			low[now] = min(low[now], low[e[i].to]);
		}
		else if (!in[e[i].to]) low[now] = min(low[now], low[e[i].to]);
	
	if (dfn[now] == low[now]) {
		in[now] = ++n_n;
		while (sta[sta[0]] != now) {
			in[sta[sta[0]]] = n_n;
			sta[0]--;
		}
		sta[0]--;
	}
	
	return ;
}

int main() {
	scanf("%d %d", &n, &m);
	while (n || m) {
		csh();
		
		for (int i = 1; i <= m; i++) {
			scanf("%d%c %d%c", &x, &cx, &y, &cy);
			x++;
			y++;
			if (cx == 'h') x += n;
			if (cy == 'h') y += n; 
			add(x, another(y));//建图
			add(y, another(x));
		}
		add(1, 1 + n);//让程序选新郎那边的，因为新娘那边没有限制
		
		for (int i = 1; i <= 2 * n; i++)
			if (!dfn[i]) tarjan(i);
		
		for (int i = 1; i <= n; i++)//2-sat 的判断矛盾
			if (in[i] == in[n + i]) {
				cant = 1;
				printf("bad luck\n");
				break;
			}
		if (cant) {
			scanf("%d %d", &n, &m);
			continue;
		}
		
		for (int i = 2; i <= n; i++) {
			printf("%d", i - 1);//根据拓扑排序
			if (in[i] > in[i + n]) printf("w");
				else printf("h");
			printf(" ");
		}
		printf("\n");
		
		scanf("%d %d", &n, &m);
	}
	
	return 0;
}

标签：sta,int,luogu,拓扑,ybt,low,Wedding,now,新郎
来源： https://blog.csdn.net/weixin_43346722/article/details/113841157