P vs NP

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:award gptkb:Clay_Mathematics_Institute_Millennium_Prize
1 million USD
gptkbp:concerns relationship between P and NP complexity classes
gptkbp:field theoretical computer science
gptkbp:formedBy gptkb:Stephen_Cook
1971
gptkbp:hasConjecture P = NP
P ≠ NP
gptkbp:hasNoKnownProof as of 2024
https://www.w3.org/2000/01/rdf-schema#label P vs NP
gptkbp:implies If P ≠ NP, some problems are inherently hard to solve
If P = NP, many cryptographic systems would be insecure
gptkbp:importantFor Hilbert problem
gptkbp:numberOfIssues Does P = NP?
gptkbp:publishedIn gptkb:Proceedings_of_the_Third_Annual_ACM_Symposium_on_Theory_of_Computing
gptkbp:recognizedBy gptkb:Clay_Mathematics_Institute
gptkbp:relatedTo gptkb:Karp's_21_NP-complete_problems
gptkb:Cook-Levin_theorem
gptkb:SAT_problem
gptkb:Gödel's_letter_to_von_Neumann
cryptography
NP-complete problems
algorithm design
computational intractability
gptkbp:status unsolved
gptkbp:type Is P equal to NP?
Is every problem whose solution can be quickly verified also quickly solvable?
gptkbp:bfsParent gptkb:NP-completeness
gptkbp:bfsLayer 5