[논문 리뷰] Fair Division with Bounded Sharing: Binary and Non-Degenerate Valuations

Samuel Bismuth, Ivan Bliznets외 1명|arXiv (Cornell University)|2019. 12. 01.

Game Theory and Voting Systems인용 수 5

한 줄 요약

이 논문은 가분 물건을 추가적 유틸리티를 가진 에이전트들 간에 나누는 공정 분배 문제를 다루며, 비례성, 선호 회피성, 균형성 등의 공정성 조건 하에서 공유되는 물건의 수를 최소화하는 데 초점을 맞춘다. 선형 프로그래밍을 활용해 공유 수에 대한 상한을 도출하고, 정확한 공정 분배를 위해 화폐 전달이 허용되지 않는 조건에서 공유 수를 최소화하는 것이 NP-난이도임을 증명하며, 분수 페어토 최적성 조건이 없을 경우의 정확한 공정 분배의 계산적 난이도를 강조한다.

ABSTRACT

A set of objects is to be divided fairly among agents with different tastes, modeled by additive utility-functions. If we consider the objects as indivisible, many instances of the decision problem: ``Is there a fair division of the objects among the agents'' are negative. In addition, this question is hard to solve even for most of the special cases. The latter reasons give us a good motivation to relax the problem for which the running time complexity is better, and the number of positive instances (admitting a fair division) will significantly grow. Whereas many works relax the fairness criteria, this paper introduces another relaxation: an agent is allowed to share a \emph{bounded} number of objects between two or more agents in order to attain fairness. The paper studies various notions of fairness, such as proportionality, envy-freeness, equitability, and consensus. We analyze the run-time complexity of finding a fair allocation with a given number of sharings under several restrictions on the agents' valuations, such as: binary, generalized-binary, and non-degenerate.

연구 동기 및 목표

• 정확한 공정성 조건이 요구되지만 화폐 전달이 허용되지 않을 때 공유되는 물건의 수를 최소화하기 위해.
• 최소한의 공유 수를 가진 공정 배분을 찾는 데 있어 계산 복잡도를 분석하며, 특히 분수 페어토 최적성 조건을 요구하지 않는 경우를 중심으로 한다.
• 가분 재화가 있는 공정 분배에서 공정성, 최소 공유 수, 계산 효율성 간의 상호 교환 관계를 비교 분석하기 위해.
• 분수 페어토 최적성 조건을 완화함으로써 진정성 메커니즘의 타당성을 탐색하기 위해.

제안 방법

• 비례성, 선호 회피성 등 다양한 공정성 기준에 대해 필요한 공유 수에 대한 상한을 도출하기 위해 선형 프로그래밍 기법을 사용한다.
• 모든 에이전트가 각 번들을 동일한 가치로 평가하는 공감 분할 개념을 적용하여, 진정성 메커니즘 설계를 지원한다.
• 공유 수를 최소화하는 문제를 비제로 변수 수가 제한된 선형 프로그램으로 환원하며, 이를 Min-RVLS로 알려진 문제로 간주한다.
• 분할 문제에서의 감소를 통해 공유 수 최소화 문제의 NP-난이도를 증명하며, 두 에이전트일지라도 문제의 계산적 비가역성이 있음을 보여준다.
• 비균일 평가 기준 하에서 Min-RVLS 문제의 NP-난이도를 입증하기 위해 DistinctBalancedPartition 문제로부터 새로운 감소 기법을 적용한다.
• 분수 페어토 최적성 조건을 가진 이전 연구와 비교하여, 이 조건을 제거할 경우 복잡도가 상당히 증가함을 보여준다.

실험 결과

연구 질문

• RQ1 비례성, 선호 회피성, 균형성 조건 하에서 공정 분배를 달성하기 위해 최소 몇 개의 물건이 공유되어야 하는가?
• RQ2 공정성 조건이 요구되지만 분수 페어토 최적성 조건이 부여되지 않을 경우, 공유 수를 효율적으로 최소화할 수 있는가?
• RQ3 비균일 평가 기준 하에서도 최소한의 공유 수를 가진 공정 배분을 찾는 다항 시간 알고리즘이 존재하는가?
• RQ4 분수 페어토 최적성 조건이 없을 경우, 공정 배분의 가능한 수와 최소 공유 솔루션을 찾는 데 있어 복잡도는 어떻게 영향을 받는가?
• RQ5 분수 페어토 최적성 조건을 완화함으로써 진정성 공정 분배 메커니즘을 설계할 수 있는가?

주요 결과

• 비례성 또는 선호 회피성 배분을 위한 공유 수는 최대 $ n-1 $개이며, 일반적으로 이 상한은 날카로운 경계이다.
• 공감 분할의 경우 공유 수는 최대 $ n(n-1) $개이며, 이러한 배분을 계산할 수 있는 약한 다항 시간 알고리즘이 존재한다.
• 공정성 조건 하에서 공유 수를 최소화하는 것은 두 에이전트일지라도 비균일 평가 기준 하에서도 NP-난이도이다.
• 비균일 평가 기준 외에도 열악한 평가 기준으로 제한할 경우 문제의 NP-난이도는 그대로 유지되며, 이는 문제의 구조적 본질적인 난이도를 시사한다.
• 분수 페어토 최적성 조건이 없을 경우 공정 배분의 수는 초다항적으로 증가하며, 이러한 배분의 수에 대한 다항 상한도 존재하지 않는다.
• NP-난이도 결과는 분할 문제에서의 감소를 통해 입증되었으며, 선형 시스템에서 비제로 변수 수의 최소화에 대한 약간의 덧붙임도 다항 시간 내에 불가능하다는 것을 보여준다.