進行建圖：

首先根據題目的要求進行不等式組的標準化。

(1)、如果要求取最小值，那麼求出最長路，那麼將不等式全部化成xi – xj >= k的形式，這樣建立j->i的邊，權值為k的邊，如果不等式組中有xi – xj > k，因為一般題目都是對整形變數的約束，化為xi – xj >= k+1即可，如果xi – xj = k呢，那麼可以變為如下兩個：xi – xj >= k, xi – xj <= k,進一步變為xj – xi >= -k，建立兩條邊即可。

(2)、如果求取的是最大值，那麼求取最短路，將不等式全部化成xi – xj <= k的形式, 這樣建立j->i的邊，權值為k的邊，如果像上面的兩種情況，那麼同樣地標準化就行了。

(3)、如果要判斷差分約束系統是否存在解，一般都是判斷環，選擇求最短路或者最長路求解都行，只是不等式標準化時候不同，判環地話，用spfa即可，n個點中如果同一個點入隊超過n次，那麼即存在環。

值得注意的一點是：建立的圖可能不聯通，我們只需要加入一個超級源點，比如說求取最長路時圖不聯通的話，我們只需要加入一個點S，對其他的每個點建立一條權值為0的邊圖就聯通了，然後從S點開始進行spfa判環。最短路類似。