유한 단계에서 $ M $의 $ W $에 $ M $가 중지 되더라도 $ NHALT $ undecidable입니다.

Question

언어가있는 경우

$ nhalt={; $ $ m $ 멈춤 $ W $ 이하 $ n $ 단계 $\} $

이 언어는 $ halt $ 이 undeckidable이 $ nhalt \ notin p $ , 오른쪽?

Answer 1

이 언어는 분명히 읽을 수 있으며 $ W $ 에서 $ M $ 을 유출하고 $ N $ 단계에서 멈춤 락 ...

이제 $ nhalt \ p $ 또는 $ nhalt \ notin p $ . $ n $ 여기에 "값"( $ \ sigma $ 가정을 가정하면 여기에 있다고 가정합니다).단조가 아닙니다).따라서 우리가 에뮬레이트해야 할 단계의 수는 그 크기로 지수가 될 것입니다!저는 다항식 시간 알고리즘을 보지 못합니다. 그래서 은 아마 p 가 아니라고 가정합니다.그러나 나는 그 것으로 입증되지 않았습니다. (그냥 사건 일 수있는 이유에 대해 직감을주었습니다). 또한 일부 공개 된 문제와 같습니다 (어쩌면 어떻게 든 당신은 $ \ mathcal {np-fullle} $ ?)