HDU 1814 模板题 2-sat

敲模板做的，不知道怎么就对了，注意一下建边即可···

贴代码：

#include<cstdio>
#include<vector>
using namespace std;
#define N 16005
struct twosat
{
    int n;
    vector<int> g[N*2];
    bool vis[N*2];
    int path[N*2];
    int c;

    bool dfs(int x)
    {
        if(vis[x^1]) return false;
        if(vis[x]) return true;
        vis[x] =true;
        path[c++] = x;
        for(int i=0; i<g[x].size(); ++i)
            if(!dfs(g[x][i])) return false;
        return true;
    }
    void init(int n)
    {
        this->n = n;
        for(int i=0; i<n*2; ++i)
        {
            g[i].clear();
            vis[i] =0;
        }
    }

    void addEdge(int x,int y)
    {
        g[x].push_back(y^1);
        g[y].push_back(x^1);
    }

    bool solve()
    {
        for(int i=0; i<2*n; i += 2)
        {
            if(!vis[i] && !vis[i+1])
            {
                c =0;
                if(!dfs(i))
                {
                    while(c > 0) vis[path[--c]] = false;
                    if(!dfs(i+1)) return false;
                }
            }
        }
        return true;
    }

};
twosat ts;
int main()
{
//    freopen("in.c","r",stdin);
    int n,m;
    while(~scanf("%d%d",&n,&m))
    {
        ts.init(n);
        for(int i=0; i<m; ++i)
        {
            int u,v;
            scanf("%d%d",&u,&v);
            --u,--v;
            ts.addEdge(u,v);
        }
        if(ts.solve())
        {
            for(int i=0; i<2*n; i+=2)
                printf("%d
",(ts.vis[i]?i:i^1)+1);
        }
        else printf("NIE
");
    }
    return 0;
}