Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Computational_complexity_concept
|
| gptkbp:appliesTo |
Decision problems
Optimization problems Search problems |
| gptkbp:defines |
A way of converting one problem to another in computational complexity theory
|
| gptkbp:enables |
Proving completeness
Transferring hardness results |
| gptkbp:field |
Computer science
Computational complexity theory |
| gptkbp:relatedTo |
gptkb:NP-completeness
gptkb:Karp_reduction gptkb:Turing_reduction Polynomial-time reduction Cook reduction Linear reduction Log-space reduction Many-one reduction |
| gptkbp:usedFor |
Classifying problems
Comparing computational problems Proving problem hardness |
| gptkbp:bfsParent |
gptkb:Karp_reduction
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Reduction (complexity)
|