BZOJ4500: 矩阵

题意清晰明了简单易懂。
首先考虑这是一张二分图，设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一切平安…>_<…