reduction between decision problems
C44232
concept
A reduction between decision problems is a systematic transformation that converts instances of one decision problem into instances of another such that solving the latter correctly also yields a correct solution to the former.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| reducibility notion | 1 |
Instances (2)
| Instance | Via concept surface |
|---|---|
|
Karp reductions
surface form:
Karp reduction
|
— |
| Turing reducibility | reducibility notion |