关于差分约束系统
转换题目所给的关系式(参考cxr大佬
$A=B$，可拆为$A\ge B,B\ge A$，即为$A-B\ge 0,B-A\ge 0$ (X=1)
$A<B$，改写为$A\le B-1$，即为$B-A\ge 1$ (X=2)
$A\ge B$，即为$A-B\ge 0$ (X=3)
$A>B$，改写为$A-1\ge B$，即为$A-B\ge 1$ (X=4)
$A\le B$，即为$B\ge A$ (X=5)
根据转换后的关系式建图，用SPFA跑一遍最长路即可~
最后答案为$\sum_{i=1}^{n}dis[i]$
原文：https://www.cnblogs.com/qq8260573/p/10333137.html