Noun
Cook reduction (plural Cook reductions) (computing theory) A Turing reduction that runs in polynomial time.