[논문 리뷰] Equitable Allocations of Indivisible Chores

Rupert Freeman, Sujoy Sikdar외 2명|arXiv (Cornell University)|2020. 02. 24.

Experimental Behavioral Economics Studies인용 수 12

한 줄 요약

이 논문은 분할 불가능한 일들에 대한 배분을 계산하기 위한 의사다항식 시간 알고리즘을 제안하며, 동시에 한 번의 일에 대해 공정한(EG1)이고 파레토 최적(Pareto optimal, PO)인 배분이 항상 존재함을 증명한다. 이는 이러한 배분이 항상 존재함을 보여준다. 또한 렉심린 알고리즘이 일 설정에서 EQ1을 보장하지 못함을 보이며, 새로운 공정성 개념인 어떤 중복된 일에 대해 공정한(DEQX)을 만족함을 보이고, 실험을 통해 제안된 방법이 Spliddit 알고리즘보다 공정성과 효율성에서 뛰어남을 입증한다.

ABSTRACT

We study fair allocation of indivisible chores (i.e., items with non-positive value) among agents with additive valuations. An allocation is deemed fair if it is (approximately) equitable, which means that the disutilities of the agents are (approximately) equal. Our main theoretical contribution is to show that there always exists an allocation that is simultaneously equitable up to one chore (EQ1) and Pareto optimal (PO), and to provide a pseudopolynomial-time algorithm for computing such an allocation. In addition, we observe that the Leximin solution---which is known to satisfy a strong form of approximate equitability in the goods setting---fails to satisfy even EQ1 for chores. It does, however, satisfy a novel fairness notion that we call equitability up to any duplicated chore. Our experiments on synthetic as well as real-world data obtained from the Spliddit website reveal that the algorithms considered in our work satisfy approximate fairness and efficiency properties significantly more often than the algorithm currently deployed on Spliddit.

연구 동기 및 목표

• 추가적인 불리함을 가진 에이전트들 사이에서 분할 불가능한 일들을 공정하게 할당하는 문제를 다루며, 공정성과 효율성에 중점을 둔다.
• 한 번의 일에 대해 공정한(EQ1)이자 파레토 최적(PO)인 배분의 존재와 계산 가능성을 확립한다.
• 기존의 공정성 개념—특히 일 설정에서의 렉심린—의 한계를 조사한다.
• 새로운 공정성의 완화인 어떤 중복된 일에 대해 공정한(DEQX)을 도입하고, 그 성질을 분석한다.
• 제안된 알고리즘을 실세계 및 합성 데이터에서 Spliddit의 생산 알고리즘과 실증적으로 비교한다.

제안 방법

• 자산 설정에서 Freeman 등(2019)의 접근 방식을 수정한 바탕으로, EQ1과 PO를 동시에 만족하는 의사다항식 시간 알고리즘을 제안한다.
• 어떤 중복된 일에 대해 공정한(DEQX)이라는 새로운 공정성 개념을 도입하며, 덜 만족한 에이전트의 배분에서 일 하나를 복제하여 더 만족한 에이전트의 배분에 추가함으로써 공정성이 복원됨을 의미한다.
• EQX+PO가 일 설정에서는 존재하지 않을 수 있음(자산 설정과는 반대로)을 증명하지만, EQ1+PO는 항상 존재하며 의사다항식 시간 내에 계산 가능하다는 것을 증명한다.
• 렉심린 알고리즘이 자산 설정에서는 강력한 공정성 특성을 보이지만, 일 설정에서는 EQ1를 만족하지 못함을 보여준다.
• 정점 커버 문제로부터의 환원을 통해 EQX+PO 배분을 계산하는 것이 강력한 NP-난이도임을 증명한다.
• 합성 데이터(에이전트 5명, 일 20개, 1000개의 인스턴스)와 Spliddit에서 수집한 실세계 데이터(2613개의 정제된 인스턴스)를 대상으로 광범위한 실험을 수행하며, 공정성 및 효율성 지표를 비교한다.

실험 결과

연구 질문

• RQ1 분할 불가능한 일들에 대해 항상 한 번의 일에 대해 공정한(EQ1)이자 파레토 최적(PO)인 배분이 존재하는가?
• RQ2 그러한 EQ1+PO 배분은 의사다항식 시간 내에 계산될 수 있는가?
• RQ3 자산 설정에서 강력한 공정성을 보장하는 렉심린 알고리즘이 일 설정에서도 EQ1를 만족하는가?
• RQ4 일 설정에서 EQX와 PO의 관계는 어떠하며, EQX+PO 배분이 항상 존재하는가?
• RQ5 실세계 및 합성 데이터에서 제안된 알고리즘과 Spliddit의 생산 알고리즘 간의 공정성 및 효율성 측면에서의 비교는 어떻게 이루어지는가?

주요 결과

• EQ1와 PO를 동시에 만족하는 배분은 항상 존재하며, 의사다항식 시간 내에 계산 가능함을 보여주며, 이는 긍정적인 이론적 보장을 제공한다.
• 렉심린 알고리즘은 자산 설정에서는 강력한 공정성 특성을 보이지만, 일 설정에서는 EQ1를 만족하지 못함을 보였다.
• 렉심린 알고리즘은 새로운 공정성 개념인 DEQX(어떤 중복된 일에 대해 공정한)를 만족함으로써, 일 할당에서의 활용에 대한 공식적 정당성을 제공한다.
• EQX+PO 배분은 일 설정에서는 존재하지 않을 수 있으며, 이러한 배분을 계산하는 것은 강력한 NP-난이도임을 보였다. 이는 자산 설정과는 대조된다.
• 합성 및 Spliddit의 실세계 데이터에서 제안된 알고리즘은 80퍼센트 이상의 인스턴스에서 근사 공정성 및 효율성 특성(EQ1, PO)을 만족하며, Spliddit 알고리즘보다 뚜렷이 뛰어나다.
• 실험 결과로 제안된 방법이 현재 Spliddit에 구현된 생산 알고리즘보다 더 높은 근사 공정성 및 효율성 비율을 달성함을 보였다.