Download PDFOpen PDF in browser

On Feasibly Solving NP-Complete Problems

EasyChair Preprint 11063, version 2

Versions: 12history
5 pagesDate: October 23, 2023

Abstract

ONE--IN--THREE 3SAT consists in knowing whether a Boolean formula $\phi$ in $3CNF$ has a truth assignment such that each clause contains exactly one true literal or exactly two true literals. $\textit{ONE--IN--THREE 3SAT}$ remains $\textit{NP--complete}$ when all clauses are monotone. We create a polynomial time reduction which converts the monotone version into a bounded number of linear constraints on real numbers. Since the linear optimization on real numbers can be solved in polynomial time, then we can decide this $\textit{NP--complete}$ problem in polynomial time. Certainly, the problem of solving linear constraints on real numbers is equivalent to solve the particular case when there is a linear optimization without any objective to maximize or minimize. If any $\textit{NP--complete}$ can be solved in polynomial time, then we obtain that $P = NP$. Moreover, our polynomial reduction is feasible since it can be done in linear time.

Keyphrases: Boolean formula, completeness, complexity classes, polynomial time

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:11063,
  author    = {Frank Vega},
  title     = {On Feasibly Solving NP-Complete Problems},
  howpublished = {EasyChair Preprint 11063},
  year      = {EasyChair, 2023}}
Download PDFOpen PDF in browser