摘要：
这个题目，做之前不知道什么事差束约分，看完题目上床睡觉，想了半个小时，想到了要判断一个有向图有没有负环。第二天起来再想，觉得是判断有没有环（包括负环，正环，0环），但是不确定，要真的是这样的话，要权值来干什么，直接拓扑排序就好了，然后不确定，找了解题报告瞄一下，个个都是差束约分，然后没看其他内容，直接去学差束约分，看算法导论和网上的资料看了一个小时，懂了，就写，其实就是差束约分的模板题说说思路和题目：给你一个长度为n的序列，从下标1到n标号，然后给你m个连续的子序列，让你求和，和要大于或者小于给定的k，如果这m个不等式都能成立，就输出成功，只要有一个不成立就输出不成立。sample中第一个就是 阅读全文
摘要：
【转】关于差分约束（转载）个人认为比较好差分约束系统（本文假设读者已经有以下知识：最短路径的基本性质、Bellman-Ford算法。） 比如有这样一组不等式： X1 - X2 <= 0X1 - X5 <= -1X2 - X5 <= 1X3 - X1 <= 5X4 - X1 <= 4X4 - X3 <= -1X5 - X3 <= -3X5 - X4 <= -3 不等式组(1) 全都是两个未知数的差小于等于某个常数（大于等于也可以，因为左右乘以-1就可以化成小于等于）。这样的不等式组就称作差分约束系统。 这个不等式组要么无解，要么就有无数组解。因为如 阅读全文