«oracles» 태그된 질문

계산 복잡도 이론에서 오라클 머신에 관한 질문. 오라클은 복잡성 클래스 간 분리가 특정 증명 기술의 범위를 벗어남을 나타내는 지표로 사용할 수 있습니다.

1
정식 비상 대화 기법이 있습니까?
많은 영역에서 현장에서 일하는 모든 사람이 마스터해야하는 표준 기술이 있습니다. 예를 들어, 로그 공간 축소의 경우 구성된 함수의 전체 출력을 구성하지 않고 항상 모든 비트 출력에 대한 결과를 다시 계산하여 로그 공간 제약 조건을 유지할 수 있도록 구성하는 "비트 트릭"구성. 내 질문은 비 상대화 기술에 관한 것입니다. 이론가들이 기본적인 비상 …
3
공간이 제한된 TM 및 오라클
일반적으로 오라클의 쿼리 테이프는 TM의 공간 복잡성을 고려합니다. 그러나 쓰기 전용 oracle-tape (L 공간 축소에 사용되는 것과 같은)을 허용하는 것은 그럴듯 해 보입니다. 그러한 구성이 유용합니까? 특히 터무니없는 결과가 나옵니까?
2
무작위 오라클 R의 경우 BPP는 P ^ R의 계산 가능한 언어 집합과 동일합니까?
글쎄, 제목은 거의 모든 것을 말합니다. 위의 흥미로운 질문은 내 블로그에서 논평자 Jay가 질문 한 것입니다 ( 여기 및 여기 참조 ). 나는 대답이 그렇고 비교적 간단한 증거가 있다고 생각하지만, 그것을 직접 볼 수는 없습니다. (거의 대략 의 언어가PRPRP^R 가 아닌 경우 과 무한한 알고리즘 상호 정보를 가져야 하며,이 경우 …
2
구분자 쿼리에서 트리 재구성
가 구조를 모르는 상수도 트리 라고 가정하십시오 . 문제는 "노드 가 노드 에서 노드 까지의 경로에 있습니까?" 와 같은 쿼리를 요청 하여 트리 를 출력하는 것입니다 . 오라클은 각 쿼리에 일정한 시간 안에 응답 할 수 있다고 가정합니다. 트리의 노드 수인 값을 알고 있습니다. 목표는 트리를 출력하는 데 걸리는 시간을 …
5
정수 인수 분해 오라클이있는 P
난 그냥이 "읽기 ? 인수 분해 정수 NP에 완성 문제인가 "질문에 ... 난 또 다른 질문을 물어 내 명성의 일부를 :-) 쓰기로 결정 그래서 가진 P를 ( Q는 간단하다 ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 경우 인수 분해 정수로 해결할 수있는 문제는,의 힘 무엇이라고 …
1
PSPACE를 다항식 계층 구조와 분리하는 최소 복잡성 오라클은 무엇입니까?
배경 오라클 가있는 것으로 알려져 있습니다 를AA 예컨대, 그 P S P C E ≠ P HPSPACEA≠PHAPSPACE^A \neq PH^A . 임의의 오라클에 대해 분리가 유지되는 것으로 알려져있다. 비공식적으로, 이것은 P S P A C EPSPACEPSPACE 와 P HPHPH 가 분리 된 많은 오라클이 있음을 의미하는 것으로 해석 할 수 있다. …
1
Grover 알고리즘을위한 Oracle Construction
Mike와 Ike의 "Quantum Computation and Quantum Information"에서 Grover의 알고리즘에 대해 자세히 설명합니다. 그러나 그 책과 그로버 알고리즘에 대해 온라인에서 찾은 모든 설명에서, 우리가 어떤 상태를 찾고 있는지 알지 못한다면 그로버의 오라클이 어떻게 구성되어 있는지에 대한 언급이없는 것 같습니다. 연산. 특히, 내 질문은 이것입니다 : 일부 x 값, f (x) = …
3
오라클이 입력의 일부인 경우의 복잡성 이론
복잡한 이론에서 오라클이 발생하는 가장 일반적인 방법은 다음과 같습니다. 특정 리소스가 제한된 튜링 머신에 고정 된 오라클을 사용할 수있게되었으며, 오라클이 머신의 계산 능력을 향상시키는 방법을 연구합니다. 그러나 때로는 oracles가 발생하는 또 다른 방법이 있습니다 : input의 일부 . 예를 들어, 주어진 고차원 폴리 토프의 부피를 계산하기위한 알고리즘을 연구하고 싶다고 가정 …
2
랜덤 Oracle 모델에서 무 지식 프로토콜의 소진 시뮬레이터
"공통 참조 문자열 및 임의 Oracle 모델의 거부 가능성"이라는 제목의 논문에서 Rafael Pass는 다음과 같이 말합니다. RO [Random Oracle] 모델에서 표준 제로 지식 정의에 따라 보안을 입증 할 때 시뮬레이터는 일반 모델 시뮬레이터에 비해 두 가지 장점이 있습니다. 시뮬레이터는 당사자가 오라클에 어떤 값을 쿼리하는지 확인할 수 있습니다. 시뮬레이터는 응답이 "보여"괜찮다면 …
1
oracles가있는 회로 vs. oracles가있는 Turing 기계
간단히 말해서 : oracles가있는 Turing 기계와 oracles가있는 균일 한 회로 제품군 간의 대응 관계는 무엇입니까? 주어진 오라클 튜링 머신에 대해 동일한 계산 모델을 얻기 위해 후자는 어떻게 정의됩니까? 이것은 기본적인 질문 일지 모르지만 어디에서 볼 것인지는 분명하지 않으며, 나는 나의 기초가 양질의 박격포를 사용하고 있는지 확인하는 것을 좋아하는 사람입니다. 표준 …
1
오라클 튜링 머신의 정지 문제에 대한 정보 압축
중지 문제는 계산할 수없는 것으로 잘 알려져 있습니다. 그러나 정지 문제에 대한 정보를 기하 급수적으로 "압축"하여 압축을 풀 수 있습니다. 보다 정확하게는 튜링 기계에 대한 설명을 계산할 수 있으며 비트 권고 는 튜링 기계의 모든 에 대한 정지 문제에 대한 답을 어드바이스 상태는 신뢰할 수 있습니다. 어드바이저는 비트 수를 선택하여 …
1
칸난의 정리는 NEXPTIME ^ NP ⊂ P / poly를 암시합니까?
나는 Buhrman와 호머의 종이 읽고 있었다 "Superpolynomial 회로, 대부분의 스파 스 오라클과 지수 계층 구조" . 2 페이지의 맨 아래에서 Kannan의 결과는 NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} 다항식 크기 ​​회로가 없음을 암시합니다 . 지수 시간 계층에서 NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} 는 단지 Σ2EXPΣ2EXP\Sigma_2EXP 이며 Kannan의 결과는 ∀c ∃L∈Σ2P∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P 이므로 L∉Size(nc)L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset …
1
Oracle의
합니까 보류?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} 분명히 이지만 N P ∩ c o N P 는 "결정적"인 것으로 보이며 이것이 사실이라고 믿습니다.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} 간단한 증거가 있습니까 (또는 정의에 의해)?
1
가 포함되지 않은 Oracle
Greg Kuperberg의 복잡성 동물학 에 따르면 와 같은 언어 가 있습니다. 즉, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} —이 결과에 대한 참조는 제공하지 않습니다. 왜 이런 일이 발생합니까? 아니면 어디에서 증거를 찾을 수 있습니까?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^XBPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} 이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.