差分约束系统：
1.算法用途：
解决形如这样一组不等式：
\[\left\{\begin{matrix}x_{1}-x_{2}\leq 0 \\ x_{1}-x_{5}\leq 1 \\ x_{2}-x_{5}\leq 1 \\ x_{3}-x_{1}\leq 5 \\ x_{4}-x_{1}\leq 4 \\ x_{4}-x_{3}\leq -1 \\ x_{5}-x_{3}\leq -3 \\ x_{5}-x_{4}\leq -3 \end{matrix}\right.\]
原文：https://www.cnblogs.com/zhouyifei/p/11317148.html