tyvj 1415 西瓜种植

---

【分析】
差分约束系统啦
如果大家对差分约束系统不了解，那么就去看一下我博客上的讲解吧。不了解这个是很难看懂分析的。
【传送门在此】
题意要求至少多少西瓜，所以应该是求单源最长路，我们可以把它翻过来转化为求单源最短路。
用 f[i] 表示1~i 这i块地中种植的西瓜总数，那么对于每一个条件：左端点为l，右端点为r，须种植d个瓜及以上，容易得到：
f[r]-f[l-1]>=d
根据上文介绍，为了转化为单源最短路问题，我们从 l-1 向 r 连一条长度为 -d 的边
还有隐含条件：
f[i]-f[i-1]>=0
f[i-1]>=f[i]-1
从 i-1 向 i 连一条长度为0的边，从 i 向 i-1 连一条长度为 1 的边。
下面就是简单的求单源最短路，然后输出 dis[n]

---

【代码】

//tyvj1415 西瓜种植 #include<iostream>#include<cstdio>#include<cstring>#include<vector>#define fo(i,j,k) for(int i=j;i<=k;i++)using namespace std;vector <int> f[5001];vector <int> l[5001]; int n,m,x,y,d;int dis[5001],q[500001];bool vis[5001];int main(){    memset(dis,0x7f,sizeof dis);    scanf("%d%d",&n,&m);    fo(i,1,n)      f[i-1].push_back(i),l[i-1].push_back(0),      f[i].push_back(i-1),l[i].push_back(1);    fo(i,1,m)    {        scanf("%d%d%d",&x,&y,&d);        f[x-1].push_back(y);        l[x-1].push_back(-d);    }    dis[0]=0;    vis[0]=1;    int h=0,t=1;    q[t]=0;    while(h<t)    {        int u=q[++h];        vis[u]=0;        int x=f[u].size()-1;        fo(i,0,x)        {            int v=f[u][i];            if(dis[v]>dis[u]+l[u][i])            {                dis[v]=dis[u]+l[u][i];                if(!vis[v])                  vis[v]=1,q[++t]=v;            }        }    }    printf("%d\n",-dis[n]);    return 0;}