[논문 리뷰] Improved Lower Bounds for Online Hypercube and Rectangle Packing

David Blitz, Sandy Heydrich외 3명|arXiv (Cornell University)|2016. 07. 05.

Optimization and Packing Problems참고 문헌 12인용 수 6

한 줄 요약

이 논문은 두 차원 이상에서 온라인 초입자 및 직사각형 패킹에 대한 하한을 향상시켜, 제안된 새로운 적대적 입력 구성 방식을 통해 어떤 온라인 알고리즘도 정사각형 패킹에 대해 1.680783 이하의 경쟁비를 달 đạt할 수 없음을 입증한다. 또한 2차원 초입자 패킹에서 하모닉 타입 알고리즘에 대해 2.0954의 하한을 증명하여, 이들이 2.0의 장벽을 넘어서지 못함을 보여준다.

ABSTRACT

Packing a given sequence of items into as few bins as possible in an online fashion is a widely studied problem. We improve lower bounds for packing boxes into bins in two or more dimensions, both for general algorithms for squares and rectangles (in two dimensions) and for an important subclass, so-called Harmonic-type algorithms for hypercubes (in two or more dimensions). Lastly, we show that two adaptions of ideas from a one-dimensional packing algorithm to square packing do not help to break the barrier of 2.

연구 동기 및 목표

• 두 차원 이상에서 온라인 백팩킹의 알려진 상한과 하한 사이의 격차를 해소하기 위해.
• 2차원에서 온라인 정사각형 및 직사각형 패킹에 대한 일반적인 하한을 향상시키기 위해.
• 초입자 패킹에서 중요한 하모닉 타입 알고리즘 클래스에 대해 더 견고한 하한을 설정하기 위해.
• 2차원 초입자 패킹에서 기존 알고리즘 접근 방식이 2.0 경쟁비 장벽을 넘어서는 데 가지는 한계를 분석하기 위해.

제안 방법

• 알고리즘의 비효율성을 유도하기 위해 철저히 크기가 조절된 항목과 모래를 포함한 적대적 입력 시퀀스를 구성하기 위해.
• 최적의 백팩 사용량을 계산하고 알고리즘 성능와 비교하기 위해 이중 적합 방법을 사용하기 위해.
• Ramanan 등이 제안한 일반화된 방법을 응용하여 고차원에서 하모닉 타입 알고리즘에 대한 하한을 유도하기 위해.
• 최대한 알고리즘의 낭비를 유도하기 위해 먼저 중간 크기의 항목을, 그 다음 큰 항목과 모래를 입력하는 두 단계 입력 구성 방식을 도입하기 위해.
• 알고리즘 성능와 최적의 백팩 사용량 간 비율을 극대화하기 위해 항목 크기와 모래 양과 같은 매개변수를 최적화하기 위해.
• 수치 최적화를 통해 2차원에서 B₂ 알고리즘에 대해 하한을 극대화하는 임계 값 α를 찾기 위해, 결과적으로 2.0954의 하한을 도출함.

실험 결과

연구 질문

• RQ1 2차원 정사각형 패킹에서 어떤 온라인 알고리즘도 달성할 수 있는 최선의 경쟁비는 무엇인가요?
• RQ2 2차원 초입자 패킹에서 하모닉 타입 알고리즘은 2.0 이하의 경쟁비를 달성할 수 있는가요?
• RQ3 2차원에서 온라인 직사각형 패킹에 대해 가장 날카로운 일반 하한은 무엇인가요?
• RQ4 적대적 입력 시퀀스를 어떻게 구성하면 온라인 알고리즘과 최적 알고리즘 간 격차를 극대화할 수 있는가요?
• RQ5 B₂ 알고리즘 클래스에 대해 2.0954를 초월하여 2차원 초입자 패킹의 하한을 더 향상시킬 수 있는가요?

주요 결과

• 논문은 2차원에서 온라인 정사각형 패킹에 대해 새로운 일반 하한 1.680783을 확립한다.
• 논문은 2차원에서 온라인 직사각형 패킹에 대해 새로운 일반 하한 1.859를 증명한다.
• 2차원 초입자 패킹에서 하모닉 타입 알고리즘에 대해 논문은 하한 2.0954를 증명하여, 이들이 이 값 이하의 비율을 달성할 수 없음을 보여준다.
• 하모닉 타입 알고리즘을 통한 2차원 초입자 패킹의 하한은 이전에 알려진 2.0 장벽을 초월하여, 이 클래스의 본질적인 한계를 보여준다.
• 저자들은 확장된 입력 시퀀스를 사용해 직사각형 패킹의 하한을 1.907까지 향상시킬 수 있을 것이라 추측하지만, 형식적 증명은 아직 남아 있다.
• 분석을 통해 중간 크기의 항목을 별도로 패킹할 경우, 심지어 색상 지연 전략을 써도 이로 인한 이점보다 낭비되는 공간이 더 크다는 것이 드러났다.