«relativization» 태그된 질문

1
PP의 PH에 대한 자세한 내용은?
Huck Bennett 의 최근 질문 에 클래스 PH가 클래스 PP에 포함되어 있는지 묻는 질문 이 다소 모순 된 답변을 받았습니다 (모두 사실입니다). 한편으로는 여러 오라클 결과가 반대로 나타 났으며, 다른 Scott은 Toda의 정리에 따르면 PH가 PP의 확률 적 변형 인 BP.PP에 있음을 보여 주므로 대답이 긍정적일 가능성이 높으며 일반적으로 무작위 …


1
정식 비상 대화 기법이 있습니까?
많은 영역에서 현장에서 일하는 모든 사람이 마스터해야하는 표준 기술이 있습니다. 예를 들어, 로그 공간 축소의 경우 구성된 함수의 전체 출력을 구성하지 않고 항상 모든 비트 출력에 대한 결과를 다시 계산하여 로그 공간 제약 조건을 유지할 수 있도록 구성하는 "비트 트릭"구성. 내 질문은 비 상대화 기술에 관한 것입니다. 이론가들이 기본적인 비상 …

3
상대성이 아닌 계산 성 이론의 결과가 있습니까?
저는 Andrej Bauer의 논문 인 Synputtic Computability Theory의 첫 단계를 읽고있었습니다 . 결론적으로 그는 우리의 axiomatization에는 한계가 있습니다. 오라클 계산에 관련성을 갖지 못하는 계산 이론에서 어떤 결과도 입증 할 수 없습니다. 이론이 오라클에 액세스하여 부분 재귀 함수로 구축 된 효과적인 토포스의 변형으로 해석 될 수 있기 때문입니다. 이것은 계산 불가능한 …

5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

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

1
PSPACE를 다항식 계층 구조와 분리하는 최소 복잡성 오라클은 무엇입니까?
배경 오라클 가있는 것으로 알려져 있습니다 를AA 예컨대, 그 P S P C E ≠ P HPSPACEA≠PHAPSPACE^A \neq PH^A . 임의의 오라클에 대해 분리가 유지되는 것으로 알려져있다. 비공식적으로, 이것은 P S P A C EPSPACEPSPACE 와 P HPHPH 가 분리 된 많은 오라클이 있음을 의미하는 것으로 해석 할 수 있다. …

2
알려진 모순 관계가없는 잠재적으로 동일한 복잡성 클래스
복잡한 클래스 쌍의 예 무엇 와 B 가 같은AAABBB 우리가 모르는 여부 = B , 및A=BA=BA=B 우리는 모순 relativizations 중 하나 (즉, 우리가 알고있는 신탁하지 않습니다 모르는 와 Q 등이 P = B P 와 Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q 다른 방법으로 질문을 표현하기 위해, 모순적 …

1
의 순서 목록을 유지
주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …

1
영속성이 균일하지 않다는 증거가
이 질문에 대한 후속 조치 이며 Shiva Kinali 의이 질문 과 관련이 있습니다. 이 논문의 증거 ( Allender , Caussinus-McKenzie- Therien- Vollmer , Koiran-Perifel )는 계층 정리를 사용 하는 것으로 보인다 . 증명이 " 순수한 "대각선 화 이론인지 아니면 일반적인 대각선 화보다 더 많은 것을 사용 하는지 알고 싶습니다 . …

2
ALogTime! = PH는 증명하기 어렵고 알려지지 않았습니까?
Lance Fortnow는 최근에 L! = NP를 증명하는 것이 P! = NP를 증명하는 것보다 쉬워야 한다고 주장했습니다 . 대수 공간에서 NP를 분리하십시오. 나는 아무도 공개하지 않았지만 2001 년 사전 블로그 에서 대각선 화 에 관한 4 가지 접근법 (섹션 3)을 제시했다. P를 NP에서 분리하는 것보다 훨씬 쉽습니다. 관련 설문 조사의 섹션 …

3
상대화 할 수없는 증거의 자연스러운 예는 무엇입니까?
내가 이해하는 것처럼, P = NP 또는 P ≠ NP는 (재귀 이론 oracles에서와 같이) 상대화 할 수 없어야한다는 증거. 그러나 사실상 모든 증거는 상대적인 것으로 보인다. P = NP / P ≠ NP 증거가 필요하고, 사소하거나 구제되지 않는 종류 의 비 상대적 증거 의 좋은 예는 무엇입니까 ? (나는 재귀 …

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

1
상대 론적 결과를 사용하여 문장을 공식적으로 독립적으로 증명할 수 있습니까?
문장이 비 상대적이라는 사실에 근거하여 문장이 공식적으로 독립적이어야 함을 증명할 수 있습니까? 다시 말해, 계산 가능성 / 복잡성 이론의 문장의 예는 a) 두 클래스가 같은지 아닌지에 대한 문제를 해결하는 모든 증거는 상대화되어야하고 b) 그런 해상도로 사용할 수 있습니까? 파트 b를 만족시키는 결과가 나오기가 더 쉽다고 생각합니다. 이 질문을하는 또 다른 …

1
상대 세계
세계가 있는지 알고 싶습니다 . 또한 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}

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.