«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계

3
어떤 증거가 있습니까?
어떤 증거가 있습니까?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP 는 다항식 시간으로 실행되고 언어에 속하는 입력에 대해 항상 예라고 대답하고 해당 언어에 속하지 않는 입력에 대해 절반 이상은 아니오로 대답하는 확률 론적 튜링 머신이 존재하는 언어 클래스입니다.
1
NP-E 및 E-NP의 자연 후보
70 년대 초반부터 N P엔피{\bf NP}및 (때문에 동일하지 않다 달리 다항식 시간 대일 감소 하에서 닫히지 ). 그러나 내가 아는 한, 한 클래스가 다른 클래스의 하위 집합인지 또는 비교할 수 없는지 여부는 여전히 열려 있습니다. 즉, 및 는 모두 비어 있지 않습니다.E =DT나는미디엄이자형(2O ( n ))이자형=디티나는미디엄이자형(2영형(엔)){\bf E}=DTIME(2^{O(n)})이자형이자형{\bf E}N P엔피{\bf NP}N …
2
준 다항식 시간에 있지만 (아마도) 그렇지 않은 컴퓨팅 문제가 있습니까?
준 다항식 시간, 즉 QP는 결정적인 Turing 머신의 복잡한 클래스입니다. 정확한 정의는 다음과 같습니다. https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp βP는 제한된 비결정론의 복잡성 클래스입니다. 정확한 정의는 다음과 같습니다. https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap QP 기계, 즉 βP 기계로 βP 기계를 시뮬레이션 할 수 있음을 쉽게 알 수 있습니다. ⊆⊆\subseteq QP. 그러나 문제가 βP에 있지 않다는 정확한 증거가 없더라도 …
1
2-NEXPTIME- 완전한 문제
문제가 발생하여 2-nexptime 인 것으로 나타났습니다. 하한을 찾기 위해 알려진 2-nexptime-complete 문제를 찾고 싶습니다. 나는 문학에서 주로 두 가지 문제를 발견했다. PCP가 보다 작은 솔루션인지 여부22엔22엔2^{2^n} 크기의 제곱에 대한 경작 문제22엔22엔2^{2^n} 그러나 나는이 문제를 광산에서 인코딩 할 수 없었습니다. 따라서 다른 2-NEXPTIME- 완전 문제를 먼저 알고 싶습니다. 먼저이 수업에 대해 …
2
문제의 정확한 복잡성
허락하다 xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} ...에 대한 i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, 약속으로 x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (합이 끝난 곳 ZZ\mathbb{Z}). 그렇다면 결정의 복잡성은 무엇입니까x=1x=1x = 1? 사소한 문제는 ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} 때문에 x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 입니다. 질문은 : 문제가 AC0AC0\mathsf{AC}^0 있습니까? 그렇다면 회로가 이것을 목격하는 것은 무엇입니까? 그렇지 …
2
복잡성에 대한 OWF의 결과
단방향 기능의 존재는 암호화 (디지털 서명, 의사 난수 생성기, 개인 키 암호화 등)의 대부분에 필요하고 충분하다는 것이 잘 알려져 있습니다. 내 질문은 : 일방 함수의 존재로 인한 복잡성 이론 결과는 무엇입니까 ? 예를 들어 OWF는 , 및 입니다. 다른 알려진 결과가 있습니까? 특히 OWF가 다항식 계층 구조가 무한하다는 것을 의미합니까?N …
2
단열 양자 컴퓨팅은 회로 모델만큼 강력합니까?
양자 컴퓨팅 문헌의 대부분은 회로 모델에 중점을 둡니다. 단열 양자 컴퓨팅은 일련의 단일 연산자를 적용하는 것이 아니라 시간에 따른 해밀턴을 변경하는 것입니다. 다음 중 하나에 대한 통찰력을 찾고 있습니다. 단열 양자 컴퓨팅은 회로 모델만큼 강력합니까, 아니면 본질적으로 덜 강력합니까? 회로 모델이 아닌 단열 컴퓨팅과 관련된 복잡성 클래스가 있습니까? 단열 컴퓨팅의 …
1
의 위에
우리는 알고 L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. 사 비치 정리에서NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Space Hierarchy Teorem에서 L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. 우리가 알지 못하는 것처럼L≠PL≠P\mathcal L\neq\mathcal P, 우리는 모른다 L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P또는 우리는 그것을 알고 있습니까 L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? 아무도 그것을 증명하려고 노력 했습니까?L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P? 이런 식으로 최신 결과 또는 노력은 무엇입니까? 이 주제에 대한 설문을 작성하려고했지만 관련성이 없습니다. 또한 …
1
할 수있다
허락하다 A T I S P (f( n ) , g( n ) )ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) 시간이 멈추는 튜링 머신을 번갈아 사용하여 결정된 언어 등급 에프( n )f(n)f(n) 공간을 사용하여 지( n )지(엔)g(n). 허락하다A A L T S P (f( n ) , g( n ) )ㅏㅏ엘티에스피(에프(엔),지(엔))\mathsf{AALTSP}(f(n), g(n)) 사용을 중단하는 튜링 …
2
하위 초등 재귀 함수에 대한 복잡성 결과?
Elementary-recursive 함수에 대한 Chris Pressey의 흥미로운 질문에 흥미를 느끼 면서 웹에서 더 많은 질문을하고 답을 찾을 수 없었습니다. 기본 재귀 함수는 지수 계층 좋게 대응DTIME (2엔) ∪ DTIME (22엔) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots. 더 낮은 기본 기능에 의한 결정 문제 (단어?)가 EXP 및 실제로 DTIME에 포함되어야한다는 정의에서 간단 …
1
NP와 EXPTIME 관련 문헌
중요한 점이 아니더라도이 질문에 관한 문헌은 보이지 않습니다. 상대화 결과가 있습니까? NP 머신의 모든 가능한 경로를 탐색하여 비 결정적 시간 계층 정리를 적용하여 엄격한 포함을 증명하는 것이 매우 간단하지 않습니까?
3
사후 선택을 통한 대화식 증명?
계산 모델 MPostBQP를 PostBQP와 동일하게 정의합니다. 단, 포스트 선택 및 최종 측정 전에 다 항적으로 많은 큐 비트 측정이 가능합니다. MPostBQP가 PostBQP보다 강력하다는 증거를 제시 할 수 있습니까? MPostBQP [k]를 정의하여 최종 측정을하기 전에 여러 라운드의 측정 및 사후 선택이 가능합니다. MPostBQP [1] = PostBQP 및 MPostBQP [2] = MPostBQP …
3
구문 및 시맨틱 클래스의 장점
UP의 결과와 분리 된 게시물 은 NP와 같 으며 시맨틱 대 구문 복잡성 클래스에 대한 후속 질문 입니다. 위의 글에서 우리는 시맨틱 및 구문 클래스 에 대해 배웠습니다 . 클래스가 리프 언어 클래스 로 특성화 될 수있는 경우 간단히 설명 L [엘1|엘2]L[L1|L2]\mathsf{L}[L_1|L_2]그런 다음 클래스는 구문 엘1∪엘2=Σ※L1∪L2=Σ∗L_1 \cup L_2 = \Sigma^*즉, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.