HDU 1384 Intervals 差分约束

https://vjudge.net/problem/HDU-1384
题目大意：$n$个条件$(a,b,c)$，表示区间$[a,b]$内至少要选择$c$个点。问至少选多少个点可以满足这$n$个条件。

思路：差分约束，我们设$d[i]$表示$[0\dots i]$内至少要选多少个点，那么显然有$d[b]-d[a-1]>=c$，同时有两个隐含条件：$0<=d[i]-d[i-1]<=1$。那么用差分约束就行了，因为求的是最小值，所以要求最长路。注意对给定的区间同时做一个自增操作，防止下标$-1$后为一个负数。

#include<bits/stdc++.h>
#define INF 0x3f3f3f3f
#define eps 1e-8
#define pr pair<int,int>
using namespace std;
typedef long long ll;

const int maxn=5e4+5;
const int maxm=2e5+5;

struct Edge
{
    int to,nxt,dis;
}edge[maxm];

int n,tot;
int head[maxn],dis[maxn],vis[maxn];

inline void addedge(int u,int v,int dis)
{
    edge[++tot].to=v,edge[tot].nxt=head[u],edge[tot].dis=dis,head[u]=tot;
}

void spfa(int s,int t)
{
    for(int i=s;i<=t;i++)
        dis[i]=-INF;
    dis[s]=0,vis[s]=1;
    queue<int> q;
    q.push(s);
    int u,v;
    while(!q.empty())
    {
        u=q.front();
        q.pop();
        vis[u]=0;
        for(int i=head[u];i;i=edge[i].nxt)
        {
            v=edge[i].to;
            if(dis[v]<dis[u]+edge[i].dis)
            {
                dis[v]=dis[u]+edge[i].dis;
                if(!vis[v])
                    q.push(v),vis[v]=1;
            }
        }
    }
}

int main()
{
    while(~scanf("%d",&n))
    {
        memset(head,0,sizeof(head));
        tot=0;
        int u,v,d;
        int s=INF,t=0;
        for(int i=1;i<=n;i++)
        {
            scanf("%d%d%d",&u,&v,&d);
            ++u,++v;
            s=min(s,u);
            t=max(t,v);
            addedge(u-1,v,d);
        }
        for(int i=s;i<=t;i++)
            addedge(i,i-1,-1),addedge(i-1,i,0);
        spfa(s-1,t);
        printf("%d\n",dis[t]);
    }
    return 0;
}