examples for: A is mapping reducible to B but B is not mapping reducible to A

Question

I find it hard to find reductions that only work on one side: A is mapping reducible to B, but B is not mapping reducible to A. what could be an easy way to find such two languages A,B ? I tried Atm,Htm,EQtm,Etm,RegTm, and many others, and whenever I found that A is reducable to B, I also found that B is reducable to A.

thanks.

Use $\emptyset$ as one of your languages. – Yuval Filmus Feb 21 '18 at 09:39 — Yuval Filmus, Feb 21 '18 at 09:39
Perhaps you could answer your own question now? – Yuval Filmus Feb 21 '18 at 14:39 — Yuval Filmus, Feb 21 '18 at 14:39

score 1 · Answer 1 · answered Feb 25 '18 at 07:02

1

I now understand that there is a mapping reduction from the empty language to any other language except Sigma*, and there cannot be a reduction from a language to the empty language except for a reduction from the empty language to the empty language.

answered Feb 25 '18 at 07:02

Itamar Silverstein

95
1
7

examples for: A is mapping reducible to B but B is not mapping reducible to A

1 Answers1