ZOJ 2770- Burn the Linked Camp 差分约束

题意： 陆逊派出侦察兵打探刘备连营信息。  n个帐篷最大容量为c1 c2 ...cn  m个信息， u,v,w   u->v营地之前最少有士兵w个。询问最少有多少个士兵。如果不能判断按题目要求输出。

思路：

此题要求出最小值，即为求最长路的最小值。

首先考虑m条信息， u+ u1+u2+...+v>=w  但是加法关系不能做成一个差分约束，很明显是个不等式的题。所以用前缀和的思想做一下。改写成为 v- (u-1) >= w ，

n个帐篷的容量:   0<=Ci-(Ci-1) <=ci。再改写成为A-B>=C的形式 构造B->A的边，边权为C。判是否有正环即可

#include <iostream>
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <queue>
#include <vector>
#include <cmath>
#include <stack>

using namespace std;
const int maxn=10005;
typedef long long ll;
vector<pair<int ,ll > > vec[maxn];
int vis[maxn];
int info[maxn];
ll dis[maxn];
const ll inf=0x3f3f3f3f3f3f3f3f;
int n,m;

int spfa(int st)
{
    memset(info,0,sizeof(info));
    memset(vis,0,sizeof(vis));
    for(int i=0;i<=n;i++)
    {
        vis[i]=0,dis[i]=-inf,info[i]=0;
    }
    vis[st]=1,dis[st]=0,info[st]=1;
    deque<int>q;
    q.push_front(st);
    int u;
    while(!q.empty())
    {
        u=q.front();
        q.pop_front();
         vis[u]=0;
        for(int i=0; i<vec[u].size(); i++)
        {

            int v=vec[u][i].first;
            ll w=vec[u][i].second;
            if( dis[v] < w+dis[u] )
            {
                dis[v]=w+dis[u];
                if(!vis[v])
                {
                    info[v]++;
                    vis[v]=1;
                    if(!q.empty()&&dis[v]<dis[q.front()])
                        q.push_back(v);
                    else
                        q.push_front(v);
                    if(info[v]>n)
                    {
                        return 0;
                    }
                }
            }
        }
    }
    return 1;
}

int main()
{
    while(~scanf("%d%d",&n,&m) )
    {
    for(int i=0; i<=maxn; i++)
        vec[i].clear();
    int u,v;
    ll w;
    for(int i=1;i<=n;i++)
    {
        scanf("%lld",&w);
        vec[i-1].push_back( make_pair(i,0) );

        vec[i].push_back(make_pair(i-1,-w));

        vec[0].push_back(make_pair(i,0));
    }
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d%lld",&u,&v,&w);
        vec[u-1].push_back(make_pair(v,w));
    }
    if(spfa(0))
    {
        printf("%lld\n",dis[n]);
    }
    else
    {
         puts("Bad Estimations");
    }

    }
    return 0;
}