zoj2770 Burn the Linked Camp 差分约束和最短路bellman

题意：三国时期，蜀国刘备被吴国大都督陆逊打败了。刘备失败的原因是因为刘备的错误决策。他把部队分成几十个大营，每个大营驻扎一队部队，又用树木编成栅栏，把大营连成一片，称为连营。

让我们回到那个时代。陆逊派了很多密探，获得了他的敌人-刘备的信息。通过密探，他知道刘备的部队已经分成几十个大营，这些大营连成一片(一字排开)，这些大营从左到右用1...n编号。第i个大营最多能容纳Ci个士兵。而且通过观察刘备军队的动静，陆逊可以估计到从第i个大营到第j个大营至少有多少士兵。最后，陆逊必须估计出刘备最少有多少士兵，这样他才知道要派多少士兵去烧刘备的大营。

要求为陆逊估计出刘备军队至少有多少士兵。然而，陆逊的估计可能不是很精确，如果不能很精确地估计出来，输出 Bad Estimations。

分析：同样是要求最短路的问题，依据题意我们要在建图的时候运用差分约束系统。

设x[i] 为第i个营的人数，s[i] = a[1] + a[2] + … + a[i], s[0] = 0。s[i]是1到i营的总人数。那么根据题意，我们写出差分约束的方程:

第一组测试数据，1000,2000,1000是每个营的人数a[i]。第u营到第v营至少z个士兵。则

0<=s[i]-s[i-1]<=a[i];

s[v]-s[u-1]>=z;

在建图的时候：

struct node{

int u,v,c;

}e[MAXN];

u代表上一个营点，v代表下一个营点。c是士兵数。s[v]-s[u-1]>=z此方程建图便可写成e[i].u=v,e[i].v=u-1,e[i].c=-z;

表示u-1到v最多有z个兵。由于是最多，我们表示成负权值。

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<queue>
#include<cmath>
#include<cctype>
using namespace std;
#define INF 0x1f
struct node{
    int u;
    int v;
    int c;
};
node e[30005];
int a[10005],dist[2005];
bool bellman(int n,int m)
{
    memset(dist,INF,sizeof(dist));
    dist[n]=0;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
        {
            if(dist[e[j].v]>dist[e[j].u]+e[j].c)
                dist[e[j].v]=dist[e[j].u]+e[j].c;
        }
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
        {
            if(dist[e[j].v]>dist[e[j].u]+e[j].c)
                return false ;
        }
    return true;
}
int main()
{
    int n,m;
    while(cin>>n>>m)
    {
        for(int i=1;i<=n;i++)
            cin>>a[i];
        for(int i=1;i<=m;i++)
        {
            int x,y,z;
            cin>>x>>y>>z;
            e[i].u=y,e[i].v=x-1,e[i].c=-z;
        }
        for(int i=1;i<=n;i++)
        {
            e[i+m].u=i-1,e[i+m].v=i,e[i+m].c=a[i];
            e[i+m+n].u=i,e[i+m+n].v=i-1,e[i+m+n].c=0;
        }

        if(bellman(n,m+2*n))
            cout<<-dist[0]<<endl;
        else
            cout<<"Bad Estimations"<<endl;
    }
}