在自然数中还原？

Question

我很困惑，还要弄脏可减少的东西。

我理解如下所示，如下所示

"There is an oracle algorithm which is about set A and when this algorithm is derived from oracle algorithm of set B, it is called A is Turing-reducible to B"

所以通过这个，我必须解决问题。

n是自然数= {1,2,3，...}

让一组所有偶数自然数。

让B是所有奇怪的自然数字的集合。

证明了一个是为了改写b。

这里是我所想到的。

a的Oracle算法是n％2== 0哪个n属于自然数字。

B的B和ORACLE算法是n％2== 1哪个n属于自然数。

如何从n％2== 1派生n％2== 0？

或我的方法是错误的？

谢谢你的帮助。

Answer 1

要显示 $ a $ 是tuly-reducibe到 $ b $ 您需要证明能够在给定对 $ B $ $ a $ 。 >。

在您的特定情况下，可能的图定机器 $ m $ 作为输入一个字符串 $ x \ in \ {0 ，1 \} ^ * $ 编码自然数 $ n $ （我假设 $ 0 \二进制中的\ mathbb {n} $ ），如下操作：

它翻转了 $ x $ 的最后一点点。现在 $ x $ 表示奇数IFF输入号 $ n $ 甚至是。
• 它调用 $ b $ 使用输入 $ x $ 。
• 它接受IFF，根据Oracle， $ x \ in b $ 。

注意： $ m $ 可以访问Oracle for $ b $ 没有意味着 $ m $ 必须使用该Oracle。以下是 $ m $ ：

的有效选择

• 找到输入字符串 $ x $ 的最后一位 $ y $ 。
• 如果 $ y= 0 $ 接受。否则拒绝。