«relativization» 태그된 질문

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

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

나는 대각선 화와 relativization 결과에 근거하지 않은 클래스 분리를 ​​본 기억이 없습니다. 대각선 화 결론이나 대각선으로 된 튜링 기계 구조에서 비상 대화 주장이 여전히 사용될 수 있기 때문에, 대각선 화는 여전히 남아있는 알려진 클래스를 분리하는 데 사용될 수 있습니다. 다음은 몇 가지 관련 질문입니다. 대각선 화를 기반으로하지 않는 클래스 분리 …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

하자 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 

암호화에 대해이 질문 을 본 후 여러 번에 다음 질문에 대해 생각하고 있습니다. 질문 허락하다 RRR수 TFNP의 관계. 임의의 오라클이 P / Poly 가 중단 되도록 도울 수 RRR무시할 수없는 확률로? 보다 공식적으로, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} 않습니다 모든 P / 폴리 알고리즘 에 대해 는 무시할 수 있습니다AAAPrx[R(x,A(x))]Prx⁡[R(x,A(x))]\Pr_x [R(x, …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles