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

How hard is finding restricted assignment of 3-SAT satisfying $7/8$ of the clauses?

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

Problem

The PCP theorem implies (with other results) that there is no polynomial time algorithm for MAX 3SAT to find an assignment satisfying $7/8+ \epsilon$ clauses of a satisfiable 3SAT formula unless $P = NP$.

There is a trivial polynomial time algorithm that satisfies $7/8$ of the clauses. How hard is it to find an assignment that satsfies at least $7/8$ of the clauses but no more than $7/8 +\epsilon $ for some $\epsilon \gt 0$? Is this task still $NP$-hard?

Solution

The PCP theorem states that for every $\delta > 0$, it is NP-hard to decide whether a 3CNF is satisfiable or at most $(7/8+\delta)$-satisfiable. Take such a formula $\varphi$ and add to it lots of copies of $(a \lor b \lor c) \land \cdots \land (\lnot a \lor \lnot b \lor \lnot c)$, where $a,b,c$ are new variables (by $\cdots$ I mean eight clauses, exactly seven of which are always satisfied). Suppose these clauses take up $(1-\epsilon)$ of the new 3CNF. This replaces the original $1$ vs. $7/8 + \delta$ to $\epsilon + (1-\epsilon)7/8$ vs. $(7/8+\delta)\epsilon + (1-\epsilon)7/8$, that is $7/8 + \epsilon/8$ vs. $7/8 + \delta\epsilon$. That's not exactly what you wanted since $\delta \neq 0$, but it's pretty close.

Context

StackExchange Computer Science Q#12908, answer score: 2

Revisions (0)

No revisions yet.