摘要：[复习] 图连通性 搜索生成树 定义（无向边方向是边第一次被遍历时所指的方向） 树边，搜索到一个新的点连的边，构成生成树。 返祖边，搜索到一个指向当前点到根的路径上的一个点的边。 前向边，指向生成树子树内一个点的边。 横叉边，其他边，指向兄弟子树。 有向图dfs生成树 以上四种边都有。 无向图dfs 阅读全文

摘要：2-SAT 学习笔记 本文同载于本人的洛谷文章。 参考资料 算法 2-SAT 用于解决什么样的问题？ 问题 给定 \(n\) 个大小为 2 的集合，每个集合要选其中一个元素，不能同时选，有 \(m\) 个条件 \((a,b)\) 代表元素 \(a,b\) 不能同时选，构造方案或判定无解。 例子 有 阅读全文