62.卖菜2（差分约束最短路）

最新推荐文章于 2024-09-18 20:33:32 发布

一碗姜汤

最新推荐文章于 2024-09-18 20:33:32 发布

阅读量61

点赞数

分类专栏：代码刷题文章标签：算法 c++ 图论

本文链接：https://blog.csdn.net/weixin_55252589/article/details/130006984

版权

代码刷题专栏收录该内容

15 篇文章 0 订阅

订阅专栏

题目：

在这里插入图片描述

思路：转化成公式：

在这里插入图片描述

再转化成差分约束系统：

在这里插入图片描述
这里有一个很妙的想法就是不等式与图的等价转换：

不等式与图的等价转换（关键！）

B-A小于等于6其实就等价于A点到B点的距离小于等于6
在这里插入图片描述进一步我们再看，求C-A的最大值等价于求A到C的最短路

有上述的认知之后，我们就可以发现，求x1的最小值，等价于求s0-s1的最大值，等价于求1点到0点的最短路。

已知x1的基础上就可以求得x2的最小值，方法同上。

以此类推，我们要求的是所有点到0点的最短路。

但是我们只会做从一个点到所有点的最短路。解决方法就是：建一个反图，求0点到所有点的最短路即可。这是等价的。

代码演示：

#include <iostream>
#include <queue>
#include <cstring>
using namespace std;
#define MAX_N 1000

struct Edge {
    int to, next, c;
} g[MAX_N * 3 + 5];
int head[MAX_N + 5];
int arr[MAX_N + 5];
int dis[MAX_N + 5], vis[MAX_N + 5]; // vis 表示是否在队列中
int cnt = 0;
inline void add(int a, int b, int c) {
    g[++cnt] = {b, head[a], c};
    head[a] = cnt;
}

void spfa(int s) {
    memset(dis, 0x3f, sizeof(dis));
    memset(vis, 0, sizeof(vis));
    queue<int> q;
    vis[s] = 1, dis[s] = 0, q.push(s); 
    while (!q.empty()) {
        int ind = q.front();
        q.pop(), vis[ind] = 0;
        for (int i = head[ind]; i; i = g[i].next) {
            int to = g[i].to, c = g[i].c;
            if (dis[ind] + c < dis[to]) {
                dis[to] = dis[ind] + c;
                vis[to] || (q.push(to), vis[to] = 1);
            }   
        }
    }
    return ;
}

int main() {
    int n;
    cin >> n;
    for (int i = 1; i <= n; i++) cin >> arr[i];
    for (int i = 1; i <= n; i++) {
        int cnt = 1;
        if (i > 1) cnt++;
        if (i < n) cnt++;
        int ind1 = max(0, i - 2), ind2 = min(n, i + 1);
        // 建反图
        add(ind1, ind2, -cnt * arr[i]);
        add(ind2, ind1, cnt * arr[i] + cnt - 1);
        add(i - 1, i, -1);
    }
    spfa(0);
    for (int i = 1; i <= n; i++) {
        i == 1 || cout << " ";
        cout << dis[i - 1] - dis[i];
    }
    cout << endl;
    return 0;
}