«separation» 태그된 질문

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} 이 …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

에서 이 질문에 , 그것은 쌀의 정리의 설명 복잡성 버전이 있다는 것을 언급했다. 나는 다음 정리의 증거를 발견했다. 복잡성 수준을 감안할 때 C 에서 언어의 사소 특성 C가 계산 될 수없는 C 나는 이전에 내가 찾은 증거를 게시했지만, 너무 길었고이 논문이 이미 그 정리에 대한 증거를 포함하고 있다는 의견에서 지적 …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

공간을 구성 할 수 있지만 시간을 결정할 수없는 함수 을 표시하십시오 .f( n )f(n)f(n) 이 문제는 복잡성 클래스 DTIME (f (n))과 SPACE (f (n)) 사이의 가능한 분리와 관련이 있습니까?

10 cc.complexity-theory  space-bounded  separation