HDU 4115 2-sat 石头剪刀布 拆点+约束

题意：

2个人玩石头剪刀布

A和B

n轮 m个约束条件（对A的约束）

下面n个数字表示B的出发 （1为石头 2为布 3为剪刀）

下面m行表示约束条件

u v papa 

papa = 1 表示 u v轮 A必须出一样 =0 表示u v轮必须出不一样

 

问A能否全胜

 

把一轮拆成： 出0 2 4的方法和 不出 1 3 5的方法

 

#include<stdio.h>  
#include<string.h>   
#include<iostream>   
#include<algorithm>   
#include<math.h>   
  
#define ll int   
using namespace std;  
  
inline ll Max(ll a,ll b){return a>b?a:b;}  
inline ll Min(ll a,ll b){return a<b?a:b;}  
  
  
#define N 10010*12   
#define M 10010*50   
  
struct Edge{  
    int to, nex;  
}edge[M];  
  
int head[N], edgenum;  
void addedge(int u, int v){  
    Edge E = {v, head[u]};  
    edge[edgenum] = E;  
    head[u] = edgenum ++;  
}  
  
bool mark[N];  
int Stack[N], top;  
void init(){  
    memset(head, -1, sizeof(head)); edgenum = 0;  
    memset(mark, 0, sizeof(mark));  
}  
  
bool dfs(int x){  
    if(mark[x^1])return false;//一定是拆点的点先判断   
    if(mark[x])return true;  
  
    mark[x] = true;  
    Stack[top++] = x;  
  
    for(int i = head[x]; i != -1; i = edge[i].nex)  
        if(!dfs(edge[i].to)) return false;  
  
    return true;  
}  
  
bool solve(int n){  
    for(int i = 0; i < n; i+=2)  
        if(!mark[i] && !mark[i^1])  
        {  
            top = 0;  
            if(!dfs(i))//dfs(i) 假设i成立    
            {//当i不成立时，把所有因i成立的点都取消标记   
                while( top ) mark[ Stack[--top] ] = false;  
                if(!dfs(i^1))  
                    return false;//若i的对立面也不成立则i点无解   
            }  
        }  
        return true;  
}  
  
  
int main(){  
    int n, i, j, k, m, t, Cas = 1; scanf("%d",&t);  
    while(t--){  
        scanf("%d %d",&n,&m);  
        init();  
  
        for(i = 0; i < n; i++)  
        {  
            addedge(6*i, 6*i+3);      
            addedge(6*i, 6*i+5);  
            addedge(6*i+2, 6*i+1);  
            addedge(6*i+2, 6*i+5);  
            addedge(6*i+4, 6*i+1);  
            addedge(6*i+4, 6*i+3);  
  
            int hehe;  
            scanf("%d",&hehe);  
  
            if(hehe == 1)  
            {  
                addedge(6*i+3, 6*i+0);  //不出布一定出石头   
                addedge(6*i+1, 6*i+2);//不出石头一定出布   
            }  
            if(hehe == 2)  
            {  
                addedge(6*i+3, 6*i+4);  
                addedge(6*i+5, 6*i+2);  
            }  
            if(hehe == 3)  
            {  
                addedge(6*i+5, 6*i+0);   
                addedge(6*i+1, 6*i+4);  
            }  
        }  
  
        while(m--)  
        {  
            int u, v, papa;  
            scanf("%d %d %d",&u,&v,&papa); u--, v--;  
            if(papa == 0)  
            {  
                addedge(6*u+0, 6*v+0);  
                addedge(6*u+4, 6*v+4);  
                addedge(6*u+2, 6*v+2);  
                addedge(6*v+0, 6*u+0);  
                addedge(6*v+4, 6*u+4);  
                addedge(6*v+2, 6*u+2);  
            }  
            else  
            {  
                addedge(6*u+0, 6*v+1);  
                addedge(6*u+2, 6*v+3);  
                addedge(6*u+4, 6*v+5);  
  
                addedge(6*v+0, 6*u+1);  
                addedge(6*v+2, 6*u+3);  
                addedge(6*v+4, 6*u+5);  
            }  
        }  
        if(solve(n*12))  
            printf("Case #%d: yes\n",Cas++);  
        else  
            printf("Case #%d: no\n",Cas++);  
    }  
    return 0;  
}  
/* 
2 
0 4 
4 0 
3 
0 1 24 
1 0 86 
24 86 0 
HDU 4115 必过 
*/