Cook reduction

English

Etymology

After Stephen Cook.

Noun

Cook reduction (plural Cook reductions)

1. (computing theory) A Turing reduction that runs in polynomial time.