题意清晰明了简单易懂。
首先考虑这是一张二分图,设x[i]表示第i行增加的权值,y[i]表示第i列增加的权值,那么就有下面的一些限制关系:x[i]+y[i]==c。
于是我们将行当做左部点,列当做右部点,随便找一个初始点的权值设为随便一个数,dfs一遍判断是否矛盾即可…
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
//by:MirrorGray
using namespace std;
const int N=2111;
bool vis[N];
int a[N],tot=-1,head[N],ver[N],nxt[N],len[N];
void add(int x,int y,int z){
nxt[++tot]=head[x];
head[x]=tot;
ver[tot]=y;
len[tot]=z;
}
void init(){
tot=-1;
memset(head,-1,sizeof(head));
memset(vis,false,sizeof(vis));
}
bool dfs(int x){
vis[x]=true;
for(int i=head[x];~i;i=nxt[i])if(!vis[ver[i]]){
a[ver[i]]=len[i]-a[x];
if(!dfs(ver[i]))return false;
}
else if(a[ver[i]]+a[x]!=len[i])return false;
return true;
}
int main(){
int T;scanf("%d",&T);
while(T--){
init();
int n,m,k;scanf("%d%d%d",&n,&m,&k);
int pos=0;
for(int i=1;i<=k;i++){
int a,b,c;scanf("%d%d%d",&a,&b,&c);
add(a,b+n,c);add(b+n,a,c);pos=a;
}
if(dfs(pos))puts("Yes");else puts("No");
}
return 0;
}
//orz Poker_face
//祈愿heoi2016一切平安…>_<…