«conditional-results» 태그된 질문

X를 가설로 추가합니다. 여기서 X는 참 또는 거짓으로 알려져 있지 않습니다.

5
TCS 외부의 복잡성 이론 추측의 수학적 의미
다른 수학 분야 (예 : 이론적 컴퓨터 과학 외부)에서 복잡도 이론에 대한 (표준) 추측의 흥미로운 결과를 알고 있습니까? 다음과 같은 경우 답변을 선호합니다. 복잡성 이론 추측은 가능한 한 일반적이고 표준입니다. 나는 특정 문제의 경도에 대한 결과도 괜찮지 만 문제가 광범위하게 어렵다고 생각되면 (또는 적어도 두 장 이상의 논문에서 연구 된 …
4
P = RP에 대한 구체적인 증거는 무엇입니까?
RP 는 다항식 시간으로 종료되는 비 결정적 튜링 머신에 의해 결정될 수있는 문제의 클래스이지만 일방적 인 오류도 허용됩니다. P는 다항식 시간으로 끝나는 결정 론적 Turing machine에 의해 결정될 수있는 일반적인 종류의 문제입니다. P = RP는 회로 복잡도의 관계에서 따릅니다. Impagliazzo와 Wigderson은 결정 론적 지수 시간으로 결정될 수있는 문제가 지수 크기 …
1
의 결과
동안 Adleman에 정리 된 것을 쇼, , 내가의 수를 포함 조사 어떤 문학의 잘 모르는 것 같아요 B Q P ⊆ P / 폴리 . 그러한 포함이 어떤 복잡성 이론적 결과를 가져 왔을 까?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} 애들 맨의 정리는 때때로 "무작위 화 주장의 조상"으로 불린다. 는 무작위화할 수없는 …
1
NP의 문제이지만 Average-P / poly의 문제는 아닙니다.
카프-립톤 Theoem이 경우한다고 다음 P H는 축소되어 Σ P 2 . 그러므로, Σ P 2 와 Σ P 3 사이의 분리를 가정하면 , N P- 완전 문제는 P / p o l y에 속하지 않을 것이다 .N P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P HPH\mathsf{PH}Σ피2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} 다음 질문에 …
1
UP의 결과는 NP와 같습니다
2011/02/08에서 편집 : 일부 참고 자료 찾기 및 읽기 후에 원래 질문을 두 개의 개별 질문으로 분리하기로 결정했습니다. UP과 NP에 관한 부분은 다음과 같습니다. 구문 및 의미 클래스의 경우 구문 및 의미 클래스의 이점을 참조하십시오 . U PUP\mathsf{UP} (명백한 다항식 시간, 참조를 위해 위키 및 동물원 참조)은 -기계에 의해 결정된 …
4
P = BQP 인 경우 PSPACE (= IP) = AM을 의미합니까?
최근 Watrous 등은 QIP (3) = PSPACE가 놀라운 결과임을 입증했습니다. 이것은 나 자신에게 가장 적은 말을 한 놀라운 결과였으며 생각을 떨쳐 버렸습니다 ... Quantum Computers가 Classical Computers로 효율적으로 시뮬레이션 될 수 있는지 궁금했습니다. IP와 AM으로 나누기와 관련이있을 수 있습니까? 내 말은 IP는 다항식 수의 고전적 상호 작용을 특징으로하는 반면 AM은 …
1
대한 증거는 무엇입니까
Josh Grochow의 제안에 따라 이전 질문의 의견을 새로운 질문으로 변환합니다. 대한 증거는 무엇입니까 ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} 여기서 은 "yes"인스턴스에 고유 한 허용 경로가 있고 "no"인스턴스에 허용 경로가없는 다항식 비 결정적 튜링 머신으로 인식 할 수있는 언어 클래스입니다.UPUP\mathsf{UP} 분명히 인데 왜 봉쇄가 엄격하다고 생각합니까? 내가 찾을 수있는 증거는 오라클 분리입니다 : …
1
vs
최근의 연구에서, 우리는 가정하에, 조합 맥락에서 발생한 전산 문제를 해결 , 는 IS 의 -version . 우리가 찾은 에 관한 유일한 논문 은 Complexity Zoo에 인용 된 Beigel-Buhrman-Fortnow 1998 논문 이었습니다 . 우리는 패리티 버전의 - 완전한 문제 ( 이 질문 참조 )를 취할 수 있지만 실제로는 에서 완전하지 않을 …
3
PH = PSPACE의 결과는 무엇입니까?
최근의 질문 ( NP = PSPACE의 결과 참조 )은 의 "불쾌한"결과를 요구했다 . 답은 N P = c o N P 등을 포함하여 상당히 소수의 붕괴 결과를 나열하며 N P ≠ P S P A C E 를 믿을만한 많은 이유를 제공합니다 .NP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE 다소 덜 극적인 붕괴의 결과는 무엇입니까? …
4
결과
이면 PH 전체가 붕괴 된다는 것을 알고 있습니다. 다항식 계층 구조가 부분적으로 축소되면 어떻게됩니까? (또는 PH가 특정 지점 이상에서 붕괴 될 수 있다는 것을 이해하는 방법은 무엇입니까?)P=NPP=NPP=NP 간단히 말해 및 의 결과는 무엇입니까?NP=coNPNP=coNPNP=coNPP≠NPP≠NPP\ne NP
2
효율적인 알고리즘이없는
감안 의 계수되도록 P는 , Q는 에 의해 제한되는 B , 않는 P ≡ q 개의 보류 ?p ( x1, … , x엔) , q( x1, … , x엔) ∈ Z [ x1, … , x엔]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qBBBp≡qp≡qp\equiv q Schwartz-Zippel lemma는 일반 필드와 적용 되며이 문제에 대한 효율적인 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.