1509 Intervals

1509 Intervals

很明显这是一个差分约束的题目
求满足多个不等式的条件的东西，可以把不等式转换成图论中最短路问题然后进行松弛
这是一个很标准的差分约束系统问题
要求的不等式条件是：s[b[i]]-s[a[i]-1]≥c[i]，其中s数组表示当前位置为止选择的个数
然后转换一下
s[b[i]] ≥ s[a[i]-1]+c[i]
s[i] ≥ s[i-1]+0
s[i-1] ≥ s[i]+(-1)

#include<iostream>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<stack>
#include<cstdio>
#include<queue>
#include<map>
#include<vector>
#include<set>
using namespace std;
const int maxn=5e4+10;
const int INF=0x3fffffff;
typedef long long LL;
//差分约束系统标准题
int head[maxn],dis[maxn],vis[maxn];
struct node
{
    int to,dis,next;
}ed[maxn*2];
int cnt,n;
void add(int x,int y,int z)//邻接表建图
{
    ed[++cnt].dis=z;
    ed[cnt].to=y;
    ed[cnt].next=head[x];
    head[x]=cnt;
}
queue<int> q;
void spfa(int st)
{
    for(int i=1;i<=n;i++) dis[i]=-INF;
    //因为是求最长路
    dis[st]=0;
    q.push(st);
    vis[st]=1;
    while(!q.empty())
    {
        int t=q.front();
        q.pop();
        vis[t]=0;
        for(int i=head[t];i;i=ed[i].next)
        {
            int op=ed[i].to;
            if(dis[op]<dis[t]+ed[i].dis)//建立最长路
            {  
                dis[op]=dis[t]+ed[i].dis;
                if(!vis[op])
                {
                    vis[op]=1;
                    q.push(op);
                }
            }
        }
    }
}
int main(){
    scanf("%d",&n);
    int x,y,z;
    int st=INF,ed=-INF;
    for(int i=1;i<=n;i++)
    {
        scanf("%d %d %d",&x,&y,&z);
        add(x-1,y,z);  //建边
        st=min(st,x-1);  //记得减一
        ed=max(ed,y);
    }
    for(int i=st;i<=ed;i++)
    {
        add(i-1,i,0);//差分建边，这个建边是根据不等式进行建边
        add(i,i-1,-1);
    }
    spfa(st);
    printf("%d\n",dis[ed]);
return 0;
}