差分约束系统【区间】

区间

链接：链接

输入n个区间和n个数字c
区间[a,b]间至少有c个数字
s[i]表示从0到i之间共有多少个整数
约束条件
s[b]-s[a] >= c
0 <= s[i+1]-s[i] <= 1
要求同时满足这些区间要求的最少的元素个数
求下界，用最长路

代码

#include<iostream>
#include<algorithm>
#include<string.h>
#include<queue>
using namespace std;
const int N=1e6;
int h[N],ne[N],w[N],e[N],idx;
int dis[N],st[N];
int n,k;
void add(int a,int b,int c)
{
    e[idx]=b;
    w[idx]=c;
    ne[idx]=h[a];
    h[a]=idx++;
}
void spfa()
{
    memset(dis,-0x3f,sizeof dis);
    memset(st,0,sizeof st);
    dis[0]=0;
    queue<int>q;
    q.push(0);
    st[0]=1;
    while(q.size())
    {
        int t=q.front();
        q.pop();
        st[t]=0;
        for(int i=h[t];~i;i=ne[i])
        {
            int j=e[i];
            if(dis[j]<dis[t]+w[i])
            {
                dis[j]=dis[t]+w[i];
                if(st[j]==0) {
                    q.push(j);
                    st[j]=1;
                }
            }
        }
    }
}
int main()
{
    cin>>n;
    memset(h,-1,sizeof h);
    for(int i=1;i<=50011;i++) add(i-1,i,0);
    for(int i=1;i<=50011;i++) add(i,i-1,-1);
    while(n--)
    {
        int a,b,c;
        cin>>a>>b>>c;
        a++,b++;
        add(a-1,b,c);
    }
    spfa();
    cout<<dis[50001]<<endl;
    return 0;
}