0814-差分约束最长路-洛谷P1250 种树

传送门

大致题意

给你三个数B，E，T，表示在 B 和 E 之间至少种 T 棵树

最后问你满足要求的整个区间内最少种多少棵树

 

分析

看到有很多“至少”的条件，脑海中就应该浮现出很多个大于等于的符号，然后就自然而然的想到差分约束系统了

这道题我们可以考虑前缀和来处理，然后建图，用 spfa 跑一个最长路即可，需要注意的是相邻两个区间 a ， b （？姑且这么说）

 0 <= sum [ b ] - sum [ a ] <= 1，这是一个隐含的条件，建图的时候要考虑进去，将这两个条件转化为：（因为最后求的是最小值，所以我们需要转成 >= 的形式来建图，跑最长路）

1.  sum [ b ] - sum [ a ] >=0
2.  sum [ a ] - sum [ b ] >= -1

再说前缀和如何处理，对于输入的三个数据 B，E，T 我们可以看做  sum [ E ] - sum [ B - 1 ] >= T 

然后用上SPFA的模板，轻轻松松AC

只是还有一个小问题，由于你加了隐含条件边数就不止 5000 ，数组就不能开5000那么大，会RE，还会TLE，还会WA（唉。。你说一个数组怎么会引发那么多问题），自己算一算吧，我给的代码里是随便开的一个较大值

 

代码

#include
#include
#include
#include
#include
#include
#define N 30009
#define M 100005
#define inf 0x3f3f3f3f
using namespace std;
int n,h,b,e,t;
int nxt[M],head[N],to[M],w[M],tot;
int dis[N];
bool vis[N];
queue q;
void add(int x,int y,int z){
	nxt[++tot]=head[x];	head[x]=tot;
	to[tot]=y;	w[tot]=z;
}
void spfa(int st){
	for(int i=0;i<=n;++i) dis[i]=-inf;
	dis[st]=0;vis[st]=1;
	q.push(st);
	while(!q.empty()){
		int u=q.front();
		q.pop();vis[u]=0;
		for(int i=head[u];i;i=nxt[i]){
			int v=to[i];
			if(dis[v]