[논문 리뷰] Ordinal Maximin Share Approximation for Chores

Seyed Hossein Hosseini, Andrew Searns외 1명|arXiv (Cornell University)|2022. 01. 19.

Auction Theory and Applications인용 수 4

한 줄 요약

이 논문은 분할 불가능한 빚을 공정하게 분배하는 데 있어서 1-out-of-⌊2n/3⌋ 최대최소공유(이하 MMS) 근사치를 확보하는 다항시간 알고리즘을 제시하며, 1-out-of-⌊3n/4⌋ MMS 분배의 존재성을 증명한다. 또한 이론적 최적값에 대해 로그 인자 범위 내에서 근사하는 실용적인 알고리즘을 개발한다. 이 알고리즘은 박스 패킹 기법을 활용한다.

ABSTRACT

We study the problem of fairly allocating a set of m indivisible chores (items with non-positive value) to n agents. We consider the desirable fairness notion of 1-out-of-d maximin share (MMS) -- the minimum value that an agent can guarantee by partitioning items into d bundles and receiving the least valued bundle -- and focus on ordinal approximation of MMS that aims at finding the largest d <= n for which 1-out-of-d MMS allocation exists. Our main contribution is a polynomial-time algorithm for 1-out-of-floor(2n/3) MMS allocation, and a proof of existence of 1-out-of-floor(3n/4) MMS allocation of chores. Furthermore, we show how to use recently-developed algorithms for bin-packing to approximate the latter bound up to a logarithmic factor in polynomial time.

연구 동기 및 목표

• 분할 불가능한 물건에 대한 공정 분배 문제를 해결하기 위해, 잘 알려진 컷-앤드-체즈 프로토콜을 분할 불가능한 항목으로 일반화한 순서 기반 MMS 근사 기준을 사용한다.
• 다양한 MMS 근사치의 한계를 극복하기 위해, 번들 순위 기반의 강력하고 해석 가능한 공정성 보장을 제공하는 순서 기반 접근 방식을 도입한다.
• 특히 최고의 알려진 근사 비율을 향상시키는 데 초점을 맞춰, 빚에 대해 강력한 순서 기반 MMS 근사치를 달성하는 효율적인 알고리즘을 개발한다.
• 이론적 존재 결과와 실용적 계산을 연결하기 위해, 박스 패킹 알고리즘을 활용하여 최적의 순서 기반 MMS 기준에 대해 로그 인자 범위 내에서 근사한다.

제안 방법

• 크리티컬한 큰 빚의 수를 철저히 제한하고, 새로운 분할 전략을 사용함으로써 1-out-of-⌊2n/3⌋ MMS 근사치를 달성하는 근사 알고리즘을 제안한다.
• 큰 빚의 수를 상한으로 제한하기 위해 고안된 새로운 기술적 보조정리(보조정리 3.8)를 활용한다. 이는 모든 항목이 할당되어야 하는 빚 분배의 제약 조건을 처리하는 데 핵심적이다.
• 일반적으로 MMS 값 계산이 비결정성임에도 불구하고, 정확한 MMS 값 계산을 통해 1-out-of-⌊3n/4⌋ MMS 분배의 존재성을 증명한다.
• 박스 패킹에 대한 하모닉 알고리즘(HR)을 변형하여 MMS 임계값을 근사한다: 각 빚을 크기 |v_i(c)|를 가진 항목으로 간주하고, 상자 크기는 MMS 임계값에 해당한다.
• 각 에이전트 i에 대해 가능한 상자 크기의 범위를 이진 탐색을 통해 탐색하여, 임계값 β_i를 계산한다. 이는 에이전트의 할당 가치가 최소 β_i 이상이 되도록 보장하며, 이는 d = ⌊3n/4⌋ - a·log(⌊3n/4⌋)일 때 MMS 값에 대한 하한으로 증명된다.
• 알고리즘 1(임계값 기반 분배)과 박스 패킹을 통해 계산된 임계값을 조합하여, 모든 에이전트에게 1-out-of-⌊⌊3n/4⌋ - a·log(⌊3n/4⌋)⌋ MMS를 보장하는 완전한 다항시간 분배 알고리즘을 도출한다.

실험 결과

연구 질문

• RQ1 표준적인 상품 분배 히وري스틱이 실패하는 상황에서도, 다항시간 알고리즘이 1-out-of-⌊2n/3⌋ MMS 근사치를 달성할 수 있는가?
• RQ2 큰 인스턴스에서 정확한 MMS 계산이 불가능한 상황이라도, 1-out-of-⌊3n/4⌋ MMS 분배가 존재하는가?
• RQ3 이론적 존재 결과인 1-out-of-⌊3n/4⌋ MMS 분배를 실용적이고 다항시간인 알고리즘으로 전환할 수 있는가? 이 과정에서 근사 손실이 제한되는가?
• RQ4 순서 기반 MMS 근사 프레임워크는 빚 분배 문제에서 다항적 MMS 근사치와 비교해 볼 때, 강건성과 계산 가능성 측면에서 어떻게 다른가?

주요 결과

• 분할 불가능한 빚에 대해 1-out-of-⌊2n/3⌋ MMS 분배를 보장하는 다항시간 알고리즘을 제시하며, 이 알고리즘의 런타임은 에이전트 수와 빚 수에 대해 강력 다항시간이다.
• 1-out-of-⌊3n/4⌋ MMS 분배의 존재성을 증명함으로써, 이 문제에 대해 알려진 최고의 이론적 순서 기반 근사 비율을 확립한다.
• ⌊3n/4⌋ MMS 기준에 대해 로그 인자 범위 내에서 근사하는 효율적인 알고리즘을 개발하여, 어떤 고정된 a > 0에 대해 1-out-of-⌊⌊3n/4⌋ - a·log(⌊3n/4⌋)⌋ MMS를 달성한다.
• 입력 값의 이진 표현 기반으로 다항시간 내에 실행되므로, 정수 기반 빚 유틸리티를 가진 실생활 응용에 실용적이다.
• 이 접근은 강건하다: 다항적 근사치보다 순서 기반 근사치가 평가 프로파일의 미세한 변화에 덜 민감하여, 더 강력한 개념적 공정성 정당화를 제공한다.
• 박스 패킹 알고리즘과 이진 탐색을 활용하여, 주어진 d에 대해 MMS 값에 대한 증명된 하한이 되는 임계값을 계산함으로써, 분배의 완전성과 공정성을 보장한다.