[논문 리뷰] Tight Approximation Algorithms For Geometric Bin Packing with Skewed Items

Arindam Khan, Eklavya Sharma|arXiv (Cornell University)|2021. 01. 01.

Optimization and Packing Problems인용 수 3

한 줄 요약

이 논문은 너비와 높이가 모두 일정한 상수 δ로부터 0으로부터 멀리 떨어져 있는 기울어진 항목—즉, 두 축에 대해 0으로부터 멀리 떨어진 직사각형—을 갖는 이차원 기하학적 박스 패킹(2BP) 문제에 대해 (4/3 + ε)-점 渐近적 근사 알고리즘을 제안한다. 이 접근법은 분수형 선형계획법과 근사적 할당을 통합한 새로운 구획 패킹 프레임워크를 사용하여 엄밀한 경계를 확보하며, 기울어진 경우에 대해 Asymptotic Price of Guillotinability (APoG)가 정확히 4/3임을 증명한다. 이는 분야 내 핵심 추측을 해결한다.

ABSTRACT

In the Two-dimensional Bin Packing (2BP) problem, we are given a set of rectangles of height and width at most one and our goal is to find an axis-aligned nonoverlapping packing of these rectangles into the minimum number of unit square bins. The problem admits no APTAS and the current best approximation ratio is 1.406 by Bansal and Khan [SODA'14]. A well-studied variant of the problem is Guillotine Two-dimensional Bin Packing (G2BP), where all rectangles must be packed in such a way that every rectangle in the packing can be obtained by recursively applying a sequence of end-to-end axis-parallel cuts, also called guillotine cuts. Bansal, Lodi, and Sviridenko [FOCS'05] obtained an APTAS for this problem. Let λ be the smallest constant such that for every set I of items, the number of bins in the optimal solution to G2BP for I is upper bounded by λ opt(I) + c, where opt(I) is the number of bins in the optimal solution to 2BP for I and c is a constant. It is known that 4/3 ≤ λ ≤ 1.692. Bansal and Khan [SODA'14] conjectured that λ = 4/3. The conjecture, if true, will imply a (4/3+ε)-approximation algorithm for 2BP. According to convention, for a given constant δ > 0, a rectangle is large if both its height and width are at least δ, and otherwise it is called skewed. We make progress towards the conjecture by showing λ = 4/3 for skewed instance, i.e., when all input rectangles are skewed. Even for this case, the previous best upper bound on λ was roughly 1.692. We also give an APTAS for 2BP for skewed instance, though general 2BP does not admit an APTAS.

연구 동기 및 목표

• 2BP의 기울어진 경우에 대해 Asymptotic Price of Guillotinability (APoG)가 정확히 4/3임을 증명하는 것.
• 일반 문제에 APTAS가 존재하지 않음에도 불구하고, 기울어진 항목에 국한된 2BP에 대한 점 渐近적 다항시간 근사계량(APTAS)을 개발하는 것.
• 모든 직사각형이 양차원에서 0으로부터 멀리 떨어져 있을 때 APoG의 상한을 약 1.691에서 4/3으로 향상시키는 것.
• 일반 문제에 APTAS가 존재하지 않음에도 불구하고, 기울어진 경우에 대해 2BP에 대한 엄밀한 근사 알고리즘을 제공하는 것.

제안 방법

• 큰 항목과 중간 항목을 위한 구획으로 나누어진 바구니를 사용하는 새로운 구획 패킹 프레임워크를 제안하며, 소형 항목은 컨테이너 기반의 근사적 할당 방식으로 패킹한다.
• 큰 항목과 높은 항목을 구획에 패킹할 수 있는지 검증하기 위해 분수형 선형계획법(FPW 및 FPH)을 사용하며, 최적 해를 근사 패킹 절차의 입력으로 활용한다.
• 실수 값의 항목 크기를 유리수 근사로 변환하기 위한 라운딩 절차를 적용하여 패킹의 유한한 열거를 가능하게 한다.
• 구획 패킹 이후 남은 중간 및 소형 항목은 Next-Fit Decreasing Height (NFDH) 알고리즘을 사용하여 패킹한다.
• 미할당된 영역이 컨테이너 면적의 ε² 배 이내로 제한되도록 보장하는 근사적 컨테이너 할당 전략을 도입한다. 이는 낭비를 최소화한다.
• 양차원에서 0으로부터 멀리 떨어져 있는 특성(기울어진 항목의 특성)을 활용하여 서로 다른 구성의 수를 제한하고, 구획 패킹의 효율적 열거를 가능하게 한다.

실험 결과

연구 질문

• RQ1 2BP의 기울어진 경우에 대해 Asymptotic Price of Guillotinability (APoG)가 정확히 4/3임을 증명할 수 있는가?
• RQ2 모든 항목이 기울어져 있을 경우 2BP에 대해 (4/3 + ε)-점 渐近적 근사 알고리즘이 존재하는가?
• RQ3 일반 문제에 APTAS가 존재하지 않음에도 불구하고, 기울어진 항목에 국한된 2BP에 대해 APTAS를 구성할 수 있는가?
• RQ4 기울어진 입력에 대해 최적의 기계적 분할 패킹과 일반 2BP 사이의 비율에 대해 가장 낮은 상한은 무엇인가?

주요 결과

• 기울어진 경우에 대해 Asymptotic Price of Guillotinability (APoG)는 정확히 4/3이며, Bansal과 Khan의 추측을 확인한다.
• 기울어진 항목을 갖는 2BP에 대해 (1 + 20ε)opt(I) + O(1)의 점 渐近적 근사 알고리즘을 달성하였으며, 이는 이전 최고 성능인 1.406보다 향상된 비율이다.
• 일반 2BP 문제에선 불가능한 바, 기울어진 항목에 국한된 2BP에 대해 APTAS를 구성하였다.
• 알고리즘에서 사용하는 상자의 수는 (1 + 20ε)opt(I) + 1/13(1 + 1/εε₁)^(2/ε₁−2) + 23로 제한되며, ε과 δ에 명시적인 의존성을 가진다.
• 분수형 선형계획법의 타당성 검증과 근사적 컨테이너 할당, 잔여 항목에 대한 NFDH를 결합함으로써 엄밀한 패킹을 달성한다.
• 분석 결과, 모든 컨테이너의 총 미할당 면적은 3ε²mS 이하로 제한되며, 이는 높은 패킹 효율성을 보장한다.