«interactive-proof-systems» 태그된 질문

Arthur-Merlin Complex 클래스에 완전한 문제가 있는지 궁금합니다. 그래프 비 동형화 (GNI)는 AM 의 문제 에 대한 정식 사례 인 것 같지만 아마도 완전한 문제 는 아닙니다. "완전한"문제가 AM에 대해 잘 정의되어 있는지 궁금합니다. AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다. …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

대화 형 증명 시스템 을 이해하려고 노력 중이며 다음 문제를 연습으로 시도했습니다. 우리는 및 라는 것을 알고 있으므로 대한 대화 형 증명 시스템을 이해하기 쉽습니다 .PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEIP=PSPACEIP=PSPACEIP=PSPACEPHPHPH 대한 대화 형 증명 시스템 은 사소한 것이지만 대해서도 대화 형 증명 시스템을 얻지 못했습니다 . 에 대한 명시 적 대화 형 …

9 complexity-theory  interactive-proof-systems