«oracles» 태그된 질문

으로 http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf 경우 PSPACE 완성 언어이며, .P A = N P AㅏAA피ㅏ= N피ㅏPA=NPAP^{A}=NP^{A} 경우 결정적 다항식 시간 오라클, 인 (가정 ).P B ≠ N P B P ≠ N P비BB피비≠ N피비PB≠NPBP^{B}\ne NP^{B}피≠ N피P≠NPP\ne NP # P P ⊆ P P ⊆ P S P A C E피피PPPP 는 및 대한 …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

세계가 있는지 알고 싶습니다 . 또한 P B ≠ N P B = P P B 인 상대 세계가 존재하는지 알고 싶습니다 .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} 지금 회로 오라클 게이트 가족 고려 - 말을 , 다른 클래스 오라클 접속 LOGSPACE 포함하는 회로의 복잡성 클래스 에 기초하여 추가 오라클 게이트 통해 . 그러한 클래스로 알려진 Ladner-Lynch 논문과 정신적으로 유사한 병리학적인 예가 있습니까? 그러한 클래스에 필요한 RST와 같은 제한은 무엇입니까? 실제로 그러한 예가있는 경우, RST …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

이 질문에는 분명한 대답이있을 수 있지만 여기에 질문이 있습니다. 직관적으로, 다음과 같은 그럴듯한 진술입니다. "서브 루틴 A를 갖는 서브 루틴 A를 가진 기계는 서브 루틴 B를 액세스 할 수있는 서브 루틴 A를 가진 기계와 같습니다". 이 문제를 공식적으로 정의하기 위해 기존의 표기법을 사용하겠습니다. 내가 말할 때 , 내가 포기하고 A의 …

11 complexity-classes  oracles 

카레 하워드 대응 하의 기본 해석을 가진 구성 유형 이론은 총 계산 가능한 함수로만 구성됩니다. 문헌에서 일부는 기능적 프로그램에서 비 종료를 나타 내기 위해 "계산 형 이론"을 사용하는 것에 대해 언급되었지만, 내가 본 논문에서는 이론에 대한 주요 동기가 아닌 것으로 보입니다 (예 : Benton 은 비 종결에 대해 자세히 설명하지 …

10 lo.logic  type-theory  oracles  halting-problem 

나는 문헌에서 및 에 관한 진술을 찾을 수 없었습니다 . 포인터가 감사하겠습니다.N P R PMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} 나는 그들이 같다고 믿는다. N P R PMA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : 시스템은 멀린의 문자열을 추측하고 오라클은 Arthur가 문자열을 확인합니다.NPNP\mathsf{NP}RPRP\mathsf{RP} N P R P R PNPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : 멀린의 취입 연산 추측 받는 모든 통화뿐만 …

10 cc.complexity-theory  oracles 

하자 BE 어떤 EXP 완전한 문제. 그런 다음, P A = N P A 입니다.ㅏAA피ㅏ= N피ㅏPA=NPAP^A = NP^A 를 M (P의 TM)이 수행 할 쿼리를 고려한 오라클 이라고하자. P B ≠ N P B를 얻을 수있다 .비BB미디엄MM피비≠ N피비PB≠NPBP^B \neq NP^B 질문 : P 대 BPP에 대해 비슷한 오라클 결과가 있습니까?

10 cc.complexity-theory  oracles  relativization 

무적의 생성기는 다음과 같이 정의됩니다. NP 관계로하고 M을 L ( R ) 을 받아들이는 기계 라고 하자 . 비공식적 프로그램이있다 무적 발생기 입력의 경우, (1) n은 , 그것은 인스턴스 생성 감시 쌍 ( X , w ) ∈ R을 가진 | x | x 가 주어진 다항식 적 대적이 무한히 …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

대부분의 문헌은 특정 문제에 대해 단일 oracles가있는 기계에 관한 것으로 보이지만, 여러 oracles가있는 기계를 고려한 논문이 몇 개있는 것으로 보입니다. 그러한 기계에 대해 알려진 것에 대한 개요를 제공하는 좋은 논문이나 논문이 있습니까? 특히 저는 여러 개의 oracles를 가진 P에 관심이 있습니다.

10 oracles  turing-machines