Burn the Linked Camp ZOJ - 2770 (差分约束，条件限制+好题)

传送门

题意：刘备有n个连续的军营，现在给出每个军营最多的人数，然后给出从第i个军营到第j个军营的总人数至少有w人，现在问这种情况是否存在。

题解：直接就能看出用差分约束，但是我刚开始太弱了 ，我就建了两个条件，第一个条件是那个最明显的条件，用s[i]表示从第1个军营到第i个军营的总人数，然后s[r]-s[l-1]>=w，然后又建了个所有的s[i]都必须大于等于0，之后再判断s[i]-s[i-1]是否大于c[i]，但是老是WA，我觉得这种方法应该也是没问题的，太菜了，现在想了都觉得自己真菜，其实还有个条件是它每个军营最大的人数是给出的，那么也就是0<=s[i]-s[i-1]<=c[i]，这样转换下又是两个条件，之后把这两个条件添加后就可以了，那么第一种方法为什么会错呢？这是肯定的啦，因为它这种情况可能很多情况本来都能满足，但是无缘无故就给叛成了BAD这种情况了，因为它每个军营本来能按照那种限制分配好，但是现在却没限制，最后还要这样判断，那岂不是不给你WA给啥.

附上代码：

#include<bits/stdc++.h>

using namespace std;

typedef long long ll;

const int maxn=1e3+5;
const int maxm=2e4+5;

struct edge{
    int v,w,next;
};
edge edges[maxm];
int head[maxn],tot;

void init()
{
    memset(head,-1,sizeof(head));
    tot=0;
}

void add_edges(int u,int v,int w)
{
    edges[tot].v=v;
    edges[tot].w=w;
    edges[tot].next=head[u];
    head[u]=tot++;
}

int n,m,l,r,w;
ll c[maxn];
int cnt[maxn];
ll dist[maxn];
bool vis[maxn];

bool spfa()
{
    queue<int>q;
    for(int i=0;i<=n+1;i++){
        q.push(i);
        cnt[i]=1;dist[i]=0;vis[i]=true;
    }
    while(!q.empty()){
        int u=q.front();
        q.pop();
        vis[u]=false;
        for(int i=head[u];~i;i=edges[i].next){
            int v=edges[i].v;
            if(dist[v]<dist[u]+edges[i].w){
                dist[v]=dist[u]+edges[i].w;
                if(!vis[v]){
                    vis[v]=true;
                    q.push(v);
                    if(++cnt[v]>n+2){
                        return false;
                    }
                }
            }

        }
    }
    return true;
}

int main()
{
    while(scanf("%d%d",&n,&m)!=EOF){
        init();
        for(int i=1;i<=n;i++){
            scanf("%lld",&c[i]);
            add_edges(i,i-1,-c[i]);
            add_edges(i-1,i,0);
        }
        for(int i=1;i<=m;i++){
            scanf("%d%d%d",&l,&r,&w);
            add_edges(l-1,r,w);
        }
        if(spfa()){
            printf("%lld\n",dist[n]);
        }else{
            printf("Bad Estimations\n");
        }
    }

    return 0;
}