Lukas' Notes

computation

Definition

Cook Reduction

A Turing reduction with that runs in polynomial time (counting each oracle call as one step), we write and call it a polynomial-time Turing (Cook) reduction.