[논문 리뷰] Fully Proportional Representation as Resource Allocation: Approximability Results

Piotr Skowron, Piotr Faliszewski외 1명|arXiv (Cornell University)|2012. 08. 08.

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

한 줄 요약

이 논문은 Monroe 및 Chamberlin과 Courant의 다수 선거 제도를 자원 배분 문제로 모델링하고 투표자 만족도 최적화의 근사 가능성에 대해 분석한다. 표준 복잡도 가정 하에 총 불만족도를 최소화하는 것은 어떤 상수 요인 내에서도 근사 가능하지 않음을 증명하지만, Borda 기반 만족도 측정 기준에서는 Monroe 제도에 대해 약 0.715에 근접한 임의의 비율을 갖는 랜덤화된 근사 알고리즘을 제시하고, Chamberlin과 Courant 제도에 대해서는 다항 시간 근사 체계(PTAS)를 제시한다.

ABSTRACT

We model Monroe's and Chamberlin and Courant's multiwinner voting systems as a certain resource allocation problem. We show that for many restricted variants of this problem, under standard complexity-theoretic assumptions, there are no constant-factor approximation algorithms. Yet, we also show cases where good approximation algorithms exist (briefly put, these variants correspond to optimizing total voter satisfaction under Borda scores, within Monroe's and Chamberlin and Courant's voting systems).

연구 동기 및 목표

• Monroe 및 Chamberlin과 Courant의 다수 선거 제도를 자원 배분 문제로 모델링하기.
• 다양한 불만족도 측정 기준 하에서 이러한 제도에서 투표자 만족도 최적화의 근사 가능성 분석하기.
• 총 불만족도 또는 최대 불만족도를 최소화하는 상수 요인 근사 알고리즘이 존재하는지 확인하기.
• 특히 Borda 기반 만족도 점수 기준에서 좋은 근사 알고리즘이 존재하는 경우를 특정하기.
• Monroe 제도에서 총 Borda 만족도를 최적화할 때 다항 시간 근사 체계(PTAS)가 존재하는지 탐색하기.

제안 방법

• 유저, 대안, 용량, 비용, 선호 기반 만족도를 포함한 자원 배분 문제로 Monroe 및 Chamberlin과 Courant 제도를 공식화하기.
• 불만족도를 투표자의 선호 순서에서 할당된 대안의 순위로 모델링하고, 총 불만족도 및 최대 불만족도를 최적화 목표로 정의하기.
• 표준 가정(예: 어떤 상수 요인 내에서도 근사 가능한 것으로 판명된 NP-난이도 문제) 하에 복잡도 이론적 감소를 적용하여 근사 불가능성 결과 증명하기.
• Borda 기반 만족도 측정 기준에서 Monroe 제도에 대해 기대 근사 비율이 (1 - 1/(K+1))(1 + 1/m)인 랜덤화된 근사 알고리즘 개발하기.
• 최소 만족도 보장 조건을 요구하는 minmax 만족도 문제의 일반화를 도입하고, 이 변종에 대한 근사 알고리즘 제공하기.
• 고정 매개변수 처리 가능성과 반복 반올림 기법을 활용하여 Borda 기반 Chamberlin과 Courant 제도에 대해 PTAS 구축하기.

실험 결과

연구 질문

• RQ1 일반적인 선호도 점수 기준 하에서 Monroe 및 Chamberlin과 Courant 제도에서 총 불만족도를 최소화하는 상수 요인 근사 알고리즘을 설계할 수 있는가?
• RQ2 이 제도들에서 최대 불만족도를 최소화하는 문제는 어떤 상수 요인 내에서도 근사 가능한가?
• RQ3 Borda 기반 만족도 측정 기준에서 Monroe 및 Chamberlin과 Courant 제도에서 좋은 근사 알고리즘이 존재하는 조건은 무엇인가?
• RQ4 Monroe 제도에서 총 Borda 만족도를 최적화할 때 다항 시간 근사 체계(PTAS)가 존재하는가?
• RQ5 Borda 점수 기준 하에서 Monroe 제도에 대해 랜덤화 알고리즘이 0.715에 임의로 가까운 상수 근사 비율을 달성할 수 있는가?

주요 결과

• 표준 복잡도 가정 하에 Monroe 제도에서 총 불만족도를 최소화하는 문제는 어떤 상수 요인 내에서도 근사 가능하지 않다.
• Monroe 제도와 Chamberlin과 Courant 제도 모두에서 최대 불만족도를 최소화하는 문제 역시 어떤 상수 요인 내에서도 근사 가능하지 않다.
• Borda 기반 만족도 기준에서는 Monroe 제도에 대해 기대 근사 비율이 (1 - 1/(K+1))(1 + 1/m)인 랜덤화 알고리즘이 존재한다.
• Borda 기반 Chamberlin과 Courant 제도에 대해서는 다항 시간 근사 체계(PTAS)가 존재하여, 근사 비율을 1에 임의로 가까이 만들 수 있다.
• 다수의 유저가 최소 만족도 기준을 충족하도록 요구하는 minmax 만족도 문제의 일반화 버전은 (1 + ln(δ)/K)-근사 알고리즘을 갖는다.
• 고정된 K에 대해 Borda 기반 Chamberlin과 Courant 제도는 다항 시간 내에 최적으로 해결 가능하며, 이는 PTAS 존재성을 뒷받침한다.