[논문 리뷰] LP Relaxation and Tree Packing for Minimum $k$-cuts

Chandra Chekuri, Kent Quanrud외 1명|arXiv (Cornell University)|2018. 08. 17.

Complexity and Algorithms in Graphs참고 문헌 21인용 수 6

한 줄 요약

이 논문은 최소 $k$-컷 문제에 대한 선형계획법(이하 LP) 근사의 이중성 기반 분석을 제시하며, 그 이중성이 카거의 최소 컷 분석을 $k$-컷으로 확장하는 트리 패킹을 제공함을 보여준다. 주요 기여는 $2(1-1/n)$의 정수화 간극 증명과 최적 LP 해와 재귀적 트리 패킹 간의 깔끔한 연결을 통해 토르룹의 알고리즘을 $n$ 배 빠르게 한 것이다.

ABSTRACT

Karger used spanning tree packings to derive a near linear-time randomized algorithm for the global minimum cut problem as well as a bound on the number of approximate minimum cuts. This is a different approach from his well-known random contraction algorithm. Thorup developed a fast deterministic algorithm for the minimum $k$-cut problem via greedy recursive tree packings. In this paper we revisit properties of an LP relaxation for $k$-cut proposed by Naor and Rabani, and analyzed by Chekuri, Guha and Naor. We show that the dual of the LP yields a tree packing, that when combined with an upper bound on the integrality gap for the LP, easily and transparently extends Karger's analysis for mincut to the $k$-cut problem. In addition to the simplicity of the algorithm and its analysis, this allows us to improve the running time of Thorup's algorithm by a factor of $n$. We also improve the bound on the number of $α$-approximate $k$-cuts. Second, we give a simple proof that the integrality gap of the LP is $2(1-1/n)$. Third, we show that an optimum solution to the LP relaxation, for all values of $k$, is fully determined by the principal sequence of partitions of the input graph. This allows us to relate the LP relaxation to the Lagrangian relaxation approach of Barahona and Ravi and Sinha; it also shows that the idealized recursive tree packing considered by Thorup gives an optimum dual solution to the LP. This work arose from an effort to understand and simplify the results of Thorup.

연구 동기 및 목표

• 최소 $k$-컷 문제에 대한 토르룹의 복잡한 트리 패킹 알고리즘을 기존 알려진 LP 근사와 연결함으로써 단순화하고 명확화하는 것.
• 이중성의 투명한 관계를 확립하여 $k$-컷 LP의 이중성이 트리 패킹으로 해석되며, 카거의 최소 컷 분석을 $k$-컷 설정으로 확장하는 것.
• 새로운 이중성 통찰을 활용하여 토르룹의 결정적 $k$-컷 알고리즘의 실행 시간을 $n$ 배 향상시키는 것.
• 나오르-라바니 LP 근사의 정수화 간극이 정확히 $2(1 - 1/n)$임을 증명하여 기존의 근사 한계와 일치시킴.
• 최적의 $k$-컷 LP 해가 그래프의 주요 분할 시퀀스에 의해 완전히 결정됨을 보이며, 라그랑주 보정과 재귀적 분해와 연결함.

제안 방법

• 최소 $k$-컷 LP 근사를 재구성하고 그 이중성을 분석하여, 타당한 이중 해가 그래프 내 트리 패킹과 대응됨을 보임.
• 그래프의 주요 분할 시퀀스에서 유도된 이상화된 재귀적 트리 패킹을 이용해 이중 해를 구성함.
• 이 이중 해의 목적 함수 값이 LP 값과 정확히 일치함을 증명하여, 보완성 조건을 통해 최적성 확립.
• 이중 트리 패킹을 활용해 $2(1-1/n)$-근사 $k$-컷의 수를 바ounds함으로써, 카거의 분석을 $k$-컷으로 확장.
• 그리디 트리 패킹이 이상화된 이중 해를 근사함을 보이며, 승법적 가중치 업데이트 원리를 통해 더 빠른 알고리즘 가능하게 함.
• 주요 분할 시퀀스를 통한 동일한 최적 값 증명을 통해 라그랑주 보정과 LP 근사 간의 동치성을 확립함.

실험 결과

연구 질문

• RQ1 최소 $k$-컷 LP 근사의 이중성은 트리 패킹으로 해석될 수 있으며, 이는 카거의 최소 컷 분석과 어떻게 관련이 있는가?
• RQ2 나오르-라바니 LP 근사의 $k$-컷에 대한 정확한 정수화 간극은 무엇이며, 이중성에 의해 깔끔하게 증명될 수 있는가?
• RQ3 최적의 $k$-컷 LP 해는 그래프의 주요 분할 시퀀스와 어떻게 관련이 있는가?
• RQ4 토르룹의 트리 패킹 알고리즘은 LP 이중성과 트리 패킹과의 연결을 통해 단순화되고 빠르게 개선될 수 있는가?
• RQ5 토르룹 알고리즘에서 사용된 그리디 트리 패킹은 승법적 가중치 업데이트를 통한 이중 LP 근사와 동치인가?

주요 결과

• 최소 $k$-컷 LP의 이중성은 타당한 트리 패킹을 제공하며, 이 패킹을 통해 카거의 최소 컷 분석을 $k$-컷 문제로 확장할 수 있음.
• 나오르-라바니 LP 근사의 $k$-컷에 대한 정수화 간극은 정확히 $2(1 - 1/n)$이며, 이중성과 보완성 조건을 통해 증명됨.
• 최적의 $k$-컷 LP 해는 입력 그래프의 주요 분할 시퀀스에 의해 완전히 결정됨.
• 최적의 이중 해는 이상화된 재귀적 트리 패킹과 대응되며, 이는 토르룹 알고리즘에서 사용된 구조와 정확히 일치함.
• 토르룹의 결정적 $k$-컷 알고리즘의 실행 시간은 새로운 이중성 기반 분석을 통해 $n$ 배 향상됨.
• 최소 $k$-컷에 대한 라그랑주 보정 값은 LP 근사 값과 동치임을 확인하여, 두 가지 알려진 근사 접근법 간의 동치성을 입증함.