2199: [Usaco2011 Jan]奶牛议会 2-SAT

做完了第五道2-SAT，准备去做其他题啦QAQ。
这道题建模还是很简单，不过在算答案的时候。如果直接缩环然后拓扑不好求。。所以对于每一个状态都假设它成立，dfs一遍看看有没有不合法的情况就好了。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int n,m,cnt,T;
char ans[2005];
int head[2005],mark[2005];
int next[10005],list[10005];
inline int read()
{
    int a=0,f=1; char c=getchar();
    while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
    while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
    return a*f;
}
inline int sc()
{
    int x=read(); char c=getchar();
    while (c!='Y'&&c!='N') c=getchar();
    if (c=='Y') return 2*x+1;
    return 2*x;
}
inline void insert(int x,int y)
{
    next[++cnt]=head[x];
    head[x]=cnt;
    list[cnt]=y;
}
inline void dfs(int x)
{
    mark[x]=T;
    for (int i=head[x];i;i=next[i])
        if (mark[list[i]]!=T) dfs(list[i]);
}
inline bool check(int x)
{
    T++; dfs(x);
    for (int i=1;i<=n;i++)
        if (mark[2*i]==T&&mark[2*i+1]==T) return 0;
    return 1;
}
int main()
{
    n=read(); m=read();
    for (int i=1;i<=m;i++)
    {
        int a=sc(),b=sc();
        insert(a^1,b); insert(b^1,a);
    }
    for (int i=1;i<=n;i++)
    {
        int p=check(2*i),q=check(2*i+1);
        if (p==0&&q==0) {puts("IMPOSSIBLE"); return 0;}
        if (p&&q) ans[i]='?';
        else if (!p) ans[i]='Y';
        else ans[i]='N';
    }
    for (int i=1;i<=n;i++) putchar(ans[i]);
    return 0;
}