[논문 리뷰] An Algorithmic Framework for Approximating Maximin Share Allocation of Chores

Xin Huang, Pinyan Lu|arXiv (Cornell University)|2019. 07. 10.

Auction Theory and Applications참고 문헌 41인용 수 24

한 줄 요약

이 논문은 n명의 에이전트 간에 분할 불가능한 일에 대해 11/9-근사 최대최소공유(MMS) 할당을 보장하는 새로운 알고리즘 프레임워크를 제안한다. 이는 이전까지 알려진 최선의 상한인 4/3보다 향상된 결과이다. 이 방법은 감소하는 항목 순서와 이진 탐색을 사용하는 탐욕적 번들 채우기 전략을 통해 모든 일들이 할당되면서도 각 에이전트의 MMS 값에 대해 11/9 요인 이내의 공정성을 유지한다.

ABSTRACT

In this paper, we consider the problem of how to fairly dividing $m$ indivisible chores among $n$ agents. The fairness measure we considered here is the maximin share. The previous best known result is that there always exists a $\frac{4}{3}$ approximation maximin share allocation. With a novel algorithm, we can always find a $\frac{11}{9}$ approximation maximin share allocation for any instances. We also discuss how to improve the efficiency of the algorithm and its connection to the job scheduling problem.

연구 동기 및 목표

• 기존의 공정성 개념(예: 선호 없음 또는 비례성)이 존재하지 않을 수 있는 분할 불가능한 일의 공정한 분배 문제를 다루기 위해.
• 일의 MMS 할당에 대한 기존 최선의 근사 비율을 4/3에서 11/9로 향상시키기 위해.
• 모든 일들이 할당되도록 보장하면서도 11/9-근사 비율을 보장하는 효율적인 알고리즘을 설계하기 위해.
• 일 할당 문제와 직업 스케줄링 문제 간의 관계를 탐색하기 위해, 특히 백프래싱과 로드 밸런싱의 관점에서.

제안 방법

• Bouveret와 Lemaître(2014)의 기법을 활용해 일반적인 일 할당 인스턴스를 모든 에이전트가 동일한 순서형 선호를 가지는 등가 인스턴스로 환원한다.
• 각 에이전트의 평가 기준에 따라 일들을 감소하는 순서로 정렬하여 문제적(고가치) 항목을 우선 처리한다.
• 탐욕적 번들 채우기 절차를 적용: 적어도 한 명의 에이전트가 그 번들을 자신의 MMS 값의 11/9 이내로 평가하는 한, 가능한 한 많은 일들을 번들에 추가한다.
• 전체 할당이 가능한 최소 기준값을 찾기 위해 기준값에 대해 이진 탐색을 수행하며, 탐색 가능한지 여부를 간단한 테스트로 검증한다.
• 직업 스케줄링 문제에 대해 PTAS를 적용하여 (11/9 + ε)-근사 비율을 달성하고, 이진 탐색 반복 수를 줄여 효율성을 높인다.
• 평가값이 정수일 경우, 이 프레임워크를 직업 스케줄링 문제에 적용하여 O(m log m + n) 시간 복잡도로 11/9-근사 비율을 달성하는 알고리즘을 도출한다.

실험 결과

연구 질문

• RQ1 기존에 알려진 4/3 상한을 초월하여 일의 MMS 할당에 대한 근사 비율을 향상시킬 수 있는가?
• RQ2 임의의 일 분배 인스턴스에 대해 11/9-근사 비율 MMS 할당을 보장하는 다항시간 알고리즘이 존재하는가?
• RQ3 제안된 알고리즘 프레임워크가 달성할 수 있는 가장 날카로운 근사 비율은 무엇이며, 이는 이론적 하한에 얼마나 가까이 도달할 수 있는가?
• RQ4 제안된 프레임워크는 백프래싱 및 직업 스케줄링에서의 First Fit Decreasing(FFD) 알고리즘과 어떻게 관련이 있는가?
• RQ5 이 프레임워크는 실제 세계의 일 또는 직업 할당 환경에서 효율적이고 실용적인 알고리즘으로 응용될 수 있는가?

주요 결과

• 논문은 어떤 일 분배 인스턴스에 대해서도 항상 11/9-근사 최대최소공유 할당이 존재함을 입증한다.
• 제안된 알고리즘은 각 에이전트가 자신의 개별 MMS 값의 1/11/9 이상을 가지는 번들을 보장한다.
• 반복적인 번들 할당 과정 동안 중요한 불변 조건을 유지함으로써 모든 일들이 완전히 할당됨을 보장한다.
• 동일한 평가값을 가진 특수 케이스(직업 스케줄링)에서는 알고리즘이 O(m log m + n) 시간 내에 11/9-근사 비율을 달성한다.
• 기존의 PTAS 접근법보다 더 효율적이고 개념적으로 더 단순하며, 많은 휴리스틱보다 더 좋은 근사 비율을 달성함을 보여준다.
• 존재성 결과로부터 다항시간 5/4-근사 비율 알고리즘을 유도하여, 이 프레임워크가 실용적 효율성 요구사항에 적응 가능함을 입증한다.