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