«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계

2
Turing 기계와 관련하여 mP / poly에 대한 동등한 정의는 무엇입니까?
P / poly는 다항식 크기의 부울 회로로 해결할 수있는 결정 문제의 클래스입니다. 대안 적으로 다항식 시간 튜링 기계로 정의 될 수 있으며, 다항식 크기는 n 단위이고 어드바이스 문자열은 n 크기에만 기반하는 어드바이스 문자열을받습니다. mP / poly는 다항식 크기의 모노톤 부울 회로로 해결할 수있는 의사 결정 문제의 클래스이지만 다항식 시간 튜링 …
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 다소 덜 극적인 붕괴의 결과는 무엇입니까? …
6
NP에없는 것으로 알려진 "자연"결정 가능한 문제.
NP-Completeness를 가르 칠 때마다 학생들은 " NP에 속하지 않는 것으로 알려진 문제가 있습니까?"라고 묻습니다. 어떻게 대답 하시겠습니까? 나는 일반적으로 예를 들어 결정 불가능한 문제를 제시하지만, 이것은 종종 잘 드러나지 않습니다. 왜 그것이 NP에 있지 않은지 알지 못합니다 (폴리 타임으로 솔루션을 확인할 수 있습니다 ... 그냥 꽂으십시오! 나는이 접근법을 무시하는 데 …
2
L은 회로 측면에서 정의가 있습니까?
튜링 머신으로 정의 된 많은 복잡한 클래스는 균일 한 회로에 대한 정의를 가지고 있습니다. 예를 들어, P는 또한 균일 다항식 회로를 사용하여 정의 될 수 있고, 마찬가지로 BPP, NP, BQP 등은 균일 한 회로로 정의 될 수있다. L의 회로 기반 정의가 있습니까? 명백한 아이디어는 깊이 제한이있는 다항식 크기 ​​회로를 허용하는 …
1
PPAD에 대한이 두 정의가 동일한 이유는 무엇입니까?
복잡성 클래스 PPAD 는 일반적으로 End-Of-The-Line이 PPAD- 완전 함을 명시하여 정의됩니다. End-Of-The-Line은 검색 문제입니다. 입력은 그래프 다항식 시간 계산 가능 함수에 의해 주어진다 정도 내 및도 대부분 1에서 각 노드가 갖고있는 방향 그래프 구성 이 복귀 선행 및 후속 X . 또한 후속 노드는 있지만 선행 노드는없는 노드 v 가 …
3
여러 그래프의 게임
일부 노드에 칩이 있는 직접 가중치 그래프 GGG 에서 다음 게임을 고려하십시오 . GGG 모든 노드는 A 또는 B로 표시됩니다. Alice와 Bob 두 선수가 있습니다. Alice (Bob)의 목표는 칩을 A (B)로 표시된 노드로 이동시키는 것입니다. 처음에 Alice와 Bob은 각각 mAmAm_A 와 mBmBm_B 달러를가집니다. 플레이어가지는 위치에 있다면 (즉, 칩의 현재 위치가 …
1
에서 두 세트의 포인트 가 회전에 의해서만 다른 경우 테스트의 복잡성 ?
점 두 가지 크기의 세트 가 있다고 가정 합니다 . 회전에 의해서만 다른 경우 테스트의 (시간) 복잡성은 무엇입니까? : 회전 행렬이 존재 이되도록 ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY 여기에 실제 값을 나타내는 문제가 있습니다. 단순화를 위해 기본 산술 연산 비용을 O (1)로 가정 할 수 있도록 각 좌표에 대해 (짧은) 대수 공식이 있다고 …
1
DSPACE (O (s (n)))의 시간 계층
시간 계층 정리에 따르면 튜링 기계는 시간이 충분하다면 더 많은 문제를 해결할 수 있다고합니다. 공간이 무증상으로 제한되는 경우 어떤 방식으로 유지됩니까? 어떻게 DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) 에 관한 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) 의 경우 fgfg\frac{f}{g} 는 충분히 빨리 자 랍니까? I는, 특히 그 경우에 관심이 s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = n^3 및 f(n)=2nf(n)=2nf(n) …
1
엄격한 포함을 알 수없는 LOGSPACE를 포함하는 큰 클래스
PSPACE의 wikipedia 페이지에는 포함 이 엄격하지 않다고 언급 되어 있습니다 (불행히도 참조가 없음).NL⊂PHNL⊂PHNL\subset PH Q1 : 와 L ⊂ P # P 는 어떻습니까?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Q2 : 어떤 경우 설립 클래스가없는 가 들어 P # P 와 포함의 경우 어느 것이 알려져 있지 않다 L ⊂ C는 엄격하다?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …
1
가
N P- hard 가 아닌 모든 언어 ( P ≠ N P로 가정 ), P L ≠ P SAT 임을 증명할 수 있습니까 ? 또는 합리적인 가정 하에서이를 입증 할 수 있습니까?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
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} 간단한 증거가 있습니까 (또는 정의에 의해)?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.