가요

나는 문헌에서 및 에 관한 진술을 찾을 수 없었습니다 . 포인터가 감사하겠습니다. $\mathsf{MA}$ $\mathsf{NP}^\mathsf{RP}$

나는 그들이 같다고 믿는다.

$\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ : 시스템은 멀린의 문자열을 추측하고 오라클은 Arthur가 문자열을 확인합니다. $\mathsf{NP}$ $\mathsf{RP}$
$\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ : 멀린의 취입 연산 추측 받는 모든 통화뿐만 아니라, 이러한 호출의 결과를 포함한 기계를 오라클. 그런 다음 Arthur는 계산이 유효하고 오라클 에 대한 모든 호출 결과 가 올바른지 확인합니다. 그는 증폭과 합집합을 사용하여 전체 총 오류 확률을 제한합니다. $\mathsf{NP}$ $\mathsf{RP}$ $\mathsf{RP}$

이 올바른지?

cc.complexity-theory oracles

— 조엘
소스

이러한 표기법을 정의하는 방법에 따라 다르지만 이러한 복잡성 클래스를 언어 클래스로 정의하면 첫 번째 글 머리표의 추론에 결함이 있습니다. 보십시오 복잡성 동물원 ∃BPP 및 내부 기준 ( FENNER, Fortnow 커츠 및 리 2003 ).

— Ito Tsuyoshi

와! 대단히 감사합니다, 이것은 매우 미묘한 점이며, 실제로 첫 번째 글 머리 기호가 잘못되었습니다.

— Joel

@TsuyoshiIto : 그 대답을 하시겠습니까?

— Joshua Grochow

@Joshua : 어떤 이유로 든 답변으로 게시하고 싶지 않을 때 종종 부분 답변을 주석으로 게시합니다. 내 의견을 원하면 답변으로 자유롭게 다시 게시하십시오. 의견으로 게시했기 때문에 답변으로 게시물을 게시해야 할 의무가 없습니다.

— 이토 츠요시

@TsuyoshiIto : 좋아, 나는 그것을 cw 답변으로 확장했다.

— Emil Jeřábek

첫 번째 글 머리표에는 오라클이 대답해야합니다.

예, Arthur의 검사가 확률 성공하면 (MA 프로토콜에 완벽 함이 있다고 가정), $1$
Arthur의 검사가 확률 성공하면 NO 입니다. $\le 1/2$

이것은 coRP 알고리즘처럼 들리지만,이 두 가지 조건 중 하나가 오라클에 가능한 모든 입력에 적용된다는 보장은 없습니다. 따라서 오라클은 coRP 언어를 계산하는 것이 아니라 coRP 약속 문제를 계산하며 전체 인수는 만을 보여줍니다 . $\mathrm{MA}\subseteq\mathrm{NP}^{\mathrm{promiseRP}}$

— 에밀 제라 벡
소스

선택은 당신에게 달려 있지만이 답변을 커뮤니티 위키로 만들 필요는 없습니다.

— 이토 쓰요시