[논문 리뷰] Existence and Computation of Maximin Fair Allocations Under Matroid-Rank Valuations

Siddharth Barman, Paritosh Verma|arXiv (Cornell University)|2020. 12. 23.

Game Theory and Voting Systems참고 문헌 24인용 수 12

한 줄 요약

이 논문은 기여자가 매트로이드 랭크 가치 함수를 가질 때 항상 최대 최소 공정 배분(MMS)이 존재하고, 다항 시간 내에 계산 가능하다는 것을 입증한다. 이는 감소 수익의 자원 배분을 모델링하는 하위모듈러 함수이다. 저자들은 사회 복지 최대화 MMS 할당이 항상 보장됨을 증명하고, 전략적 상품 이동을 통해 순차적으로 할당을 개선함으로써 공정성과 효율성을 동시에 달성하는 다항 시간 알고리즘을 제시한다.

ABSTRACT

We study fair and economically efficient allocation of indivisible goods among agents whose valuations are rank functions of matroids. Such valuations constitute a well-studied class of submodular functions (i.e., they exhibit a diminishing returns property) and model preferences in several resource-allocation settings. We prove that, for matroid-rank valuations, a social welfare-maximizing allocation that gives each agent her maximin share always exists. Furthermore, such an allocation can be computed in polynomial time. We establish similar existential and algorithmic results for the pairwise maximin share guarantee as well. To complement these results, we show that if the agents have binary XOS valuations or weighted-rank valuations, then maximin fair allocations are not guaranteed to exist. Both of these valuation classes are immediate generalizations of matroid-rank functions.

연구 동기 및 목표

• 매트로이드 랭크 가치 함수 하에서 최대 최소 공정 할당이 항상 존재하는지 여부에 대한 열린 문제를 해결하기 위해.
• 매트로이드 랭크 가치 함수 하에서 사회 복지 최대화 MMS 할당을 다항 시간 내에 계산할 수 있는 알고리즘을 개발하기 위해.
• 동일한 가치 함수 클래스 하에서 쌍별 최대 최소 공정 가치(PMMS) 기준으로의 공정성 보장을 확장하기 위해.
• MMS 존재성의 경계를 규명하기 위해 이중 XOS 및 가중 랭크 가치 함수 하에서 MMS 할당이 실패함을 보여주기 위해.
• 하위모듈러 가치 함수 설정 하에서 MMS, PMMS 및 사회 복지 최대화 간의 관계를 설정하기 위해.

제안 방법

• 알고리즘은 사회 복지 최대화 할당으로 시작하여, 쌍별 최대 최소 공정 가치(PMMS) 조건을 만족시키기 위해 기여자 간에 상품을 이동시키는 방식으로 순차적으로 개선한다.
• 매트로이드 증강 성질을 활용하여, 사회 복지를 감소시키지 않으면서 기여자 j의 할당에서 기여자 i의 할당으로 이동시킬 수 있는 상품을 식별한다.
• 이동 과정은 ∑v_k(A_k)²의 제곱 합을 엄격히 감소시키므로, 최대 m²단계 내에 수렴한다.
• 만약 v_i(A_i) < μ_i(2, A_i ∪ A_j)이면 |A_j| ≥ |A_i| + 2임을 이용해 유효한 이동이 가능함을 보장한다.
• 알고리즘은 전체 과정 동안 사회 복지 최대화를 유지하며, 최종적으로 PMMS 할당에 도달한다.
• 개선 단계의 유한성과 정확성에 기반해 이러한 할당의 존재가 보장된다.

실험 결과

연구 질문

• RQ1 기여자가 매트로이드 랭크 가치 함수를 가질 때 최대 최소 공정 할당이 항상 존재하는가?
• RQ2 매트로이드 랭크 가치 함수 하에서 사회 복지 최대화 MMS 할당을 다항 시간 내에 계산할 수 있는가?
• RQ3 이 설정 하에서 쌍별 최대 최소 공정 가치(PMMS) 보장도 동일하게 보장되고 효율적으로 계산 가능한가?
• RQ4 매트로이드 랭크 함수를 일반화하는 가치 함수 클래스 중에서 MMS 할당이 보장되지 않는 경우는 존재하는가?
• RQ5 하위모듈러 가치 함수 설정 하에서 MMS, PMMS 및 사회 복지 최대화 간의 관계는 무엇인가?

주요 결과

• 매트로이드 랭크 가치 함수를 가진 모든 인스턴스에 대해 최대 최소 공정 할당(MMS)이 보장된다.
• 국소 개선 알고리즘을 사용하여 사회 복지 최대화 MMS 할당을 다항 시간 내에 계산할 수 있다.
• 동일한 알고리즘은 동시에 사회 복지 최대화를 달성하는 쌍별 최대 최소 공정 가치(PMMS) 할당도 계산할 수 있다.
• 제곱 합 ∑v_k(A_k)²의 엄격한 감소에 기반해, 알고리즘이 최대 m²회 반복 내에 수렴한다.
• 이중 XOS나 가중 랭크 가치 함수 하에서는 일반적으로 MMS 할당이 존재하지 않으며, 이는 매트로이드 랭크 함수의 일반화이지만.
• 모든 사회 복지 최대화 및 PMMS 할당은 1/(2n)-근사 MMS 할당이므로, 정량적 공정성의 상충관계가 입증된다.