摘要：
SCC 学习笔记 好听点的话来说，就是强连通分量。 一个有向图，里面任意两个节点之间可以相互到达，我们把它称为一个强连通分量。 Kosaraju 首先，对于一个强连通的图，显然，他的反图也是一个强连通图。（因为原先 \(A\) 可以到 \(B\)，\(B\) 可以到 \(A\)，反过来是一样的） 做 阅读全文
摘要：
MCE 学习笔记 最小表示法。 你说的对，月考考完了，但是感觉基本炸了。/ll/ll，相对失败。 艹，写了我一个晚上。 \(\frac{3}{20}\)，还差的远呢。 闲话：MCE 是 a3 叫的，不过感觉挺好听。 这个算法出题的话可能就比较板了，所以不是很热门？ 不废话了。 引入定义： 循环同构， 阅读全文
摘要：
2-SAT 学习笔记 P4782 【模板】2-SAT 2-SAT 问题模型：构造 bool 变量 \(x_1,x_2...x_n\)，使得满足一些限制一对 \(x_1\) 和 \(x_2\) 取值的条件合法。 很显然根据 Floyd 传递闭包可以做到 \(O(n^3+m)\)，但不太行。 有 \(O 阅读全文
