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\n",(ts.vis[i]?i:i^1)+1);
}
else printf("NIE\n");
}
return 0;
}