NP complexity class

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf 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
decision problems
NP-complete problems
P problems
gptkbp:definedIn theoretical computer science
gptkbp:example gptkb:Hamiltonian_path_problem
gptkb:Clique_problem
gptkb:Graph_coloring_problem
gptkb:Subset_sum_problem
gptkb:Vertex_cover_problem
Boolean satisfiability 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
https://www.w3.org/2000/01/rdf-schema#label NP 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:P_vs_NP_Problem
gptkbp:bfsLayer 6