[논문 리뷰] Improved Online Load Balancing with Known Makespan

Martin Böhm, Matej Lieskovský외 3명|arXiv (Cornell University)|2024. 01. 01.

Scheduling and Optimization Algorithms인용 수 2

한 줄 요약

이 논문은 알려진 최대 작업량을 가진 온라인 로드 밸런싱에 대해 새로운 온라인 알고리즘을 제안하며, 오랫동안 유지되어 온 3/2 경쟁 비율 장벽을 돌파한다. 복잡한 가중치 기반 분석과 항목 유형에 대한 동적 임계값 설정을 통해, 충분히 큰 m에 대해 139/93 < 1.495의 경쟁 비율을 달성하며, 이전 연구에서 핵심 패킹 성질의 손실로 인해 3/2를 초월하지 못했던 것과는 대조적으로 크게 향상시킨다.

ABSTRACT

We break the barrier of $3/2$ for the problem of online load balancing with known makespan, also known as bin stretching. In this problem, $m$ identical machines and the optimal makespan are given. The load of a machine is the total size of all the jobs assigned to it and the makespan is the maximum load of all the machines. Jobs arrive online and the goal is to assign each job to a machine while staying within a small factor (the competitive ratio) of the optimal makespan. We present an algorithm that maintains a competitive ratio of $139/93&lt;1.495$ for sufficiently large values of $m$, improving the previous bound of $3/2$. The value 3/2 represents a natural bound for this problem: as long as the online bins are of size at least $3/2$ of the offline bin, all items that fit at least two times in an offline bin have two nice properties. They fit three times in an online bin and a single such item can be packed together with an item of any size in an online bin. These properties are now both lost, which means that putting even one job on a wrong machine can leave some job unassigned at the end. It also makes it harder to determine good thresholds for the item types. This was one of the main technical issues in getting below $3/2$. The analysis consists of an intricate mixture of size and weight arguments.

연구 동기 및 목표

• 알려진 최대 작업량이 있는 온라인 로드 밸런싱에서 오랫동안 열려 있던 3/2 경쟁 비율 장벽을 극복하는 것.
• 이전의 3/2 알고리즘들이 허용한 두 가지 핵심 패킹 성질을 상실함에도 불구하고, 3/2 이하의 경쟁 비율을 유지하는 알고리즘을 설계하는 것.
• 스티칭 인자(스케일링 인자)가 3/2 이하로 떨어질 때 나타나는 새로운 항목 유형을 다루며, 이는 주의 깊은 임계값 관리와 백분할 사용을 요구한다.
• 복잡한 구성에서의 백분할 사용과 부하 분포를 분석하기 위해 정교한 크기 및 가중치 논증을 결합한 엄밀한 분석을 제공하는 것.
• 3/2 장벽이 고도화된 알고리즘 기법과 정교한 분석 기법을 통해 극복 가능하며, 이를 입증하는 것.

제안 방법

• 알고리즘은 다단계 전략을 사용하며, 백분할을 늦게 채우고 후기 단계까지 일부 백분할을 비어 있게 유지하여 유연성을 향상시킨다.
• 항목의 조합적 성질을 추적하고 기계 간 균형 잡힌 부하 분포를 보장하기 위해 가중치 기반 분석을 도입한다.
• 항목은 크기와 패킹 제약 조건에 따라 동적으로 유형으로 분류되며, 입력이 진행됨에 따라 임계값을 조정한다.
• 가장 악조건의 백분할 부하 상황을 모델링하고 다양한 구성에서의 타당성을 검증하기 위해 선형 프로그래밍 제약 조건을 사용한다.
• 다양한 항목 유형(예: 1/4++, 큰+, 등)을 구분하고, 부분적으로 채워진 백분할 내에서의 패킹 행동을 모델링한다.
• 빈 백분할이 실행 중에 고갈되지 않음을 증명하기 위해 제약 조건이 있는 선형 프로그래밍을 풀어 백분할 사용과 부하 수준을 근사한다.

실험 결과

연구 질문

• RQ1 알려진 최대 작업량이 있는 온라인 로드 밸런싱에서 3/2 경쟁 비율 장벽을 돌파할 수 있는가?
• RQ2 스티칭 인자가 3/2 이하로 떨어질 경우, 특히 패킹 성질 측면에서 어떤 새로운 과제가 발생하는가?
• RQ3 복잡한 구성에서 백분할 사용과 부하 분포를 분석하기 위해 가중치 기반 및 크기 기반 논증을 어떻게 융합할 수 있는가?
• RQ4 큰 m에 대해 달성 가능한 최소 경쟁 비율은 얼마이며, 이는 입력 매개변수에 어떻게 의존하는가?
• RQ5 악성 항목 순서 조건에서도 빈 백분할 고갈을 방지할 수 있는 안정적인 알고리즘을 설계할 수 있는가?

주요 결과

• 알고리즘은 m ≥ 60,000일 때 139/93 ≈ 1.4946 < 1.495의 경쟁 비율을 달성하며, 3/2 장벽을 초월한다.
• ε = 1/62일 때, 알고리즘은 m ≥ 3,300에서 작동함을 보여, 중간 크기의 m에 대해서도 결과가 성립함을 입증한다.
• 모든 단계 동안 충분한 빈 백분할을 유지하여 최종 단계 6가 필요 없도록 하며, 모든 항목이 정상적으로 패킹됨을 보장한다.
• 분석을 통해 빈 백분할이 고갈된다고 가정할 경우, 핵심 단계에서 어떤 선형 프로그래밍 설정도 타당한 해를 가지지 않음을 증명함으로써, 백분할 가용성이 보장됨을 입증한다.
• 3/2 이하에서 두 가지 핵심 패킹 성질(세 번의 패킹 가능성 및 어떤 크기와도 호환성)을 상실함에 따라, 더 복잡한 임계값 설정과 분석 프레임워크가 필요하다.
• 결과는 3/2 장벽이 본질적이지 않으며, 고도화된 알고리즘 설계와 정교한 분석 기법을 통해 극복 가능함을 보여준다.