差分约束
先言：
我也不知道怎么回事，就打完这四个题，就看完模板之后，就发现，最多也就是一个略微的变形，然后我也很迷瞪，然后就过了。所以这一篇看着玩玩吧，附上几个好博客，要是学习的话，跟随其他这一项，到时候我复习的时候，知道这个。会就好了
算法 ：
差分约束系统是一种特殊的N元一次不等式组，它包含N个变量,以不等式为例，说明。
然后根据上述的式子，我们寻找\(x_1-x_2\)的最大值是多少，将式子\(3 , 4\)加起来，也就是\(x_1 - x_2≤8\),那么最大值也就是\(8\)，但是第一个式子很显然\(x_1 - x_2≤10\)，10不是更大一些？取10难道不行吗， 那自然是不行的， 就像是你在解决不等式的时候，你用了交集是一样的道理，相对比于10来说，8更精确一些。同样的，也就是8作为合适的最大值，同时，我们发现这一个式子一个三角形不等式。
解的存在性：
1.存在负环，如果路径中出现负环，就表示最短路可以无限小，即不存在最短路
2.方程组转化，如果给定了\(x_1 - x_2 ≥10\) ， 学过算数的人应该知道，都乘以一个\(-1\)就变成上面的那种形式了。
3.终点无法到达， 也就是\(x_n\)不受\(x_1\)的限制，那么也就是说，\(x_n\)和\(x_1\)的关系可以是无穷大，也可以是无穷小，随你的心意了
应用
首先弄清楚谁限制了谁，并且他们的极值是多少，跑最短路还是最长路，个人喜欢建立超级源点。
例题 ：
1.#10087. 「一本通 3.4 例 1」Intervals
Code
题解
2.#10088. 「一本通 3.4 例 2」出纳员问题
Code
题解
3.#2436. 「SCOI2011」糖果
Code
题解
4.#10090. 「一本通 3.4 练习 2」布局 Layout
Code
题解
其他
这些是学习的博客
“学姐”的
比较详细的
非常广泛的，麻烦搜索吧
