POJ3678：Katu Puzzle——题解

http://poj.org/problem?id=3678

总觉得这题比例题简单。

设a为x取0的点，a+n为x取1的点。

我们还是定义a到b表示取a必须取b。

那么我们有：

当AND：

1.当c=1：add(a,a+n); add(b,b+n);//我们不能取0的点，所以我们让程序一旦取0必会矛盾，下面类似的同理。

2.当c=0：add(a+n,b); add(b+n,a);

当OR

1.当c=1：add(a,b+n);add(b,a+n);

2.当c=0：add(a+n,a);add(b+n,b);

当OR

1.当c=1：add(a+n,b);add(b+n,a);add(a,b+n); add(b,a+n);

2.当c=0：add(a+n,b+n);add(b+n,a+n);add(a,b);add(b,a);

剩下的就是2-SAT（tarjan缩点）的活了。

#include<stack>
#include<cstdio>
#include<cstring>
#include<vector>
#include<iostream>
#include<algorithm>
using namespace std;
typedef long long ll;
inline int read(){
    int x=,w=;char ch=;
    while(ch<''||ch>''){if(ch=='-')w=-;ch=getchar();}
    while(ch>=''&&ch<=''){x=(x<<)+(x<<)+ch-'';ch=getchar();}
    return x*w;
}
const int N=;
const int M=;
struct node{
    int to;
    int nxt;
}edge[M*];
int head[N],dfn[N],low[N],to[N];
int n,m,t,l,cnt;
bool instack[N*];
stack<int>q;
inline void add(int u,int v){
    cnt++;
    edge[cnt].to=v;
    edge[cnt].nxt=head[u];
    head[u]=cnt;
    return;
}
void tarjan(int u){
    t++;
    dfn[u]=t;
    low[u]=t;
    q.push(u);
    instack[u]=;
    for(int i=head[u];i!=;i=edge[i].nxt){
    int v=edge[i].to;
    if(!dfn[v]){
        tarjan(v);
        low[u]=min(low[u],low[v]);
    }else if(instack[v]){
        low[u]=min(low[u],dfn[v]);
    }
    }
    if(low[u]==dfn[u]){
    int v;
    l++;
    do{
        v=q.top();
        q.pop();
        instack[v]=;
        to[v]=l;
    }while(v!=u);
    }
    return;
}
//a为x取0的点，a+n为x取1的点
int main(){
    int n=read();
    int m=read();
    for(int i=;i<=m;i++){
    int a=read();
    int b=read();
    int c=read();
    char op[];
    scanf("%s",op);
    if(op[]=='A'){
        if(c){
        add(a,a+n);
        add(b,b+n);
        }else{
        add(a+n,b);
        add(b+n,a);
        }
    }
    if(op[]=='O'){
        if(c){
        add(a,b+n);
        add(b,a+n);
        }else{
        add(a+n,a);
        add(b+n,b);
        }
    }
    if(op[]=='X'){
        if(c){
        add(a+n,b);
        add(b+n,a);
        add(a,b+n);
        add(b,a+n);
        }else{
        add(a+n,b+n);
        add(b+n,a+n);
        add(a,b);
        add(b,a);
        }
    }
    }
    for(int i=;i<n*;i++){
    if(!dfn[i])tarjan(i);
    }
    for(int i=;i<n;i++){
    if(to[i]==to[i+n]){
        printf("NO\n");
        return ;
    }
    }
    printf("YES\n");
    return ;
}