[논문 리뷰] Collective Schedules: Scheduling Meets Computational Social Choice

Fanny Pascual, Krzysztof Rzaḑca외 1명|arXiv (Cornell University)|2018. 03. 20.

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

한 줄 요약

이 논문은 일의 지속 시간과 사회적 선호도를 균형 있게 고려하는 공공 계획 문제를 해결하기 위해 스케줄링 이론과 계산적 사회선택 이론을 융합한 집단 스케줄링의 개념을 제안한다. 위치 점수 규칙, 케멘티 규칙, 콘도르세 원칙과 같은 핵심 사회선택 도구를 일의 지속 시간을 고려하도록 확장하여, 이들 확장이 계산적으로 실행 가능하고 공정한 스케줄링 솔루션을 도출함을 보여주며, PTA-콘도르세 기반 방법은 현실적인 인스턴스에서 뛰어난 확장성과 거의 최적에 가까운 성능을 보인다.

ABSTRACT

When scheduling public works or events in a shared facility one needs to accommodate preferences of a population. We formalize this problem by introducing the notion of a collective schedule. We show how to extend fundamental tools from social choice theory---positional scoring rules, the Kemeny rule and the Condorcet principle---to collective scheduling. We study the computational complexity of finding collective schedules. We also experimentally demonstrate that optimal collective schedules can be found for instances with realistic sizes.

연구 동기 및 목표

• 공공 스케줄링 문제를 일의 지속 시간과 사회적 선호도를 균형 있게 고려하는 집단 의사결정 과정으로 체계화하는 것.
• 스케줄링에 일의 지속 시간을 통합하기 위해 사회선택 이론의 기본 도구인 위치 점수 규칙, 케멘티 규칙, 콘도르세 원칙을 확장하는 것.
• 이러한 확장된 모델 하에서 집단 스케줄링의 계산 복잡도를 분석하는 것.
• 실제 크기의 인스턴스를 대상으로 실험적 평가를 통해 제안된 스케줄링 메커니즘의 공정성과 최적성의 정도를 평가하는 것.
• 집단 스케줄링에서 효율성, 공정성, 민주적 원칙 준수 간의 상호 상충 관계를 규명하는 것.

제안 방법

• 일의 순서를 정렬하여 사회적 비용(각 기여자의 선호 스케줄 대비 지각 시간의 합 또는 최댓값)을 최소화하는 집단 스케줄링의 형식적 모델을 제안한다.
• 일의 지속 시간에 따라 점수를 가중치화하여 위치 점수 규칙을 확장함으로써, 더 긴 일일수록 최종 순위에 더 큰 영향을 미치도록 보장한다.
• 쌍별 비교의 비용 함수에 일의 지속 시간을 통합하면서 순위 간 교환 거리(스왑 거리)를 사용하는 방식으로 케멘티 규칙을 변형한다.
• 다수의 선호가 A가 B보다 먼저 와야 한다고 하지만 A가 더 짧을 경우, 지속 시간의 차이가 이를 정당화하지 않는 한 A가 B보다 먼저 배치되어야 한다는 조건을 정의하여 콘도르세 원리를 일의 지속 시간을 고려하도록 일반화한다.
• 다수 선호 순서 위반 여부를 점검하고, 짧고 다수 지지를 받는 일들을 우선순위로 배치하여 전체 사회적 영향을 최소화하는 PTA-콘도르세 기반 스케줄링 메커니즘을 개발한다.
• 합성 및 현실적인 인스턴스를 대상으로 실험적 평가를 수행하여, 비용 기반 방법과 PTA-콘도르세 기반 방법 간의 성능을 지각 시간, 공정성(Gini 지수), 민주적 원칙 준수 정도 측면에서 비교한다.

실험 결과

연구 질문

• RQ1 기존의 사회선택 메커니즘은 집단 스케줄링에서 일의 지속 시간을 어떻게 의미 있게 확장할 수 있는가?
• RQ2 일의 지속 시간을 고려할 경우 최적의 집단 스케줄링을 찾는 데 있어 계산 복잡도는 어떠한가?
• RQ3 총 지각 시간, 최대 지각 시간, 또는 PTA-콘도르세 일관성 기반의 다양한 스케줄링 메커니즘 간의 공정성과 최적성은 어떻게 비교될 수 있는가?
• RQ4 PTA-콘도르세 기반 방법은 계산적 확장성과 함께 공정성과 효율성을 어느 정도 유지하는가?
• RQ5 콘도르세 원칙 준수와 집단 비용 함수(합 또는 최대 지각 시간) 최적화 사이에는 어떤 상호 상충 관계가 존재하는가?

주요 결과

• PTA-콘도르세 기반 스케줄링 메커니즘은 최적 스케줄 대비 총 지각 시간(Σ-T)은 평균 3% 감소, 최대 지각 시간(max-T)은 24% 감소하는 것으로 나타나, 이러한 기준을 직접 최적화하지 않음에도 불구하고 뛰어난 성능을 보였다.
• Σ-T 메커니즘은 최대 지각 시간(max-T)보다 더 공정한 스케줄을 생성한다. 이는 평균 Gini 지수가 더 낮게 나타나며, max-T는 최악의 경우 기여자 지연을 최소화하는 데 집중하지만, 이는 오히려 공정성에 악영향을 미친다.
• max-T 목표는 최악의 경우에 영향을 받지 않는 기여자들에게도 불리하게 작용하여 Σ-T보다 더 높은 Gini 지수를 유도함으로써 사회적 불평등을 증가시킨다.
• PTA-콘도르세 역설(다수 선호가 최종 스케줄에서 위반되는 경우)은 Σ-T 및 max-T 스케줄에서 자주 발생하며, 비율이 각각 1.0과 1.1로 나타나 다수결 공정성 준수 수준이 낮음을 시사한다.
• 비용 기반 스케줄링 방법(예: Σ-T, max-T)은 중간 크기 이하의 인스턴스에서만 실행 가능하지만, PTA-콘도르세 기반 방법은 대규모 인스턴스에 대해 효과적으로 확장 가능하여 실용적 적용성에서 열세를 보인다.
• 연구는 명확한 계산적 경계를 규명하였으며, 일의 지속 시간이 단위가 아닐 경우 문제는 NP-난이도로 변환됨을 보여주며, 표준 투표 모델을 초월한 스케줄링의 추가 복잡성 요소를 규명하였다.