2 sat hdu1824异或关系还要反向建边

 这些数组的范围 maxn注意下看看是乘几

 //3n(人数)*2(去or不去) 每人两种情况共6n！！！
 //上一题夫妻2n个人，夫妻本来就是相反的关系。这题里队长和两队员是相反关系但两队员编号也不同也没法捆绑啥的 。。

#include<bits/stdc++.h>
using namespace std;
const int maxn=6005;//1-3n是3n个人去。3n-6n是这些人不去 
int a,b,n,m,num,head[2][maxn],s[maxn];
int q[maxn],vis[maxn],f[maxn],cnt[2];
struct ss{
    int v,nex;
}g[2][maxn*maxn];

void creat(int u,int v){
    g[0][++cnt[0]]={v,head[0][u]};head[0][u]=cnt[0];
    g[1][++cnt[1]]={u,head[1][v]};head[1][v]=cnt[1];
}

void dfs1(int u){
    vis[u]=1;
    for(int i=head[0][u];i;i=g[0][i].nex){
        int v=g[0][i].v; 
        if(!vis[v])    dfs1(v);
    }
    q[num++]=u;
}
void dfs2(int x,int y){
    vis[x]=0;f[x]=y;
    for(int i=head[1][x];i;i=g[1][i].nex){
        int v=g[1][i].v; 
        if(vis[v]) dfs2(v,y);    
    }
}
int main(){
    while(cin>>n>>m){
    	memset(vis,0,sizeof(vis)); 
        memset(head,0,sizeof(head));
		cnt[0]=cnt[1]=0; 
		for(int i=0;i<n;i++){
			//因为一组成员的编号不再是连续的了,所以要用数组存,下标连续 
			scanf("%d%d%d",&s[i],&s[i+1],&s[i+2]);
			creat(s[i],s[i+1]+3*n); 
			creat(s[i],s[i+2]+3*n); 
			creat(s[i+1],s[i+2]); 
			creat(s[i+1],s[i]+3*n); 
			creat(s[i+2],s[i+1]); 
			creat(s[i+2],s[i]+3*n); 
			//反向还要建边 因为是异或 要么要么的关系 
			creat(s[i+1]+3*n,s[i]); 
			creat(s[i+2]+3*n,s[i]); 
			creat(s[i+2],s[i+1]); 
			creat(s[i]+3*n,s[i+1]); 
			creat(s[i+1],s[i+2]); 
			creat(s[i]+3*n,s[i+2]); 
		} 
        for(int i=0;i<m;i++){
            scanf("%d%d",&a,&b);
            creat(a,b+3*n);
    		creat(b,a+3*n);
        }  
        num=0; 
        //3n(人数)*2(去or不去) 每人两种情况共6n！！！
		//上一题夫妻2n个人，夫妻本来就是相反的关系。这题里队长和两队员是相反关系但两队员编号也不同也没法捆绑啥的 
        for(int i=0;i<6*n;i++){
            if(!vis[i]) dfs1(i);
        }
        for(int i=6*n-1;i>=0;i--){
            if(vis[q[i]]) dfs2(q[i],q[i]);        
        }    
        int ans=1;
        for(int i=0;i<3*n;i++){//n个队共3n个人 
            if(f[i]==f[i+3*n]){//i去 。i'不去 (+3n)
                ans=0;break;
            }
        } 
        if(ans) puts("yes");
        else puts("no");
    }
    return 0;
}