差分約束——vijos1589

vijos1589

聽說……這題是貪心啊

我比較傻嘛……不知道怎麼搞

第一眼就是差分約束，然而之前只寫過一題差分約束，所以，AC的比較艱難……

先是spfa打萎了- -然後是起點處理錯了...

然後又是初始化錯了

題意很顯然，差分約束系統的構造也很好想

對於輸入x.y.z，即Ty-T(x-1)>=z

所以我們直接給x-1和y連一條z 的邊

顯然，每個位置只能放一個西瓜，所以有T(i+1)-Ti>=0,Ti-T(i-1)>=-1

然後構造完成，直接跑spfa

注意初始化-1e9。。。。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <queue>
#include <string>
#include <map>
#include <cstring>
#include <ctime>
#include <vector>
#define inf 1e9
#define maxn 10001
#define ll long long
#define For(i,j,k) for(int i=j;i<=k;i++)
#define Dow(i,j,k) for(int i=k;i>=j;i--)
using namespace std;
int poi[maxn],nxt[maxn],v[maxn],f[maxn],cnt,dist[maxn],q[maxn*10],n,m,x,y,z,s;
bool inq[maxn];
inline void add(int x,int y,int z)
{
	poi[++cnt]=y;nxt[cnt]=f[x];v[cnt]=z;f[x]=cnt;
}
inline void spfa()
{
	For(i,0,n)	dist[i]=-1e9;
	q[1]=s;dist[s]=0;
	int l=1,r=1;
	while(l<=r)
	{
		int t=q[l];inq[t]=0;
		for(int i=f[t];i;i=nxt[i])
			if(dist[poi[i]]<dist[t]+v[i])
			{
				if(!inq[poi[i]])	q[++r]=poi[i],inq[poi[i]]=1;
				dist[poi[i]]=dist[t]+v[i];
			}
		l++;
	}
	printf("%d",dist[n]);
}
int main()
{
	scanf("%d%d",&n,&m);
	s=1e9;
	For(i,1,m)
		scanf("%d%d%d",&x,&y,&z),add(x-1,y,z),s=min(x-1,s);
	For(i,0,n-1)	add(i,i+1,0),add(i+1,i,-1);
	spfa();
}