摘要：
昨天看了下差分约数系统的含义，其实就是如果有n个变量在m个形如aj-ai>=bk条件下，求解的此不等式的方法。 而这种不等式的解法其实就是转化为图论的最小路的算法求解的。我们将上面的不等式边形后得到aj>=ai+bk正好就可以看做是从ai到aj权值是bk的一条路径最短的边。这样一来，只要依照题目的条件写出一系列这样的不等式，也就是相当于按照题意增加了一些合法的边，也就完全转化为了最短路的算法。 再看这道题，题目说[ai, bi]区间内和点集Z至少有ci个共同元素，那也就是说如果我用Si表示区间[0,i]区间内至少有多少个元素的话，那么Sbi -Sai >= ci,这样我们就构 阅读全文
