[논문 리뷰] On the Two-Dimensional Knapsack Problem for Convex Polygons

Arturo Merino, Andreas Wiese|arXiv (Cornell University)|2020. 01. 01.

Optimization and Packing Problems인용 수 3

한 줄 요약

이 논문은 임의의 각도로 회전 가능한 볼록 다각형을 허용하는 두 차원 기하학적 나이프색 문제에 대해 처음으로 다항시간 O(1)-근사 알고리즘을 제시한다. 일반적인 볼록 다각형에 대해서는 준다항시간 O(1)-근사 알고리즘을 달성하고, 삼각형에 대해서는 다항시간 O(1)-근사 알고리즘을 제공하며, 새로운 그룹화 전략과 자원 증강 하에 균형 잡힌 저비용 컷을 사용하는 재귀적 분할 프레임워크를 활용한다.

ABSTRACT

We study the two-dimensional geometric knapsack problem for convex polygons. Given a set of weighted convex polygons and a square knapsack, the goal is to select the most profitable subset of the given polygons that fits non-overlappingly into the knapsack. We allow to rotate the polygons by arbitrary angles. We present a quasi-polynomial time $O(1)$-approximation algorithm for the general case and a polynomial time $O(1)$-approximation algorithm if all input polygons are triangles, both assuming polynomially bounded integral input data. Also, we give a quasi-polynomial time algorithm that computes a solution of optimal weight under resource augmentation, i.e., we allow to increase the size of the knapsack by a factor of $1+δ$ for some $δ>0$ but compare ourselves with the optimal solution for the original knapsack. To the best of our knowledge, these are the first results for two-dimensional geometric knapsack in which the input objects are more general than axis-parallel rectangles or circles and in which the input polygons can be rotated by arbitrary angles.

연구 동기 및 목표

• 축에 평행하지 않은 직사각형이나 원이 아닌 형태를 허용하는 2D 나이프색 문제에 대해 근사 알고리즘이 부족한 문제를 해결한다.
• 축에 평행한 직사각형과 원을 초월하는 중요한 일반화인 볼록 다각형에 대해 효율적인 근사 알고리즘을 설계한다.
• 임의의 각도의 회전 문제에 도전하기 위해 최적 해의 구조적 성질을 식별하고 타당한 배치를 제한한다.
• 일반적인 볼록 다각형에 대해 자원 증강 하에 일정 인자 근사 알고리즘을 달성하고, 삼각형의 경우 다항시간 근사 알고리즘을 확보한다.
• 경계 상자 그룹화, 면적 기반 분석, 균형 잡힌 저비용 컷을 활용하는 재귀적 분할을 통합하는 프레임워크를 제공한다.

제안 방법

• 입력 다각형을 세 유형으로 분류: 쉬움(회전 없이 경계 상자가 들어감), 중간(45도 회전 후 경계 상자가 들어감), 어려움(회전 후에도 경계 상자가 들어가지 않음).
• Steinberg의 알고리즘과 면적 근거를 사용하여, 겹치지 않는 경계 상자들을 배치함으로써 쉬운 다각형에 대해 O(1)-근사 알고리즘을 달성한다.
• 중간 다각형의 경우 경계 상자의 너비 기준으로 그룹화하고, 일반화된 1차원 나이프색 해를 사용해 스택된 컨테이너에 회전된 경계 상자를 배치한다.
• 중간 다각형의 해가 O(1)-근사임을 증명하기 위해 면적 점유율과 포장 밀도가 상수 요인으로 제한됨을 보인다.
• 어려운 다각형의 경우 최적 해에 최대 O(log N)개의 다각형만 존재할 수 있다는 구조적 통찰을 활용하여 준다항시간 추측을 가능하게 한다.
• 다각형의 꼭짓점과 수직선에서 유도된 유한한 후보 꼭짓점 세트를 기반으로 정의된 균형 잡힌 저비용 컷을 사용하는 재귀적 분할 접근법을 통해 각 단계에서 문제 크기를 줄인다.

실험 결과

연구 질문

• RQ1 임의의 각도로 회전 가능한 볼록 다각형을 허용하는 2D 나이프색 문제에 대해 일정 인자 근사 알고리즘을 설계할 수 있는가?
• RQ2 최적 해의 구조적 성질은 무엇이며, 이를 통해 어려운 다각형의 수를 제한하고 그 배치를 제한할 수 있는가?
• RQ3 모든 각도를 나열하지 않고도 임의의 각도에서 어려운 다각형의 타당한 배치를 효율적으로 추측할 수 있는가?
• RQ4 모든 입력 다각형이 삼각형인 특수 케이스에 대해 다항시간 근사 알고리즘을 달성할 수 있는가?
• RQ5 자원 증강을 통해 일반적인 볼록 다각형에 대해 일정 인자 근사 알고리즘을 달성할 수 있는 정도는 어느 정도인가?

주요 결과

• 일반적인 볼록 다각형에 대해 임의의 각도로 회전을 허용하는 경우, 준다항시간 O(1)-근사 알고리즘을 제시하며, 실행 시간은 (nN)^(log nN)^O(1)이다.
• 특수 케이스인 삼각형에 대해서는 다항시간 O(1)-근사 알고리즘을 달성하여 이 하위집합에 대해 효율성을 향상시켰다.
• 최적 해에 포함될 수 있는 어려운 다각형(회전 후에도 경계 상자가 들어가지 않는 다각형)의 수는 O(log N)으로 제한되며, 이는 준다항시간 추측을 가능하게 한다.
• 균형 잡힌 저비용 컷을 사용하는 새로운 재귀적 분할 프레임워크는 자원 증강 하에 최적 해의 총 면적의 (1 - O(δ)) 이상을 회복함을 보장한다.
• (1 + δ)-자원 증강 하에, 알고리즘은 시간 n(log(n)/δ)^O(1) 내에 최적 해 OPT 이상의 무게를 갖는 해를 계산하며, 일정 인자 근사 알고리즘을 달성한다.
• 핵심 기술적 통찰은 매우 넓은 경계 상자를 가진 중간 다각형이 나이프색의 대각선 근처의 작은 육각형 영역에 국한되어 있음을 보여주며, 이는 유한한 면적 분석을 가능하게 한다.