摘要:
传送门 令前缀和为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树上 阅读全文