P vs NP

Frank Vega 1, *
* Auteur correspondant
Abstract : $UNIQUE \ SAT$ is the problem of deciding whether a given Boolean formula has exactly one satisfying truth assignment. The $UNIQUE \ SAT$ is $coNP-hard$. We prove the $UNIQUE \ SAT$ is in $NP$, and therefore, $NP = coNP$. Furthermore, we prove if $NP = coNP$, then some problem in $coNPC$ is in $P$, and thus, $P = NP$. In this way, the $P$ versus $NP$ problem is solved with a positive answer.
Type de document :
Pré-publication, Document de travail
2014


https://hal.archives-ouvertes.fr/hal-00984866
Contributeur : Frank Vega <>
Soumis le : lundi 18 août 2014 - 18:21:13
Dernière modification le : lundi 18 août 2014 - 21:43:18

Fichier

p-vs-np.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00984866, version 5

Citation

Frank Vega. P vs NP. 2014. <hal-00984866v5>

Exporter

Partager

Métriques

Consultations de
la notice

745

Téléchargements du document

290