1
Merlin에 유효한 답변의 고유성을 요구하면 Arthur-Merlin 프로토콜의 성능이 제한됩니까?
전문. 복잡성 등급 AM 은 검증 자 "Merlin"과 검증 자 "Arthur"사이의 양방향 대화 형 증명 시스템으로 해결할 수있는 문제입니다. 다음과 같은 경우 객체 X 의 일부 속성을 테스트하는 문제 는 AM입니다 . 대한 찬성 (다항식 길이) 임의의 "도전"메시지의 경우, 아더는 멀린은 (다항식 길이)를 공식화 아서 증거로 사용할 수있는 회신 할 …