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...

Celý popis

Podrobná bibliografia

Vydané v:	Groups, complexity, cryptology Ročník 9; číslo 2; s. 151 - 154
Hlavný autor:	Rybalov, Alexander
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin De Gruyter 01.11.2017 Walter de Gruyter GmbH
Predmet:	68Q17 Boolean algebra Boolean satisfiability problem generic complexity Polynomials probabilistic algorithms Set theory
ISSN:	1867-1144, 1869-6104
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!