hdu1814 Peaceful Commission——2-SAT

题目：http://acm.hdu.edu.cn/showproblem.php?pid=1814

第一次的2-SAT，推荐博客：https://blog.csdn.net/jarjingx/article/details/8521690

但这题就是暴力；

还调了好久...

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int const maxn=,maxm=;
int n,m,col[maxn],head[maxn],ct,ans[maxn],cnt;
struct N{
    int to,next;
    N(int t=,int n=):to(t),next(n) {}
}edge[maxm];
void add(int x,int y){edge[++ct]=N(y,head[x]); head[x]=ct;}
int op(int x){return x%==?x-:x+;}
bool paint(int x)
{
//    if(col[x])return col[x]%2;
    if(col[x])return ;
    if(col[x^])return ;
    col[x]=;
    ans[++cnt]=x;
    for(int i=head[x];i;i=edge[i].next)
        if(!paint(edge[i].to))return ;
    return ;
}
bool work()
{
    memset(col,,sizeof col);
    for(int i=;i<*n;i+=)
    {
        if(col[i]||col[i+])continue;
        cnt=;
        if(!paint(i))
        {
            while(cnt)//while(cnt--)则不太对！
                col[ans[cnt]]=,cnt--;
            if(!paint(i^))return ;
        }
    }
    return ;
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        memset(head,,sizeof head); ct=;
        for(int i=,x,y;i<=m;i++)
        {
            scanf("%d%d",&x,&y);
            x--; y--;
//            add(x,op(y)); add(y,op(x));
            add(x,y^); add(y,x^);
        }
        if(work())
        {
            for(int i=;i<*n;i+=)
            {
                if(col[i])printf("%d\n",i+);
                else printf("%d\n",i+);
            }
        }
        else printf("NIE\n");
    }
    return ;
}