你有一堆类似于 \(x_i - x_j \leq k\) 的限制。
你把所有限制转化成 \(x_i + k \leq x_j\) 的形式,然后连 \((i,j,k)\) 的边就行了。
实战中为了保证连通性,可以建 \((0,i,0)\) 的边。
这样跑出来的最短路就是一组合法解。
一组合法解加减常数,仍然是一组合法解。
可行性用负环判。