 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-1/12f/a/i/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

For

C, D \subseteq B

, one writes

C \leq_{m} D

if there is a total computable function

f : B \to B

such that

x \in C ⟺ f (x) \in D

for every

x

. This is a computable many-one reduction.

 New to topics? Read the docs here!