在CSP初赛基本信息(书接上回)这篇文章中，就已经对拓补排序做了一个概念性的解释(做诠释)，但是本蒟蒻昨天写一个拓补排序的模板写了很久，所以写这一篇来记录一下拓补排序

删除第k个节点node *p;p=head;i<=q;delete p;注意这里除了改前后节点的前驱后继之外，还要delete当前的节点确保真正的删除。

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