[논문 리뷰] Fair Allocation with Binary Valuations for Mixed Divisible and Indivisible Goods

Yasushi Kawase, Koichi Nishimura외 1명|arXiv (Cornell University)|2023. 06. 09.

Game Theory and Voting Systems인용 수 1

한 줄 요약

이 논문은 이진 평가를 갖는 혼합 가분 및 비가분 재화의 공정 배분을 연구하며, 대칭적이고 엄격히 볼록한 공정성 함수(예: 네쉬 또는 에고리타리안 복지)를 최소화하는 것이 비가분 재화가 동일할 경우조차도 NP-난이도임을 증명한다. 또한 모든 가분 재화가 동일한 경우 다항 시간 알고리즘을 제시하며, 이는 혼합 설정에서 이산 및 연속 최적화를 연결하는 근접성 구조를 활용한다.

ABSTRACT

The fair allocation of mixed goods, consisting of both divisible and indivisible goods, has been a prominent topic of study in economics and computer science. We define an allocation as fair if its utility vector minimizes a symmetric strictly convex function. This fairness criterion includes standard ones such as maximum egalitarian social welfare and maximum Nash social welfare. We address the problem of minimizing a given symmetric strictly convex function when agents have binary valuations. If only divisible goods or only indivisible goods exist, the problem is known to be solvable in polynomial time. In this paper, firstly, we demonstrate that the problem is NP-hard even when all indivisible goods are identical. This NP-hardness is established even for maximizing egalitarian social welfare or Nash social welfare. Secondly, we provide a polynomial-time algorithm for the problem when all divisible goods are identical. To accomplish these, we exploit the proximity structure inherent in the problem. This provides theoretically important insights into the hybrid domain of convex optimization that incorporates both discrete and continuous aspects.

연구 동기 및 목표

• 에이전트가 재화에 대해 이진 평가를 갖는 혼합 재화 배분에서의 공정성에 대해 조사한다.
• 가분 및 비가분 재화가 동시에 존재할 때 대칭적이고 엄격히 볼록한 공정성 함수(예: 네쉬 또는 에고리타리안 복지)를 최소화하는 문제의 계산 복잡도를 규명한다.
• 특히 하이브리드 설정에서의 유틸리티 벡터에 대한 구조적 성질—특히 근접성 정리—를 확립한다.
• 일반적인 경우에서 NP-난이도임을 감안할 때, 모든 가분 재화가 동일한 경우에 대해 다항 시간 알고리즘을 개발한다.

제안 방법

• 3차원 매칭(3DM)으로부터의 축소를 통해 NP-난이도를 증명하며, 비가분 재화가 동일한 경우에도 적용된다.
• 3DM의 초모서리와 에이전트를 모델링하기 위해 특정 평가를 갖는 가분 재화를 사용한 축소를 구성한다.
• 근접성 정리(정리 4.1)를 활용하여 연속적 근사에서의 유틸리티 벡터의 편차를 제한한다.
• 정수 기반-다각형과 M-볼록 집합의 민코프스키 합의 구조를 활용하여 가능 유틸리티 벡터를 분석한다.
• 대칭성과 유틸리티 범위를 활용하여 모든 가분 재화가 동일한 경우에 대한 다항 시간 알고리즘을 설계한다.
• dec-min 이완 프레임워크를 적용하고, 이완 설정에서 Φ-공정 배분과 dec-min 배분 간의 동치성을 보여준다.

실험 결과

연구 질문

• RQ1 비가분 재화가 동일할 경우조차도, 이진 평가 하에서 혼합 가분-비가분 재화 배분에서 대칭적이고 엄격히 볼록한 함수 Φ를 최소화하는 것은 NP-난이도인가?
• RQ2 모든 가분 재화가 동일한 특수 케이스에 대해 다항 시간 알고리즘을 설계할 수 있는가?
• RQ3 하이브리드 설정에서 근접성 정리가 성립하는가? 즉, Φ의 최소화자(최소화자)가 연속적 근사의 최소화자 주변의 유한한 이격 영역 내에 존재하는가?
• RQ4 순수 가분 또는 비가분 설정과 비교할 때, 하이브리드 케이스에서 유틸리티 집합의 구조적 성질은 어떻게 다를까?
• RQ5 이 하이브리드 영역에서 Φ-공정 배분과 dec-min 이완 배분 간의 관계는 무엇인가?

주요 결과

• 모든 비가분 재화가 동일한 경우조차도 대칭적이고 엄격히 볼록한 함수 Φ를 최소화하는 문제는 NP-난이도이며, 네쉬 복지나 에고리타리안 사회 복지의 최대화 문제에도 적용된다.
• 모든 가분 재화가 동일한 경우에 대해 다항 시간 알고리즘이 존재하여, 이진 평가 하에서 효율적인 공정 배분이 가능하다.
• 하이브리드 케이스에서 근접성 정리가 성립한다: Φ의 최소화자는 연속적 근사의 최소화자 주변의 단위 초입방에 위치한다.
• 하이브리드 케이스에서 가능한 유틸리티 벡터 집합은 볼록 집합도 아니며 M-볼록 집합도 아니므로, 기존의 이산 및 연속 최적화 도구를 적용할 수 없다.
• n명의 에이전트가 유틸리티 1을 정확히 얻고 나머지 에이전트들이 유틸리티 0.6을 얻는 Φ-공정 배분의 존재는 3DM 인스턴스에서의 완벽 매칭과 동치이며, 이는 NP-난이도를 입증한다.
• 결론 6.2는 최대 네쉬 복지와 에고리타리안 사회 복지 문제 모두가 비가분 재화가 동일한 경우조차도 NP-난이도임을 확인한다.