HDU 3062

2-SAT问题

有必要写一下<i,j>边的含义。所谓，选i必选j的意思是，因为每一对中只能有一个被选，则矛盾的对中若其中一被选i，另一个不可能是j'，因为存在矛盾，所以必选 j.

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

const int MAXN=2100;
const int MAXM=1000000;

int head[MAXN],stack[MAXN],dfn[MAXN],low[MAXN];
int belong[MAXN],pat;
int st[MAXN],stop;

struct {
    int u,v;
    int next;
}edge[MAXM];
int n,m,tot,index;

void init(){
    memset(head,-1,sizeof(head));
    for(int i=0;i<=2*n;i++){
        dfn[i]=low[i]=0;
        belong[i]=-1;
        stack[i]=0;
    }
}

void addedge(int u,int v){
    edge[tot].u=u;
    edge[tot].v=v;
    edge[tot].next=head[u];
    head[u]=tot++;
}

void tarjan(int u){
    int v;
    dfn[u]=low[u]=++index;
    st[stop++]=u; stack[u]=1;
    for(int e=head[u];e!=-1;e=edge[e].next){
        v=edge[e].v;
        if(dfn[v]==0){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(stack[v]==1){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        pat++;
        do{
            v=st[--stop];
            stack[v]=0;
            belong[v]=pat;
        }while(u!=v);
    }
}

int main(){
    int a1,a2,b1,b2;
    while(scanf("%d",&n)!=EOF){
        init();
        tot=0; index=0;
        pat=-1; stop=0;
        scanf("%d",&m);
        for(int i=1;i<=m;i++){
            scanf("%d%d%d%d",&a1,&a2,&b1,&b2);
            addedge(2*a1+b1,((2*a2+b2)^1));
            addedge(2*a2+b2,((2*a1+b1)^1));
        }
        for(int i=0;i<2*n;i++){
            if(dfn[i]==0)
            tarjan(i);
        }
        bool flag=false;
        for(int i=0;i<n;i++){
            if(belong[2*i]==belong[2*i+1]){
                printf("NO\n");
                flag=true;
                break;
            }
        }
        if(!flag){
            printf("YES\n");
        }
    }
    return 0;
}