"알고리즘을 감안할 때 Polynomial Time에서 실행되었는지 여부를 결정하십시오"는 NP 에서이 문제입니다.

Question

이 문제는 중요하지 않습니다 (문제를 중단 할 수 없음). 그러나 반제적이며, 그 두 가지 정의는 다음과 같습니다. 반 defiidable= 확인 가능성이 좋을지 증명하는 방법. ).

그러나이 문제는 Poly-time verifiable입니까?

$ p $ 은 $ p라고하는 알고리즘이라는 알고리즘이라는 알고리즘이라는 것입니다. (w)= $

Answer 1

아니오.문제가 다항식 시간이 인증 될 수 있으면 지수 시간이 지속적으로 사용될 수 있으므로 따라서 미리 결정할 수 있습니다.그러나 우리는 이미 알지 못한다는 것을 이미 알고 있습니다.

지수 시간에 왜 왜? $ v $ 은 시간 $ | w | ^ k $ 에서 실행되므로, 대부분의 $ | w | ^ k $ 입력 비트.따라서 가능한 모든 문자열 $ c $ 의 $ | w | ^ k $ 각각의 $ v $ 을 실행하십시오.실행 시간은 $ 2 ^ {| | w | ^ k} $ , 원래의 문제를 알지 못할만큼 충분히 충분합니다.