hdu 3062

2-SAT的入门题；

网上说这个算法最好的入门教材是：伍昱的《由对称性解2-SAT问题》的ppt和赵爽的论文《2-SAT 解法浅析》；

看了一下伍昱的ppt，很好理解！

而这道题相对ppt里面的例子来说更加简单；

代码：

#include<cstdio>
#include<stack>
#include<vector>
#include<algorithm>
#include<cstring>
#define maxn 2010
using namespace std;

vector<int>ve[maxn];
stack<int>s;
int low[maxn],dfn[maxn],b[maxn],nncount,cnt;
bool instack[maxn];

void tarjin(int u)
{
    low[u]=dfn[u]=++nncount;
    s.push(u);
    instack[u]=1;
    int l=ve[u].size();
    for(int i=0;i<l;i++)
    {
        int v=ve[u][i];
        if(!dfn[v])
        {
            tarjin(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
            low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u])
    {
        cnt++;
        int v;
        do
        {
            v=s.top();
            s.pop();
            b[v]=cnt;
            instack[v]=0;
        }while(v!=u);
    }
}

int main()
{
    int n,m,x,y,u,v;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        for(int i=0;i<2*n;i++)
            ve[i].clear();
        memset(low,0,sizeof low);
        memset(dfn,0,sizeof dfn);
        memset(b,0,sizeof b);
        nncount=cnt=0;
        for(int i=0;i<m;i++)
        {
            scanf("%d%d%d%d",&x,&y,&u,&v);
            ve[(x<<1)+u].push_back((y<<1|1)-v);
            ve[(y<<1)+v].push_back((x<<1|1)-u);
        }
        bool flag=0;
        for(int i=0;i<2*n;i++)
            if(!dfn[i]) tarjin(i);
        for(int i=0;i<n;i++)
            if(b[i<<1]==b[i<<1|1]) {flag=1;break;}
        if(flag) puts("NO");
        else puts("YES");
    }
    return 0;
}