Codevs1653 种树2

• 题目大意：有一排直线的种树区域，每个块最多只能种一棵树，有一些要求从第i块到第j块至少种多少树的要求，求至少种多少树能满足这些要求。

• 思路：可以用贪心，也可以用差分约束。对于差分约束来讲，如果让求最小值，则应将所有不等式化成a-b>=i的形式，然后从b向a连一条边权为i的边，跑最长路，若存在正环则无解，dist数组赋值为$-∞$，反之亦然。如果存在与0的约束条件，可以建一个源点，其dist值固定为0（因为不等式本来就多解），与所有点连边权为0的边。

• 在本题中，有以下几个约束条件：d[0]=0，d[i]-d[i-1]>=0，d[i]-d[i-1]<=1，d[e]-d[b-1]>=t（化为
  d[i-1]-d[i]>=-1），d[i]-d[0]>=0，建图后直接跑SPFA即可。

• 代码如下：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<queue>
#include<vector>
using namespace std;
struct edge
{
    int to,len;
    edge(int to=0,int len=0):to(to),len(len){}
};
const int maxn=50005;
int n,h,d[maxn];
vector<edge> g[maxn];

void init()
{
    scanf("%d",&n);
    scanf("%d",&h);
    for (int i=1;i<=n;++i)
      g[0].push_back(edge(i,0));
    for (int i=1;i<=n-1;++i)
      g[i].push_back(edge(i+1,0));
    for (int i=2;i<=n;++i)
      g[i].push_back(edge(i-1,-1));
    for (int i=1;i<=h;++i)
    {
        int a,b,c;
        scanf("%d%d%d",&a,&b,&c);
        g[a-1].push_back(edge(b,c));
    }
}

queue<int> q;
bool vis[maxn];

void spfa(int s)
{
    memset(d,-1,sizeof(d));
    vis[s]=1;
    q.push(s);
    d[0]=0;
    while (!q.empty())
    {
        int h=q.front();
        q.pop();
        vis[h]=0;
        for (int i=0;i<g[h].size();++i)
        {
            if (d[g[h][i].to]<d[h]+g[h][i].len)
            {
                d[g[h][i].to]=d[h]+g[h][i].len;
                if (!vis[g[h][i].to])
                {
                    vis[g[h][i].to]=1;
                    q.push(g[h][i].to);
                }
            }
        }
    }
    printf("%d",d[n]);
}

int main()
{
    init();
    spfa(0);
    return 0;
}