差分约束
Icefox_zhx
这个作者很懒,什么都没留下…
展开
-
bzoj2330 [SCOI2011]糖果(差分约束+spfa)
差分约束系统,很神奇的东西,可以转化为最短(长)路问题。详见大神讲解http://www.cppblog.com/menjitianya/archive/2015/11/19/212292.html 很重要的一点思想:观察 x[i] - x[j] <= a[k], 将这个不等式稍稍变形,将x[j]移到不等式右边,则有x[i] <= x[j] + a[k],然后我们令a[k] = w(j, i),再原创 2017-10-03 16:13:52 · 252 阅读 · 0 评论 -
bzoj1731 [Usaco2005 dec]Layout 排队布局(差分约束+spfa)
这题我觉得应该先判有没有负环啊。。。如果1和n不连通,我们从1开始做spfa,如果n在一个负环中呢?我们就判断不到这个负环了啊。。我们会输出-2,可是我觉得应该是-1,根本不存在合法方案啊。。。迷。我先用dfs判负环的程序在bzoj上跑了2900+ms,可怕。。不判的话才20ms。。 不过话说dfs版spfa判负环也不会慢这么多啊。。待我研究下。原创 2017-10-03 17:27:37 · 343 阅读 · 0 评论 -
bzoj1436 小K的农场(差分约束+spfa判环)
差分约束+spfa判环原创 2017-10-04 20:16:43 · 301 阅读 · 0 评论 -
bzoj2788 [Poi2012]Festival(差分约束+floyd+tarjan缩点)
首先根据差分约束建图,Floyd跑最短路,判断是否无解(f[i][i]<0说明有负环,无解,根据此题的特殊性质,判正环负环都一样。有负环必有正环。) 然后Tarjan缩点,显然不同强连通分量之间互不影响(就算两个scc链接了,也一定是通过边权为0的边,我们可以一个给极小值,一个给极大值,显然不影响结果。) 一个强连通分量内的最多取值个数等于两点间路径的最大值。(比如最大值是2,说明此scc中最原创 2017-10-04 22:30:02 · 325 阅读 · 0 评论