zoj2770解题报告（差分约束）

题目描述的是刘备攻打陆逊时的连营，输入为大营个数n，每个大营中的最多士兵数Ci，以及若干个三元组i,j,k表示第i个大营到第j个大营的士兵总数最少有k个。求刘备最少有多少士兵。
根据题意，可以找出以下几个不等关系：
(1).第i个到第j个大营最小有k个士兵，即s[j]-s[i-1]>=k,s[i-1]-s[j]<=-k,即边(j,i-1)的权值为-k。

(2).根据每个大营中最多有c[i]个士兵以及最少有0个士兵，可得s[i]-s[i-1]>=0  及  s[i]-s[i-1]<=c[i]

根据这三类不等式，建立有向图，利用Bellman-Ford或者SPFA求得顶点n到顶点0的最短路，即可得全部最少有多少士兵。

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define INF 0x1f1f1f1f
#define maxn 1001
#define maxm 23000
int n,m;
int dist[maxn];
struct edge{
    int u,v,w;
}e[maxm];
int tot;
void add(int u,int v,int w){
    e[tot].u=u;
    e[tot].v=v;
    e[tot++].w=w;
}
void init()  {
    tot = 0;
}
bool bellman(){
    int i,j;
    for(i=0;i<n;i++) dist[i]=INF;
    dist[0]=0;
    for(i=0;i<n;i++){
        for(j=0;j<tot;j++)
            if(dist[e[j].u]!=INF&&dist[e[j].u]+e[j].w<dist[e[j].v]){
                dist[e[j].v]=dist[e[j].u]+e[j].w;
            }
    }
    for(int j=0;j<tot;j++)
        if(dist[e[j].u]!=INF&&dist[e[j].u]+e[j].w<dist[e[j].v])
            return 0;
    return 1;
}
int s[maxn],c[maxn];
int main(){
    int i,j,k;
    while(scanf("%d%d",&n,&m)!=EOF){
        init();
        for(i=1;i<=n;i++){
            scanf("%d",&c[i]);
            add(i-1,i,c[i]);
            add(i,i-1,0);
            s[i]=s[i-1]+c[i];
        }
        while(m--){
            scanf("%d%d%d",&i,&j,&k);
            add(j,i-1,-k);
            add(i-1,j,s[j]-s[i-1]);
        }
        if(!bellman())printf("Bad Estimations\n");
        else printf("%d\n",dist[n]-dist[0]);
    }
    return 0;
}