[논문 리뷰] To Give or Not to Give: Fair Division for Single Minded Valuations

Simina Brânzei, Yuezhou Lv외 1명|arXiv (Cornell University)|2016. 02. 29.

Game Theory and Voting Systems참고 문헌 32인용 수 9

한 줄 요약

이 논문은 단일 욕망을 가진 에이전트—특정 상품 조합만 가치를 부여하고 그 이하의 조합에는 가치를 부여하지 않는 에이전트—간의 공정 분배를 위한 경쟁적 할당에서 동일 소득(CAEI) 메커니즘을 제안한다. 나누기 가능한 상품과 케이크 커팅에 대해 CAEI의 존재성과 효율적 계산 가능성을 증명하며, 이산 상품에 대해서는 특성 기반을 제공하고, 구조적 제약 조건 하에서 복리 극대화 할당을 위한 다항 시간 알고리즘을 개발한다. 또한 CAEI가 공정성 보장 측면에서 선호형 분배를 엄격히 초월함을 보여준다.

ABSTRACT

Single minded agents have strict preferences, in which a bundle is acceptable only if it meets a certain demand. Such preferences arise naturally in scenarios such as allocating computational resources among users, where the goal is to fairly serve as many requests as possible. In this paper we study the fair division problem for such agents, which is harder to handle due to discontinuity and complementarities of the preferences. Our solution concept---the competitive allocation from equal incomes (CAEI)---is inspired from market equilibria and implements fair outcomes through a pricing mechanism. We study the existence and computation of CAEI for multiple divisible goods, cake cutting, and multiple discrete goods. For the first two scenarios we show that existence of CAEI solutions is guaranteed, while for the third we give a succinct characterization of instances that admit this solution; then we give an efficient algorithm to find one in all three cases. Maximizing social welfare turns out to be NP-hard in general, however we obtain efficient algorithms for (i) divisible and discrete goods when the number of different \emph{types} of players is a constant, (ii) cake cutting with contiguous demands, for which we establish an interesting connection with interval scheduling, and (iii) cake cutting with a constant number of players with arbitrary demands. Our solution is useful more generally, when the players have a target set of desired goods, and very small positive values for any bundle not containing their target set.

연구 동기 및 목표

• 단일 욕망을 가진 에이전트—특정 조합의 상품만 가치를 부여하고 보다 작은 조합에는 가치를 부여하지 않는 에이전트—에 대한 공정 분배 메커니즘이 부족한 데에 대응하기 위해.
• 동일 소득에서의 경쟁 균형에 영감을 받은 가격 기반의 해결 개념인 CAEI를 개발하여, 가격 메커니즘을 통해 공정성을 확보하기 위해.
• 다수의 이산 상품에 대해 CAEI가 존재할 조건을 특성화하고, 이를 계산하기 위한 효율적 알고리즘을 제공하기 위해.
• CAEI 하에서 사회적 복리 극대화를 위해 구조적 가정 하에서 NP-난이도를 피할 수 있는 경우를 식별하기 위해.
• CAEI를 표준 공정성 개념인 선호형 분배와 비교하여, CAEI가 엄격히 더 강력한 공정성 보장을 제공함을 보여주기 위해.

제안 방법

• 경쟁 균형에서 동일 소득을 기반으로 한 영감을 받은 해결 개념으로서 CAEI를 제안하며, 가격 메커니즘을 사용해 상품을 공정하게 할당한다.
• 나누기 가능한 상품과 케이크 커팅에 대해, 연속 최적화와 고정점 추론을 통해 CAEI의 존재성을 증명한다.
• 이산 상품에 대해, 선형 타당성 조건을 사용해 CAEI를 허용하는 인스턴스를 간결하게 특성화한다.
• 구조적 경우에 대해 다항 시간 알고리즘(알고리즘 1)을 활용해 CAEI 할당을 계산하며, 런타임은 poly(n,m) 내에서 이루어진다.
• 특정 설정에서 복리 극대화 문제를 간격 스케줄링과 캐시백 유사 문제로 환원하여 효율성을 달성한다.
• 모순 증명을 사용해, 어떤 CAEI 가격 체계로도 지원될 수 없는 일부 선호형 할당이 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 다수의 나누기 가능한 상품과 케이크 커팅에 대해 CAEI 해가 존재할 조건은 무엇인가?
• RQ2 다수의 이산 상품에 대해 CAEI는 효율적으로 계산 가능할 수 있으며, 그러한 해를 허용하는 인스턴스의 특성은 무엇인가?
• RQ3 구조적 가정 하에서 복리 극대화 CAEI 할당을 효율적으로 계산할 수 있을까? 그리고 어떤 조건에서 가능한가?
• RQ4 단일 욕망을 가진 에이전트에 대해 CAEI는 선호형 분배에 비해 공정성 보장 측면에서 어떻게 다를까?
• RQ5 목표 집합 근처의 집합에 대해 작은 양의 양의 가치를 가진 평가 클래스로 CAEI를 확장할 수 있을까?

주요 결과

• 다수의 나누기 가능한 상품과 케이크 커팅에 대해 CAEI 해가 존재하며, 다항 시간 내에 계산 가능하다.
• 다수의 이산 상품에 대해, 가격에 대한 타당성 조건을 사용해 CAEI를 허용하는 인스턴스를 완전히 특성화하였다.
• 서로 다른 상품 유형의 수가 일정할 경우, 복리 극대화 CAEI 할당은 다항 시간 내에 계산 가능하다.
• 연속된 요구를 가진 케이크 커팅에 대해, 간격 스케줄링과의 연결을 통해 효율적인 알고리즘을 개발하였다.
• CAEI는 선호형 분배보다 엄격히 더 강력하다: 어떤 CAEI 가격 체계로도 지원될 수 없는 선호형 할당이 존재한다.
• 일반적으로 사회적 복리 극대화 문제의 난이도는 여전히 NP-난이도이지만, 여러 구조적 경우—예를 들어 플레이어 수나 상품 수가 일정할 경우—에서는 다루기 쉬운 경우가 존재한다.