luogu 2294 [HNOI2005]狡猾的商人 差分约束

一个差分约束模型，只需判一下有没有负环即可. 

#include <bits/stdc++.h> 
#define N 103  
#define M 2004 
#define setIO(s) freopen(s".in","r",stdin) 
using namespace std;        
int edges; 
int hd[N],to[M],nex[M],val[M],d[N],vis[N];         
void add(int u,int v,int c) 
{    
    nex[++edges]=hd[u],hd[u]=edges,to[edges]=v,val[edges]=c;       
}
int spfa(int u) 
{
    vis[u]=1;   
    for(int i=hd[u];i;i=nex[i]) 
    {
        int v=to[i]; 
        if(d[v]>d[u]+val[i]) 
        {
            if(vis[v]) return 1;      
            else 
            {
                d[v]=d[u]+val[i];    
                if(spfa(v)) return 1;  
            }
        }
    } 
    vis[u]=0; 
    return 0;   
}
void work() 
{
    memset(d,0x3f,sizeof(d));  
    int n,m,i,j; 
    scanf("%d%d",&n,&m);      
    for(i=1;i<=m;++i) 
    {
        int a,b,c; 
        scanf("%d%d%d",&a,&b,&c);    
        ++b;          
        add(a,b,c), add(b,a,-c);  
    }    
    int flag=0; 
    for(i=1;i<=n+1;++i) 
    {
        if(!vis[i]) 
        {
            d[i]=0;   
            flag=spfa(i);    
            if(flag) 
            { 
                printf("false\n");   
                break;   
            }
        }
    } 
    if(!flag) 
    {
        printf("true\n"); 
    }   
    edges=0;  
    memset(hd,0,sizeof(hd)); 
    memset(vis,0,sizeof(vis)); 
    memset(d,0,sizeof(d));    
}
int main() 
{  
    int T,i,j; 
    // setIO("input");  
    scanf("%d",&T);   
    for(i=1;i<=T;++i) work(); 
    return 0; 
}