«graph-theory» 태그된 질문

또는 를 찾고 싶다고 가정 해 봅시다. ∑엑스∏나는 j ∈ E에프( x나는, x제이)∑엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\sum_x \prod_{ij \in E} f(x_i,x_j)최대엑스∏나는 j ∈ E에프( x나는, x제이)최대엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\max_x \prod_{ij \in E} f(x_i,x_j) V의 모든 라벨링에 대해 max 또는 sum가 사용 되는 경우 그래프 G = \ {V, E \}에 대해 VVV모든 모서리 E 에서 곱이 취해 …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

유전 적 부류의 구조 (예 : 그래프)는 유도 된 하부 구조에서 닫히거나 정점 제거에서 닫히는 구조입니다. 미성년자를 배제하는 그래프 클래스에는 제외 된 특정 미성년자에 의존하지 않는 훌륭한 속성이 있습니다. 마틴 그로 헤 (Martin Grohe)는 마이너를 제외한 그래프 클래스에는 동형에 대한 다항식 알고리즘이 있으며, 카운트가있는 고정 소수점 논리는 이러한 그래프 클래스에 …

15 cc.complexity-theory  graph-theory  relational-structures 

에지 추가 당 O (N ^ 2) 미만의 시간 복잡도로 유 방향 비순환 그래프의 전 이적 폐쇄를 유지하기위한 온라인 알고리즘을 찾고 있습니다. 내 현재 알고리즘은 다음과 같습니다 For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

우리가 큰 (감독) 그래프가있는 경우 와 작은 뿌리 나무 ,의 서브 그래프 찾기위한 가장 잘 알려진 복잡성 무엇 에 동형를 ? 와 가 모두 나무이고 가 평면이거나 나무 너비 (및 기타) 경계가 있는 하위 트리 동형에 대한 결과를 알고 있지만이 그래프와 트리의 경우에는 해당되지 않습니다. GGGHHHGGGHHHGGGHHHGGG

15 ds.algorithms  reference-request  graph-theory 

다음 문제의 복잡성은 무엇입니까? 입력 : 해밀턴 경로에서 K의 NHHHKn케이엔K_n 정점 쌍의 서브 세트R⊆[n]2아르 자형⊆[엔]2R \subseteq [n]^2 양의 정수 k케이k 쿼리 : 모든 ( v , u ) ∈ R , d G ( v , u ) ≤ k에 대해 일치하는 있습니까? (여기서, G = ( [ N ] …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

우리는 하나 개의 소스 노드있는 DAG (방향성 비순환 그래프) 고려 들ss 및 하나 개의 타겟 노드 t를tt ; 동일한 정점 쌍을 연결하는 평행 모서리가 허용됩니다. Kkk - 컷 에지 제거 가지는 모든 파괴 Sss - t의tt 이상 경로 (K)를kk ; 더 짧은 sss - ttt 경로와 긴 "내부"경로 ( sss …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

우리의 점을 연결한다고 가정 방향성 에지들의 세트를 이용하여 등 어느 것이 접속된다 (I + 1, J + 1) 또는 (I + 1, J ) 은 모든 i, j에 대해 독립적이고 균일하게 무작위 로 (i, j + 1)에 연결됩니다 . E ( i , j ) ( i + 1 , …

14 graph-theory 

가장 긴 경로 문제는 NP-hard입니다. (보통?) 증명은 Hamiltonian 경로 문제 (NP- 완료)의 감소에 의존합니다. 여기서 경로는 (노드-) 단순한 것으로 간주됩니다. 즉, 경로에서 정점이 두 번 이상 발생할 수 없습니다. 따라서 가장자리도 단순합니다 (경로에서 가장자리가 두 번 이상 발생하지 않음). 따라서 (노드) 단순 경로를 찾는 요구 사항을 없애고 가장자리 단순 경로 …

14 graph-theory  graph-algorithms  hamiltonian-paths 

Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

그들의 논문에서 대략적인 거리 Oracles 에서 Thorup과 Zwick은 가중 무지향 그래프에 대해 ( 2 k - 1 ) - 근사값을 반환 할 수 있는 크기 의 데이터 구조를 구성 할 수 있음을 보여주었습니다. 그래프에서 정점 쌍 사이의 거리.O ( k 값 N1 + 1 / k)영형(케이엔1+1/케이)O(k n^{1+1/k})( 2 k - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

GI 와 Knot Problem은 모두 수학적 객체의 구조적 동등성을 결정하는 문제입니다. 그들 사이에 연결을 설정 한 결과가 있습니까? 매듭 다항식을 통해 통계 물리학에 대한 매듭 문제의 좋은 연관성이 탐구되었으며 , 대해 유사한 결과가 있습니까?GIGIGI G I를 조사하기 전에 표준 결과 / 경고 / 제안 / 의견이 있는지 알아두면 특히 도움이됩니다.GIGIGI …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

다음 프로세스를 통해 생성 할 수있는 개의 정점 에 대한 그래프에 관심 이 있습니다.nnn 정점 에서 임의의 그래프 시작 합니다. 모든 정점 레이블 G를 같이 하지 않는 .k ≤ n GGGGk≤nk≤nk\le nGGG 새로운 생산 그래프 G′G′G' 새로운 정점 부가함으로써 vvv 하나 이상에 접속되어, 미사용 정점 GGG , 및 연결되지 않은 …

14 ds.algorithms  graph-theory  treewidth 

이 질문은 이전의 질문 중 하나 인 나무의 NP-hard 문제 와 관련이 있습니다. 나무에서 P- 완전한 문제를 찾고 있습니다.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

G=(V,E)G=(V,E)G=(V,E)e(S,Sc)SScminS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c 더 구체적으로 말하면 지름이 적어도 (또는 최대) 라는 것을 알고 있습니다. 이것이 있다면 컨덕턴스에 대해 무엇을 알려줍니까? 반대로, 컨덕턴스가 최대 (또는 적어도) 인지 알고 있다고 가정 합니다. 이것이 있다면 직경에 대해 무엇을 말합니까?DDDαα\alpha

14 graph-theory  co.combinatorics  expanders 

다음 문제에 대해 알려진 것이 있습니까? 전혀 말이 되나요? 뭐라고 해요? 다른 문제와 사소한 것입니까? 시간 복잡성은 무엇입니까? 방향이 지정되지 않은 (일반 / 평면 / 경계도 등) 그래프 G = (V, E)가 주어지면 G '= (V, E-E')가 연결되도록 에지 E '의 최대 하위 집합을 찾습니다. E '의 모든 모서리 e는 …

14 ds.algorithms  graph-theory