무작위 2아웃 수축을 이용한 빠른 최소 절단 알고리즘

초록

이 논문은 각 정점이 무작위로 두 개의 인접 간선을 선택해 동시에 수축하는 “2‑아웃 수축” 기법을 제안한다. 이를 통해 순차, CONGEST 분산, MPC, PRAM 등 다양한 모델에서 전역 최소 절단(엣지 연결도)을 기존 최고 성능보다 빠르게 계산한다. 주요 결과는 O(m log n) 및 O(m + n log³ n) 시간의 순차 알고리즘, ˜O(n⁰·⁸ D⁰·² + n⁰·⁹) 라운드의 서브선형 분산 알고리즘, O(1) 라운드의 MPC 알고리즘, 그리고 O(log³ n) 깊이와 O(m log n + n log⁴ n) 작업량을 갖는 PRAM 알고리즘이다.

상세 분석

본 논문은 전통적인 Karger의 무작위 수축 방식에서 영감을 받아, 각 정점이 독립적으로 두 개의 인접 간선을 무작위로 선택(중복 허용)하고, 선택된 모든 간선을 동시에 수축하는 “2‑아웃 수축(Random 2‑out contraction)”을 도입한다. 이 과정은 그래프의 정점 수를 최소 절단값 λ(또는 최소 차수 δ)와 반비례하게 감소시켜 O(n/λ) 수준으로 압축한다. 핵심 정리는 다음과 같다. 첫째, 2‑아웃 수축 후에도 비자명(minimum) 절단을 상수 확률로 보존한다. 둘째, 수축 후 남은 그래프의 정점 수가 O(n/δ)≤O(n/λ)임을 보이며, 이는 최소 절단을 찾는 데 필요한 탐색 공간을 크게 줄인다. 셋째, 수축 과정에서 발생할 수 있는 절단 손실을 보완하기 위해 O(log n)번 반복하고, 각 간선에 대해 다수결 투표를 적용해 성공 확률을 1‑O(1/n^c) 수준으로 증폭한다.

알고리즘 설계는 네 단계로 구성된다. (A) 2‑아웃 수축을 통해 정점 수를 크게 감소시킨다. (B) 남은 그래프에서 추가적인 스파스화 기법(예: 최소 차수 기반의 희소 연결성 인증서 혹은 균일 샘플링)을 적용해 간선 수를 O(n) 수준으로 줄인다. (C) 압축된 그래프에 기존의 빠른 최소 절단 알고리즘(예: Karger‑Stein, 혹은 최신 deterministic 흐름 기반 방법)을 적용한다. (D) 전체 과정을 O(log n)번 반복하고, 각 반복에서 얻은 절단 후보에 대해 다수결을 수행한다.

각 계산 모델에 맞춘 구현 세부 사항도 제시된다. 순차 모델에서는 인접 리스트와 Union‑Find 구조를 활용해 수축과 압축을 O(m) 시간에 수행하고, 전체 복잡도를 O(m log n) 혹은 O(m + n log³ n)으로 만든다. CONGEST 모델에서는 2‑아웃 서브그래프의 연결 성분 직경이 O(D + log n)임을 이용해, 각 라운드에서 전체 그래프를 O(1) 메시지 크기로 전파하고, 전체 라운드 수를 ˜O(n⁰·⁸ D⁰·² + n⁰·⁹)으로 제한한다. MPC 모델에서는 각 머신이 O(n) 메모리를 갖는 상황에서, 2‑아웃 수축을 로컬 연산으로 병렬화하고, 전체 과정을 O(1) 라운드에 마무리한다. 마지막으로 PRAM 모델에서는 동일한 수축 과정을 CREW PRAM에서 O(log³ n) 깊이와 O(m log n + n log⁴ n) 작업량으로 구현한다.

이러한 설계는 기존 방법들이 의존하던 전역 샘플링이나 복잡한 스패닝 트리 패킹에 비해 구현이 간단하고, 실제 데이터에 적용하기 쉬운 장점을 제공한다. 또한, 2‑아웃 수축이 그래프 구조를 자연스럽게 압축하면서도 최소 절단을 보존한다는 이론적 보장은, 향후 다른 그래프 압축 및 커넥티비티 문제에도 확장 가능성을 시사한다.