[논문 리뷰] Fair and Efficient Allocations under Lexicographic Preferences

Hadi Hosseini, Sujoy Sikdar외 2명|arXiv (Cornell University)|2020. 12. 14.

Game Theory and Voting Systems참고 문헌 41인용 수 4

한 줄 요약

이 논문은 사전순 선호도 하에서 효율성의 첫 번째 알고리즘적 특성화를 제시하며, 모든 좋은 것에 대해 선호도가 없음(EFX)과 파레토 최적성(PO)을 동시에 만족시키는 할당이 항상 존재하고 다항 시간 내에 계산 가능하다는 것을 증명한다. 또한 EFX+PO를 만족하는 전략수정 불가능, 비보스티, 중립적인 메커니즘을 특성화하며, 더 강력한 효율성 개념인 순위 최대화(rank-maximality)는 부적합성과 NP-난이도를 초래함을 보여주며, 공정성의 개념을 최소 분할 기준(MMS)으로 완화할 경우 이를 복구할 수 있음을 밝힌다.

ABSTRACT

Envy-freeness up to any good (EFX) provides a strong and intuitive guarantee of fairness in the allocation of indivisible goods. But whether such allocations always exist or whether they can be efficiently computed remains an important open question. We study the existence and computation of EFX in conjunction with various other economic properties under lexicographic preferences--a well-studied preference model in artificial intelligence and economics. In sharp contrast to the known results for additive valuations, we not only prove the existence of EFX and Pareto optimal allocations, but in fact provide an algorithmic characterization of these two properties. We also characterize the mechanisms that are, in addition, strategyproof, non-bossy, and neutral. When the efficiency notion is strengthened to rank-maximality, we obtain non-existence and computational hardness results, and show that tractability can be restored when EFX is relaxed to another well-studied fairness notion called maximin share guarantee (MMS).

연구 동기 및 목표

• 사전순 선호도 하에서 EFX와 파레토 최적성(PO) 할당의 존재성과 계산 가능성을 조사하며, 이는 추가 가치 할당 하에서 EFX와 PO가 부적합한 영역이다.
• 사전순 선호도 하에서 EFX, PO, 전략수정 불가능성, 비보스티, 중립성 조건을 만족하는 메커니즘을 특성화한다.
• 효율성의 강화를 순위 최대화로 하였을 때의 영향을 조사하며, 부적합성과 계산 난이도를 드러낸다.
• EFX를 MMS로 완화할 경우 순위 최대화 할당에 대해 복구 가능성과 효율성의 경험적 가능성 여부를 탐색한다.

제안 방법

• 사전순 선호도 하에서 EFX+PO 할당을 계산하기 위한 다항 시간 알고리즘의 가족을 제안하며, 이러한 할당은 이들 알고리즘 중 하나로 생성될 수 있음을 특성화한다.
• 중립성과 비보스티 조건 하에서 EFX+PO+전략수정 불가능 메커니즘을 특성화하기 위해 할당 기반 순차 독재 메커니즘의 클래스를 도입한다.
• EFX+순위 최대화 할당의 존재 여부를 확인하는 것이 NP-완전임을 증명한다. 이는 EFX를 EFk(최대 k개의 좋은 것에 대해 선호도 없음)로 완화한 경우에도 동일하게 적용된다.
• EFX와 순위 최대화는 상호 배타적이며, 전략수정 불가능성과도 부적합하다. 또한 EFk 하에서도 문제의 난이도는 그대로 유지된다.
• EFX를 MMS(최소 분할 기준 보장)로 완화할 경우, EFX+순위 최대화 할당의 효율적 계산이 가능해지며, 이는 타당한 대안을 제공한다.
• Mallows 모델을 사용하여 물건 수와 산산각도 파ameter를 변화시키며 {EF, EFX, EF1, MMS}+순위 최대화 할당의 빈도를 경험적으로 평가한다.

실험 결과

연구 질문

• RQ1 사전순 선호도 하에서 EFX와 파레토 최적 할당은 항상 존재하며, 효율적으로 계산 가능한가?
• RQ2 사전순 선호도 하에서 EFX, PO, 전략수정 불가능성, 비보스티, 중립성을 동시에 만족하는 메커니즘은 무엇인가?
• RQ3 EFX와 순위 최대화를 동시에 달성할 수 있으며, 이러한 할당의 존재 여부를 확인하는 데에는 어떤 계산 복잡도가 필요한가?
• RQ4 EFX를 MMS로 완화하면 순위 최대화 할당에 대해 복구 가능성은 회복되는가?
• RQ5 물건 수와 선호도의 산산각도에 따라 EFX+순위 최대화 할당의 존재 확률은 어떻게 변하는가?

주요 결과

• 사전순 선호도 하에서 EFX+PO 할당을 계산하기 위한 다항 시간 알고리즘의 가족이 존재하며, 이러한 할당은 이들 알고리즘 중 하나로 생성될 수 있어 완전한 알고리즘적 특성화를 제공한다.
• 중립성과 비보스티 조건 하에서 EFX, PO, 전략수정 불가능성을 만족하는 메커니즘은 할당 기반 순차 독재 메커니즘의 특별한 클래스로 완전히 특성화된다.
• EFX와 순위 최대화는 상호 배타적이며, EFX+순위 최대화 할당의 존재 여부를 확인하는 것은 NP-완전이다.
• EFX를 EFk로 완화한 경우에도 EFX+순위 최대화 할당의 존재 여부 확인은 여전히 NP-완전하다.
• EFX를 MMS로 완화하면 복구 가능성이 회복되며, MMS 완화 하에서 EFX+순위 최대화 할당은 효율적으로 계산 가능하다.
• 경험적 결과는 물건 수가 적을 경우 EFX+순위 최대화 할당이 EF+순위 최대화 할당보다 더 자주 발생하지만, 물건 수가 증가함에 따라 격차가 줄어들며, 점점 더 큰 비율로 둘 다 존재하게 된다.