Polynomial-time Turing reduction

Summary