如何证明半解解码=可验证？

Question

语言L是可验证的IFF，有一个双位谓词r∈Σ*×σ*，使得R是可计算的，并且对于所有x∈Σ*：x∈L⇔，存在r（x，y）

语言是半解解码的iff，有一些图灵机接受l中的每个字符串 并且在每个字符串上拒绝或循环，不在l中。

我们如何显示半解密问题的类别相当于核查问题的类？或者他们不是？

Answer 1

它是明显的为什么一个半可解锁的语言是可验证的（ $ w $ 将是机器的计算历史记录 $ x $ ）。现在，我们将展示另一种方式：

let $ v（x，w）$ 是 $ l $ 的验证者。定义 $ m（x）$ 作为以下算法：

让 $ s $ 是一个空数组（图测机器仿真）
1. 对于每个 $ w \ in \ sigma ^ *：$
   1. 添加一个新的 $ v（x，w）$ to $ s $ 。< / li>
   2. 对于每个仿真 $ e \ in s：$
      1. 计算 $ e $ 的一个步骤。如果， $ e $ 接受，则接受。

      此算法是正确的，因为如果 $ x \ in l $ 那么有一些 $ w \ in \ sigma ^ * $ 带 $ v（x，w）= true $ ，因此算法将接受。

      如果算法接受，那么必须有一些 $ w \ in \ sigma ^ * $ 其中 $ v（ x，w）= true $ ，因此 $ x \ in l $ 按定义