[논문 리뷰] Approximating Sparsest Cut in Graphs of Bounded Treewidth

Eden Chlamtáč, Robert Krauthgamer외 1명|arXiv (Cornell University)|2010. 06. 21.

Complexity and Algorithms in Graphs참고 문헌 28인용 수 10

한 줄 요약

이 논문은 유계 트리폭을 가진 그래프에서 일반 요구량을 가진 Sparsest-Cut 문제에 대해, 수준 $ r + O(1) $의 선형계획법 타워링 이론인 Sherali-Adams 계층을 사용하여, 그래프 크기와 무관한 상수 요인 근사 알고리즘을 제시한다. 이 접근법은 기존의 유량-자르기 갭 및 메트릭 임bedding 기법을 회피하고, 구조적 그래프 가족에서 상수 요인 근사를 가능하게 하는 계층적 선형계획법 강화 기법을 활용한다.

ABSTRACT

We give the first constant-factor approximation algorithm for Sparsest Cut with general demands in bounded treewidth graphs. In contrast to previous algorithms, which rely on the flow-cut gap and/or metric embeddings, our approach exploits the Sherali-Adams hierarchy of linear programming relaxations.

연구 동기 및 목표

• 유계 트리폭 그래프에서 일반 요구량을 가진 Sparsest-Cut 문제에 대해 이전에 상수 요인 알고리즘이 알려져 있지 않았던 오랜 동안의 근사 알고리즘 격차를 메우는 것.
• 유량-자르기 갭 또는 메트릭 임베딩에 의존하지 않는 새로운 접근법을 개발하여, 이러한 기법들이 유계 트리폭 환경에서는 적용 범위가 제한됨을 고려하는 것.
• Sherali-Adams 선형계획법 계층이 특정한 구조적 그래프 가족에서 Sparsest-Cut 문제에 대해 상수 요인 근사를 가능하게 할 수 있음을 보여주는 것.
• 흐름 기반 마르코프 체인 모델과 대칭 흐름 분해를 이용해, 유계 트리폭에서 상수 요인 근사를 위한 이론적 기반을 마련하는 것.
• 이러한 그래프에서 수준 $ r + O(1) $의 Sherali-Adams 타워링 이론의 정수화 갭이 유계임을 증명하여, 상수 요인 라운딩이 가능함을 보장하는 것.

제안 방법

• 알고리즘은 Sparsest-Cut의 표준 선형계획법 타워링 이론을 강화하기 위해 수준 $ r + O(1) $의 Sherali-Adams 계층을 사용한다. 여기서 $ r $ 은 트리폭이다.
• 소스와 싱크 쌍 간의 대칭 흐름 경로를 용량 제약 조건을 만족하도록 모델링하기 위해, $ k $개의 노드를 각 층에 가진 계층적 용량 제약이 있는 방향 그래프 $ H_k(N, \rho) $ 를 구성한다.
• 소스 $ \{s_0,s_1\} $ 에서 싱크 $ \{t_0,t_1\} $ 로 향하는 경로에 대해 대칭 흐름 분해를 정의하며, 총 흐름량 $ |F| = (N - k)\varepsilon $ 이다. 이는 용량을 준수하는 흐름과 대칭적인 종단점 사용을 보장한다.
• 흐름 그래프의 노드에 대해 잠재 함수 $ A(v) $ 를 도입하여, 종단점이 반대편에 도달할 확률을 측정하고, 이를 통해 흐름량이 $ \frac{1}{2} + A(t_1) $ 와의 비율로 유계됨을 증명한다.
• 라운딩 절차는 대칭성과 경로 분해를 활용하여 Sherali-Adams 해를 할당 분포에 따라 유효한 컷으로 매핑한다. 이는 흐름의 구조를 유지한다.
• 분석 결과, $ N = \omega(k^2) $ 일 경우, 흐름량이 $ |F| \geq (1 - o(1))(k-1)(\frac{1}{2} + A(t_1)) $ 를 만족함을 보여, 큰 대칭 흐름이 존재함을 증명하며, 이는 저비용 컷이 존재함을 의미한다.

실험 결과

연구 질문

• RQ1 유계 트리폭 그래프에서 일반 요구량을 가진 Sparsest-Cut 문제에 대해, 그래프 크기와 무관한 상수 요인 근사 알고리즘을 설계할 수 있는가?
• RQ2 유계 트리폭 그래프에서 수준 $ r + O(1) $ 의 Sherali-Adams 계층이 Sparsest-Cut 문제에 대해 유계 정수화 갭을 제공하는가?
• RQ3 계층적 그래프에서의 대칭 흐름 분해를 사용하여, 유량-자르기 갭에 의존하지 않고 저비용 컷을 구성할 수 있는가?
• RQ4 각 층에 $ O(k) $ 개의 노드를 가지는 마르코프 흐름 그래프를 구성하여, 소스에서 싱크 쌍으로 $ \Omega(k)(\frac{1}{2} + A(t_1)) $ 의 흐름을 지원할 수 있는가?
• RQ5 이러한 흐름 그래프에서 잠재 함수 $ A(v) $ 는 층을 따라 어떻게 행동하는가? 그리고 이 함수를 사용하여 흐름량을 하한으로 유도할 수 있는가?

주요 결과

• 논문은 트리폭 $ r $ 인 그래프에서 일반 요구량을 가진 Sparsest-Cut 문제에 대해, 그래프 크기와 무관한 상수 요인 근사 알고리즘을 제시하며, 근사도는 $ C(r) $ 이다.
• 알고리즘은 시간 복잡도 $ (2^r n)^{O(1)} $ 에서 동작하여 트리폭에 대해 고정 매개변수 다항시간 알고리즘으로 간주된다.
• 유계 트리폭 그래프에서 수준 $ r + O(1) $ 의 Sherali-Adams 타워링 이론의 정수화 갭은 유계이며, 이는 상수 요인 라운딩이 가능함을 보장한다.
• $ N = \omega(k^2) $ 일 경우, 구성된 흐름 그래프 $ H_k(N, \varepsilon) $ 는 대칭 흐름량 $ |F| = (N - k)\varepsilon $ 을 지원하며, $ |F| \geq (1 - o(1))(k-1)(\frac{1}{2} + A(t_1)) $ 를 만족한다.
• 잠재 함수 $ A(v) $ 는 층을 따라 선형적으로 감소하며, $ A(v^j_i) = \frac{1}{2} - \frac{i}{k-1} $ 이고, 큰 $ N $ 에 대해 $ A(t_1) \approx -\frac{1}{2} + \frac{N \varepsilon}{k-1} $ 이다.
• 이러한 구성은 크기가 $ \Omega(k) \cdot (\frac{1}{2} + A(t_1)) $ 인 대칭 흐름이 존재함을 증명하며, 이는 라운딩 절차를 통해 저비용 컷이 존재함을 암시한다.