怎么搞？
1. 如果要求最大值
想办法把每个不等式变为标准x-y<=k的形式,然后建立一条从y到x权值为k的边,变得时候注意x-y<k =>x-y<=k-1
将这些约束条件转化为差分约束，不妨设T[x] = S[1]+S[2]+....S[x]，那么上面式子就可以转化为：
1. T[si+ni] - T[si-1] > ki 2. T[si+ni] - T[si-1] < ki
又差分约束系统的求解只能针对>=或<=，无法求解>的系统，还好ki是整数,可以很容易将<转化为<=
1. T[si-1] - T[si+ni] <= -ki - 1 2. T[si+ni] - T[si-1] <= ki - 1
如果要求最小值
的话,变为x-y>=k的标准形式，然后建立一条从y到x的k边，求出最长路径即可,ralex;
2.如果权值为正，用dijk，spfa，bellman都可以，如果为负不能用dijk，并且需要判断是否有负环，有的话就不存在
1.怎么建图；（为什么这么建图）
2.为什么求的是最长路，为什么是最短路。
3.为什么可以这么做，别的方法还有的。
spfa去松弛的意思是什么？
1.找最长或者最短，或者
判断负环
2.也就是 例如：poj1364KING题（判断负环，表示满足）；
注：在SPFA开始时将所有结点都放进队列，这样表示一开始和所有点都相连了，初始化dis数组为全0,相当于超级源点的边权值；
/*********------BIG PROBLEM*******-------//////-----
差分约束的dis[i]代表什么；
距离；
什么距离.
所以说...
/*********------BIG PROBLEM*******-------//////-----
这里有个技巧就是使用spfa不想添加附加的节点Vs的话，可以在初始化把所有的节点都加到队列中去，其实就相当于源点入队，开始算法后Vs出队
更新所得的队列，因为没有边指向Vs，所以后面的更新不会涉及到Vs，即在后面的计算中都不会用到Vs。
/*******--------建图///初始化--------**************////////***---
【超级源点】
spfa的性质决定，因为智障的spfa会先从一个点去引开它所连接的点。。。所以炒鸡源点就是非常炒鸡！！非常牛逼，连接了n个点
由于P A B X 指“确定A到B的距离（边权）为X”
从P A B X得到的差分系统为
dist[A] - dist[B] >= X && dist[A] - dist[B] <= X
等价于
dist[B] <= dist[A] - X && dist[A] <= dist[B] + X
则if(dist[B] > dist[A]-X) 松弛：dist[B] = dist[A]-X
由于 V A B指“只知道A到B的距离（边权）至少为1”
从V A B得到的差分系统为
dist[A] >= dist[B] +1
等价于
dist[B] <= dist[A] -1
则if(dist[B] > dist[A] -1) 松弛：dist[B] = dist[A] -1