25 research outputs found
Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT
We present the current fastest deterministic algorithm for k-SAT, improving the upper bound (2-2/k)^{n + o(n)} due to Moser and Scheder in STOC 2011. The algorithm combines a branching algorithm with the derandomized local search, whose analysis relies on a special sequence of clauses called chain, and a generalization of covering code based on linear programming.
We also provide a more intelligent branching algorithm for 3-SAT to establish the upper bound 1.32793^n, improved from 1.3303^n
An approximation algorithm for #k-SAT
"Vegeu el resum a l'inici del document del fitxer adjunt"
An Approximation Algorithm for #k-SAT
We present a simple randomized algorithm that approximates the number of
satisfying assignments of Boolean formulas in conjunctive normal form. To the
best of our knowledge this is the first algorithm which approximates #k-SAT for
any k >= 3 within a running time that is not only non-trivial, but also
significantly better than that of the currently fastest exact algorithms for
the problem. More precisely, our algorithm is a randomized approximation scheme
whose running time depends polynomially on the error tolerance and is mildly
exponential in the number n of variables of the input formula. For example,
even stipulating sub-exponentially small error tolerance, the number of
solutions to 3-CNF input formulas can be approximated in time O(1.5366^n). For
4-CNF input the bound increases to O(1.6155^n).
We further show how to obtain upper and lower bounds on the number of
solutions to a CNF formula in a controllable way. Relaxing the requirements on
the quality of the approximation, on k-CNF input we obtain significantly
reduced running times in comparison to the above bounds
A Randomized Algorithm for 3-SAT
In this work we propose and analyze a simple randomized algorithm to find a
satisfiable assignment for a Boolean formula in conjunctive normal form (CNF)
having at most 3 literals in every clause. Given a k-CNF formula phi on n
variables, and alpha in{0,1}^n that satisfies phi, a clause of phi is critical
if exactly one literal of that clause is satisfied under assignment alpha.
Paturi et. al. (Chicago Journal of Theoretical Computer Science 1999) proposed
a simple randomized algorithm (PPZ) for k-SAT for which success probability
increases with the number of critical clauses (with respect to a fixed
satisfiable solution of the input formula). Here, we first describe another
simple randomized algorithm DEL which performs better if the number of critical
clauses are less (with respect to a fixed satisfiable solution of the input
formula). Subsequently, we combine these two simple algorithms such that the
success probability of the combined algorithm is maximum of the success
probabilities of PPZ and DEL on every input instance. We show that when the
average number of clauses per variable that appear as unique true literal in
one or more critical clauses in phi is between 1 and 1.9317, combined algorithm
performs better than the PPZ algorithm
ワセキケイ ロンリシキ ノ ジュウソク カノウセイ モンダイ ニ タイスル アルゴリズム ノ カイリョウ
京都大学0048新制・課程博士博士(情報学)甲第12459号情博第213号新制||情||46(附属図書館)UT51-2006-J450京都大学大学院情報学研究科通信情報システム専攻(主査)教授 岩間 一雄, 教授 湯淺 太一, 教授 小野寺 秀俊学位規則第4条第1項該当Doctor of InformaticsKyoto UniversityDFA