643 research outputs found
Random k-SAT and the Power of Two Choices
We study an Achlioptas-process version of the random k-SAT process: a bounded
number of k-clauses are drawn uniformly at random at each step, and exactly one
added to the growing formula according to a particular rule. We prove the
existence of a rule that shifts the satisfiability threshold. This extends a
well-studied area of probabilistic combinatorics (Achlioptas processes) to
random CSP's. In particular, while a rule to delay the 2-SAT threshold was
known previously, this is the first proof of a rule to shift the threshold of
k-SAT for k >= 3.
We then propose a gap decision problem based upon this semi-random model. The
aim of the problem is to investigate the hardness of the random k-SAT decision
problem, as opposed to the problem of finding an assignment or certificate of
unsatisfiability. Finally, we discuss connections to the study of Achlioptas
random graph processes.Comment: 13 page
A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas
We compute the probability of satisfiability of a class of random Horn-SAT
formulae, motivated by a connection with the nonemptiness problem of finite
tree automata. In particular, when the maximum clause length is 3, this model
displays a curve in its parameter space along which the probability of
satisfiability is discontinuous, ending in a second-order phase transition
where it becomes continuous. This is the first case in which a phase transition
of this type has been rigorously established for a random constraint
satisfaction problem
The Scaling Window of the 2-SAT Transition
We consider the random 2-satisfiability problem, in which each instance is a
formula that is the conjunction of m clauses of the form (x or y), chosen
uniformly at random from among all 2-clauses on n Boolean variables and their
negations. As m and n tend to infinity in the ratio m/n --> alpha, the problem
is known to have a phase transition at alpha_c = 1, below which the probability
that the formula is satisfiable tends to one and above which it tends to zero.
We determine the finite-size scaling about this transition, namely the scaling
of the maximal window W(n,delta) = (alpha_-(n,delta),alpha_+(n,delta)) such
that the probability of satisfiability is greater than 1-delta for alpha <
alpha_- and is less than delta for alpha > alpha_+. We show that
W(n,delta)=(1-Theta(n^{-1/3}),1+Theta(n^{-1/3})), where the constants implicit
in Theta depend on delta. We also determine the rates at which the probability
of satisfiability approaches one and zero at the boundaries of the window.
Namely, for m=(1+epsilon)n, where epsilon may depend on n as long as |epsilon|
is sufficiently small and |epsilon|*n^(1/3) is sufficiently large, we show that
the probability of satisfiability decays like exp(-Theta(n*epsilon^3)) above
the window, and goes to one like 1-Theta(1/(n*|epsilon|^3)) below the window.
We prove these results by defining an order parameter for the transition and
establishing its scaling behavior in n both inside and outside the window.
Using this order parameter, we prove that the 2-SAT phase transition is
continuous with an order parameter critical exponent of 1. We also determine
the values of two other critical exponents, showing that the exponents of 2-SAT
are identical to those of the random graph.Comment: 57 pages. This version updates some reference
On the Satisfiability Threshold and Clustering of Solutions of Random 3-SAT Formulas
We study the structure of satisfying assignments of a random 3-SAT formula.
In particular, we show that a random formula of density 4.453 or higher almost
surely has no non-trivial "core" assignments. Core assignments are certain
partial assignments that can be extended to satisfying assignments, and have
been studied recently in connection with the Survey Propagation heuristic for
random SAT. Their existence implies the presence of clusters of solutions, and
they have been shown to exist with high probability below the satisfiability
threshold for k-SAT with k>8, by Achlioptas and Ricci-Tersenghi, STOC 2006. Our
result implies that either this does not hold for 3-SAT or the threshold
density for satisfiability in 3-SAT lies below 4.453.
The main technical tool that we use is a novel simple application of the
first moment method
- …