On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT
Guangyan Zhou, Rui Kang · International Journal of Foundations of Computer Science · 2019
Super solution is a notion introduced to produce robust and stable solutions of combinatorial optimization and decision problems. We consider the [Formula: see text]-super solutions of random instances of [Formula: see text]-SAT, where a clause is satisfied if and only if there are at least two satisfied literals in this clause. By using an enhanced weighting scheme, we obtain better lower bounds that, if a random [Formula: see text]-CNF formula [Formula: see text] is [Formula: see text]-unsatisfiable with probability tending to 1 as [Formula: see text], then [Formula: see text] for [Formula: see text], respectively.