There is a newer version of the record available.

Published July 6, 2018 | Version v3
Preprint Open

QP versus NP

Creators

  • 1. Joysonic

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