问题模型：
有n个变量：，有m个约束条件
令差分数组，可以知道如果x1+x2<=q，那么与j和i-1有关联
由画图可知，如果有在i-1至j建立的有向图中跑最短路，那么dis[n]即为最小的约束变量
另外，给出m个约束条件，如果图中有环，则为非法
，有m个约束条件
，可以知道如果x1+x2<=q，那么与j和i-1有关联，有m个约束条件，可以知道如果x1+x2<=q，那么与j和i-1有关联