Published July 6, 2018
| Version v4
Preprint
Open
QP versus NP
Description
Given an instance of $\textit{XOR 2SAT}$ and a positive integer $2^{K}$, the problem exponential exclusive-or 2-satisfiability consists in deciding whether this Boolean formula has a truth assignment with at leat $K$ satisfiable clauses. We prove exponential exclusive-or 2-satisfiability is in $QP$ and $\textit{NP-complete}$. In this way, we show $QP \subseteq NP$.
Files
manuscript.pdf
Files
(274.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:0761c791ca81d1d8c74afee2e7ea5eaa
|
274.6 kB | Preview Download |