MAJORITY-3SAT (and Related Problems) in Polynomial Time

by   Shyan Akmal, et al.

Majority-SAT is the problem of determining whether an input n-variable formula in conjunctive normal form (CNF) has at least 2^n-1 satisfying assignments. Majority-SAT and related problems have been studied extensively in various AI communities interested in the complexity of probabilistic planning and inference. Although Majority-SAT has been known to be PP-complete for over 40 years, the complexity of a natural variant has remained open: Majority-kSAT, where the input CNF formula is restricted to have clause width at most k. We prove that for every k, Majority-kSAT is in P. In fact, for any positive integer k and rational ρ∈ (0,1) with bounded denominator, we give an algorithm that can determine whether a given k-CNF has at least ρ· 2^n satisfying assignments, in deterministic linear time (whereas the previous best-known algorithm ran in exponential time). Our algorithms have interesting positive implications for counting complexity and the complexity of inference, significantly reducing the known complexities of related problems such as E-MAJ-kSAT and MAJ-MAJ-kSAT. At the heart of our approach is an efficient method for solving threshold counting problems by extracting sunflowers found in the corresponding set system of a k-CNF. We also show that the tractability of Majority-kSAT is somewhat fragile. For the closely related GtMajority-SAT problem (where we ask whether a given formula has greater than 2^n-1 satisfying assignments) which is known to be PP-complete, we show that GtMajority-kSAT is in P for k≤ 3, but becomes NP-complete for k≥ 4. These results are counterintuitive, because the “natural” classifications of these problems would have been PP-completeness, and because there is a stark difference in the complexity of GtMajority-kSAT and Majority-kSAT for all k≥ 4.


page 1

page 2

page 3

page 4


Deterministic search for CNF satisfying assignments in almost polynomial time

We consider the fundamental derandomization problem of deterministically...

A Note On The Natural Range Of Unambiguous-SAT

We discuss the natural range of the Unambiguous-SAT problem with respect...

Solving #SAT and Bayesian Inference with Backtracking Search

Inference in Bayes Nets (BAYES) is an important problem with numerous ap...

The #ETH is False, #k-SAT is in Sub-Exponential Time

We orchestrate a randomized algorithm for #k-SAT which counts the exact ...

Distribution-Aware Sampling and Weighted Model Counting for SAT

Given a CNF formula and a weight for each assignment of values to variab...

Reconfiguration of Satisfying Assignments and Subset Sums: Easy to Find, Hard to Connect

We consider the computational complexity of reconfiguration problems, in...

Understanding the complexity of #SAT using knowledge compilation

Two main techniques have been used so far to solve the #P-hard problem #...

Please sign up or login with your details

Forgot password? Click here to reset