[논문 리뷰] How to Fairly Allocate Easy and Difficult Chores

Soroush Ebadian, Dominik Peters외 1명|arXiv (Cornell University)|2021. 10. 21.

Game Theory and Voting Systems참고 문헌 17인용 수 16

한 줄 요약

이 논문은 비가환 분할 이론에서 중요한 열린 문제를 해결하며, 비용이 1 또는 p > 1인 이원가치 유용성(utility)을 가진 일감(chores)에 대해 항상 파레토 최적(Pareto optimal, PO)이면서도 한 개의 항목을 제외한 후에야 복수의 선호를 갖지 않는(Envy-free up to one item, EF1) 할당이 존재함을 증명한다. 저자들은 기존의 상품(goods) 설정에 대한 기법을 새롭게 분석 기법을 사용하여 조건에 맞게 조정한 피셔 시장(Fisher market) 프레임워크에 기반한 다항시간 알고리즘을 제시한다.

ABSTRACT

A major open question in fair allocation of indivisible items is whether there always exists an allocation of chores that is Pareto optimal (PO) and envy-free up to one item (EF1). We answer this question affirmatively for the natural class of bivalued utilities, where each agent partitions the chores into easy and difficult ones, and has cost $p > 1$ for chores that are difficult for her and cost $1$ for chores that are easy for her. Such an allocation can be found in polynomial time using an algorithm based on the Fisher market. We also show that for a slightly broader class of utilities, where each agent $i$ can have a potentially different integer $p_i$, an allocation that is maximin share fair (MMS) always exists and can be computed in polynomial time, provided that each $p_i$ is an integer. Our MMS arguments also hold when allocating goods instead of chores, and extend to another natural class of utilities, namely weakly lexicographic utilities.

연구 동기 및 목표

• 이ndivisible 일감에 대해 EF1 및 파레토 최적(PO) 할당이 항상 존재하는지 여부라는 열린 문제를 해결하는 것.
• 구조화된 유용성 클래스 하에서 EF1를 초월해 최소 공정 분할(MMS) 공정성 보장을 확장하는 것.
• 이원가치 또는 약한 렉시코그래픽 유용성의 경우에 공정하고 효율적인 할당을 계산하는 다항시간 알고리즘을 개발하는 것.
• 제한된 유용성 클래스 하에서 EFX와 같은 더 강력한 공정성 개념이 일감 설정에서 달성 가능한지 탐색하는 것.
• MMS와 PO 할당이 계산 가능한 조건을 설정하는 것—특히 MMS 자체가 계산이 비틀린다는 점을 감안할 때도 마찬가지로 효율적으로 계산 가능한지 여부를 포함한다.

제안 방법

• 에이전트가 음수 유용성을 가지며, 항목 가격을 통해 시장을 청산하는 일감 할당 설정에 피셔 시장 프레임워크를 적용한다.
• 에이전트 평가 기반의 항목 순위를 사용하여, 파레토 향상 사이클의 정지 시간을 다항시간 내에 보장하기 위해 잠재함수(potential function)를 도입한다.
• 이원가치 유용성의 경우, 한 에이전트가 다른 이의 할당에서 한 항목을 제거한 후에도 다른 이의 할당을 선호하지 않는다는 조건을 만족시키기 위해 시장 균형을 구성함으로써 EF1 및 PO 할당을 도출한다.
• MMS 공정성의 경우, 잠재함수를 사용하여 파레토 향상 체인을 통해 MMS 할당을 MMS 및 PO 할당으로 변환할 수 있음을 증명한다. 이때, 상품의 경우 잠재함수는 엄격히 감소하고, 일감의 경우는 엄격히 증가한다.
• 에이전트 선호도에 따라 계층적 값 함수 h(i,r)를 정의함으로써 약한 렉시코그래픽 유용성으로의 결과 확장을 달성하고, 이를 통해 파레토 향상 단계의 수를 제한한다.
• 사이클 기반 향상 메커니즘(Lemma 4.14)을 활용하여 할당을 반복적으로 향상시키며, 유용성 클래스에 따라 O(m) 또는 O(m²) 단계 내에 수렴함을 보장한다.

실험 결과

연구 질문

• RQ1 이원가치 유용성 하에서 EF1 및 파레토 최적(PO) 일감 할당이 항상 존재하는가?
• RQ2 이원가치 또는 약한 렉시코그래픽 유용성 함수 하에서 MMS 및 PO 할당을 효율적으로 계산할 수 있는가?
• RQ3 EF1 및 PO 공정성을 동시에 달성하는 다항시간 알고리즘이 존재하는가?
• RQ4 피셔 시장 프레임워크는 음수 유용성(일감)을 다룰 수 있도록 적응 가능하며, 공정성 및 효율성 보장을 유지하는가?
• RQ5 개별화된 이원가치 유용성 하에서 MMS 및 PO 공정성의 계산 복잡도는 얼마인가?

주요 결과

• 에이전트가 비용이 {1, p}인 이원가치 유용성을 가지며 p > 1일 경우, 항상 EF1 및 파레토 최적(PO) 일감 할당이 존재한다.
• 이러한 할당은 이원가치 설정에 적응된 피셔 시장 기반 알고리즘을 사용하여 다항시간 내에 계산할 수 있다.
• 각 에이전트 i가 고유한 정수 p_i를 가지는 더 넓은 유용성 클래스에 대해서도 MMS 할당이 항상 존재하며, 다항시간 내에 계산 가능하다.
• 약한 렉시코그래픽 유용성 하에서는 상품과 일감 모두에 대해 MMS 및 PO 할당이 존재하며, 다항시간 내에 계산 가능하다.
• MMS 할당의 존재는 MMS 및 PO 할당의 존재를 암시하며, 이는 파레토 향상 체인을 통해 효율적으로 계산 가능하다.
• 잠재함수의 항목 순위 기반 단조성 덕분에, 이원가치 유용성의 경우 O(m) 단계, 약한 렉시코그래픽 유용성의 경우 O(m²) 단계 내에 알고리즘이 종료된다.