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

회로 복잡성에서 우리는 다양한 회로 모델의 전력을 분리합니다. 증명 복잡성에서 우리는 다양한 증명 시스템의 힘을 구분합니다. 그러나 알고리즘에서 우리는 여전히 알고리즘 패러다임의 힘 사이의 분리가 거의 없습니다 . 아래의 질문은 두 가지 패러다임 인 욕심과 동적 프로그래밍에 대한 후자의 문제를 다루는 것입니다. 우리는 기본 요소 집합과 일부 해당 하위 집합을 …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

간단한 형태로 : 양방향 유한 오토 마톤 이 o ( v 3 ) 상태 의 삼각형을 포함하는 - vvvvertex 그래프를 인식 할 수 있습니까 ?o(v3)o(v3)o(v^3) 세부 여기서 주목할 것은 일련의 에지를 사용하여 인코딩 된 vvv 버텍스 그래프이며, 각 에지는 과 별개의 정점 쌍입니다 {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\}. 가정 되도록 양방향 유한 오토마타 (결정 …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP 는 솔루션 수 (입력 크기)에 다항식 경계가있는 문제 의 클래스입니다 . f e w P 에는 알려진 N P 완료 문제 가 없습니다 . 우리가이 관측을 얼마나 멀리 확장 할 수 있는지에 관심이 있습니다.NPNPNPNPNPNPfewPfewPfewP 해수 (증인)의 수에 대한 준 다항식 상한에 자연적인 완전한 문제가 있습니까? 그러한 가능성을 배제 할 …

15 cc.complexity-theory  np 

polytime Turing-machine / polysize 회로 대신 logspace Turing-machine 또는 A C 0 회로가 문제를 인코딩하도록 P P A D를PPAD{\bf PPAD} 정의하면 어떻게됩니까 ?AC0{\bf AC^0} 최근 소형 회로에 대한 회로 만족도에 대한 빠른 알고리즘을 제공 하는 것이 중요하다는 것이 밝혀 졌으므로 P P A D 의 반복 버전에 어떤 일이 발생하는지 …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

(Graph Isomorphism )는 중간 문제의 좋은 후보입니다 . 가 아니면 중간 문제가 존재합니다 . Karp reduction ( 와 같은 그래프 문제 에서 에 어려운 자연 문제를 찾고 있습니다.GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X 자연이 있습니까 도 아니다 -hard 그래프 문제 -equivalent도 알려져 - 전체는?GIGIGIGIGIGINPNPNP

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

지난 20 년간 퍼머넌트 (Permanent)에 대한 환상적인 작업이 진행되어 왔으며, 비음이 아닌 퍼머넌트 행렬에 대한 Smooth P 알고리즘의 가능성에 대해 잠시 궁금했습니다. 물론 유명한 JSV 알고리즘이 있지만 이것은 fpras입니다. Smoothed Complexity 내의 다른 작업에 대해 생각할 때 Smoothed P에 있다는 강력한 힌트는 fpras / Psuedopolynomial 알고리즘의 존재였습니다. 음수가 아닌 영구 …

15 cc.complexity-theory  complexity-classes 

언어 사양으로 DFA가 있더라도 정규 표현식의 크기를 최소화하는 것은 PSPACE- 완전한 것으로 알려져 있습니다 . 언어가 유한하면 결과는 무엇입니까? 두 가지 모델에서이 문제를 고려할 수 있습니다. 입력은 언어의 모든 문자열이며 모든 문자열의 길이의 합으로 입력 크기를 측정합니다. 입력은 DFA이며 DFA 상태 수에 따라 입력 크기를 측정합니다. Kleene 별은 유한 경우에 …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

서브셋 합계 문제가 NP- 하드 인 반면 서브셋 제품 문제가 정확히 NP- 하드 인 이유를 설명 할 수 있기를 바랐습니다. 서브 세트 합계가 : 감안할 때 X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} 및 는 ∑ i ∈ X ′ x i = T가 되도록 TTT부분 집합 가 존재한다 .X′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T 일부 …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

나는 일반적으로 Baker-Gill-Solovay와 Cohen이 사용하는 강제 방법에 관심이 있습니다. 나는 기술 그 자체 나 그 사용법에 관해 내가 얻을 수있는 한 많은 자료를 찾고있다. 누구든지 제안이 있습니까?

15 cc.complexity-theory  set-theory 

확률 론적 증명 시스템 은 일반적으로 의 제한이라고하며 , 여기서 Arthur는 임의 비트 만 사용할 수 있고 만 검사 할 수 있습니다. Merlin이 보낸 증명 인증서 비트 ( http://en.wikipedia.org/wiki/Interactive_proof_system#PCP 참조 )M 경우 → F ( N ) g ( N )PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) 그러나, 1990 년 Babai, Fortnow 및 룬드 입증 , …

15 cc.complexity-theory  pcp  interactive-proofs 

배경 게이트 세트 (기본이라고도 함)에 대한 1 회 읽기 수식은 각 입력 변수가 한 번 나타나는 수식입니다. 1 회 읽기 공식은 일반적으로 De Morgan 기반 (2 비트 게이트 AND 및 OR 및 1 비트 게이트 NOT이 있음) 및 전체 이진 기준 (모든 2 비트 게이트가 있음)을 통해 연구됩니다. 예를 들어, …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

다음 문제의 계산 복잡성은 무엇입니까? 두 복합 주어진 행렬 및 순열 행렬이 있는지 확인을 되도록 : B = PAP ^ T.Bn × n엔×엔n\times nㅏㅏA비비B피피PB = PP티.비=피ㅏ피티.B = P A P^T. 도움이된다면 ㅏㅏA 와 비비B 가 은둔자 라고 가정 할 수 있습니다 (또는 ㅏㅏA 와 비비B 는 실제적이고 대칭 적이라고 가정). …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

We know that DPLL based SAT-solvers fail to answer correctly on unsatisfiable instances of P H P피H피\mathrm{PHP} (pigeon hole principle), e.g. on "there is a injective mapping from n + 1엔+1n+1 to 엔엔n": P H Pn + 1엔: = ⎛⎝⋀나는 ∈ [ n + 1 ] ⋁j ∈ [ n …

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

기본 세트 대한 세트 을 고려하십시오. 여기서 n 과 e_i \ in F_i 이고 k 를 양의 정수로 둡니다 .F = { F 1 , F 2 , … , F n } F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\}U = { e 1 , e 2 , … , e n } U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}| 파이 나 …

15 cc.complexity-theory  np-hardness  set-cover  packing 

다음과 같은 문제를 고려 감안할 때 쿼리 그래프 과 참조 그래프 , 우리는 단사 매핑 찾으려면 의 수를 최소화 에지 되도록 . 이것은 하위 그래프가 소수의 누락 된 가장자리까지 동형이되고 누락 된 가장자리의 수를 최소화하는 방법을 찾고자하는 하위 그래프 동형 문제 의 일반화입니다 .G ' = ( V ' , …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism