题目大意
一个材料有两种做法。
每个评委都有两个偏好,如果两个都没满足,那么厨师就不能通过。
问是不是会出现没人可以通过的尴尬情景。
题解
这是一道2-sat的入门题。
我写得很麻烦。
就是对于每一种菜都拆点。
由于一种材料只能用一次,所以去了H1就只能取M1’,以此类推。
对于每一种喜好[a,b],都连两条边,[a’,b],[b’,a],表示不取其中一种,就必须取另一种。
构完图之后跑一边Tarjan,判断有没有同一种材料的不同菜在同一个连通分量中,或者拆出来的两个点在同一个连通分量中。
#include <cstdio>
#include <cctype>
#include <algorithm>
using namespace std;
const int M=1005;
struct Edge{
int to,nxt;
Edge(int _to=0,int _nxt=0):to(_to),nxt(_nxt){}
}edge[M<<1];
int head[M],etot;
inline void add_edge(int a,int b){
edge[etot]=Edge(b,head[a]);
head[a]=etot++;
}
inline void rd(int&res){
res=0;char c;
while(c=getchar(),!isdigit(c));
do res=res*10+(c^48);
while(c=getchar(),isdigit(c));
}
void input(int&res){
res=0;char c;
while(c=getchar(),c!='h'&&c!='m');
rd(res);
res=(res-1)*2;
if(c=='m') res|=1;
}
int stk[M],belong[M],low[M],dfn[M],instk[M];
int dfs_clock,top,bcnt;
void Tarjan(int x){
low[x]=dfn[x]=++dfs_clock;
instk[x]=1;
stk[++top]=x;
for(int i=head[x];~i;i=edge[i].nxt){
int to=edge[i].to;
if(!dfn[to]){
Tarjan(to);
low[x]=min(low[x],low[to]);
}else if(instk[to]) low[x]=min(low[x],dfn[to]);
}
if(low[x]==dfn[x]){
bcnt++;
int u;
do{
u=stk[top--];
belong[u]=bcnt;
instk[u]=0;
}while(u!=x);
}
}
void solve(){
etot=0;
int n,m;
scanf("%d%d",&n,&m);
n<<=1;
top=dfs_clock=bcnt=0;
for(int i=0;i<=n+n;i++)
head[i]=-1,instk[i]=dfn[i]=0;
for(int i=0;i<m;i++){
int a,b;
input(a);input(b);
// printf("a and b %d %d\n",a,b);
add_edge(a+n,b);
add_edge(b+n,a);
}
for(int i=0;i<n;i++){
add_edge(i+n,i^1);
add_edge(i^1,i+n);
}
for(int i=0;i<(n<<1);i++)
if(!dfn[i]) Tarjan(i);
for(int i=0;i<n;i++)
if(belong[i]==belong[i+n]||belong[i]==belong[i^1]){
puts("BAD");
return;
}
puts("GOOD");
}
int main(){
int T;
scanf("%d",&T);
while(T--) solve();
return 0;
}