Published July 6, 2018
| Version v3
Preprint
Open
QP versus NP
Description
Given an instance of $\textit{XOR 2SAT}$ with $m$ clauses and a positive integer $K$ given in unary, the problem majority exclusive-or 2-satisfiability consists in deciding whether this Boolean formula has a truth assignment with at leat $K$ satisfiable clauses and $K \geq \frac{2}{3} \times m$. Majority exclusive-or 2-satisfiability is in $QP$ and $NP-complete$. Thus, $QP \subseteq NP$.
Files
manuscript.pdf
Files
(270.1 kB)
Name | Size | Download all |
---|---|---|
md5:113275d289457122ce7afd8c9391bfc5
|
270.1 kB | Preview Download |