Decision Problem

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:defines A problem that can be posed as a yes-no question of the input values.
gptkbp:example Halting Problem
Satisfiability Problem
gptkbp:field gptkb:Mathematics
Computer Science
gptkbp:hasProperty Can be classified as P, NP, or undecidable
Can be solved by an algorithm or not
https://www.w3.org/2000/01/rdf-schema#label Decision Problem
gptkbp:language gptkb:German
English
gptkbp:notableWork gptkb:Entscheidungsproblem
gptkbp:relatedTo gptkb:Gödel's_incompleteness_theorems
gptkb:algorithm
gptkb:Computability_theory
gptkb:Complexity_theory
Technical Machine
Undecidable problem
Decidable problem
gptkbp:studiedBy gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkbp:bfsParent gptkb:Partition_Problem
gptkb:Subgraph_Isomorphism
gptkbp:bfsLayer 7