dzcixy

摘要： 差分约束通常用来求不等式组的可行解。 差分约束的步骤： 1.先将每个不等式$x_i\leq x_j + w$，转化成一条从$x_j$走到$x_i$的长度为$w$的一条边。 2.找一个超级源点，使得从该源点开始可以遍历所有边。 3.从源点开始求一遍单源最短路，如果存在负环，则原不等式无解，如果没有负环 阅读全文

摘要： 有向图强连通分量：在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(stron 阅读全文