hdu4115：Eliminate the Conflict

n<=10000局剪刀石头布，对面第i局出Ai，m<=10000种对你出什么提出的要求：Xi Yi Wi 表示第Xi局和第Yi局，Wi=1:必须不同；Wi=0:必须相同，问是否存在你一局都不能输的可行解。

一开始对面就把你每局的选择减成2个了，又是一个2-SAT问题。至于建图一定要考虑周全！注意一个条件对Xi和Yi带来的影响都要考虑！

A和B必须不同：

A和B必须相同：错误！未考虑清楚“必须相同”的含义，就是说，如果B没有一样的，那么A这个就不能选！

那么还要把这些不能选的点删掉吗？看了大神博客，发现神奇姿势：这样A1和B3就永远不可能选了，因为一旦选立刻出现矛盾。

注意事项：由于建边过程繁琐，中途思路混乱WA了一次。注意检查！！！

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
#include<cmath>
//#include<iostream>
using namespace std;

int n,m,T;
#define maxn 10011*2
#define maxe 10011*4
struct Edge{int to,next;};
struct Graph
{
    Edge edge[maxe];int le;
    int first[maxn],vis[maxn];
    void clear()
    {
        le=2;
        memset(first,0,sizeof(first));
    }
    void insert(int x,int y)
    {
        edge[le].to=y;
        edge[le].next=first[x];
        first[x]=le++;
    }
    int sta[maxn],top;
    bool dfs(int x)
    {
        if (vis[x^1]) return 0;
        if (vis[x]) return 1;
        vis[x]=1;
        sta[++top]=x;
        for (int i=first[x];i;i=edge[i].next)
            if (!dfs(edge[i].to)) return 0;
        return 1;
    }
    bool twosat()
    {
        memset(vis,0,sizeof(vis));
        for (int i=1;i<=n;i++)
            if (!vis[i*2] && !vis[i*2+1])
            {
                top=0;
                if (!dfs(i*2))
                {
                    for (;top;top--) vis[sta[top]]=0;
                    if (!dfs(i*2+1)) return 0;
                }
            }
        return 1;
    }
}G;
struct Point
{
    int a,b;
}game[maxn];
int x,y,w;
int main()
{
    scanf("%d",&T);
    for (int t=1;t<=T;t++)
    {
        scanf("%d%d",&n,&m);
        for (int i=1;i<=n;i++)
        {
            scanf("%d",&x);
            if (x==1) {game[i].a=1;game[i].b=2;}
            if (x==2) {game[i].a=2;game[i].b=3;}
            if (x==3) {game[i].a=1;game[i].b=3;}
        }
        G.clear();
        for (int i=1;i<=m;i++)
        {
            scanf("%d%d%d",&x,&y,&w);
            if (w)
            {
                if (game[x].a==game[y].a)
                {
                    G.insert(x*2,y*2+1);
                    G.insert(y*2,x*2+1);
                }
                if (game[x].a==game[y].b)
                {
                    G.insert(x*2,y*2);
                    G.insert(y*2+1,x*2+1);
                }
                if (game[x].b==game[y].a)
                {
                    G.insert(x*2+1,y*2+1);
                    G.insert(y*2,x*2);
                }
                if (game[x].b==game[y].b)
                {
                    G.insert(x*2+1,y*2);
                    G.insert(y*2+1,x*2);
                }
            }
            else
            {
                if (game[x].a==game[y].a)
                {
                    G.insert(x*2,y*2);
                    G.insert(y*2,x*2);
                }
                else if (game[x].a==game[y].b)
                {
                    G.insert(x*2,y*2+1);
                    G.insert(y*2+1,x*2);
                }
                else G.insert(x*2,x*2+1);
                if (game[x].b==game[y].a)
                {
                    G.insert(x*2+1,y*2);
                    G.insert(y*2,x*2+1);
                }
                else if (game[x].b==game[y].b)
                {
                    G.insert(x*2+1,y*2+1);
                    G.insert(y*2+1,x*2+1);
                }
                else G.insert(x*2+1,x*2);
                if (game[y].a!=game[x].a && game[y].a!=game[x].b)
                    G.insert(y*2,y*2+1);
                if (game[y].b!=game[x].a && game[y].b!=game[x].b)
                    G.insert(y*2+1,y*2);
            }
        }
        printf("Case #%d: ",t);
        if (G.twosat()) printf("yes");else printf("no");
        puts("");
    }
    return 0;
}