摘要：
传送门 令前缀和为s[i]，则⼀一个要求等价于 s[r] - s[l - 1] >= x。 题中还有别的要求，包括 s[i] - s[i - 1] <= 1 和 s[i] - s[i- 1] >= 0。 建一个超级原点s，把所有结点连到s（令s = n + 1） 差分约束系统规定的只是元素的相对关系 阅读全文
摘要：
差分约束系统是一种特殊的n元一次不等式组 它包含n个变量x1~xn以及m个约束条件 每个约束条件都是两个变量做差构成的 形如xi - xj <= ck (其中ck是常数） 可变形为xi <= xj + ck 这与单源最短路中的三角形不等式dis[ i ] <= dis[ j ] + w [ j ] 阅读全文
摘要：
一、基本概念 1、割点：无向连通图中，如果删除某点后，图变成不连通，则称改点为割点。 2、桥：无向连通图中，如果去掉某条边后，整张无向图会分成两部分（即整张图不连通），这样的一条边成为桥。 3、点双连通分量：无割点的极大连通子图 任意两点间都有⾄至少两条不不经过相同边的路径 4、边双连通分量：无割边 阅读全文
摘要：
（我到底是咕了多少知识点啊） 在有向图中tarjan主要用来求强连通分量并缩点 一、定义 强连通：如果两个顶点可以相互通达，则称两个顶点 强连通 强连通分量：如果有向图G的每两个顶点都 强连通，称G是一个强连通图。非 强连通图有向图的极大强连通子图，称为强连通分量 树枝边：原图上的边中，在DFS树上 阅读全文