«graph-algorithms» 태그된 질문

하자 그래프에 걸쳐 나무의 수를 나타내는 와 정점. 산술 연산 에서 를 계산하는 알고리즘이 있습니다. 이 알고리즘은 . 여기서 Q 는 G 의 라플라시안 이고 J 는 1 로만 구성된 행렬 입니다. 이 알고리즘에 대한 자세한 내용은 Biggs-대수 그래프 이론 또는 이 Math SE 질문을 참조하십시오 .t(G)t(G)t(G)GGGnnnt(G)t(G)t(G)O(n3)O(n3)O(n^3)1n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

피드백 정점 세트는 일반 그래프에 대해 NP가 완료되었습니다. 정점 커버로부터의 감소로 인해 차수 8 경계 그래프에 대해 NP- 완전한 것으로 알려져 있습니다. 위키 백과 문서는 이 정도-3 경계 그래프에 대한 폴리 시간 풀 수 있으며 학위 4 경계 그래프의 NP-완료되었음을 말한다. 그러나 나는 이것에 대한 어떤 증거도 찾을 수 없었습니다. …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

isoperimetric 상수라고도 하는 그래프 의 Cheeger 상수를 계산하는 것은 (기본적으로 최소 면적 / 볼륨 비율이기 때문에) NP- 완전한 것으로 알려져 있습니다. 일반적으로 근사치입니다. 정확한 다항식 알고리즘이 특수 클래스의 그래프에 대해 알려 진지 알고 싶습니다. 예를 들어, 일반 그래프의 경우 NP- 완료 상태 입니까? 대한 거리 정규 그래프 ? (나는 그들의 …

19 ds.algorithms  reference-request  graph-algorithms 

하자 함께 가중 무향 그래프 될 정점과 가장자리. 시간 O (n)에서 " 와 사이의 거리"형식의 쿼리에 응답 할 수 있도록 를 사전 처리 하고 크기의 데이터 구조를 생성 할 수 있습니까?n m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv 문제가 …

19 graph-theory  graph-algorithms  ds.data-structures 

무 방향 가중치 그래프 지 = ( V, E, w )지=(V,이자형,승)G = (V, E, w) (음이 아닌 가중치 포함) 가 있다고 가정 합니다. 모든 최단 경로 지지G가 고유 하다고 가정 해 봅시다 . 이 경로 (가중치되지 않은 모서리의 순서)가 있지만 모르는 경우 G( n2)(엔2)\binom{n}{2}지지G 자체를 . 이 경로를 다항식 시간으로 …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

그래프에 새 노드 / 에지를 추가함에 따라 그래프의 상대적으로 균형 잡힌 스패닝 트리를 유지하는 방법을 찾고 있습니다. 단일 노드 "루트"로 시작하는 무 방향 그래프가 있습니다. 각 단계에서 새 노드와 그래프에 연결하는 가장자리 또는 두 개의 이전 노드를 연결하는 새 가장자리를 그래프에 추가합니다. 그래프를 키우면 스패닝 트리가 유지됩니다. 대부분 새 노드와 …

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

주어진 그래프에 특정 마이너 세트가 있는지 테스트하기 위해 무료 그래프 라이브러리가 있는지 알고 싶습니다.

18 graph-algorithms  implementation  graph-minor 

한정된 트리 폭 그래프 에서 다항식 시간으로 많은 하드 그래프 문제를 해결할 수 있습니다. 실제로, 교과서는 전형적으로 예를 들어 독립 세트를 예로 사용하는데, 이는 국소 문제 이다. 대략 로컬 문제는 모든 정점의 작은 이웃을 검사하여 솔루션을 확인할 수있는 문제입니다. 흥미롭게도, 전역 특성 의 문제 (해밀턴 경로) 조차도 한정된 트리 폭 …

18 graph-theory  graph-algorithms  treewidth 

그래프 의 트리 폭 을 계산하고 싶습니다 . 하위 그래프 동형에 대한 VF2 와 같은 다른 NP-hard 그래프 문제에 대한 휴리스틱이 실제로 있으며 igraph 에서 코드를 사용할 수 있습니다 . 나는 그래프에서 그것들을 시험해 보았고 내 데이터에 대해 매우 빠르게 실행되는 것을 발견했습니다. 비슷한 맥락에서 트리 폭 계산을위한 빠른 알고리즘이 …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

가 구조를 모르는 상수도 트리 라고 가정하십시오 . 문제는 "노드 가 노드 에서 노드 까지의 경로에 있습니까?" 와 같은 쿼리를 요청 하여 트리 를 출력하는 것입니다 . 오라클은 각 쿼리에 일정한 시간 안에 응답 할 수 있다고 가정합니다. 트리의 노드 수인 값을 알고 있습니다. 목표는 트리를 출력하는 데 걸리는 시간을 …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

하자 무향 그래프 간단하고 있도록 S , t ∈ V ( G는 ) 구별 꼭지점. 간단한 st 경로의 길이를 경로의 모서리 수로 설정하십시오. 각 경로의 길이가 홀수이고 각 경로 쌍의 정점 세트가 s와 t에서만 교차하도록 간단한 st 경로 세트의 최대 크기를 계산하는 데 관심이 있습니다. 즉, 내부적으로 정점 분리 된 …

18 matching  graph-algorithms 

유향 비순환 그래프 이차 선형 공간 또는 시간을 필요로하지 않고 도달 쿼리를 가능하게하는 데이터 구조는 무엇입니까? 이상적으로는 꼭짓점 당 O (log n) 공간과 대수 시간을 사용하여 알고리즘을 찾는⟨ V, E⟩⟨V,이자형⟩{\langle}V,E{\rangle} 경우 .n = | V| + | 이자형|엔=|V|+|이자형|n=|V|+|E| 표준 정렬 알고리즘의 일부 일반화를 기반으로 이와 같은 데이터 구조가 존재해야한다는 것이 …

17 graph-algorithms 

우리가 그래프한다고 가정 해 봅시다 인 경우 -connected 어떤의 제거 정점 및 의 가장자리 항상 잎 연결된 그래프. 예를 들어 표준 정의에 따른 연결 그래프 는 새 정의에 따라 연결입니다. 가 연결 되어 있는지 확인하는 다항식 시간 알고리즘이 있습니까? 여기서 입력은 , 및 입니다.( a , b ) a b …

17 ds.algorithms  graph-theory  graph-algorithms 

스위치 네트워크는 (이름이 발명되는) 노드의 세 가지 유형으로 구성됩니다 하나의 시작 노드 한쪽 끝 노드 하나 이상의 스위치 노드 스위치 노드에는 3 개의 출구가 있습니다 : 왼쪽, 위, 오른쪽; 는 두 개의 상태 L과 R 과 목표 상태 TL 또는 TR 입니다. 각 스위치는 다음 규칙에 따라 통과 할 수 …

17 ds.algorithms  reference-request  graph-algorithms  np