Prove/ Disprove: For every nontrivial $A,B \in R (RE)$, $A\le_m B$

Question

Prove/ Disprove:

For every nontrivial $A,B\in R$, $A\le_m B$

For every nontrivial $A,B\in RE$, $A\le_m B$

trivial set is the empty-set or $\Sigma^*$.

So basically the question is if for every two nontrivial sets there is a computable function from $A$ to $B$.

I'd be glad to get hint/guidance since I'm kinda stuck and not sure how to attack this problem.

Thanks.

What have you tried? Where did you get stuck? We want to help you understand concepts, but just doing your exercise for you won't be helping you (or anyone else). We expect you to make a serious effort on your own before asking and show us in the question what you tried. Also, please ask only one question per question. — D.W., Jun 14 '15 at 06:06
Incidentally, you've been given this feedback before: 1, 2, 3, 4. — D.W., Jun 14 '15 at 06:11

score 3 · Accepted Answer · answered Jun 13 '15 at 17:29

HINT:

Go again over the definition of reductions. The many-one reduction from $A$ to $B$ is a function $f: \Sigma^* \to \Sigma^*$ that satisfies:

$f$ is complete (=defined on any input)
$f$ is computable (hint, hint).
$f$ is valid: $x\in A$ if and only if $f(x) \in B$.

The "non trivial" part means there exists $x \in A$ and $x' \notin A$, and more importantly - the same holds for $B$. Now it should be fairly easy for you to complete the answer of your question.

Got it. we choose $a\in B$ and $b\notin B$ and the rest is simple... — Elimination, Jun 14 '15 at 12:12

Prove/ Disprove: For every nontrivial $A,B \in R (RE)$, $A\le_m B$

1 Answers1

Linked