NP-hard

GPTKB entity

Statements (31)
Predicate Object
gptkbp:instanceOf computational complexity class
gptkbp:characterizedBy at least as hard as the hardest problems in NP
gptkbp:contrastsWith gptkb:NP-easy
P
NP-complete
gptkbp:definedIn theoretical computer science
gptkbp:example gptkb:Halting_problem
gptkb:Boolean_satisfiability_problem_(optimization_version)
gptkb:Subset_sum_problem_(optimization_version)
gptkb:Traveling_salesman_problem_(optimization_version)
gptkbp:hasProperty all NP-complete problems are NP-hard
includes function problems
includes optimization problems
includes search problems
includes some undecidable problems
not all NP-hard problems are decision problems
not all NP-hard problems are in NP
https://www.w3.org/2000/01/rdf-schema#label NP-hard
gptkbp:introduced gptkb:Stephen_Cook
gptkbp:introducedIn 1971
gptkbp:mayInclude undecidable
gptkbp:mayNotBe in NP
gptkbp:reductionType polynomial-time reduction
gptkbp:relatedTo P
NP
NP-complete
gptkbp:symbol gptkb:NP-hard
gptkbp:usedIn theory of computation
algorithm design
gptkbp:bfsParent gptkb:P_vs_NP_problem
gptkbp:bfsLayer 5