나는 $ 2 ^ n $ 비트 크기의 인증서에 대한 의사 결정 문제가 있으며, $ np $에있는 경우 의사 결정 문제를 효율적으로 확인하는 방법은 무엇입니까?

Question

결정 문제 : $ 2 ^ k $ + $ m $

$ k $ 및 $ m $ 은 정수 만 $ 2 ^ K $ + $ M $ 의 합계입니다. ( AKS를 사용하여 Prime 을 결정합니다.

2의 힘은 대략 $ 2 ^ n $ 숫자를 갖는다. $ 2 ^ k $ 을 고려하십시오. 여기서 $ k $ = 100000. $ k $ 솔루션의 숫자의 양에!

질문

결정 문제의 인증서가 $ 2 ^ n $ 크기가 될 수 있음을 알 수 있습니다. 다항식 시간에 결정 문제를 확인하여 어떻게 보면 전환 상태 그 자체로 인증서로서의 상태가 있습니까?

다른 말로하면, 다항식 시간 검증기는이 결정 문제에 대해 어떻게 생겼을까 요?

Answer 1

의사 결정 문제는 예 / 아니오 답변이므로 "지수 크기"가 없을 수 없습니다.검색 문제에 대해 묻고 있습니다. 이들은 확실히 지수 크기가있을 수 있습니다.그리고 네, 솔루션의 크기 (적절하게 컴팩트 한 형식의 일부로 작성된 경우)는 원래 문제의 크기에 따라 기하 급수적 인 경우, 다항식 시간에 답을 적어 두는 것은 분명히 불가능합니다.

어떤 경우에도 P 및 NP는 의사 결정 문제에만 엄격하게 적용됩니다.그러나 Belare의 "Decision vs Search"둘 다 사이의 관계.