利用独立子公式：#k-SAT的快速近似方案
Exploiting Independent Subformulas: A Faster Approximation Scheme for #k-SAT
摘要：
我们提出了一个改进的Thurley最近的随机逼近方案#k-SAT的任务是计数的数量满足的真值分配的布尔函数Φ作为一个n-变量k-CNF。我们引入了一种新的方法来识别Φ的独立子结构，因此可以大大减少搜索空间的大小。我们的随机算法适用于任何k。对于#3-SAT，它的运行时间为O（ε^{-2}*1.51426^n），对于#4-SAT，它的运行时间为O（ε^{-2}*1.60816^n），误差界为ε。
英文摘要：
We present an improvement on Thurley's recent randomized approximation scheme for #k-SAT where the task is to count the number of satisfying truth assignments of a Boolean function Φ given as an n-variable k-CNF. We introduce a novel way to identify independent substructures of Φ and can therefore reduce the size of the search space considerably. Our randomized algorithm works for any k. For #3-SAT, it runs in time O(ε^{-2}*1.51426^n), for #4-SAT, it runs in time O(ε^{-2}*1.60816^n), with error bound ε.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
