Jerry

摘要： 一、SAT问题以及2-SAT问题的定义 在了解2-SAT的定义之前，我们需要给出一些基础定义。 布尔变量（Boolean variable）：只能取1（true）或0（false）的变量。 否定连接词\(\neg\)（negation）：布尔变量的否定。例如\(\neg 1 = 0\)，\(\neg 阅读全文

摘要： 强连通与强连通分量 强连通：若一张有向图的节点两两互相可达，则称这张图是强连通的。 强连通分量（Strongly Connected Components, SCC）：极大的强连通子图。 例如，图中的SCC：(1) 1,2,3,4,9 (2) 5,6,8 (3) 7 搜索树 对图深搜时，每一个节点只 阅读全文