最短路——差分约束系统

最新推荐文章于 2022-06-15 15:51:06 发布

CaptainHarryChen

最新推荐文章于 2022-06-15 15:51:06 发布

阅读量181

点赞数 1

分类专栏： OI知识总结图论

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/can919/article/details/81135626

版权

OI知识总结同时被 2 个专栏收录

37 篇文章 3 订阅

订阅专栏

17 篇文章 0 订阅

订阅专栏

问题

已知一系列不等式

⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ X i 1 - X j 1 \leq d 1 X i 2 - X j 3 \leq d 2 X i 3 - X j 3 \leq d 3 . . . X i k - X j k \leq d k

$\left \{ \begin{array}{c} X_{i_1}-X_{j_1} \leq d_1 \\ X_{i_2}-X_{j_3} \leq d_2 \\ X_{i_3}-X_{j_3} \leq d_3 \\ ... \\ X_{i_k}-X_{j_k} \leq d_k \end{array} \right.$
需要求解

Xn−X1 X n − X 1 $X_n-X_1$ 的最大值，即求最小D，使得

Xn−X1≤D X n − X 1 ≤ D $X_n-X_1 \leq D$

分析

移项

⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ X i 1 \leq d 1 + X j 1 X i 2 \leq d 2 + X j 3 X i 3 \leq d 3 + X j 3 . . . X i k \leq d k + X j k

$\left \{ \begin{array}{c} X_{i_1} \leq d_1+X_{j_1} \\ X_{i_2} \leq d_2+X_{j_3} \\ X_{i_3} \leq d_3+X_{j_3} \\ ... \\ X_{i_k} \leq d_k+X_{j_k} \end{array} \right.$

而最短路中
把X看作结点dis值， $d_k$ 看作边权，从 $i$ 到 $j$ 连接权值为 $d$ 的边，使得 $dis[i] \leq dis[j] +d$ ，正好满足X的关系

实现

当求 $X_n-X_1$ 最大值时，建立最短路模型，将所有不等式划为 $X_i \leq X_j + d_k$ 型式，从 $j$ 到 $i$ 连接权值为 $d_k$ 的边（可能为负）。
当求 $X_n-X_1$ 最小值时，建立最长路模型，将所有不等式划为 $X_i \geq X_j + d_k$ 型式，从 $j$ 到 $i$ 连接权值为 $d_k$ 的边。

无解情况：
1.有负权环（正权环），说明关系存在矛盾，无解
2.不存在路径，说明1与n没有关系，答案为无穷大

CaptainHarryChen

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
最短路——差分约束系统

问题已知一系列不等式 ⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪Xi1−Xj1≤d1Xi2−Xj3≤d2Xi3−Xj3≤d3...Xik−Xjk≤dk{Xi1−Xj1≤d1Xi2−Xj3≤d2Xi3−Xj3≤d3...Xik−Xjk≤dk\left \{ \begin{array}{c}X_{i_1}-X_{j_1} \leq d_1 \\ X_{i_2}-X_{j_3} \leq d_2 ...
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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