差分约束

本文介绍如何使用SPFA算法解决求解最短路径和最长路径的问题,通过将问题转化为图上的路径搜索,利用SPFA算法进行高效求解,并提供代码示例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1.求最小值的情况。

将关系都化成 a[ i ] - a[ j ] >= k

然后 j 向 i 建立一个价值k的有向边。

然后跑一个最长路。

例如:POJ-1201

#include<iostream>
#include<cstring>
#include<queue>
#include<vector>
#include<cassert>
#include<cstdio>
using namespace std;
#define Fopen freopen("_in.txt","r",stdin); freopen("_out.txt","w",stdout);
#define LL long long
#define ULL unsigned LL
#define fi first
#define se second
#define pb push_back
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define lch(x) tr[x].son[0]
#define rch(x) tr[x].son[1]
#define max3(a,b,c) max(a,max(b,c))
#define min3(a,b,c) min(a,min(b,c))
typedef pair<int,int> pll;
const int inf = 0x3f3f3f3f;
const int _inf = 0xc0c0c0c0;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const LL _INF = 0xc0c0c0c0c0c0c0c0;
const LL mod =  (int)1e9+7;
const int N = 5e4 + 10;
int head[N], to[N<<2], ct[N<<2], nt[N<<2];
int tot;
void add(int u, int v, int w){
    to[tot] = v;
    nt[tot] = head[u];
    ct[tot] = w;
    head[u] = tot++;
}
int d[N+100];
int vis[N+100];
queue<int> q;
void spfa(){
    vis[0] = 1;
    q.push(0);
    while(!q.empty()){
        int now = q.front();
        q.pop();
        vis[now] = 0;
        for(int i = head[now];~i; i = nt[i]){
            int v = to[i];
            if(d[v] < d[now] + ct[i]){
                d[v] = d[now] + ct[i];
                if(!vis[v]){
                    q.push(v);
                    vis[v] = 1;
                }
            }
        }
    }
}
int main(){
    memset(head, -1, sizeof head);
    int n, a, b, c;
    scanf("%d", &n);
    for(int i = 1; i <= n; ++i){
        scanf("%d%d%d", &a, &b, &c);
        add(a, b+1, c);
    }
    for(int i = 0; i + 1 < N; ++i){
        add(i, i+1, 0);
        add(i+1, i, -1);
    }
    memset(d, _inf, sizeof d);
    d[0] = 0;
    spfa();
    printf("%d\n", d[N-1]);
    return 0;
}
View Code

 

2.求最大值的情况

将关系都转换成a[i]-a[j]<=k

然后j向i建立一个价值k的有向边。

跑一个最短路。

例如:HDU-3440

#include<bits/stdc++.h>
using namespace std;
#define Fopen freopen("_in.txt","r",stdin); freopen("_out.txt","w",stdout);
#define LL long long
#define ULL unsigned LL
#define fi first
#define se second
#define pb push_back
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define lch(x) tr[x].son[0]
#define rch(x) tr[x].son[1]
#define max3(a,b,c) max(a,max(b,c))
#define min3(a,b,c) min(a,min(b,c))
typedef pair<int,int> pll;
const int inf = 0x3f3f3f3f;
const int _inf = 0xc0c0c0c0;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const LL _INF = 0xc0c0c0c0c0c0c0c0;
const LL mod =  (int)1e9+7;
const int N = 2e5 + 100;
int head[1010];
int to[N], ct[N], nt[N];
int tot;
void add(int u, int v, int w){
    to[tot] = v; ct[tot] = w;
    nt[tot] = head[u]; head[u] = tot++;
}
void init(){
    memset(head, -1, sizeof head);
    tot = 0;
}
pll p[N];
int d[1010], cnt[1010], vis[1010], n;
int spfa(int s, int t){
    memset(d, inf, sizeof d);
    memset(cnt, 0, sizeof cnt);
    memset(vis, 0, sizeof vis);
    d[s] = 0;
    queue<int> q;
    q.push(s);
    while(!q.empty()){
        int u = q.front();
        q.pop();
        vis[u] = 0;
//        cout << u << endl;
        for(int i = head[u]; ~i; i = nt[i]){
            int v = to[i];
            if(d[v] > d[u] + ct[i]){
                d[v] = d[u] + ct[i];
                if(!vis[v]){
                    vis[v] = 1;
                    ++cnt[v];
                    if(cnt[v] > n) return -1;
                    q.push(v);
                }
            }
        }
    }
    return d[t];
}
int main(){
    int d;
    int T;
    scanf("%d", &T);
    for(int _cas = 1; _cas <= T; ++_cas){
        init();
        /// x[i] - x[i-1] >= 1
        /// x[i-1] - x[i] <= -1
        scanf("%d%d", &n, &d);
        for(int i = 1; i < n; ++i)
            add(i+1, i, -1);
        for(int i = 1; i <= n; ++i){
            scanf("%d", &p[i].fi);
            p[i].se = i;
        }
        sort(p+1, p+1+n);
        for(int i = 1; i < n; ++i){
            int u = min(p[i].se, p[i+1].se);
            int v = u ^ p[i].se ^ p[i+1].se;
            /// x[v] - x[u] <= d
            add(u, v, d);
        }
        int s = min(p[1].se, p[n].se);
        int t = s ^ p[1].se ^ p[n].se;
        printf("Case %d: %d\n", _cas,spfa(s,t));
    }
    return 0;
}
View Code

 

关键就是利用了三角形不等式。 因此可以用spfa来算最短/长路来解决。

需要注意的就是 可能会有一个负环/正环来无限修改答案,记得记录次数。

转载于:https://www.cnblogs.com/MingSD/p/11132744.html

资源下载链接为: https://pan.quark.cn/s/22ca96b7bd39 在当今的软件开发领域,自动化构建与发布是提升开发效率和项目质量的关键环节。Jenkins Pipeline作为一种强大的自动化工具,能够有效助力Java项目的快速构建、测试及部署。本文将详细介绍如何利用Jenkins Pipeline实现Java项目的自动化构建与发布。 Jenkins Pipeline简介 Jenkins Pipeline是运行在Jenkins上的一套工作流框架,它将原本分散在单个或多个节点上独立运行的任务串联起来,实现复杂流程的编排与可视化。它是Jenkins 2.X的核心特性之一,推动了Jenkins从持续集成(CI)向持续交付(CD)及DevOps的转变。 创建Pipeline项目 要使用Jenkins Pipeline自动化构建发布Java项目,首先需要创建Pipeline项目。具体步骤如下: 登录Jenkins,点击“新建项”,选择“Pipeline”。 输入项目名称和描述,点击“确定”。 在Pipeline脚本中定义项目字典、发版脚本和预发布脚本。 编写Pipeline脚本 Pipeline脚本是Jenkins Pipeline的核心,用于定义自动化构建和发布的流程。以下是一个简单的Pipeline脚本示例: 在上述脚本中,定义了四个阶段:Checkout、Build、Push package和Deploy/Rollback。每个阶段都可以根据实际需求进行配置和调整。 通过Jenkins Pipeline自动化构建发布Java项目,可以显著提升开发效率和项目质量。借助Pipeline,我们能够轻松实现自动化构建、测试和部署,从而提高项目的整体质量和可靠性。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值