Generic hardness of the Boolean satisfiability problem

It follows from the famous result of Cook about the NP-completeness of the Boolean satisfiability problem that there is no polynomial algorithm for this problem if . In this paper, we prove that the Boolean satisfiability problem remains computationally hard on polynomial strongly generic subsets of...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Groups, complexity, cryptology Jg. 9; H. 2; S. 151 - 154
1. Verfasser:	Rybalov, Alexander
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin De Gruyter 01.11.2017 Walter de Gruyter GmbH
Schlagworte:	68Q17 Boolean algebra Boolean satisfiability problem generic complexity Polynomials probabilistic algorithms Set theory
ISSN:	1867-1144, 1869-6104
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!