«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계

1
이 게임은 EXPSPACE-complete입니까?
은 일부 오라클 A 에게 질문을 할 수있는 다항식 결정 론적 기계라고 하자 . 초기에 A 는 비어 있지만 아래에 설명 할 게임 후에 변경할 수 있습니다. x를 문자열로 하자 .미디엄미디엄MㅏㅏAㅏㅏA엑스엑스x 다음의 Alice and Bob 게임을 고려하십시오. 처음에 Alice와 Bob은 각각 와 m B 달러를가집니다. 앨리스는 원하는 M ( 여기서 …
1
결론 : 모든 FPT NP- 완전 언어는 고정 매개 변수-동형
Berman–Hartmanis 추측 : 모든 NP 완성 언어는 다항식 시간 동형에 의해 서로 관련 될 수 있다는 의미에서 유사하게 보인다 [1]. "다항식 시간"의보다 세분화 된 버전, 즉 매개 변수화 된 축소를 사용하는 경우에 관심이 있습니다. 매개 변수화 된 문제는 의 부분 집합입니다 . 여기서 Σ 는 유한 알파벳이고 Z ≥ 0 …
1
미분 방정식을 자체 복잡성 클래스로 분류 할 수 있습니까?
계산 복잡성으로 인해 문제가 전체적으로 분류되었습니다. 그러나 미분 방정식에서 계산 구조에 따라 미분 방정식을 분류 할 수 있습니까? 예를 들어, 1 차 균질 방정식이 100 차 균질 방정식보다 해결하기 어려운 경우, 풀기 방법이 동일하다고 가정 할 때 별개의 볼록 클래스로 분류 할 수 있습니까? 우리가 해결 과정을 다양하게하면, 솔루션, 그 …
1
사이 연루
우리가 증명할 수 있다면 , 그 의미 않습니다 N L = N P를 ?L = P엘=피\mathsf{L}=\mathsf{P}N L = N P엔엘=엔피\mathsf{NL}=\mathsf{NP} 나는 그것이 사실이라고 생각했지만 그것을 증명할 수는 없다 (또한 대화를 위해).
1
에서 자연 문제
복잡성 클래스 (에서 다음과 같이 정의된다 위키 )에스피2S2P\textrm{S}_2^\textrm{P} 언어 인 S P 2 다항식 시간 술어가 있으면 P가 되도록엘LL에스피2S2PS_2^P피PP 경우 , 다음 존재 Y 되도록 모든 Z , P ( X , Y , Z ) = 1x ∈ Lx∈Lx \in L와이yy지zz피( x , y, z) = 1P(x,y,z)=1P(x,y,z)=1 경우 , …
1
결정 론적 의사 난수는 임의성보다 병렬 적으로 더 강력합니까?
클래스 BPNC (조합하자 및 N C는 ) 랜덤 소스 경계 오차 확률 액세스 (이 다른 이름을 갖는 경우 I 모르겠습니다)와 로그 깊이 병렬 알고리즘 될. 모든 프로세스가 알고리즘 시작시 고정 된 임의의 비트 스트림에 임의로 액세스 할 수 있다는 점을 제외하고 DBPNC 클래스를 유사하게 정의하십시오.BPPBPP\mathsf{BPP}NCNC\mathsf{NC} 다시 말해, BPNC의 각 프로세스는 …
3
Las Vegas 알고리즘을 사용하는 가장 빠른 BPP 시뮬레이션은 무엇입니까?
BPPBPP\mathsf{BPP} 및ZPPZPP\mathsf{ZPP} 는 기본적인 확률 적 복잡성 클래스 중 두 가지입니다. BPPBPP\mathsf{BPP} 는 오답 다항식 시간 튜링 알고리즘에 의해 결정된 언어의 클래스로, 오답이 반환되는 알고리즘의 확률이 제한됩니다. 즉, 오류 확률은 최대1313\frac{1}{3} (YES 및 NO 인스턴스 모두). 반면에 ZPPZPP\mathsf{ZPP} 알고리즘은 답을 반환 할 때마다 정답을 반환하지 않는 확률 적 알고리즘으로 볼 …
2
역 3-SAT 정보
문맥 : Kavvadias 및 Sideri을 감안할 때 : 역 3-SAT 문제가 CONP가 완료되었음을 보여 주었다 φϕ\phi 에 모델 세트 Nnn 하는 3-CNF 공식은이 변수 φ는ϕ\phi 모델의 정확한 설정되어 있습니까? 즉각적인 후보 수식 모델 모두 만족하는 모든 3 절의 함께 발생되는 φϕ\phi . 그것은 암시 모든 3 절을 포함하기 때문에, 이러한 …
2
DP의 중요 SAT 변형
언어 클래스에 D P 개의 언어가있다 IFF에 L 1 ∈ N P 및 L 2 ∈ C O N P 되도록 L = L (1) ∩ L 2L엘LDP디피DPL1∈NP엘1∈엔피L1 \in NPL2∈coNP엘2∈씨영형엔피L2 \in coNPL=L1∩L2엘=엘1∩엘2L = L1 \cap L2 정규 - 완전한 문제는 SAT-UNSAT이되는 두 개의 3-CNF 식, 주어진 F 와 G를 , …
1
쌀 정리의 설명적인 복잡한 버전을 사용하여 AC0과 PSPACE를 분리 할 수 ​​있습니까?
에서 이 질문에 , 그것은 쌀의 정리의 설명 복잡성 버전이 있다는 것을 언급했다. 나는 다음 정리의 증거를 발견했다. 복잡성 수준을 감안할 때 C 에서 언어의 사소 특성 C가 계산 될 수없는 C 나는 이전에 내가 찾은 증거를 게시했지만, 너무 길었고이 논문이 이미 그 정리에 대한 증거를 포함하고 있다는 의견에서 지적 …
2
온라인 최적화 문제를 포함하는 복잡성 클래스가 있습니까?
온라인 최적화 문제를 포함하는 복잡성 클래스가 있습니까? 그렇지 않다면 어떻게 그러한 클래스를 정의 할 수 있습니까? 빈 포장 문제의 온라인 버전과 같은 많은 문제가 온라인 버전에 있음을 알고 있습니다. 온라인 문제는 경쟁 비율로 측정하기가 더 어렵습니다. 그리고 나는 복잡성 동물원 에서 비슷한 것을 찾지 못했습니다 . 기본적으로 온라인 문제는 없지만 …
1
다음 SAT 하위 집합의 복잡성은 무엇입니까?
P ≠ N P라고 가정피≠ N피P≠NPP \neq NP 다음 표기법을 사용하십시오 테트 레이션을위한 (즉.나는ㅏia{}^ia ).나는a = aㅏ⋅⋅⋅ㅏ나는 배ia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | 인스턴스 x의 크기입니다. L을 언어로, 패 |에프( i ) ≤ | x | < g( 나는 ): = { x ∈ L | ∃ …
5
"가장 최악의 사례"이외의 사례에 대한 복잡성 클래스
평균 사례의 복잡성과 관련하여 복잡성 클래스가 있습니까? 예를 들어, 예상되는 다항식 시간을 결정하는 데 문제가있는 명명 된 복잡성 클래스가 있습니까? 또 다른 질문은 아래에 예시 된 최상의 사례 복잡성을 고려합니다 . 결정 에 적어도 지수 시간이 필요한 일련의 (자연) 문제가 있습니까? 명확히하기 위해 EXP가 완료된 언어 고려하십시오 . 분명히 모든 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.