[논문 리뷰] Playing Tennis without Envy

Josué Ortega|arXiv (Cornell University)|2016. 08. 25.

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

한 줄 요약

이 논문은 가용성이 다른 친구들 간의 더블 테니스 게임 배정 알고리즘의 공정성과 효율성에 대해 조사하며, 가용성이 다를 경우 어떤 배정도 동시에 효율적이고 강한 환경(strongly envy-free)일 수 없음을 보여준다. 어떤 스포츠에서든 게임당 q ≥ 2명의 플레이어가 필요로 할 경우, 효율성과 강한 환경을 동시에 만족시키는 해가 존재하지 않는 문제 인스턴스가 존재함을 증명하며, 일반적으로 사용되는 배정 히ュ리스틱의 공정성에 도전한다.

ABSTRACT

A group of friends organize their tennis games by submitting each their availability over the weekdays. They want to obtain an assignment such that: each game must be a double tennis match, i.e. requires four people, and nobody plays in a day he is unavailable. Can we construct assignments that will always produce efficient, fair, and envy-free outcomes? The answer is no, and extends to any sport that requires any group size.

연구 동기 및 목표

• 플레이어들이 서로 다른 가용성 스케줄을 가질 때 효율적이고 공정한 테니스 게임 배정을 구성할 수 있는지 분석하기.
• 더 유연한 플레이어가 덜 유연한 플레이어보다 적은 게임을 받지 않아야 하는 상황에서 그룹 스포츠 스케줄링 맥락에서 강한 환경의 정의와 형식화하기.
• 배정이 동시에 효율적(총 게임 수 최대화)이고 공정(게임 수에 대해 leximin 최적화)이며, 더 유연한 플레이어가 다른 이들보다 불리하지 않도록 하는지 조사하기.
• 테니스를 넘어서 모든 q명 플레이어가 필요한 스포츠(q ≥ 2)로 가능한 결과를 일반화하기.
• 일반적으로 사용되는 히ュ리스틱 알고리즘(예: 플레이어당 게임 수 최대화)이 진정으로 공정한 결과를 만들어내는 데 가정하는 바를 도전하기.

제안 방법

• 플레이어 i가 날짜 k에 가용할 경우 a_ik = 1인 이진 행렬 A로 테니스 스케줄링 문제를 형식화한다.
• 하루에 4명 미만의 가용 플레이어가 있는 날짜와 모든 날짜에서 가용도가 0인 플레이어를 제거하여 문제를 기약 가능 형태로 축소한다.
• 해결책을 다음 조건을 만족하는 이진 행렬 X로 정의한다: (1) a_ik = 0이면 x_ik = 0(가용성 제약), (2) 매일의 x_ik 합이 4로 나누어떨어져야 함(그룹 크기 제약).
• 해결책의 세 가지 성질을 도입한다: 효율성(Pareto 최적성), 공정성(게임 수에 대한 leximin 최적성), 강한 환경(더 많은 가용성 있는 플레이어가 덜 가용한 플레이어보다 적은 게임을 받지 않음).
• 11명의 플레이어와 5일 간의 반례를 구성한다. 여기서 4명의 매우 가용한 플레이어(a–d)는 각각 2게임씩 플레이해야 하고, 7명의 덜 가용한 플레이어(e–k)는 3일 동안 5게임을 나누어 가져야 하므로, 적어도 한 명은 3번의 가용성에도 불구하고 단 1게임만 플레이하게 된다.
• 모순을 통해 이러한 구성에서 적어도 한 명의 덜 가용한 플레이어가 더 가용한 플레이어를 시기하게 되어 강한 환경을 위반함을 증명한다.

실험 결과

연구 질문

• RQ1 가용성이 상이한 더블 테니스 스케줄링 문제에서 배정이 동시에 효율적이고 강한 환경일 수 있는가?
• RQ2 더 유연한 플레이어가 덜 유연한 플레이어보다 불리하지 않게 하면서 총 게임 수를 최대화하는 스케줄링 알고리즘을 설계하는 것이 가능한가?
• RQ3 강한 환경의 불가능성 결과는 테니스를 넘어서 고정된 그룹 크기(q ≥ 2)가 필요한 다른 스포츠로도 확장되는가?
• RQ4 일상적인 히ュ리스틱 접근 방식(예: 플레이어당 게임 수 최대화)은 실제 스케줄링 상황에서 leximin 최적성과 같은 공정 기준과 어떻게 비교되는가?
• RQ5 효율성과 강한 환경을 동시에 달성할 수 없는 그룹 스케줄링 문제의 구조적 제약 조건은 무엇인가?

주요 결과

• 효율적이고 강한 공정성을 동시에 만족시키는 해가 존재하지 않는 테니스 스케줄링 문제들이 존재하며, 이는 효율성과 강한 공정성 간의 근본적인 불일치를 보여준다.
• 표본 반례(표 2)에서 각각 2일 가용인 4명의 플레이어는 2게임씩 플레이해야 하고, 3일 가용인 7명의 플레이어는 3일 동안 5게임을 나누어 가져야 하므로, 적어도 한 명은 3번의 가용성에도 불구하고 단 1게임만 플레이하게 된다.
• 3일 가용이지만 단 1게임만 플레이하는 플레이어는 2일 가용이지만 2게임을 플레이하는 플레이어를 시기하며, 강한 환경을 위반한다.
• 이 불가능성 결과는 어떤 q명 플레이어 스포츠(q ≥ 2)로 일반화되며, 모든 경우에 대해 이러한 배정이 동시에 효율적이고 강한 환경이 될 수 없음을 의미한다.
• 마허(2016)가 제안한 알고리즘이 실질적으로 효율적이고 공정한 결과를 내지만, 강한 환경을 보장하지 못함을 입증한 바, 조지 스티씨는 4일 가용임에도 불구하고 단 1게임만 플레이하게 된다.
• 이 연구는 플레이어가 더 많은 게임을 얻기 위해 가용성을 위조 보고할 이성적 동기를 가질 수 있으며, 이는 시스템의 공정성에 대한 신뢰를 약화시킨다.