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
|