[논문 리뷰] Fair Division Under Cardinality Constraints

Siddharth Barman, Arpita Biswas|arXiv (Cornell University)|2018. 04. 25.

Game Theory and Voting Systems참고 문헌 21인용 수 28

한 줄 요약

이 논문은 분할 불가능한 물건의 공정 분배에서 기수 제약 조건 하에서 선호도 없음(1개의 물건에 의한 선호도 없음, EF1) 및 근사 최소 공정 분배(MMS) 공정성 보장이 유지됨을 입증한다. 저자들은 라운드로빈 방법을 환경도 그래프 기법과 융합하여 EF1 및 근사 MMS 할당을 효율적으로 계산하는 알고리즘을 개발하였으며, 동일한 평가 기준 하에서 라미너 매트로이드 제약 조건 하에서도 존재성과 계산 가능성(탄력성)을 증명한다.

ABSTRACT

We consider the problem of fairly allocating indivisible goods, among agents, under cardinality constraints and additive valuations. In this setting, we are given a partition of the entire set of goods---i.e., the goods are categorized---and a limit is specified on the number of goods that can be allocated from each category to any agent. The objective here is to find a fair allocation in which the subset of goods assigned to any agent satisfies the given cardinality constraints. This problem naturally captures a number of resource-allocation applications, and is a generalization of the well-studied (unconstrained) fair division problem. The two central notions of fairness, in the context of fair division of indivisible goods, are envy freeness up to one good (EF1) and the (approximate) maximin share guarantee (MMS). We show that the existence and algorithmic guarantees established for these solution concepts in the unconstrained setting can essentially be achieved under cardinality constraints. Specifically, we develop efficient algorithms which compute EF1 and approximately MMS allocations in the constrained setting. Furthermore, focusing on the case wherein all the agents have the same additive valuation, we establish that EF1 allocations exist and can be computed efficiently even under laminar matroid constraints.

연구 동기 및 목표

• 기수 제약 조건 하에서 분할 불가능한 물건의 할당에 대해 연구 부족을 메우기 위해.
• 각 에이전트가 각 카테고리에서 최대 지정된 수의 물건만 수령할 수 있는 환경으로 EF1 및 MMS 공정성 개념을 확장하기 위해.
• 이러한 제약 조건 하에서 공정 할당의 존재성과 효율적 계산을 확립하기 위해, 특히 가산 및 동일한 평가 기준 하에서.
• 비제약 조건 환경을 넘어서 공정성 보장을 일반화하기 위해, 특히 수업 할당 및 자원 공유와 같은 실생활 적용 사례에서.
• 복잡한 제약 조건, 예를 들어 라미너 매트로이드 구조와 같은 조건 하에서도 공정성이 유지되는지 탐색하기 위해.

제안 방법

• 환영도 그래프 분석을 통합하여 라운드로빈 알고리즘을 수정함으로써, 기수 제약 조건을 준수하면서도 EF1 공정성을 유지한다.
• 최고가치의 번들에 대한 값 감소를 위해 스왑 기반 반복 절차를 사용하며, 다항 시간 내에 수렴함을 보장한다.
• 제약 조건이 있는 가산 공정 분배 문제를 제약 조건이 없는 하위모듈라 평가 기준 문제로 환원하여 근사 MMS 할당을 계산한다.
• 동일한 가산 평가 기준 하에서는 EF1 할당이 존재하며, 라미너 매트로이드 제약 조건 하에서도 효율적으로 계산 가능하다는 사실을 활용한다.
• EF1에 어긋나는 번들의 위반 집합을 유지하며, 이 집합 내 최고가치 번지의 값이 좋은 물건 이동을 통해 감소할 수 있을 때만 할당을 갱신한다.
• 한 번 위반 집합에서 제외된 번지는 다시 포함되지 않으며, 어떤 번지도 최고가치 위반 번지로 올 수 있는 횟수는 다항적으로 제한된다.

실험 결과

연구 질문

• RQ1 각 카테고리의 물건에 기수 제약 조건이 있을 경우 EF1 할당이 존재하는가?
• RQ2 기수 제약 조건이 존재하는 상황에서 EF1 할당을 효율적으로 계산할 수 있는가?
• RQ3 기수 제약 조건이 적용될 경우 근사 MMS 할당이 존재하며, 이를 효율적으로 계산할 수 있는가?
• RQ4 에이전트의 평가 기준이 동일할 경우, 라미너 매트로이드 제약 조건 하에서도 공정성이 유지되는가?
• RQ5 비제약 조건 공정 분배 알고리즘을 구조적 제약 조건 하에서도 공정성을 유지하도록 적응시킬 수 있는가?

주요 결과

• 기수 제약 조건 하에서 각 카테고리의 물건에 대해 EF1 할당이 보장되며, 다항 시간 내에 계산 가능하다.
• 제안된 알고리즘은 각 에이전트가 기수 제약 조건을 충족하면서도, 물건 스왑을 통한 반복적 가치 균형 조정을 통해 EF1 공정성을 달성한다.
• 동일한 가산 평가 기준 하에서는 EF1 할당이 존재하며, 라미너 매트로이드 제약 조건 하에서도 효율적으로 계산 가능하다.
• 기수 제약 조건 하에서 하위모듈라 평가 기준 문제로의 환원을 통해 근사 MMS 할당이 다항 시간 내에 계산 가능하며, 최소 2/3의 최소공정분배를 달성한다.
• 각 번지는 최고가치 위반 번지로 올 수 있는 횟수가 다항적으로 제한되며, 곱셈적 값 감소 또는 기수 감소로 인해 알고리즘이 다항 시간 내에 종료된다.
• 기수 제약 조건 하에서 EF1 할당의 존재성은 강건하며, 알고리즘이 매 단계에서 공정성을 유지하거나 향상시키며, 이전에 해결된 위반 사항을 재발생시키지 않는다.