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

합니까 의미 E = N E를 ?E X P = N E X P이자형엑스피=엔이자형엑스피\mathsf{EXP}=\mathsf{NEXP}E = N E이자형=엔이자형\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

하자 무향 그래프 될. 의 분해 분리 된 서브 세트에 불리며 해밀턴 분해 의 서브 그래프는 각각의 세트에 의해 유도되는 경우 어느 해밀턴 그래프 또는 단일 에지 구성 .G = ( V, E)지=(V,이자형)G=(V,E)VVVV나는V나는V_i지지GV나는V나는V_i| V나는| =2|V나는|=2|V_i|=2 예 : 완전 이분 그래프 은 경우에만 Hamilton 분해를 .케이m , n케이미디엄,엔K_{m,n}m = n미디엄=엔m=n 주어진 …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

무어 매트릭스는 Vandermonde 매트릭스와 유사하지만 약간 수정 된 정의를 가지고 있습니다. http://en.wikipedia.org/wiki/Moore_matrix 주어진 n×nn×nn \times n 풀 랭크 무어 매트릭스 모듈로의 정수를 결정하는 계산의 복잡성은 어떤 정수입니까? 캔 무어에서 감소 될 행렬식 O(n3)O(n3)O(n^{3}) 에 FFT 기술을 이용하여 O(nlogan)O(nloga⁡n)O(n\log^{a}n) 일부 ∈ R + ∪ { 0 } ?a∈R+∪{0}a∈R+∪{0}a \in \mathbb{R}_{+} \cup …

10 cc.complexity-theory  algebraic-complexity 

경계도 그래프에서 분수 색도를 근사화하는 것은 apx-hard입니까?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

컴퓨터 과학의 물리적 문제 모델로 축소 될 수있는 어려운 문제 (NP 또는 그 이상)의 예를 찾고 있습니다. 예를 들어, Ising 모델에서 max-2-sat를 에너지 최소화로 줄일 수 있습니다. 이 유형의 축소에 대한 더 많은 예를 찾고 싶습니다.

10 cc.complexity-theory  reductions  physics  formal-modeling 

맥락 : 우리는 오직 digraph 만 고려한다. CYCLE을주기가있는 그래프의 언어로 지정하십시오. NL 완료 문제입니다. HASEDGE를 하나 이상의 모서리가있는 그래프의 언어로 설정하십시오. 그런 다음 사소한 는 더 이상 NL 하드가 아니며 CYCLE ∪ ¯ HASEDGE 는 그대로 유지됩니다.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} 실제 문제 : 언어 는 여전히 NL-hard입니다.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

이 { 0 , 1 } 이상의 유한 문자열로 된 부울 언어 라고 가정하십시오 . 하자 L를 n은 문자열의 숫자 L 길이 없음 . 기능을 위해 D ( N ) 양의 실수의 양의 정수에서, L은 가지고 상부 밀도 D ( N ) 의 경우 L , N을 ≤ 2 N …

10 cc.complexity-theory  reference-request  p-hardness 

언어 클래스에 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를 , …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

혼합 그래프 주어 G=(V,E,A)지=(V,이자형,ㅏ)G=(V,E,A) 가장자리 E이자형E 원호 AㅏA 에서 매칭 발견 E이자형E 그 최소화에 아크의 수 G/M지/미디엄G/M , G/MG/MG/M 로부터 얻어지는 GGG 유사한 정점 수축 및 제거를 평행 호. 이 문제의 결정 버전이 NP- 완전합니까? 그것은 문헌에서 연구 되었습니까?

10 cc.complexity-theory  reference-request  graph-theory 

양자 복잡성 이론에 관한 논문에 대한 Watrous의 훌륭한 설문지를 읽고 있습니다. 그는 QMA 완성 문제가 명백한 약속 (즉, 언어)을 가지고있는 것으로 밝혀지면 놀라운 일이라고 말합니다. 왜 그렇습니까? k-local Hamiltonian 문제가 약속 문제라는 사실과 관련이 있습니까? 또한 이것은 관련 질문으로 이어집니다. 본질적으로 "양자"가 아닌 QMA 완료 문제가 있습니까?

10 cc.complexity-theory  quantum-computing 

n 개의 변수 ( ) 에 m 개의 항이있는 모노톤 CNF 공식 은 f ( x 1 , … , x n ) = ⋀ C i 형식의 공식입니다. 여기서 각 C i 는 일부 하위 집합의 OR입니다 변수 x 1 , … , x n 및 i의 범위는 1 …

10 cc.complexity-theory  circuit-complexity  formulas 

유향 그래프 주어 및 두 꼭지점 들 , t ∈ V를 . s 에서 t 까지 한 쌍의 간단한 경로 p 1 , p 2 는 에지를 공유하지 않으면 에지 분리됩니다.G = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in V피1, p2p1,p2p_1,p_2에스ss티tt 최대 흐름을 사용하면 에서 t 까지 …

10 cc.complexity-theory  graph-algorithms 

경계 오류 양자 쿼리 복잡성 ( Q(f)Q(f)Q(f) )과 결정 론적 쿼리 복잡성 ( D(f)D(f)D(f) ) 또는 경계 오류 무작위 쿼리 복잡성 ( R(f)R(f)R(f) ) 사이의 지수 적 분리 는 알려져 있지만 특정 부분 함수에만 적용됩니다. 부분 함수에 특별한 구조 가있는 경우 와 다항식으로 관련됩니다 D(f)=O(Q(f)9))D(f)=O(Q(f)9))D(f) = O(Q(f)^9)). 그러나 나는 주로 …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

일반 그래프에서 도미 네이션 세트 문제를 고려하고 그래프의 정점 수로 둡니다 . 욕심 근사 알고리즘은 요소의 근사 보증 제공 1 + 로그 N 즉,이 솔루션은 다항식 시간에 찾을 수있어, S 등이 | S | ≤ ( 1 + log n ) o p t , 여기서 o p t 는 …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

스팬 프로그램은 여기에 소개 된 부울 함수를 지정하는 선형 대수 방식입니다 . 최근에,이 모델은 부정적인 대적 방법 이 양자 쿼리 복잡성 의 엄격한 특성화 (적어도 까지)를 제공한다는 것을 보여주기 위해 사용 되었습니다 .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n 스팬 프로그램을 양자 쿼리 복잡성에 연결하는 복잡성 측정은 감시 크기입니다. 이 방법은 인증서 …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity