[논문 리뷰] Dynamic framework for edge-connectivity maintenance of simple graphs

Blazej Wrobel|arXiv (Cornell University)|2026. 01. 27.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

다이나믹 프레임워크가 단일 간선 업데이트 하에서 비방향 단순 그래프의 k-edge-연결성을 유지하고, 추가 후 중복성 제거를 수행하며 삭제 후 표적 증강을 통해 이를 달성합니다. 희소 증명서, Link-Cut Tree, 그리고 Dinic의 알고리즘을 사용합니다.

ABSTRACT

We present a framework for dynamically maintaining $k$-edge-connectivity of an undirected simple graph $G$ under edge insertions and deletions, where $k$ is a fixed constant. After an edge insertion, the algorithm identifies and removes a distinct redundant edge to maintain sparsity, in $O(k \log n)$ amortized time. After an edge deletion that reduces $λ(G)$ below $k$, the algorithm restores $k$-edge-connectivity by adding at most two new edges (excluding the deleted edge), in $O(k^{3/2} n^{3/2})$ time. The insertion procedure combines Nagamochi-Ibaraki sparse certificates with Link-Cut Trees; the deletion procedure uses a single maximum-flow computation on the sparsified graph. Throughout all updates, the graph is maintained with $O(kn)$ edges.

연구 동기 및 목표

• 동적 간선 업데이트 하에서 k-에지 연결성의 능동적 유지의 동기화 및 이를 형식화한다.
• 그래프를 희소하게 유지하면서 λ(G) ≥ k를 보장하는 프레임워크를 개발한다.
• 간선 삽입 후 중복 제거 알고리즘과 간선 삭제 후 연결성 회복 알고리즘을 제공한다.
• 정확성을 보장하고 복잡도 분석을 위해 기존 데이터 구조와 흐름 기법을 활용한다.

제안 방법

• Nagamochi-Ibaraki 희소 증명서를 사용하여 k-에지 연결된 부분 그래프(처음 k개의 포레스트)를 G_cert로 표현한다.
• Link-Cut Tree로 k개의 분리된 포레스트를 유지하여 포레스트의 타당성을 보존하면서 효율적인 간선 삽입과 교환을 지원한다.
• 간선의 추가를 k개의 포레스트에 걸쳐 TryAdd를 연쇄적으로 수행하여 간선을 흡수하거나 중복된 것을 폐기하는 방식으로 처리한다.
• 간선 삭제로 연결성이 k 미만으로 감소하면 잔여 그래프에서 Dinic’s 최댓값 흐름을 실행하여 최소 증강 집합을 식별하고 최소 컷을 가로지르는 간선을 추가한다.

실험 결과

연구 질문

• RQ1 단일 간선 업데이트 하에서 그래프를 (O(kn) 개의 간선)로 희소하게 유지하면서 λ(G) ≥ k를 능동적으로 어떻게 유지할 수 있는가?
• RQ2 간선 삽입 후 업데이트를 단순히 되돌리지 않고 안전하게 중복 제거를 어떻게 수행할 것인가?
• RQ3 간선 삭제 후 흐름 기반 방법을 사용하여 최소 증강 간선으로 k-에지 연결성을 어떻게 회복할 것인가?

주요 결과

• 삽입 후 중복 제거는 균등화된 시간 O(k log n)로 실행된다.
• k개의 Link-Cut Tree를 갖는 희소 증명서는 λ(G) ≥ k를 보존하고 |E|를 O(kn)으로 한정한다.
• 삭제 후 복원은 잔여 그래프에서 Dinic’s 알고리즘을 사용하며 복잡도는 O(min(n^{2/3}, m^{1/2})·m)이고 희소화로 O(k·n^{5/3})로 개선될 수 있다.
• k번째 포레스트에서 TryAdd 후 버려진 간선은 k-에지 연결성 유지를 위한 중복으로 보장된다.
• 제거된/삽입된 간선이 서로 다르도록 하여 자명한 되돌림을 피한다.