«cc.complexity-theory» 태그된 질문

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

12 cc.complexity-theory  complexity-classes  np-intermediate 

나는 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 …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

따라서 웹에서 빠른 검색을 통해 "APXHardness는 [일부 복잡성 클래스]가 일부 [다른 복잡성 클래스]에 포함되어 있지 않으면 문제에 대한 QPTAS가 없음을 암시하며 잘 알려져 있습니다"라고 믿었습니다. 나를 제외하고 모두가 이것을 알고있는 것 같습니다. 불행히도이 진술을 뒷받침하는 언급은 없습니다. 두 가지 질문이 있습니다. 현재 알려진이 진술의 가장 강력한 버전은 무엇입니까? 참조? 부디? …

12 cc.complexity-theory  reference-request 

합니까 보류?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} 간단한 증거가 있습니까 (또는 정의에 의해)?

12 cc.complexity-theory  complexity-classes  oracles 

TCS의 한 가지 주요 문제는 지속 물을 결정 요인으로 표현하는 문제입니다. 나는 Agrawal의 논문 Determinant와 Permanent를 읽고 있었고 한 단락에서 그 반대의 문제는 쉽다고 주장했다. 이 행렬의 행렬식 것을 쉽게 알 수 관련된 행렬의 영구적으로 표현 될 수 X , 그 항목은 0, 1 또는 X 나 , J S …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

정점 삭제와 관련하여 그래프 속성 을 닫으면 그래프 속성을 유전 이라고 합니다 (즉, 모든 유도 된 하위 그래프가 속성을 상속 함). 그래프 속성이라고 첨가제 가 분리 된 조합을 복용에 대해 닫혀있는 경우. 유전 적이지만 부가 적이 지 않은 특성을 찾기는 어렵지 않습니다. 두 가지 간단한 예 : \;\;\;(1) 그래프가 완성되었습니다. …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

예 : 그래프는 방향성이 정점으로 구별 개의 는 정수, 그리고 .GGGs≠ts≠ts\neq tk≥2k≥2k\geq 2 질문 : 거기에 존재 하는가 의 경로를 , 등 대부분의 경로에 닿 정점? 정점이 경로에 있거나 경로에 이웃이있는 경우 경로가 정점에 닿습니다.s−ts−ts-tGGGkkk

12 cc.complexity-theory  graph-theory  graph-algorithms 

다음 문제가 속하는 복잡성 클래스를 이해하려고합니다. 지수 다항식 근본 문제 (EPRP) 하자 가 수 다항식 ℃에서 ( P ) ≥ 0 유한 필드에서 도출 계수 G F ( Q ) 와 Q 소수와 r에 해당 필드에 대한 프리미티브 루트. :의 솔루션 결정 P ( X ) = R (X) (또는 …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

나는 최근에 증명 복잡성에 대해 많은 것을 읽기 시작했고 내가 읽은 것을 실제로 즐기고 있습니다. 나는 이것에 대해 더 많이 배우고 싶지만 시작할 초보자 자료를 찾는 데 어려움을 겪고 있습니다. 누구나 기본을 추천 할 수 있습니까?

12 cc.complexity-theory  lo.logic  proof-complexity 

다양한 복잡성 포함 클래스 다항식 계층의 각 레벨 사이에 포함되어- , DP , BH의 K 및 Σ P I ∩ Π P 난 . 더 나은 용어가 없으면 다항식 계층에서 i 와 i + 1 사이의 중간 클래스 로이 클래스 와 다른 클래스를 참조합니다 . 이 질문의 목적 상, 그것이 …

12 cc.complexity-theory  polynomial-hierarchy 

잔여 유한 상태 오토마타 ([DLT02]에 정의 된 RFSA)는 DFA와 공통점이있는 NFA입니다. 특히 모든 정규 언어에 대해 표준 최소 크기의 RFSA가 항상 있으며 RFSA의 각 주에서 인식되는 언어는 DFA에서와 마찬가지로 잔류입니다. 그러나, 최소의 DFA 상태는 모든 잔차와 함께 약탈을 형성하지만, 정식 RFSA 상태는 주요 잔차와 함께 약화된다; 이들 중 기하 급수적으로는 …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

이 질문은이 게시물에 의해 동기 부여됩니다 . 다항식 시간에서 두 순열의 합을 식별 할 수 있습니까? , 순열의 계산 속성에 관심이 있습니다. 차등이 시퀀스 1 , 2 , ... N 순열의 π 숫자 1 , 2 , ... , N + 1 순열의 모든 인접한 두 숫자 사이의 차이에 의해 …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd 대한 Zoo 항목TC0TC0\mathsf{TC^0} 은 깊이 2와 3 사이의 분리 만 언급합니다. 계층 구조가 붕괴되지 않는다는 사실에 대한 표준 참조도 있습니까?AC0dACd0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

가능한 결과가 각각 [-1,0, + 1] 인 [lose, draw, win] 인 극도로 많은 상태를 가진 결정 론적 부분 정보 제로섬 게임을 감안할 때 , 그러한 가치의 근사치의 복잡성은 무엇입니까? 내의 부가 적으로 게임 ?ϵϵ\epsilon 특히, 나는 그것을하는 어떤 알고리즘도 만들 수 없습니다 . 이 게시물의 나머지 부분은 전적으로 문제에 대한 …

12 cc.complexity-theory  gt.game-theory 

와 의 관계는 무엇입니까 ? 다시 말해, 다항식 시간 지역 검색을 허용하는 문제는 근사치입니까? 대략적인 최적화 문제가 일반적으로 지역 검색 알고리즘을 의미합니까?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms