差分约束系统是通过将不等式转化为有向图边来求解的算法。将不等式x_j - x_i ≤ c转化为从i到j、权为c的边，利用SPFA求最短路时，松弛操作dist[j] ≤ dist[i] + c与不等式约束x_j ≤ x_i + c完全对应。若图中存在负环，则说明约束条件矛盾无解。解题时需建立超级源点确保连通性，并通过节点入队次数判断负环。典型例题如洛谷P5960模板题和P1993农场问题，通过建边和