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*];
     bool mark[maxn*];
     int s[maxn*],c;

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

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