题目来源：
ZOJ Monthly, October 2006, ZOJ2770
题目描述：
大家都知道，三国时期，蜀国刘备被吴国大都督陆逊打败了。刘备失败的原因是刘备的错误
决策。他把军队分成几十个大营，每个大营驻扎一队部队，又用树木编成栅栏，把大营连成一片，
称为连营。
让我们回到那个时代。陆逊派了很多密探，获得了他的敌人－刘备军队的信息。通过密探，
他知道刘备的军队已经分成几十个大营， 这些大营连成一片 （一字排开）， 这些大营从左到右用 1…
n 编号。第 i 个大营最多能容纳 Ci 个士兵。而且通过观察刘备军队的动静，陆逊可以估计到从第 i
个大营到第 j 个大营至少有多少士兵。最后，陆逊必须估计出刘备最少有多少士兵，这样他才知
图论算法理论、实现及应用
- 196 -
道要派多少士兵去烧刘备的大营。
输入描述：
输入文件中有多个测试数据。每个测试数据的第一行，有两个整数 n(0<n≤1000)和 m(0≤m
≤10000)。第二行，有 n 个整数 C1…Cn。接下来有 m 行，每行有 3 个整数 i, j, k(0<i≤j≤n, 0≤
k<231)，表示从第 i 个大营到第 j 个大营至少有 k 个士兵。
输出描述：
对每个测试数据，输出一个整数，占一行，为陆逊估计出刘备军队至少有多少士兵。然而，
陆逊的估计可能不是很精确，如果不能很精确地估计出来，输出"Bad Estimations"。
样例输入： 样例输出：
3 2
1000 2000 1000
1 2 1100
2 3 1300
3 1
100 200 300
2 3 600
1300
Bad Estimations
#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
int n,m;
struct node{
int from,to,value;
}e[];
int ei,c[],d[],dis[];// dis 最短路
// d 阵营前缀和 c 每个阵营的最大人数
void init()
{
memset(dis,0x3f,sizeof(dis));
d[]=;dis[n]=;ei=;
}
bool check()
{
for(int i=;i<n;i++){
for(int j=;j<ei;j++){
if(dis[e[j].to]>dis[e[j].from]+e[j].value && dis[e[i].from]!=0x3f)// 松弛
dis[e[j].to]=dis[e[j].from]+e[j].value;
}
}
for(int i=;i<ei;i++){
if(dis[e[i].from]+e[i].value<dis[e[i].to] && dis[e[i].from]!=0x3f)
return false;
}
return true;
}
int main()
{
while(scanf("%d%d",&n,&m)!=EOF)
{
init();
for(int i=;i<=n;i++){
scanf("%d",&c[i]);
e[ei].from=i-;e[ei].to=i;e[ei].value=c[i];ei++;//从这个阵营到后面一个阵营最多c[i]个人
e[ei].from=i;e[ei].to=i-;e[ei].value=;ei++;//从这个后面一个阵营到这个阵营最少0个人
d[i]=d[i-]+c[i];}
int u,v,w;
for(int i=;i<m;i++){
scanf("%d%d%d",&u,&v,&w);
e[ei].from=v;e[ei].to=u-;
e[ei].value=w*(-);ei++;
e[ei].from=u-;e[ei].to=v;e[ei].value=d[v]-d[u-];ei++;
}
if(!check()) printf("Bad Estimations\n");
else printf("%d\n",dis[n]-dis[]);
}
return ;
}
思路：把各个条件处理成一个不等式（最好全是大于或者全是小于），然后构造有向图，跑一边最短路检验