摘要：[笔记]差分约束系统 算法用途 ​ 当题面给出许多形如$x_i - x_j ≤ c_k(c为常数)$的不等式时，并让你求出一组满足条件的解时，就可以运用差分约束系统. 算法描述 ​ 首先，我们对不等式进行变形，变成$x_i ≤ x_j + c_k$的形式，这时我们可以发现，这和求最短路时的式子(\( 阅读全文

摘要：[笔记]tarjan+缩点 算法用途: ​ tarjan可以求强连通分量，缩点则是将一个强连通分量缩成一个点 tarjan 概念 ​ 1.有向图的强连通分量：再有向图$G$中，如果两个顶点$V_i,V_j$间有一条从$V_i$到$V_j$的有向路径同时还有一条从$V_j$到$V_i$的有向路径，则称 阅读全文