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
);
}
else
{
puts("Bad Estimations");
}

}
return 0;
}