많은 영역에서 현장에서 일하는 모든 사람이 마스터해야하는 표준 기술이 있습니다. 예를 들어, 로그 공간 축소의 경우 구성된 함수의 전체 출력을 구성하지 않고 항상 모든 비트 출력에 대한 결과를 다시 계산하여 로그 공간 제약 조건을 유지할 수 있도록 구성하는 "비트 트릭"구성.
내 질문은 비 상대화 기술에 관한 것입니다. 이론가들이 기본적인 비상 대화 연산을 설명 했는가, 또는 각각의 알려진 비상 대화 증명에 대해 다른 트릭이 있습니까?
답변:
비연 대화 기법은 하나 뿐입니다 . 즉, 산술 (IP = PSPACE, MIP = NEXP, PP⊄SIZE (n k ), MA EXP ⊄P / poly 증명에 사용 된 기법 및 기타 여러 결과가 있습니다. ).
그러나 Goldreich, Micali 및 Wigderson으로 인해 모든 NP 언어에 계산 영 지식 증명 (단방향 함수가 있다고 가정)이 있다는 증거는 다른 비상 대화 기법 (즉, 3-COLORING 문제의 대칭)을 사용했습니다. ).
Arora, Impagliazzo 및 Vazirani는 최초의 Cook-Levin 정리 (및 PCP 정리)의 증거에 사용 된 NP- 완전 문제의 속성 인 "로컬 검사 성"조차도 비상 대화 기법으로 간주되어야한다고 주장했다 ( 랜스 포트 노우 (Lance Fortnow)는 반대 주장을하는 논문을 썼다. 고집 포인트는 "로컬로 확인 가능한 문제"의 복잡성 클래스를 상대화하는 것이 합리적인지 여부입니다.
1970 년대의 결과에서 사용 된 페블 링 인수 (예 : TIME (n) ≠ NTIME (n))는 비상 대화 기법의 다른 예로 제시되었습니다.
자세한 내용 은 Wigderson , 특히 그 참고 문헌을 사용 하여 내 대 수화 논문 을 확인하십시오 . 우리는 어떤 기술이 대 수화 장벽에 포함되어 있고 포함되지 않았는지 파악하기 위해 기존의 비상 대화 기술을 거의 분류해야했습니다.
부록 : 방금 Broadbent, Fitzsimons 및 Kashefi 가 양자 복잡성 이론 (예 : QMIP = MIP * 및 BQP = MIP)을 얻는 데 큰 영향을 주었던 측정 기반 양자 컴퓨팅 (MBQC) 을 언급하는 것을 잊었습니다 얽힌 BQP 프로 버 및 BPP 검증 도구를 사용)