JSOI2010满汉全席（2-sat）

题目描述

满汉全席是中国最丰盛的宴客菜肴，有许多种不同的材料透过满族或是汉族的料理方式，呈现在數量繁多的菜色之中。由于菜色众多而繁杂，只有极少數博学多闻技艺高超的厨师能够做出满汉全席，而能够烹饪出经过专家认证的满汉全席，也是中国厨师最大的荣誉之一。世界满汉全席协会是由能够料理满汉全席的专家厨师们所组成，而他们之间还细分为许多不同等级的厨师。

为了招收新进的厨师进入世界满汉全席协会，将于近日举办满汉全席大赛，协会派遣许多会员当作评审员，为的就是要在參赛的厨师之中，找到满汉料理界的明日之星。

大会的规则如下：每位參赛的选手可以得到n 种材料，选手可以自由选择用满式或是汉式料理将材料当成菜肴。

大会的评审制度是：共有m 位评审员分别把关。每一位评审员对于满汉全席有各自独特的見解，但基本见解是，要有兩样菜色作为满汉全席的标志。如某评审认为，如果没有汉式东坡肉跟满式的涮羊肉锅，就不能算是满汉全席。但避免过于有主見的审核，大会规定一个评审员除非是在认为必备的两样菜色都没有做出來的狀况下，才能淘汰一位选手，否则不能淘汰一位參赛者。

换句话說，只要參赛者能在这兩种材料的做法中，其中一个符合评审的喜好即可通过该评审的审查。如材料有猪肉，羊肉和牛肉时，有四位评审员的喜好如下表：

评审一 评审二 评审三 评审四 
满式牛肉 满式猪肉 汉式牛肉 汉式牛肉 
汉式猪肉 满式羊肉 汉式猪肉 满式羊肉 

如參赛者甲做出满式猪肉，满式羊肉和满式牛肉料理，他将无法满足评审三的要求，无法通过评审。而參赛者乙做出汉式猪肉，满式羊肉和满式牛肉料理，就可以满足所有评审的要求。

但大会后來发现，在这样的制度下如果材料选择跟派出的评审员没有特别安排好的话，所有的參赛者最多只能通过部分评审员的审查而不是全部，所以可能会发生没有人通过考核的情形。

如有四个评审员喜好如下表时，则不论参赛者采取什么样的做法，都不可能通过所有评审的考核：

评审一 评审二 评审三 评审四 
满式羊肉 满式猪肉 汉式羊肉 汉式羊肉 
汉式猪肉 满式羊肉 汉式猪肉 满式猪肉 

所以大会希望有人能写一个程序來判断，所选出的m 位评审，会不会发生 没有人能通过考核的窘境，以便协会组织合适的评审团。

 

---

 

 

很显然对于每一个评审的要求，如果其中一个未满足，则另一个必须满足，否则就过不了评审。因此这是一个2-sat问题，解法也很显然

首先设点i表示第i种食材的满式做法，n+i表示第i种食材的汉式做法，然后建边时把第一个食材不符合要求的做法连向第二个食材符合要求的做法，第二个食材不符合要求的做法连向第一个食材符合要求的做法（表明当第一个不满足时第二个必须满足，第二个不满足时第一个必须满足）。然后再用tarjan求强连通分量，一个强连通量内的点是菜必须同时满足的要求。而当一个强连通分量内出现了一个食材既是汉式又是满式时就会出现冲突（一个食材不能同时汉式又满式的做），这时不管厨师怎么做都会被其中一个评委淘汰，因此这时输出BAD即可，反之就输出“GOOD”。

 

下面是代码：

#include <bits/stdc++.h>
using namespace std;
const int N = 1e2+5;
int k, n, m, ans, cnt, it,
low[N<<1], dfn[N<<1], 
scc[N<<1], is[N<<1];
vector<int> g[N<<2];
stack<int> s;

inline int read() {
       register int x = 0, t = 1; register char ch = getchar();
       while ((ch < '0' || ch > '9') && ch != '-')ch = getchar();
       if (ch=='-') { t = -1; ch = getchar(); }
       while (ch >= '0' && ch <= '9'){ x = (x<<3) + (x<<1) + (ch^48); ch = getchar(); }
       return x*t;
}
//求强连通分量
void tarjan(int u) {
	dfn[u] = low[u] = ++cnt; is[u] = 1; s.push(u);
	for (int i = 0; i < g[u].size(); i++) {
		int v = g[u][i];
		if (!dfn[v]) tarjan(v), low[u] = min(low[u], low[v]);
		else if (is[v]) low[u] = min(low[u], dfn[v]);
	} if (dfn[u] == low[u]) {
		it++; int t; do {
			t = s.top(); s.pop();
			is[t] = 0; scc[t] = it;
		} while (t != u);
	}
}

bool solve() {
	for (int i = 1; i <= 2*n; i++)
		if (!dfn[i]) tarjan(i);
	for (int i = 1; i <= n; i++)
		if (scc[i] == scc[i+n]) //看看也没有一个食材同时被要求用做汉式和满式
			return 0;
	return 1;
}

int main() {
	k = read(); while (k--) {
		n = read(), m = read(); ans = cnt = it = 0;
		memset(dfn, 0, sizeof(dfn));  memset(low, 0, sizeof(low));
		memset(scc, 0, sizeof(scc)); memset(is, 0, sizeof(is));
		while (!s.empty()) s.pop();
		for (int i = 1; i <= 2*n; i++) g[i].clear();
		for (int i = 1; i <= m; i++) {
			char u[6], v[6]; scanf("%s%s", u, v);
			int x = 0, y = 0, xv = (u[0]=='h'), yv = (v[0]=='h'),
			xx = xv^1, yy = yv^1, k;
			k = 1; while (u[k] >= '0' && u[k] <= '9') x = (x<<1)+(x<<3)+(u[k++]^48); //输入一定要注意，因为这里我调试了半天
			k = 1; while (v[k] >= '0' && v[k] <= '9') y = (y<<1)+(y<<3)+(v[k++]^48);
			g[x+xx*n].push_back(y+yv*n); //当食材x不满足要求时则食材y必须满足要求
			g[y+yy*n].push_back(x+xv*n); //当食材y不满足要求时则食材x必须满足要求
		} if (solve()) cout << "GOOD" << endl;
		else cout << "BAD" << endl;
	}
	return 0;
} 

　　

 

转载于:https://www.cnblogs.com/memory2018/p/10564390.html