«complexity-classes» 태그된 질문

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 

RP=NPRP=NPRP = NP 는 거짓으로 널리 추측됩니다. 그러나 그것이 사실이라는 것을 잠시 상상해보십시오. 이 경우 일 가능성은 얼마나 됩니까?P=NPP=NPP = NP 다시 말해, 인 세계에서 를 믿는 데 장애가되는 것으로 보이는 것은 무엇 입니까?RP=NPRP=NPRP = NPP=NPP=NPP = NP

12 cc.complexity-theory  complexity-classes  conditional-results 

나는 SP Jordan에서 DJ Gosset, PJ Love의 " 무작위 해밀턴 사람들과 Markov 행렬에 대한 완전한 문제들QMAQMAQMA "에서 일 것 같지 않다고 읽었 습니다 .QMA⊆AMQMA⊆AMQMA \subseteq AM 나는이 주장에 놀랐다. 그래서 간의 적절한 관계 무엇 및 M은 ?QMAQMAQMAAMAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Suresh를 위해 다소 관련이없는 프로젝트를 진행하면서 최근에는 사용자 구성 시스템에 대해 Page와 Opper가 수행 한 일부 작업과 일부 작업에 대해 다항식 시간으로 확인할 수없는 문제에 대해 간략하게 논의했습니다. 다항식 시간으로 확인할 수 없거나 다른 문제를 분석 할 수없는 다른 문제에 대한 많은 정보를 찾지 못했습니다. 여러분 중 누구라도 그러한 문제 …

12 cc.complexity-theory  complexity-classes 

Baker-Gill-Solovay 결과에 따르면 P = NP 질문은 상대성이 증명되지 않았으며 (Oracle의 존재에 민감하지 않은) 상대적인 증거가 P = NP 질문을 해결할 수 없다는 의미에서 관련성이 없습니다. 내 질문은 : "PH- 완전 문제가 있습니까?"라는 질문에 대해 비슷한 결과가 있습니까? 이 질문에 대한 부정적인 대답은 P! = NP; 긍정적 인 대답은 PH가 …

12 cc.complexity-theory  complexity-classes 

으로 http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf 경우 PSPACE 완성 언어이며, .P A = N P AㅏAA피ㅏ= N피ㅏPA=NPAP^{A}=NP^{A} 경우 결정적 다항식 시간 오라클, 인 (가정 ).P B ≠ N P B P ≠ N P비BB피비≠ N피비PB≠NPBP^{B}\ne NP^{B}피≠ N피P≠NPP\ne NP # P P ⊆ P P ⊆ P S P A C E피피PPPP 는 및 대한 …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

종이 Lauri Hella 및 José María Turull-Torres, 고차원 논리를 사용한 쿼리 쿼리 , TCS 355 197–214, 2006. doi : 10.1016 / j.tcs.2006.01.009 가변 순서 논리, 논리 VO를 제안합니다. 이를 통해 변수에 대한 차수를 수량화 할 수 있습니다. VO는 매우 강력하며 계산할 수없는 쿼리를 표현할 수 있습니다. (아래 Arthur Milchior가 지적한 …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

그래프 동형이 아닌 다른 문제 는 ? 당신은 몇 가지 참조를 줄 수 있습니까?엔피∩ c o A MNP∩coAMNP\cap coAM 업데이트 : 알려지지 않은 언어에 관심이 있음을 언급하지 않았습니다 .c o N피coNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

사실 인 경우 PH가 붕괴되어야한다는 잘 알려지지 않은 주장은 무엇입니까? 참조와 함께 짧은 상위 수준의 어설 션이 포함 된 회신을 주시면 감사하겠습니다. 나는 운없이 역 검색을 시도했다.

12 cc.complexity-theory  complexity-classes  big-list 

MAJ 계산을위한 에서 회로의 최소 트리 폭은 {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\}얼마입니까? 여기 MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} 의 입력들 중 적어도 절반은 IFF에 1을 출력한다 111 . 나는 회로의 크기 (다항식이어야 함) 만 신경 쓰며 입력 게이트의 팬 아웃은 임의적 일 수 있지만 입력은 한 번만 읽어야합니다 (이것은 회로의 트리 폭에 영향을 미칩니다-분기) 왜곡 …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

이면 PH 전체가 붕괴 된다는 것을 알고 있습니다. 다항식 계층 구조가 부분적으로 축소되면 어떻게됩니까? (또는 PH가 특정 지점 이상에서 붕괴 될 수 있다는 것을 이해하는 방법은 무엇입니까?)P=NPP=NPP=NP 간단히 말해 및 의 결과는 무엇입니까?NP=coNPNP=coNPNP=coNPP≠NPP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

다음 질문은 복잡성 이론에 적용된 암호의 아이디어를 사용합니다. 즉, 그것은 순전히 복잡하고 이론적 인 질문이며 답을 얻는 데 필요한 암호 지식은 없습니다. 나는이 질문을 고의적으로 비공식적으로 작성합니다. 세부 사항이 없으면 약간 잘못 설명되었을 수 있습니다. 답변에서 수정 사항을 알려주십시오. 다음 papaper에서 : Nonmalleable 암호화, 대니 돌 레브, 신시아 드 워크 …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

의 증명 시도의 일부가 있습니다. 증명 시도는 -완전한 문제 3- 일반 정점 표지에서 SAT 로의 Karp 축소로 구성됩니다 .⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus 입방 그래프 주어지면 , 감소 는 다음 특성을 모두 갖는 CNF 공식 를 출력 합니다.GGGFFF FFF 는 최대 만족스러운 과제를 가지고 있습니다.111 FFF 의 정점 커버 수가 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

공간 계층 정리에서 가 공간 구성 가능한 경우 DSPACE ( )가 DSPACE ( 과 같지 않다는 것이 알려져 있습니다.에프ff2 f ( n ) f ( n ) )2 개 f( n )2f(n)2f(n)에프( n ) )f(n))f(n)) 여기서 DSPACE ( 나는 고정 알파벳이있는 튜링 머신에 의해 공간 에서 해결할 수있는 모든 문제의 …

11 cc.complexity-theory  complexity-classes 

가 ? 또는보다 일반적으로 입니까?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}

11 complexity-classes