turing_reduction (455B)
1 # Turing reduction 2 3 A [reduction] which uses target problem as [oracle] 4 5 - "Cook reduction" : Turing reduction which is [ptime_reduction] 6 7 Not always very different from [many_one_reductions] for [counting_problems] 8 - cf argument https://dbt.zulipchat.com/#narrow/stream/417238-Dagstuhl-24032/topic/Open.20problems/near/425331364 9 10 Up: [reduction] 11 12 See also: [alan_turing], [many_one_reduction] 13 14 Aliases: Turing reductions, Cook reduction, Cook reductions