差分约束——洛谷 P1645 序列

最新推荐文章于 2025-08-24 11:15:04 发布

原创最新推荐文章于 2025-08-24 11:15:04 发布 · 1.3k 阅读

1 ·

本内容遵循CC 4.0 BY-SA版权协议

最短路专栏收录该内容

14 篇文章

订阅专栏

本文介绍了一道关于差分约束系统的经典题目，并详细解释了如何使用SPFA算法求解此类问题。通过构建图模型，连接特定权重的边来表示约束条件，最终通过最短路径算法找到解。

https://www.luogu.org/problem/show?pid=1645
基本上就是差分约束spfa的模版题；
我们搞一个a[]
如果序列里有i那么a[i]=1;
s[i]就是a[i]的前缀和；
那么
s[i]-s[i-1]>=0
s[i-1]-s[i]>=-1
对于读入的x,y,z；
s[y]-s[x-1]>=z
所以我们把i到i-1连-1的边
i-1到i连0的边
x-1到y连z的边
在跑一边spfa求0-max（y）的最长路就好了；
至于原因，大家可以模拟一下，很显然的一个构造
~~我不会证明~~

#include<bits/stdc++.h>
#define Ll unsigned long long
using namespace std;
const int N=100050;
struct cs{int to,nxt,v;}a[N*2];
int head[N],ll,d[N];
bool in[N];
int n,m,x,y,z;
void init(int x,int y,int z){
    a[++ll].to=y;
    a[ll].v=z;
    a[ll].nxt=head[x];
    head[x]=ll;
}
void spfa(int S,int E){
    queue<int>Q;
    memset(d,-63,sizeof d);
    d[S]=0;Q.push(S);
    while(!Q.empty()){
        int x=Q.front();Q.pop();in[x]=0;
        for(int k=head[x];k;k=a[k].nxt)
            if(d[a[k].to]<d[x]+a[k].v){
                d[a[k].to]=d[x]+a[k].v;
                if(!in[a[k].to])in[a[k].to]=1,Q.push(a[k].to);
            }
    }
    printf("%d",d[n]);
}
int main()
{
    scanf("%d",&m);
    while(m--){
        scanf("%d%d%d",&x,&y,&z);
        init(x-1,y,z);
        n=max(y,n);
    }
    for(int i=1;i<=n;i++){
        init(i-1,i,0);
        init(i,i-1,-1);
    }
    spfa(0,n);
}