摘要：
圆方树是什么 对于一个无向图的每一个点双连通分量，都新建一个点，让这个点给点双连通分量的每一个点都连一个边。不考虑原来的边的话，此时图变成了一棵……不一定是树的东西，。我们令原来的点为圆点，新增的点为方点。这就是一棵圆方树。 性质 由上，可以发现圆方树的性质有： 树上任意一个边的两个点都不是同一种点 阅读全文
摘要：
SAT问题的定义 SAT是Satisfiability（可满足性）的缩写，而k-SAT问题就是说你有$n$个未知的bool变量$a_i$，有$m$个对这些变量的限制，每个限制有$k$个元素，设每个元素为$x$，要求 $x$或$\neg x$ 的 \(\lor\)（或）或者$\land$（和）的值（如 阅读全文