HDU 1824

好吧，这次估计是明白边的含义了。

X/Y= -X->Y = -Y->X  这就达成了选了-X必须选Y的目的了。对于这道题，必须要明白题目了。

每一个队（三人一队）或者队长留下或者其余两名队员同时留下 ： 就可以得到  X/(Y^Z)=1 而不是互斥的。

以及  X->-Y     -X->Y

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

const int MAXN=10010;
const int MAXM=100100;

int head[MAXN],dfn[MAXN],low[MAXN],st[MAXN],stop,belong[MAXN],tot,index,pat;
bool stack[MAXN];
struct {
    int u,v;
    int next;
}edge[MAXM];
int n,m;

void init(){
    stop=0; tot=0; index=0; pat=-1;
    for(int i=0;i<6*n;i++){
        head[i]=-1;
        dfn[i]=low[i]=0;
        belong[i]=-1;
        stack[i]=false;
    }
}

void addedge(int u,int v){
    edge[tot].u=u;
    edge[tot].v=v;
    edge[tot].next=head[u];
    head[u]=tot++;
}

void tarjan(int u){
    int v;
    dfn[u]=low[u]=++index;
    st[stop++]=u; stack[u]=true;
    for(int e=head[u];e!=-1;e=edge[e].next){
        v=edge[e].v;
        if(dfn[v]==0){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(stack[v]){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        pat++;
        do{
            v=st[--stop];
            stack[v]=false;
            belong[v]=pat;
        }while(u!=v);
    }
}

int main(){
    int u,v;
    int a,b,c;
    while(scanf("%d%d",&n,&m)!=EOF){
        init();
        for(int i=1;i<=n;i++){
            scanf("%d%d%d",&a,&b,&c);
            addedge(a*2+1,b*2);
            addedge(a*2+1,c*2);
            addedge(c*2+1,a*2);
            addedge(b*2+1,a*2);
        }
        for(int i=1;i<=m;i++){
            scanf("%d%d",&u,&v);
            addedge(u*2,v*2+1);
            addedge(v*2,u*2+1);
        }
        for(int i=0;i<6*n;i++){
            if(dfn[i]==0)
            tarjan(i);
        }
        bool flag=true;
        for(int i=0;i<3*n;i++){
            if(belong[i*2]==belong[i*2+1]){
                printf("no
");
                flag=false;
                break;
            }
        }
        if(flag)
        printf("yes
");
    }
}