随笔分类 - { 图论 { 差分约束系统 } }
摘要:与ZOJ2770一个建模方式,前缀和当作点。 对于每个区间[a,b]有这么个条件,Sa-Sb-1>=c,然后我就那样连边WA了好几次。 后来偷看数据才想到这题还有两个隐藏的约束条件。 这题前缀和表示的是区间内点存在的个数,因此: Si>=Si-1 Si-Si-1<=1 所以,差分约束系统的构图一定要
阅读全文
摘要:区间和一定要联系到前缀和。 这题,把前缀和看作点,从s0到sn; 对于每一个营地i的容量capi,有这么个关系si-si-1<=capi; 对于每一个区间的评估i,j,k,有sj-si-1>=k,即si-1-sj<=k; 接下来就是连边了,对于v<=u+w由u向v连权w的边,超级源向n+1个点连权0
阅读全文