思路：對於每一個物品i，我們可以假設i是R色，則i+n是B色，然後2-sat驗證。但是這樣的話二分不方便。

所以改用並查集來實現：對於每一個關系，如果相同，則合並 u和v，u+n和v+n；否則合並u和v+n，v+u+n，知道出現矛盾。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<string>
const int maxn=20030;
using namespace std;
int m,n,x,u,v;
int flag=1;
int par[maxn],rnk[maxn];
void init( int n )
{
    for (int i=0;i<=n;i++){
        par[i]
 
=i;
        rnk[i]=0;
    }
}
int find( int x )
{
    return x==par[x]?x:find(par[x]);
}
void unite( int x, int y )
{
    x=find(x);
    y=find(y);
    if(x==y) return; 
    if(rnk[x]<rnk[y]) par[x]=y;
    else{
        par[y]=x;
        if (rnk[x]==rnk[y]) rnk[x] ++;
    }
}
bool same( int x, int y )
{
    return find(x)==find(y);
}
int main()
{
    int T;
    scanf("%d",&T );
    while (T--){
        scanf("%d%d",&n,&m );
        init(n*2+10);
        flag=1;
        for(int i=1;i<=m;++i){
            scanf("%d%d%d",&x,&u,&v );
            if (flag){
                if(x==0){
                    if(same(u,v+n)){
                        puts("sad");
                        printf("%d\n",i);
                        flag = 0;
                    } 
                    else{
                        unite(u,v);
                        unite(v+n,u+n);
                    }
                }
                else{
                    if (same(u,v)||same(u+n,v+n)){
                        puts("sad");
                        printf( "%d\n",i);
                        flag = 0;
                    }
                    else{
                        unite(u,v+n);
                        unite(u+n,v);
                    }
                }
            }
        }
        if (flag) puts("great");
    }
     return 0;
}