思路：将每个回合的平手和赢最为一对对立状态。那么后面就是2-SAT判断了。
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<queue>
#include<map>
#define Maxn 20010
using namespace std;
map<int ,int> g[Maxn];
int vi[Maxn],head[Maxn],dfn[Maxn],low[Maxn],e,n,lab,top,num,id[Maxn],Stack[Maxn],wh[Maxn],hh[][];
struct Edge{
int u,v,next;
}edge[];
void init()//初始化
{
memset(vi,,sizeof(vi));
memset(head,-,sizeof(head));
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(id,,sizeof(id));
for(int i=;i<Maxn;i++)
g[i].clear();
e=lab=top=num=;
}
void add(int u,int v)//加边
{
edge[e].u=u,edge[e].v=v,edge[e].next=head[u],head[u]=e++;
}
void Tarjan(int u)//找出强连通分支
{
int i,j,v;
dfn[u]=low[u]=++lab;
Stack[top++]=u;
vi[u]=;
for(i=head[u];i!=-;i=edge[i].next)
{
v=edge[i].v;
if(!dfn[v])
{
Tarjan(v);
low[u]=min(low[u],low[v]);
}
if(vi[v])
low[u]=min(low[u],dfn[v]); }
if(low[u]==dfn[u])
{
++num;
do{
i=Stack[--top];
vi[i]=;
id[i]=num;
}while(i!=u);
}
}
int solve()
{
int i,j;
for(i=;i<=n;i++)
if(!dfn[i])
Tarjan(i);
for(i=;i<=n;i++)
if(id[i]==id[i+n])
return ;
return ;
}
int main()
{
int t,i,j,m,u,v,k,Case=;
hh[][]=hh[][]=hh[][]=;
scanf("%d",&t);
while(t--){
init();
scanf("%d%d",&n,&m);
for(i=;i<=n;i++)
scanf("%d",wh+i);
int f=;
for(i=;i<=m;i++){
scanf("%d%d%d",&u,&v,&k);
if(u>v)
swap(u,v);
if(g[u][v]==k+||u==v&&k==) continue;
if(g[u][v]&&g[u][v]!=k+||u==v&&k==) {f=;break;}
g[u][v]=k+;
if(k==){
if(wh[u]==wh[v]){
add(u,v);
add(v+n,u+n);
add(v,u);
add(u+n,v+n);
}else
if(hh[wh[u]][wh[v]]){
add(u,v+n);
add(v,u+n);
add(u+n,v);
add(v+n,u);
add(u+n,v+n);
add(v,u);
}
else
{
add(u,v+n);
add(v,u+n);
add(u+n,v);
add(v+n,u);
add(u,v);
add(v+n,u+n);
}
}
else{
if(wh[u]==wh[v]){
add(u,v+n);
add(v,u+n);
add(u+n,v);
add(v+n,u);
}else
if(hh[wh[u]][wh[v]]){
add(u,v);
add(v+n,u+n);
}
else{
add(u+n,v+n);
add(v,u);
}
}
}
printf("Case #%d: ",++Case);
if(f){
for(i++;i<=m;i++){
scanf("%d%d%d",&u,&v,&k);
}
printf("no\n");
continue;
}
if(solve())
printf("yes\n");
else
printf("no\n");
}
return ;
}