[논문 리뷰] A Constant Factor Approximation Algorithm for Unsplittable Flow on Paths

Paul Bonsma, Jens Schulz외 1명|arXiv (Cornell University)|2011. 01. 01.

Optimization and Search Problems참고 문헌 25인용 수 1

한 줄 요약

이 논문은 경로상의 분할 불가 흐름 문제(UFPP)에 대해 처음으로 다항시간 내의 상수 요인 근사 알고리즘을 제시하며, 임의의 ε > 0에 대해 근사 비율 7 + ε을 달성한다. 이 접근법은 새로운 용량 감소 프레임워크와 큰 작업을 다루기 위해 기하학적으로 영감을 얻은 동적 계획법을 결합하며, 최대 무게를 가진 직사각형 집합의 독립 집합 문제의 특수 케이스를 최적으로 해결하고, 자원 증강 하에서 (2 + ε)-근사로 확장된다.

ABSTRACT

In the unsplittable flow problem on a path, we are given a capacitated path $P$ and $n$ tasks, each task having a demand, a profit, and start and end vertices. The goal is to compute a maximum profit set of tasks, such that for each edge $e$ of $P$, the total demand of selected tasks that use $e$ does not exceed the capacity of $e$. This is a well-studied problem that has been studied under alternative names, such as resource allocation, bandwidth allocation, resource constrained scheduling, temporal knapsack and interval packing. We present a polynomial time constant-factor approximation algorithm for this problem. This improves on the previous best known approximation ratio of $O(\log n)$. The approximation ratio of our algorithm is $7+ε$ for any $ε>0$. We introduce several novel algorithmic techniques, which might be of independent interest: a framework which reduces the problem to instances with a bounded range of capacities, and a new geometrically inspired dynamic program which solves a special case of the maximum weight independent set of rectangles problem to optimality. In the setting of resource augmentation, wherein the capacities can be slightly violated, we give a $(2+ε)$-approximation algorithm. In addition, we show that the problem is strongly NP-hard even if all edge capacities are equal and all demands are either~1,~2, or~3.

연구 동기 및 목표

• 이전에 O(log n) 근사 비율을 달성한 바 있었던, 경로상의 분할 불가 흐름 문제(UFPP)에 대해 다항시간 내의 상수 요인 근사 알고리즘을 개발하는 것.
• 특히 동적 계획법과 선형계획법(LP) 절단 기법에 의존하는 이전 기법의 한계를 극복하여, No-Bottleneck 가정(NBA)에 의존하고 일반적인 경우에 실패하는 문제를 해결하는 것.
• 모든 수요가 {1, 2, 3}에 속하고 모든 간선 용량이 동일한 경우에도 UFPP가 강한 NP-완전임을 입증하는 것.
• UFPP의 일반화, 예를 들어 트리나 자원 증강 하에서의 상수 요인 근사가 가능한지 탐색하는 것.

제안 방법

• 일般 UFPP 인스턴스를 용량의 범위가 제한된 인스턴스로 감소시키는 프레임워크를 도입하여, 효율적인 알고리즘 처리를 가능하게 한다.
• 큰 작업을 다루기 위해 기하학적으로 영감을 얻은 동적 계획법을 설계하여, 최대 무게를 가진 직사각형 집합의 독립 집합 문제의 특수 케이스를 최적으로 해결한다.
• 작은 작업을 위한 (α, β)-근사 알고리즘을 사용하고, 이를 통합된 근사 프레임워크에 통합한다.
• 자원 증강을 적용하여 (2 + ε)-근사 알고리즘을 달성하며, 간선 용량의 약간의 위반을 허용한다.
• 3-정규 그래프의 최대 독립 집합 문제를 다항시간 변환을 통해 UFPP로 감소시키며, 변환 과정에서 정수 매개변수의 유한한 범위를 유지한다.

실험 결과

연구 질문

• RQ1 No-Bottleneck 가정이 없이도 일반적인 경로상의 분할 불가 흐름 문제에 대해 상수 요인 근사 알고리즘을 설계할 수 있는가?
• RQ2 모든 수요가 {1, 2, 3}에 속하고 모든 용량이 동일한 경우, 경로상의 분할 불가 흐름 문제가 강한 NP-완전한가?
• RQ3 일반적인 경우에서 자연스러운 LP 이완의 정수성 간극이 상수로 유 bounds 되는가, 아니면 Ω(n)인가?
• RQ4 자원 증강이 UFPP에 대해 (2 + ε)와 같은 더 나은 근사 비율을 가능하게 하는가?
• RQ5 UFPP에 대해 개발된 기법들이 다른 기하학적 패킹 또는 스케줄링 문제로 일반화될 수 있는가?

주요 결과

• 논문은 UFPP에 대해 다항시간 (7 + ε)-근사 알고리즘을 제시하며, 이전에 알려진 O(log n) 근사 비율을 향상시킨다.
• 저자는 모든 수요가 {1, 2, 3}에 속하고 모든 간선 용량이 동일한 경우에도 UFPP가 강한 NP-완전임을 증명한다.
• 큰 작업을 다루는 데 핵심적인 역할을 하는, 최대 무게를 가진 직사각형 집합의 독립 집합 문제의 특수 케이스를 최적으로 해결하는 새로운 기하학적 동적 계획법을 개발한다.
• 자원 증강 하에서 (2 + ε)-근사 알고리즘을 달성하였으며, 이는 NBA 가정이 성립하는 경우에 대해 알려진 최고의 비율과 일치한다.
• NBA 없이도 UFPP의 자연스러운 LP 이완의 정수성 간극이 Ω(n)임을 입증하여, 이전의 LP 기반 방법이 일반적인 경우에서 실패하는 이유를 설명한다.
• 3-정규 그래프의 최대 독립 집합 문제를 UFPP로의 감소는 다항시간 변환을 통해 이루어지며, 이 과정에서 사용되는 정수 매개변수의 크기가 유한하게 제한되어 있음을 보여 강한 NP-완전성을 확립한다.