HiveBrain v1.2.0
Get Started
← Back to all entries
patternMinor

Upper bounding randomized k-SAT solver

Submitted by: @import:stackexchange-cs··
0
Viewed 0 times
satboundingrandomizedsolverupper

Problem

Problem:

Consider a k-SAT solver that assigns values independently uniformly at random to all the variables. Given the formula has $m$ clauses provide an upper bound for the probability of a random assignment to be unsatisfiable.

The issue is that I have no clue from where to start. Both Markov, Chernoff, Chebyshev and McDiarmid's inequalities seem to be not applicable in this situation as the probability of a particular clause to be unsatisfiable depends on the probability of other clauses with overlapping variables to be unsatisfiable.

For every clause the probability of it to be unsatisfiable is
$${1 \over {2^k}}$$

There are $m$ clauses in total, so if there are all independent, the answer would be
$$P(\mathit{assignment~is~unsatisfiable}) = (2^{-k})^m$$

If somebody would help me a bit with at least some kind of hint I would be extremely grateful.

Solution

Hint: Use a union bound.

Note that for $m \geq 2^k$ you cannot provide any non-trivial bound, since there are formulas with $2^k$ clauses of width $k$ that are unsatisfiable. The same example shows that the bounded hinted above is tight (for all $m \leq 2^k$).

Context

StackExchange Computer Science Q#66936, answer score: 2

Revisions (0)

No revisions yet.