hdu4751 two-sat

two-sat问题的特点是：每种物品之间有相互限制关系，每种物品不是属于A集合就是属于B集合。复杂度是n^2

（u，v）相互认识，即u和v可以在同一个集合里，但并不一定，对这样的（u，v）不建立限制关系

（u，v）不相互认识，可能u->v但没有v->u，一定不在同一集合里，他们的关系是“u为真则v为假”和“v为真则u为假”

当染u为真时则必须染v为假，建边；

当染u为假时则必须染v为真，建边；

同理，对v向u类似操作，建边

#include <iostream>
#include <cstring>
#include <vector>
#include <cstdio>
using namespace std;
#define N 110
struct TwoSet
{
    int n;
    vector<int>G[N*2];
    bool mark[N*2];
    int S[N*2],c;
    void init(int n)
    {
        this->n=n;
        for(int i=0;i<2*n;++i) G[i].clear();
        memset(mark,0,sizeof(mark));
    }
    bool dfs(int x)
    {
        if(mark[x^1]) return false;
        if(mark[x]) return true;
        mark[x]=true;
        S[c++]=x;
        for(int i=0;i<G[x].size();++i)
            if(!dfs(G[x][i])) return false;
        return true;
    }
    void add_diff(int u,int v)
    {
        u*=2;v*=2;
        G[u].push_back(v+1);G[u+1].push_back(v);
        G[v].push_back(u+1);G[v+1].push_back(u);
    }
    bool solve()
    {
        for(int i=0;i<n*2;i+=2)
        {
            if(!mark[i]&&!mark[i+1])
            {
                c=0;
                if(!dfs(i))
                {
                    while(c>0) mark[S[--c]]=false;
                    if(!dfs(i+1)) return false;
                }
            }
        }
        return true;
    }
}obj;
int n,g[N][N];
int main ()
{
    while(scanf("%d",&n)!=EOF)
    {
        obj.init(n+1); // TwoSet点从0开始，题目是从1开始
        memset(g,0,sizeof(g));
        for(int i=1,u;i<=n;++i)
        {
            while(scanf("%d",&u)&&u)
                g[i][u]=1;
        }

        for(int i=1;i<=n;++i)
            for(int j=i+1;j<=n;++j)
            {
                if(g[i][j]&&g[j][i]) ;
                else {
                    g[i][j]=g[j][i]=0;
                    obj.add_diff(i,j);
                }
            }
        bool ans=obj.solve();

        if(ans) printf("YES\n");
        else printf("NO\n");
    }
    return 0;
}