NWERC 2012 Problem I Idol

又是个2-sat的模板题；

反正评委的选择必须有一个是正确的，1错误，那么2就必须正确；

这就是一个2-sat问题。

直接上白书的模板啊，不过稍微要注意的一点是对于第一个点必须要选择，不然就违反了题意；

代码：

#include<cstdio>
#define maxn 2005
#define maxm 4005
#include<vector>
#include<cstring>
using namespace std;
struct twosat
{
    int n;
    vector<int>g[maxn*2];
    bool mark[maxn*2];
    int s[maxn*2],c;

    bool dfs(int x)
    {
        if(mark[x^1])return 0;
        if(mark[x])return 1;
        mark[x]=1;
        s[c++]=x;
        for(int i=0; i<g[x].size(); i++)
            if(!dfs(g[x][i]))return 0;
        return 1;
    }
    void init(int n)
    {
        this->n=n;
        for(int i=0; i<2*n; i++)g[i].clear();
        memset(mark,0,sizeof mark);
    }
    void add_clase(int x,int y)
    {
        g[x].push_back(y);
    }
    bool solve()
    {
        mark[1]=1,mark[0]=0;//强制让1选上去；
        for(int i=2; i<n*2; i+=2)
            if(!mark[i]&&!mark[i+1])
            {
                c=0;
                if(!dfs(i))
                {
                    while(c>0)mark[s[--c]]=0;
                    if(!dfs(i+1))return 0;
                }
            }
            return 1;
        }
} getans;

int main()
{
    int n,m,u,v;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        getans.init(n);
        for(int i=0; i<m; i++)
        {
            scanf("%d%d",&u,&v);
            if (u<0) {u++;u=(-u)<<1;}
            else {u--;u=u<<1|1;}
            if (v<0) {v++;v=(-v)<<1;}
            else {v--;v=v<<1|1;}
            getans.add_clase(u^1,v);
            getans.add_clase(v^1,u);
        }
        if(getans.solve())puts("yes");
        else puts("no");
    }
    return 0;
}