 Definition 3.3: Given sets \(A, B \subseteq \mathbb{N}\), \(A\) is said to be many-one (or \(m\)-one) reducible to \(B\) if there is a computable function \(f(x)\) such that for all \(n \in \mathbb{N}\), 