HDU 1814 模板题 2-sat

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

贴代码：

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

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

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

     bool solve()
     {
         for(int i=; i<*n; i += )
         {
             if(!vis[i] && !vis[i+])
             {
                 c =;
                 if(!dfs(i))
                 {
                     while(c > ) vis[path[--c]] = false;
                     if(!dfs(i+)) 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=; i<m; ++i)
         {
             int u,v;
             scanf("%d%d",&u,&v);
             --u,--v;
             ts.addEdge(u,v);
         }
         if(ts.solve())
         {
             for(int i=; i<*n; i+=)
                 printf("%d\n",(ts.vis[i]?i:i^)+);
         }
         else printf("NIE\n");
     }
     return ;
 }