[논문 리뷰] On Guillotine Separable Packings for the Two-Dimensional Geometric Knapsack Problem

Arindam Khan, Arnab Maiti외 2명|arXiv (Cornell University)|2021. 01. 01.

Optimization and Packing Problems참고 문헌 48인용 수 1

한 줄 요약

이 논문은 90도 회전을 허용하는지 여부에 관계없이 두 차원 기하학적 나이프백 문제에 대해 다항 시간 (1 + ε)-근사 알고리즘을 제시한다. 주요 기여는 임의의 길로틴 패킹을 상수 크기의 상자와 L자형 영역을 사용하는 구조화된 패킹으로 변환할 수 있음을 보여주는 구조적 보조정리이다. 이는 근사 알고리즘 설계를 위한 효율적인 탐욕적 패킹과 동적 계획법의 가능성을 열어준다.

ABSTRACT

In two-dimensional geometric knapsack problem, we are given a set of n axis-aligned rectangular items and an axis-aligned square-shaped knapsack. Each item has integral width, integral height and an associated integral profit. The goal is to find a (non-overlapping axis-aligned) packing of a maximum profit subset of rectangles into the knapsack. A well-studied and frequently used constraint in practice is to allow only packings that are guillotine separable, i.e., every rectangle in the packing can be obtained by recursively applying a sequence of edge-to-edge axis-parallel cuts that do not intersect any item of the solution. In this paper we study approximation algorithms for the geometric knapsack problem under guillotine cut constraints. We present polynomial time (1+ε)-approximation algorithms for the cases with and without allowing rotations by 90 degrees, assuming that all input numeric data are polynomially bounded in n. In comparison, the best-known approximation factor for this setting is 3+ε [Jansen-Zhang, SODA 2004], even in the cardinality case where all items have the same profit. Our main technical contribution is a structural lemma which shows that any guillotine packing can be converted into another structured guillotine packing with almost the same profit. In this packing, each item is completely contained in one of a constant number of boxes and 𝖫-shaped regions, inside which the items are placed by a simple greedy routine. In particular, we provide a clean sufficient condition when such a packing obeys the guillotine cut constraints which might be useful for other settings where these constraints are imposed.

연구 동기 및 목표

• 실용적인 길로틴 컷 제약 조건 하에서 2차원 기하학적 나이프백 문제에 대한 효율적인 근사 알고리즘 설계의 과제를 다루기.
• 이전 연구에서 카디널리티 경우조차도 3 + ε 근사도에 머물렀던 한계를 극복하기.
• 길로틴 분리 가능한 패킹에 대해 다항 시간 근사 스킴(PTAS)을 개발하여 기존에 알려진 3 + ε의 최선의 근사도를 향상시키기.
• 효율적인 알고리즘 설계를 가능하게 하는 길로틴 패킹의 깔끔한 구조적 특성화를 제공하기.
• 항목의 90도 회전을 고려할 수 있도록 접근법을 확장하기.

제안 방법

• 임의의 길로틴 패킹을 상수 크기의 상자와 L자형 영역을 포함하는 구조화된 형태로 변환할 수 있는 구조적 보조정리를 도입하기.
• 각 상자와 L자형 영역 내에서 탐욕적 패킹 절차를 사용하여 길로틴 분리 가능성을 유지하면서도 높은 수익을 달성하기.
• 항목 크기에서 유도된 다항 크기의 후보 컨테이너 치수 집합에 대해 동적 계획법을 적용하기.
• 작은 항목을 2단계 길로틴 구성에서 효율적으로 패킹하기 위해 NFDH(Next Fit Decreasing Height) 알고리즘을 활용하기.
• 컨테이너 축소 및 반올림 기법을 사용하여 서로 다른 컨테이너 유형의 수를 줄이면서도 최적 수익의 (1 - 3ε) 범위 내에서 수익을 유지하기.
• 이러한 요소들을 조합하여 다항 시간 내에 실행 가능한 PTAS 프레임워크를 구축하기.

실험 결과

연구 질문

• RQ1 길로틴 컷 제약 조건 하에서 2차원 기하학적 나이프백 문제에 대해 (1 + ε)-근사 알고리즘을 설계할 수 있는가?
• RQ2 효율적인 근사 알고리즘 설계를 위해 길로틴 패킹의 어떤 구조적 특성을 활용할 수 있는가?
• RQ3 수익 손실이 크지 않은 수준에서 서로 다른 컨테이너 유형의 수를 어떻게 줄일 수 있는가?
• RQ4 이 접근법은 항목의 90도 회전을 처리할 수 있도록 확장될 수 있는가?
• RQ5 구조화된 패킹이 길로틴 분리 가능성을 유지하기 위한 조건는 무엇인가?

주요 결과

• 논문은 길로틴 컷 제약 조건 하에서 2차원 기하학적 나이프백 문제에 대해 (1 + ε)-근사도를 달성하여 이전에 알려진 최선의 근사도인 3 + ε을 향상시켰다.
• 임의의 길로틴 패킹이 항목을 상수 개수의 상자와 L자형 영역에 패킹하는 구조화된 패킹으로 재구성될 수 있음을 보여주는 구조적 보조정리를 증명하였다. 이 과정에서 원래 수익의 (1 - O(ε)) 범위 내에서 수익을 유지한다.
• 모든 입력 수치(너비, 높이, 수익)가 n에 대해 다항적으로 유계임을 가정할 경우, 알고리즘이 다항 시간 내에 실행됨을 보였다.
• 90도 회전을 고려하는 경우에도 접근법이 유지되어 (1 + ε)-근사도 보장을 유지한다.
• 컨테이너 축소 및 반올림을 신중하게 적용함으로써 구조화된 패킹이 길로틴 분리 가능성을 유지하며, 컷 제약 조건을 그대로 유지한다.
• 2단계 구성에서 NFDH 패킹을 사용함으로써 최종 패킹이 길로틴 분리 가능하고 면적 활용률이 거의 최적에 가까워진다.