|
gptkbp:instanceOf
|
gptkb:theoretical_computer_science
|
|
gptkbp:characterizedBy
|
solvable in polynomial time by nondeterministic Turing machine
verifiable in polynomial time by deterministic Turing machine
|
|
gptkbp:contains
|
gptkb:NP-hard_problems
gptkb:decision_problems
NP-complete problems
P problems
|
|
gptkbp:definedIn
|
gptkb:theoretical_computer_science
|
|
gptkbp:example
|
gptkb:Hamiltonian_path_problem
gptkb:Boolean_satisfiability_problem
gptkb:Clique_problem
gptkb:Graph_coloring_problem
gptkb:Subset_sum_problem
gptkb:Vertex_cover_problem
|
|
gptkbp:formalDefinition
|
set of decision problems for which a given solution can be verified in polynomial time
|
|
gptkbp:hasOpenQuestion
|
Is P equal to NP?
|
|
gptkbp:hasSubgroup
|
gptkb:P_complexity_class
PSPACE complexity class
|
|
gptkbp:introduced
|
gptkb:Stephen_Cook
|
|
gptkbp:introducedIn
|
1971
|
|
gptkbp:openProblem
|
gptkb:P_vs_NP_problem
|
|
gptkbp:relatedTo
|
gptkb:NP-hard
gptkb:P_complexity_class
NP-complete
co-NP complexity class
|
|
gptkbp:standsFor
|
nondeterministic polynomial time
|
|
gptkbp:symbol
|
NP
|
|
gptkbp:bfsParent
|
gptkb:Fagin's_theorem
gptkb:MA_complexity_class
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
NP complexity class
|