首先明确一点，差分约束，全程建图符号一致（核心），要么全是小于等于号 要么全是大于等于号
包括我们过程中能得到的结论的符号也是建图的符号

下面给出终极结论：

一道题中的两个变量
以y为0距离点 如果走到了x
那么手上会有
x （题目中符号） y + dist[x];

下面以小于等于号为例，全是小于号
判断两个变量大小

x<=y+dist[x];
或者
y<=x+dist[y];
哪个dist为负 0距离点的变量大

求两变量之间最大最小距离

最大距离
1.先找到较小的哪个点（比如说x），2.以它为0距离点 走到另一个变量时（y） 当前dist即为答案，因为手上有了y<=x+dist; dist 必定为正

后面的各种情况，各位肯定也一定能举一反三就不写了