«interactive-proofs» 태그된 질문

가장 확률 방지 시스템 (예를 들어 PCP 정리,)에서 오류 확률은 보통 즉, 가양의 측면에 정의되어, 일반적인 정의는 볼 수 있었다 같은 경우 다음 항상 있지만에서 받아 검증 다른 경우 거부 확률은 1/2 이상입니다.x∈Lx∈Lx \in L 다른 쪽에서 오류가 발생하는 데 문제가 있습니까? 즉, 검증자는 항상 필요할 때 거부하고 수락해야 할 …

10 cc.complexity-theory  pcp  interactive-proofs 

증명자가 HORN-SAT 표현이 만족 스럽다는 것을 검증 자에게 확신시킬 수있는 방법이 있습니까? HORN-SAT에 대한 선형 시간 알고리즘이 있기 때문에 물론 이것은 어리석은 것처럼 보일 수 있습니다. 반면, HORN-SAT는 P- 완료이므로 P = L이 아니면 로그 공간 알고리즘이 없습니다. 따라서 검증기의 계산 능력을 L로 제한하십시오. 이제 검증기는 매우 미약하므로 문제는 더 …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

계산 모델 MPostBQP를 PostBQP와 동일하게 정의합니다. 단, 포스트 선택 및 최종 측정 전에 다 항적으로 많은 큐 비트 측정이 가능합니다. MPostBQP가 PostBQP보다 강력하다는 증거를 제시 할 수 있습니까? MPostBQP [k]를 정의하여 최종 측정을하기 전에 여러 라운드의 측정 및 사후 선택이 가능합니다. MPostBQP [1] = PostBQP 및 MPostBQP [2] = MPostBQP …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

IP (2pfa) 및 AM (2pfa)는 양방향 입력 헤드가있는 확률 적 유한 오토마타 인 검증기를 갖춘 대화 형 증명 시스템의 프라이빗 및 퍼블릭 코인 버전에서 각각 경계 오류로 인식되는 언어 클래스입니다. 이 클래스의 폐쇄 속성이 알려져 있습니까?

9 cc.complexity-theory  interactive-proofs