刚刚突然发现自己对于差分约束的建图不是很理解，所以现在马上写一篇免得搞忘了。
比如说a-b<=k1,b-c<=k2,a-c<=k3，问题是要求a-c的最大值，我们把前面两个加起来得到a-c<=k1+k2，我们就发现其实是要把k1+k2和k3取min，这就对应了一个三角形（不画图啦未来的我一定记得）然后求最短路
