神仙思路，如果你想到那你就做出來了，想不到就完全做不動。
1. 差分約束系統
這個東西應該是耳熟能詳的了。
我們知道最短路里有這個不等式：\(d_y\leqslant d_x+w_{x,y}\)
那麼有 \(d_y-d_x\leqslant w_{x,y}\)。然後就能用來做題了。
一般有下面幾種變形：
- \(x_i-x_j\leqslant c_k\)：直接連邊 \(j\xrightarrow{c_k}i\)。
- \(x_i-x_j\geqslant c_k\)：即 \(x_j-x_i\leqslant -c_k\)，連邊 \(i\xrightarrow{-c_k}j\)。
- \(x_i-x_j=c_k\)：前面兩種情況合起來。
- \(\dfrac{x_i}{x_j}\gtreqless c_k\)：取對數就成爲了上面的三種情況。
2. 同餘最短路
相對於差分約束系統的無腦建圖，同餘最短路就比較考察思維能力了。
直接看題，具體題目具體分析。