2-sat——hdu3062基础

hdu就是会卡cin，，

另一种建模方式，把点i拆成i*2，i*2+1，有时候这样会比较简单

#include<bits/stdc++.h>
using namespace std;
#define N 4005
#define M 2000005
struct Edge{int to,nxt;}e[M<<];
int n,m,head[N],tot;
void add(int u,int v){
    e[tot].to=v;e[tot].nxt=head[u];head[u]=tot++;
}

int low[N],dfn[N],cnt,id[N],ind,stk[N],top,ins[N];
void tarjan(int x){
    dfn[x]=low[x]=++ind;
    stk[++top]=x;ins[x]=;
    for(int i=head[x];i!=-;i=e[i].nxt){
        int y=e[i].to;
        if(!dfn[y]){
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(ins[y])
            low[x]=min(low[x],low[y]);
    }
    if(dfn[x]==low[x]){
        cnt++;int y;
        do{
            y=stk[top--];
            ins[y]=;
            id[y]=cnt;
        }while(x!=y);
    }
}

void init(){
    cnt=tot=top=ind=;
    memset(head,-,sizeof head);
    memset(dfn,,sizeof dfn);
    memset(low,,sizeof low);
    memset(id,,sizeof id);
}
int main(){
    while(cin>>n>>m && n){
        init();
        for(int i=;i<m;i++){
            int a,b,c,d;
            scanf("%d%d%d%d",&a,&b,&c,&d);
            a<<=,b<<=;
            a+=c;b+=d;
            add(a,b^),add(b,a^);
        }
        for(int i=;i<*n;i++)
            if(!dfn[i])tarjan(i);

        int flag=;
        for(int i=;i<n;i++)
            if(id[i*]==id[i*+]){
                puts("NO");
                flag=;
                break;
            }
        if(!flag)puts("YES");
    }
}