bzoj2199 [Usaco2011 Jan]奶牛议会（2-sat）

直接枚举每一种方案是否可行即可。
复杂度$O(nm)$

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 1010
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,tot=-1,id[N][2],h[N<<1],num=0;
char op[5];
bool vis[N<<1],f[N<<1];
struct edge{
    int to,next;
}data[10010];
inline void add(int x,int y){
    data[++num].to=y;data[num].next=h[x];h[x]=num;
}
inline bool dfs(int x){
    if(vis[x^1]) return 0;vis[x]=1;
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;if(vis[y]) continue;
        if(!dfs(y)) return 0;
    }return 1;
}
int main(){
//  freopen("testdata.in","r",stdin);
    n=read();m=read();
    for(int i=1;i<=n;++i) id[i][0]=++tot,id[i][1]=++tot;
    while(m--){
        int x=read();scanf("%s",op+1);int opx=op[1]=='Y'?1:0;
        int y=read();scanf("%s",op+1);int opy=op[1]=='N'?0:1;
        add(id[x][opx^1],id[y][opy]);add(id[y][opy^1],id[x][opx]);
    }for(int i=0;i<n<<1;++i){
        memset(vis,0,sizeof(vis));f[i]=dfs(i);
    }for(int i=1;i<=n;++i)
        if(!f[id[i][0]]&&!f[id[i][1]]){puts("IMPOSSIBLE");return 0;}
    for(int i=1;i<=n;++i){
        if(!f[id[i][0]]) putchar('Y');
        else if(!f[id[i][1]]) putchar('N');
        else putchar('?');
    }puts("");
    return 0;
}