这是一道差分约束求最长路的图的问题：通过已知的条件可以容易列出以下不等式：2*a13*a23*a3 .......3*an-12*an以及xn>=1我们可以通过一些简单的移项将其变成：xi+xk>=num1 ;-xi-xk>=-num2 或者xi+xj+xk>=num1 ； -（xi+xj+xk）>=-num2可以定义Sj=x0+x1+....xj，那么就可以转换为：Sj-Si>=num的状态，其几何含义为从i点到j点的长度最小为num想要求得x的最小值，那么就需要求得num的最大值，由此转换为求图的最长路的问题，鉴于其存在负权路，那么使用SPFA最好。#includeus
