[논문 리뷰] The Constrained Round Robin Algorithm for Fair and Efficient Allocation

Haris Aziz, Xin Huang외 2명|arXiv (Cornell University)|2019. 08. 01.

Game Theory and Voting Systems참고 문헌 20인용 수 12

한 줄 요약

논문은 능력 제약 조건과 임의의 유틸리티(양, 음, 또는 0) 하에서 분할 불가능한 항목을 공정하고 효율적으로 할당하기 위한 유연하고 계산적으로 효율적인 방법인 제약 조건이 있는 라운드 로빈(CRR) 알고리즘을 제안한다. 복잡도를 낮추기 위해 복수의 유틸리티 최적화 오라클을 라운드 로빈 프레임워크에 통합함으로써, CRR는 복지 요구 조건을 완화할 경우 선형적 효율성 보장(NEF1) 또는 EF1(한 개 항목을 제외한 공정성)을 보장한다. 이는 논문-리뷰어 할당과 같은 환경에서 효율성과 공정성 간의 체계적 트레이드오프를 가능하게 한다.

ABSTRACT

We consider a multi-agent resource allocation setting that models the assignment of papers to reviewers. A recurring issue in allocation problems is the compatibility of welfare/efficiency and fairness. Given an oracle to find a welfare-achieving allocation, we embed such an oracle into a flexible algorithm called the Constrained Round Robin (CRR) algorithm, that achieves the required welfare level. Our algorithm also allows the system designer to lower the welfare requirements in order to achieve a higher degree of fairness. If the welfare requirement is lowered enough, a strengthening of envy-freeness up to one item is guaranteed. Hence, our algorithm can be viewed as a computationally efficient way to interpolate between welfare and approximate envy-freeness in allocation problems.

연구 동기 및 목표

• 임의의 유틸리티와 능력 제약 조건이 존재하는 다중 에이전트 자원 할당 환경에서 효율성(예: 유틸리티니안 또는 랭크-최대 복지)과 공정성(예: EF1) 간의 균형을 맞추는 문제에 대응하기 위해.
• 높은 복지와 강력한 공정성 보장을 동시에 달성할 수 있는 실용적이고 계산적으로 효율적인 알고리즘을 개발하기 위해.
• 시스템 설계자가 복지 요구 조건을 조정하여 원하는 수준의 공정성을 달성할 수 있도록 하는 프레임워크를 제공하기 위해, 특히 컨fer런스 논문 할당과 같은 실제 환경에서의 적용을 고려하여.
• 기존의 다른 복지 목표를 최적화하는 방법들조차도 CRR가 NEF1 및 EF1와 같은 공정성 지표에서 뛰어난 성능을 보임을 입증하기 위해.
• EF1이면서도 유틸리티니안 또는 랭크-최대 효율성을 동시에 달성하는 할당을 찾는 것이 NP-완전임을 보여주어, CRR와 같은 히우리스틱이지만 증명 가능하게 공정한 접근 방식의 필요성을 정당화하기 위해.

제안 방법

• CRR는 라운드 로빈 방식의 알고리즘으로, 할당 순서에 따라 항목을 배분하지만, 최종 할당 결과가 지정된 복지 목표 W를 충족해야 한다는 제약 조건이 있다.
• 이 알고리즘은 외부 오라클을 사용하여 목표 복지 수준(예: 유틸리티니안 최대화 또는 랭크-최대화)을 달성하는 할당을 찾고, 이를 공정성 유지 라운드 로빈 과정에 통합한다.
• 특수한 경우로 복지 제약 조건이 없는 경우(W = null), CRR는 필수 EF1(NEF1)을 보장한다. 이는 순서형 선호와 일치하는 모든 유틸리티 함수에 대해 성립하는 EF1의 강화된 형태이다.
• 알고리즘은 활성 에이전트의 현재 할당과 능력 제약 조건을 기반으로 동적으로 에이전트 선택을 조정함으로써, 할당 과정 전반에 걸쳐 공정성이 유지되도록 한다.
• CRR는 다양한 복지 목표(UM, RM, 나쉬, 에갈리타리안, OWA)로 파arameter화할 수 있어, 시스템 설계자가 효율성과 공정성 간의 트레이드오프를 조정할 수 있다.
• 이 방법은 일반적이고 확장 가능하며, 음수 유틸리티와 에이전트 및 항목의 능력 제약 조건을 모두 지원하여, 리뷰어-논문 할당과 같은 실제 응용에 적합하다.

실험 결과

연구 질문

• RQ1 지정된 복지 효율 수준을 달성하면서도 공정성(예: EF1 또는 NEF1)을 보장하는 계산적으로 효율적인 알고리즘을 설계할 수 있는가?
• RQ2 임의의 유틸리티와 능력 제약 조건이 존재하는 환경에서 복지 최적화와 공정성 간의 체계적 트레이드오프를 구현할 수 있는가?
• RQ3 CRR의 성능은 기존의 복지 최적화 알고리즘(Nash, 에갈리타리안, OWA 등)과 비교해 EF1 및 NEF1와 같은 공정성 지표에서 어떻게 나타나는가?
• RQ4 EF1이면서도 유틸리티니안 최대화 또는 랭크-최대화를 동시에 달성하는 할당을 찾는 문제의 계산 복잡도는 무엇인가?
• RQ5 선호 상관관계는 실제 환경에서 할당 알고리즘의 공정성과 효율성에 어떤 영향을 미치는가?

주요 결과

• 유틸리티니안 최대화(UM-CRR) 및 랭크-최대화(RM-CRR) 제약 조건을 가진 CRR는 모든 테스트된 선호 상관관계 수준에서 단독으로 UM 또는 RM 목표를 달성하는 것보다 항상 더 높은 NEF1 및 EF1 공정성 수준을 달성한다.
• 실제 PrefLib 데이터셋(MD-2-01부터 MD-2-03까지)에서 UM-CRR와 RM-CRR는 세 개의 데이터셋 중 두 개에서 100% NEF1 만족도를 기록했으며, 일부 경우에서는 NP-완전인 에갈리타리안 목표조차도 뛰어넘었다.
• 가장 높은 선호 상관관계 설정(ϕ = 0.95)에서 UM-CRR와 RM-CRR는 각각 97.5% 및 97.5%의 NEF1 만족도를 유지했고, 에갈리타리안 목표는 한 데이터셋에서 65.7%로 급격히 감소했다.
• 선형 OWA(LSOWA) 목표는 환영 감소에 효과적이었지만, CRR는 복지 제약 조건을 가진 상태에서도 특히 높은 선호 상관관계 하에서 LSOWA보다 공정성 지표에서 뛰어난 성능을 보였다.
• EF1이면서도 유틸리티니안 최대화 또는 랭크-최대화를 동시에 달성하는 할당이 존재하는지 여부를 판단하는 문제의 NP-완전성은 정확한 해법의 계산 불가능성을 확인하며, CRR와 같은 실용적 대안이 필요한 이유를 정당화한다.
• 완화된 복지 제약 조건을 가진 CRR는 필수 EF1(NEF1)을 보장하여, 순서형 선호와 일치하는 모든 유틸리티 함수에 대해 성립하는 표준 EF1보다 더 강력한 공정성 보장을 제공한다.