码迷,mamicode.com
首页 > 其他好文 > 详细

浅谈差分约束问题

时间:2018-03-06 18:19:05      阅读:136      评论:0      收藏:0      [点我收藏+]

标签:一个   spfa算法   code   com   href   pos   过程   计算   情况   

差分约束

差分约束是解决这样一类问题

给出\(n\)个形如\(x[j]-x[i]<=k\)的式子,求\(x[n]-x[1]\)的最大/最小值

思路

其实这个问题是挺套路的

我们把给出的式子变一下

\(x[j]-x[i]<=k\)

\(x[j]<=x[i]+k\)

我们不难联想到图论中最短路的性质

假设\(d[x]\)表示\(1\)\(x\)的最短路

那么对于任意一条边\((u,v)\)

\(d[v]<=d[u]+k\)(k表示边权)

可能有些抽象,举个例子

技术分享图片

经过计算不难得到三个不等式

  1.(3)                 x3 - x0 <= 8
  2.(2) + (5)           x3 - x0 <= 9
  3.(1) + (4) + (5)     x3 - x0 <= 7

这样的话,我们在满足条件的情况下\(x[3]-x[0]\)最大为\(7\)

我们按上面的方法建出图

技术分享图片

不难发现图中的最短路就是我们想要的答案!

难道这是巧合么?

肯定不是。仔细观察不难发现,我们连边的过程其实就是在转换不等式,求最短路其实就是求最小的限制条件。这样求出来的最短路即为满足条件的最大值

总结

这玩意儿其实挺套路的

如果你找出了题目中的限制条件,直接建图就好

最大值—>把所有式子整理为\(x[j]-x[i]<=k\),从\(i\)\(j\)连一条边权为\(k\)的边,跑最

最小值—>把所有式子整理为\(x[j]-x[i]>=k\),从\(i\)\(j\)连一条边权为\(k\)的边,跑最

在求解的时,因为经常要判断负环,所以选用SPFA算法

当一个点的入队次数超过\(n\)时必定出现负环

例题

几道水题

POJ1201

POJ1275

HDU3440

还有两道\(n\)年以前做的,没写题解

洛谷P1993

洛谷P3275

浅谈差分约束问题

标签:一个   spfa算法   code   com   href   pos   过程   计算   情况   

原文地址:https://www.cnblogs.com/zwfymqz/p/8515897.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!