[논문 리뷰] Improved Region-Growing and Combinatorial Algorithms for $k$-Route Cut Problems

Guru Guruganesh, Laura Sanità외 1명|arXiv (Cornell University)|2014. 10. 19.

Computational Geometry and Mesh Generation참고 문헌 39인용 수 3

한 줄 요약

이 논문은 $k$-route 컷 문제, 즉 $k$-route 멀티컷, 멀티웨이 컷, $s$-$t$ 컷에 대한 향상된 조합적 알고리즘과 영역 성장 알고리즘을 제안한다. 이는 이전 방법에서 발생하는 $O(\log^2 r)$ 비용 과다 증가를 피할 수 있는 새로운 재귀적 영역 성장 보조정리를 도입하여, $k$-route 멀티컷에 대해 $O(\ln r \ln \ln r)$-근사 비율을 달성하고, $k$-route 멀티웨이 컷의 이중근사 보증을 크게 향상시킨다.

ABSTRACT

We study the {\em $k$-route} generalizations of various cut problems, the most general of which is \emph{$k$-route multicut} ($k$-MC) problem, wherein we have $r$ source-sink pairs and the goal is to delete a minimum-cost set of edges to reduce the edge-connectivity of every source-sink pair to below $k$. The $k$-route extensions of multiway cut ($k$-MWC), and the minimum $s$-$t$ cut problem ($k$-$(s,t)$-cut), are similarly defined. We present various approximation and hardness results for these $k$-route cut problems that improve the state-of-the-art for these problems in several cases. (i) For {\em $k$-route multiway cut}, we devise simple, but surprisingly effective, combinatorial algorithms that yield bicriteria approximation guarantees that markedly improve upon the previous-best guarantees. (ii) For {\em $k$-route multicut}, we design algorithms that improve upon the previous-best approximation factors by roughly an $O(\sqrt{\log r})$-factor, when $k=2$, and for general $k$ and unit costs and any fixed violation of the connectivity threshold $k$. The main technical innovation is the definition of a new, powerful \emph{region growing} lemma that allows us to perform region-growing in a recursive fashion even though the LP solution yields a {\em different metric} for each source-sink pair. (iii) We complement these results by showing that the {\em $k$-route $s$-$t$ cut} problem is at least as hard to approximate as the {\em densest-$k$-subgraph} (DkS) problem on uniform hypergraphs.

연구 동기 및 목표

• 클래식한 멀티컷 및 멀티웨이 컷 문제를 일반화하는 $k$-route 컷 문제에 대한 효율적인 근사 알고리즘 설계의 과제를 해결하기 위해.
• LP 해에서 각 소스-싱크 쌍에 대해 다른 메트릭을 가질 경우 발생하는 이전 영역 성장 접근법의 높은 비용 과다 증가 문제를 극복하기 위해.
• $k=2$일 때 $O(\sqrt{\log r})$만큼 향상된 근사 인자로 $k$-route 멀티컷의 근사 인자를 감소시키고, $k$-route 멀티웨이 컷의 이중근사 보증을 향상시키기 위해.
• 균일 초그래프에서 밀도가 높은 $k$-부분그래프 문제만큼이나 어렵다는 강력한 난이도 결과를 제시하여 $k$-route $s$-$t$ 컷이 최소한 그만큼 어렵다는 것을 보여주기 위해.

제안 방법

• 각 소스-싱크 쌍이 LP 해에서 다른 메트릭을 가질 수 있는 상황에서도 효율적인 영역 확장을 가능하게 하는 새로운 재귀적 영역 성장 보조정리를 도입한다.
• 비용 한계를 개선하기 위해 알고리즘이 $k$-연결성 임계값($\gamma > 1$)에 약간의 위반을 수용하는 이중근사 접근법을 적용한다.
• 노드 및 간선 기여도를 기반으로 한 부피 분석을 사용하여 컷 집합의 비용을 최적 해와 로그 인자로 bound한다.
• 그래프를 분할하고 고연결성 컴포넌트를 별도로 처리하는 재귀적 알고리즘 구조를 활용하여 깊이와 비용을 감소시킨다.
• LP 완화와 조합적 반올림을 결합한 이중 분석 프레임워크를 활용하여 비용 효율성을 유지한다.
• 노드 제거 제약 조건에 맞게 영역 성장 과정을 수정하여 $k$-route 노드-멀티컷 변형으로 기법을 확장한다.

실험 결과

연구 질문

• RQ1 이전 방법에서 발생하는 $O(\log^2 r)$ 비용 과다 증가를 피할 수 있는 $k$-route 멀티컷에 대한 영역 성장 알고리즘을 설계할 수 있는가?
• RQ2 $k$-route 멀티웨이 컷에 대해 달성 가능한 최선의 이중근사 근사 비율은 무엇이며, 이는 이전의 한계를 초월할 수 있는가?
• RQ3 $k$-route $s$-$t$ 컷의 복잡도는 다른 어려운 문제들과 비교해 어떻게 되며, 이는 근사 알고리즘에 어떤 영향을 미치는가?
• RQ4 밀도가 높은 $k$-부분그래프 문제의 최신 기술을 향상시키지 않고도 $k$-route $s$-$t$ 컷에 대해 $\operatorname{poly}(k)$-근사 비율을 달성할 수 있는가?

주요 결과

• 이 논문은 $k$-route 멀티컷에 대해 $O(\ln r \ln \ln r)$-근사 비율을 달성하였으며, $k=2$일 때 이전 최고 성능보다 $O(\sqrt{\log r})$만큼 향상되었다.
• $k$-route 멀티웨이 컷의 경우 제안된 조합적 알고리즘이 비용 한계 $O((k-1)^2 \ln r \ln \ln r) \cdot \text{OPT}$를 갖는 이중근사 근사를 제공하여 이전 보증보다 크게 향상되었다.
• 새로운 재귀적 영역 성장 보조정리는 각 쌍에 대해 다른 메트릭을 처리하기 위해 부피 기반 반경 선택을 통해 $O(\log^2 r)$ 과다 증가 없이 비용 효율적인 컷을 가능하게 한다.
• $k$-route 노드-멀티컷에 대한 알고리즘은 엣지 컷 변형과 동일한 渐近 근사 비율을 달성하여, 노드 기반 연결성으로의 프레임워크 확장을 성공적으로 확장하였다.
• 강력한 난이도 결과를 통해 $k$-route $s$-$t$ 컷이 균일 초그래프에서의 밀도가 높은 $k$-부분그래프 문제만큼이나 어렵다는 것이 입증되었으며, 이는 $\operatorname{poly}(k)$-근사 비율을 달성하기 위해서는 DkS 문제의 최신 기술 향상이 필수적임을 시사한다.
• 분석을 통해 $\gamma = \frac{k}{k-1}$로 설정할 경우 비용이 $O((k-1)^2 \ln r \ln \ln r) \cdot \text{OPT}$인 타당한 해를 얻을 수 있으며, 이는 멀티웨이 컷의 경우와 동일한 이중근사 한계를 만족한다.