«interactive-proofs» 태그된 질문

4
다항식 계층의 수준에 대한 대화식 증명
PSPACE 시스템을 사용하는 경우 다항식 계층 구조의 모든 레벨에 대한 대화식 증거를 제공 할 수있을 정도로 강력합니다. (그리고 내가 올바르게 기억한다면 #P 만 있으면됩니다.) 그러나 언어로 멤버십을 대화식으로 증명한다고 가정합니다 . 문제를 해결하기에 합니까? 문제를 해결하는 적절합니까? 보다 일반적으로 또는 문제를 해결할 수 있다면 에서 모든 언어의 대화식 증명을 생성하기에 …
1
상관되지 않은 준 개인 동전이있는 추천 게임
나는 아직 해결되지 않은 게임의 복잡성에 대한 흥미로운 변형이기 때문에 나는이 질문에 대한 답에 정말로 관심이있었습니다. 그래서 현상금을 제공했습니다. 나는 원래의 질문이 너무 어려울 것이라고 생각했기 때문에 현상금에 합당한 세 가지 관련 질문을 게시했습니다. 현상금이 만료되기 전에 아무도 답변을 게시하지 않았습니다. 나중에 관련 질문 중 2 개 (원래 게시물 아래에서 …
1
IP = PSPACE가 비 상대적인 이유는 무엇입니까?
IP = PSPACE는 비 상대화 결과의 정규 예를 나열하고, 이에 대한 증거는 오라클이 존재 함이다 되도록 반면 {\ SF CONP} ^ O \ {SUBSETEQ \ SF PSPACE} ^ O 모든 점쟁이 O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO 그러나 나는 소수의 사람들 만이 왜 IP=PSPACEIP=PSPACE{\sf IP} = …
4
P = BQP 인 경우 PSPACE (= IP) = AM을 의미합니까?
최근 Watrous 등은 QIP (3) = PSPACE가 놀라운 결과임을 입증했습니다. 이것은 나 자신에게 가장 적은 말을 한 놀라운 결과였으며 생각을 떨쳐 버렸습니다 ... Quantum Computers가 Classical Computers로 효율적으로 시뮬레이션 될 수 있는지 궁금했습니다. IP와 AM으로 나누기와 관련이있을 수 있습니까? 내 말은 IP는 다항식 수의 고전적 상호 작용을 특징으로하는 반면 AM은 …
2
효율적인 프로 버를 갖춘 MIP
검증 기가 다항식 시간 (MIP)으로 실행되는 2 개 대화식 증명 시스템을 갖는 언어 세트는 NEXP 인 것으로 잘 알려져있다. 그러나 속담자가 권력을 제한 할 때 그러한 대화 형 증거의 힘에 대해 알려진 바가 있습니까? 예를 들어, 다항식 시간 증명을 통해 두 가지 대화 형 증명을 허용하는 언어 클래스는 무엇입니까? 더 …
3
의 측면에서
확률 론적 증명 시스템 은 일반적으로 의 제한이라고하며 , 여기서 Arthur는 임의 비트 만 사용할 수 있고 만 검사 할 수 있습니다. Merlin이 보낸 증명 인증서 비트 ( http://en.wikipedia.org/wiki/Interactive_proof_system#PCP 참조 )M 경우 → F ( N ) g ( N )PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) 그러나, 1990 년 Babai, Fortnow 및 룬드 입증 , …
1
Merlin에 유효한 답변의 고유성을 요구하면 Arthur-Merlin 프로토콜의 성능이 제한됩니까?
전문. 복잡성 등급 AM 은 검증 자 "Merlin"과 검증 자 "Arthur"사이의 양방향 대화 형 증명 시스템으로 해결할 수있는 문제입니다. 다음과 같은 경우 객체 X 의 일부 속성을 테스트하는 문제 는 AM입니다 . 대한 찬성 (다항식 길이) 임의의 "도전"메시지의 경우, 아더는 멀린은 (다항식 길이)를 공식화 아서 증거로 사용할 수있는 회신 할 …
2
대화 형 증명 시스템의 조경
첫 번째 질문은 대화식 증명 시스템 특성화가 모든 고전적인 복잡성 클래스에 알려져 있는지 여부입니다. P, NP, PSPACE, EXP, NEXP, EXPSPACE, 재귀 및 재귀 적으로 열거 가능한 함수 클래식 (다른 것들 중에서)이라고 부릅니다. 특히, 대화 형 증명 시스템 특성화가 재귀 적이며 재귀 적으로 열거 가능한 기능으로 알려져 있습니까? IP = PSPACE이고 …
1
짧은 메시지가 포함 된 다중 증명 대화 형 증명에 대해 알려진 것은 무엇입니까?
Beigi, Shor 및 Watrous는 짧은 메시지와 함께 양자 대화 형 증명의 힘에 대한 아주 훌륭한 논문 을 가지고 있습니다 . 그들은 '짧은 메시지'의 세 가지 변형을 고려하며, 내가 관심있는 특정 것은 많은 메시지를 보낼 수있는 두 번째 변형이지만 총 메시지 길이는 로그 여야합니다. 특히 그들은 그러한 대화 형 증명 시스템이 …
1
Coq의 두 인수에 대해 유도 적으로 함수를 정의하는 방법은 무엇입니까?
아래에 주어진 재귀 함수가 종료된다는 것을 Coq에게 어떻게 확신시킬 수 있습니까? 이 함수는 두 개의 유도 인수를 취합니다. 직관적으로, 두 인수 중 하나가 분해되어 재귀가 종료됩니다. 특히이 함수는 두 개의 트리를 입력으로 사용합니다. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. 나무에서 나는 다음과 같은 …
2
하느님의 수에 대한 대화 형 증거?
나는 최근에 대화 형 증명에 대해 배웠으며 모든 것이 이론적 인 호기심에 불과하거나 실제 적용이 있는지 궁금합니다. 나는 샤워에서 나에게 일어난 예제로 시작하겠다고 생각했다. 최근에 "하나님의 수"가 20이라는 뉴스가 나왔습니다. (하나님의 수는 루빅스 큐브를 해결하는 데 필요한 최소 단계 수입니다). 이것은 꽤 흥미롭지 만 약간의 왜곡이있는 것 같습니다 ... 이것은 …
1
대화 형 증명 시스템에서 완전성 및 건전성에 대한 두 가지 정의의 동등성
대화 형 증거 시스템 의 완전성과 건전성은 다음과 같이 비공식적으로 정의됩니다. 완전성 : 진술이 사실이면, 정직한 증명 자는이 사실을 정직한 검증 자 에게 확신시킬 수 있습니다 whp . 건전성 : 진술이 허위 일 경우, 부정 행위를 한 입증 인은 정직한 검증 자 (허위 진술의 타당성)를 확신 할 수 없습니다. "whp"라는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.