即使在有限步骤中的输入$ W $ M $ HALTS，也是$ NHALT $ UNSICIDAIB

Question

如果我们有语言

$ nhalt={; $ $ m $ 停止输入 $ w $ 在少于 $ n $ 步骤 $$

是这种语言也不可思议地以相同的方式，即 $ halt $ 是不可判定的？如果是这样， $ nhalt \投入p $ ，右？

Answer 1

这种语言显然是可判定的，只需模拟 $ m $ 上的 $ w $ ，看看它是在 $ n $ 步骤中暂停，或者不...

现在，对或 $ nhalt \投入p $ 中的 $ nhalt \。 $ n $ 这里的长度是对数到其“值”（假设 $ \ sigma $ 这里不是一元）。因此，我们需要模拟的步数将是指数的大小！我没有看到多项式时间算法，所以我假设它可能不是p 。但我没有证明（刚刚给出了为什么可以是这种情况的直觉），也有机会表现出相当于一些公开问题（可能是某种方式你可以证明它的 $ \ mathcal {np-complete} $ ？）