A threshold for unsatisfiability
Journal of Computer and System Sciences
On the satisfiability and maximum satisfiability of random 3-CNF formulas
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
SIAM Journal on Computing
Random Structures & Algorithms
Random k-Sat: A Tight Threshold For Moderately Growing k
Combinatorica
Avoidance of a giant component in half the edge set of a random graph
Random Structures & Algorithms
A phase transition for avoiding a giant component
Random Structures & Algorithms
Combinatorics, Probability and Computing
Random Structures & Algorithms
RANDOM 2-SAT Does Not Depend on a Giant
SIAM Journal on Discrete Mathematics
Combinatorica
Mick gets some (the odds are on his side) (satisfiability)
SFCS '92 Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
Avoiding small subgraphs in Achlioptas processes
Random Structures & Algorithms - Proceedings of the Thirteenth International Conference “Random Structures and Algorithms” held May 28–June 1, 2007, Tel Aviv, Israel
Hamiltonicity thresholds in Achlioptas processes
Random Structures & Algorithms
Hi-index | 0.01 |
Let (C1,C1′), (C2,C2′),..., (Cm,Cm′) be a sequence of ordered pairs of 2CNF clauses chosen uniformly at random (with replacement) from the set of all 4(n/2 clauses on n variables. Choosing exactly one clause from each pair defines a probability distribution over 2CNF formulas. The choice at each step must be made on-line, without backtracking, but may depend on the clauses chosen previously.We show that there exists an online choice algorithm in the above process which results whp in a satisfiable 2CNF formula as long as m/n ≤ (1000/999)1/4. This contrasts with the well-known fact that a random m-clause formula constructed without the choice of two clauses at each step is unsatisfiable whp whenever m/n 1. Thus the choice algorithm is able to delay satisfiability of a random 2CNF formula beyond the classical satisfiability threshold. Choice processes of this kind in random structures are known as "Achlioptas processes." This paper joins a series of previous results studying Achlioptas processes in different settings, such as delaying the appearance of a giant component or a Hamilton cycle in a random graph. In addition to the on-line setting above, we also consider an off-line version in which all m clause-pairs are presented in advance, and the algorithm chooses one clause from each pair with knowledge of all pairs. For the off-line setting, we show that the two-choice satisfiability threshold for k-SAT for any fixed k coincides with the standard satisfiability threshold for random 2k-SAT.