图论-差分约束系统
tzb592825420
这个作者很懒,什么都没留下…
展开
-
差分约束系统
简单地说,差分约束系统就是有一组形如xi-xj=两边同乘-1就转化为了a-ba,权值为w,由最短路的性质,d[a]其实,对于图1来说,它代表的一组解其实是{0, -5, -3, 0, -1, -4},也就是说X0的值也在这组解当中。但是X0的值是无可争议的,既然是以它作为源点求的最短路径,那么源点到它的最短路径长度当然是0了。因此,实际上我们解的这个差分约束系统无形中又存在一个条件:x0=原创 2014-12-09 14:11:10 · 469 阅读 · 0 评论 -
poj1201 Intervals
点击打开链接题意:n个区间,每个区间对应一个值c,求一个最小的集合,与每一个区间共享>=c个数。数据分析:想不到是差分约束啊,用s[i]表示1-i中选择的数的个数,把s[i]看成节点,对于每一个区间[a,b],s[b]-s[a-1]>=c,这样就得到一系列不等式,还需把所有节点连起来,有0原创 2014-12-18 11:19:08 · 410 阅读 · 0 评论 -
poj3159 Candies
题意:n个学生分糖果,有一组限制,如a认为b得到的糖果不多于自己k个,即b-a分析:差分约束系统,求最大相差,可设d[1]=0,求最短路径,d[n]即为答案。(可参考另一篇博客《差分约束系统》)。Dij加heap就可以过了,据说队列spfa会超时,用spfa+栈可过。#include#include#include#include#include#include#inclu原创 2014-12-09 14:34:32 · 429 阅读 · 0 评论