hdu 3062

一道hdu 1814 的简化版……http://blog.csdn.net/dsaitou/article/details/74689622
说是2-SAT的入门版，但我……emmm套了个模板，理解了下为什么要套这个模板
关于1814思路的正确性 引用http://blog.csdn.net/pi9nc/article/details/11849843
但是我那个（抄写）的代码应该还是 有问题
我觉得起码要判断一下是否有N组才能证明正确性吧？（存疑）

#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
#include <stack>
using namespace std;
#define maxn 5010
vector<int> G[maxn];
int pre[maxn],lowlink[maxn],sccno[maxn],dfs_clock,scc_cnt,value[maxn],in0[maxn],out0[maxn];
stack<int> S;
void dfs(int u)
{
    pre[u]=lowlink[u]=++dfs_clock;
    S.push(u);
    for (int i=0;i<G[u].size();i++)
    {
        int v=G[u][i];
        if (!pre[v])
        {
            dfs(v);
            lowlink[u]=min(lowlink[u],lowlink[v]);
        }
        else if (!sccno[v]) lowlink[u]=min(lowlink[u],pre[v]);
    }
    if (lowlink[u]==pre[u])
    {
        scc_cnt++;
        for (;;)
        {
            int x=S.top(); S.pop();
            sccno[x]=scc_cnt;
            if (x==u) break;
        }
    }

}
void find_scc(int n)
{
    dfs_clock=scc_cnt=0;
    memset(sccno,0,sizeof(sccno));
    memset(pre,0,sizeof(pre));
    for (int i=1;i<=n;i++)
        if (!pre[i]) dfs(i);
}
int main()
{
    int n,m;
  while (~scanf("%d",&n))
    {
        n<<=1;
        for (int i=0;i<n;i++)  G[i].clear();

        scanf("%d",&m);
        while (m--)
        {
            int u,v,c,d;
            scanf("%d%d%d%d",&u,&v,&c,&d);
            u<<=1; v<<=1;
            u+=c;
            v+=d;
            G[u].push_back(v^1);
            G[v].push_back(u^1);
        }

        find_scc(n);

        bool flag=true;
        for (int i=0;i<n;i+=2)
        if (sccno[i]==sccno[i^1]) {flag=false; break;}
        if (flag) printf("YES\n"); else printf("NO\n");

    }
    return 0;
}

其他感觉没什么好说的，大概要好好预习一下强联通和2-SAT，做多了应该能理解