[논문 리뷰] Parameterized Approximation Schemes for Independent Set of Rectangles and Geometric Knapsack

Fabrizio Grandoni, Stefan Kratsch외 1명|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 두 가지 기하 배치 문제인 직사각형 최대 독립 집합(MISR)과 회전을 허용하는 2차원 기하 배낭 문제(2DKR)에 대한 매개변수화된 근사 계획(PAS)을 제안한다. MISR에 대해 $k^{O(k/\varepsilon^8)}n^{O(1/\varepsilon^8)}$ 시간에 실행되는 PAS를 달성하였으며, 유사한 효율성을 갖는 2DKR에 대해서도 적용 가능하다. 이는 고정된 $\varepsilon$에 대해 FPT 유사 시간 내에 $(1+\varepsilon)$-근사해를 제공하며, 격자 분해와 커널화 기법을 통해 W[1]-하드성 장벽을 극복한다.

ABSTRACT

The area of parameterized approximation seeks to combine approximation and parameterized algorithms to obtain, e.g., (1+epsilon)-approximations in f(k,epsilon)n^O(1) time where k is some parameter of the input. The goal is to overcome lower bounds from either of the areas. We obtain the following results on parameterized approximability: - In the maximum independent set of rectangles problem (MISR) we are given a collection of n axis parallel rectangles in the plane. Our goal is to select a maximum-cardinality subset of pairwise non-overlapping rectangles. This problem is NP-hard and also W[1]-hard [Marx, ESA'05]. The best-known polynomial-time approximation factor is O(log log n) [Chalermsook and Chuzhoy, SODA'09] and it admits a QPTAS [Adamaszek and Wiese, FOCS'13; Chuzhoy and Ene, FOCS'16]. Here we present a parameterized approximation scheme (PAS) for MISR, i.e. an algorithm that, for any given constant epsilon>0 and integer k>0, in time f(k,epsilon)n^g(epsilon), either outputs a solution of size at least k/(1+epsilon), or declares that the optimum solution has size less than k. - In the (2-dimensional) geometric knapsack problem (2DK) we are given an axis-aligned square knapsack and a collection of axis-aligned rectangles in the plane (items). Our goal is to translate a maximum cardinality subset of items into the knapsack so that the selected items do not overlap. In the version of 2DK with rotations (2DKR), we are allowed to rotate items by 90 degrees. Both variants are NP-hard, and the best-known polynomial-time approximation factor is 2+epsilon [Jansen and Zhang, SODA'04]. These problems admit a QPTAS for polynomially bounded item sizes [Adamaszek and Wiese, SODA'15]. We show that both variants are W[1]-hard. Furthermore, we present a PAS for 2DKR. For all considered problems, getting time f(k,epsilon)n^O(1), rather than f(k,epsilon)n^g(epsilon), would give FPT time f'(k)n^O(1) exact algorithms by setting epsilon=1/(k+1), contradicting W[1]-hardness. Instead, for each fixed epsilon>0, our PASs give (1+epsilon)-approximate solutions in FPT time. For both MISR and 2DKR our techniques also give rise to preprocessing algorithms that take n^g(epsilon) time and return a subset of at most k^g(epsilon) rectangles/items that contains a solution of size at least k/(1+epsilon) if a solution of size k exists. This is a special case of the recently introduced notion of a polynomial-size approximate kernelization scheme [Lokshtanov et al., STOC'17].

연구 동기 및 목표

• . 이 논문은 NP-난해한 기하 배치 문제에 대한 매개변수화된 근사 계획(PAS)을 개발하여, 난이도 장벽을 극복하고자 한다.
• . 특히, 해의 크기 $k$로 매개변수화할 때 W[1]-하드성임이 알려진 최대 독립 집합의 직사각형(MISR)과, 회전을 허용하는 2차원 기하 배낭 문제(2DKR)를 대상으로 한다.
• . 목표는 임의의 고정된 $\varepsilon > 0$에 대해 $f(k,\varepsilon)n^{O(1)}$ 시간 내에 $(1+\varepsilon)$-근사해를 반환하는 알고리즘을 설계하는 것이다. 이는 FPT 시간을 요구할 경우 W[1]-하드성과 모순되기 때문이다.
• . 또한, MISR에 대해 다항식 크기의 근사 커널화 계획(PSAKS)을 도입하여, 원래 입력을 $k^{O(1/\varepsilon^8)}$개의 직사각형으로 줄임과 동시에 $(1+\varepsilon)$-근사해를 유지한다.
• . 본 연구는 이러한 계획을 가중치가 있는 버전과, 회전을 허용하지 않는 2DKR로 확장하는 데 도전하며, 이는 아직 해결되지 않은 문제이다.

제안 방법

• . 입력된 각 직사강형이 격자 교차점을 포함하도록 $k \times k$ 격자 구조를 구성함으로써, 독립된 부분 문제로의 분해를 가능하게 한다.
• . Frederickson의 평면 그래프 분해 기법을 비틀린 방식으로 응용하여 격자를 서로소인 셀 그룹으로 분할하며, 각 그룹은 최적 해에 속하는 직사각형을 상수 개수 포함한다.
• . 각 부분 문제는 동적 프로그래밍 또는 순열 기반 탐색을 통해 $n^{O(1/\varepsilon^8)}$ 시간 내에 해결하며, 이는 각 그룹 내 최적 해 직사각형 수가 유한하기 때문이다.
• . 커널화 기법을 활용하여 입력을 $k^{O(1/\varepsilon^8)}$개의 직사각형으로 줄임과 동시에 $k/(1+\varepsilon)$-근사해를 유지하는 PSAKS를 구성한다.
• . 2DKR의 경우 유사 전략을 적용: 배낭을 너비/높이 제약 조건에 따라 영역으로 분할하고, 보조 항목을 도입하여 강력한 밀도 제약을 확보하는 재귀적 분해 기법을 적용한다.
• . 다중 부분합 문제로부터의 매개변수화된 감소를 통해 2DK 및 2DKR이 모두 해의 크기 $k$로 매개변수화할 때 W[1]-하드임을 증명하며, 이는 FPT 알고리즘이 존재할 경우 W[1]-하드 문제에 대한 FPT 알고리즘이 존재함을 의미한다.

실험 결과

연구 질문

• RQ1 . 최대 독립 집합의 직사각형(MISR) 문제에 대해, $(1+\varepsilon)$-근사해를 $f(k,\varepsilon)n^{O(1)}$ 시간 내에 도출할 수 있는 매개변수화된 근사 계획(PAS)을 설계할 수 있는가?
• RQ2 . 2DKR 문제의 경우 W[1]-하드성임에도 불구하고, 매개변수화된 근사 계획(PAS)을 설계할 수 있는가?
• RQ3 . MISR에 대해 커널화 기법을 확장하여, 입력 크기를 $k^{O(1/\varepsilon^8)}$개의 직사각형으로 줄임과 동시에 $(1+\varepsilon)$-근사해를 유지하는 다항식 시간 내의 근사 커널화 계획을 설계할 수 있는가?
• RQ4 . 제안된 방법이 MISR 및 2DKR의 가중치가 있는 버전으로 일반화될 수 있는가? 이 경우 각 직사각형에 수익이 할당된다.
• RQ5 . 현재 방법이 회전을 통해 구조적 제약 조건을 강제하는 데 의존하므로, 2DKR에서 회전을 허용하지 않는 경우에도 PAS를 구성할 수 있는가?

주요 결과

• . MISR에 대해 $k^{O(k/\varepsilon^8)}n^{O(1/\varepsilon^8)}$ 시간 내에 실행되는 매개변수화된 근사 계획(PAS)을 달성하였으며, 이는 $(1+\varepsilon)$-근사해를 제공한다.
• . 본 논문은 MISR에 대해 다항식 크기의 근사 커널화 계획(PSAKS)을 제시하였으며, 입력을 $k^{O(1/\varepsilon^8)}$개의 직사각형으로 줄임과 동시에 크기가 $k/(1+\varepsilon)$ 이상인 해를 유지한다.
• . 2DKR에 대해서도 유사한 시간 복잡도를 갖는 PAS를 개발하였으며, $f(k,\varepsilon)n^{O(1)}$ 시간 내에 $(1+\varepsilon)$-근사해를 도출한다.
• . 본 논문은 2DK 및 2DKR이 해의 크기 $k$로 매개변수화할 때 W[1]-하드임을 증명하였으며, 이는 FPT 알고리즘이 존재할 경우 W[1] = FPT가 성립함을 의미한다.
• . 커널화 기법은 원래 인스턴스에 대한 $c(1+\varepsilon)$-근사해를 유지하는 $c$-근사해를 축소된 인스턴스에서 제공함을 보장한다.
• . 본 방법은 격자 분해와 보조 항목을 활용하여 강력한 밀도 제약 조건을 확보하며, 이는 소규모 부분 문제에 대한 동적 프로그래밍 적용을 가능하게 한다.