[논문 리뷰] Multistage Committee Election.

Robert Bredereck, Till Fluschnik외 1명|arXiv (Cornell University)|2020. 05. 05.

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

한 줄 요약

이 논문은 순차적인 Plurality 기반 위원회 선거를 위한 시간에 따라 변하는 다단계 모델 두 가지—보수적이고 혁신적인 모델—을 제안한다. 여기서 연속된 위원회 간의 대칭 차이는 유계로 제한된다. 두 모델이 상수인 에이전트 수가 있을 때조차도 NP-난이도임을 증명하며, 보수적 모델은 W[1]-난이도와 NP-난이도를 그대로 유지하지만, 혁신적 모델은 대칭 차이의 상한이 상수일 경우 다항시간 내에 해를 구할 수 있음을 보여준다.

ABSTRACT

Electing a single committee of a small size is a classical and well-understood voting situation. Being interested in a sequence of committees, we introduce and study two time-dependent multistage models based on simple Plurality voting. Therein, we are given a sequence of voting profiles (stages) over the same set of agents and candidates, and our task is to find a small committee for each stage of high score. In the conservative model we additionally require that any two consecutive committees have a small symmetric difference. Analogously, in the revolutionary model we require large symmetric differences. We prove both models to be NP-hard even for a constant number of agents, and, based on this, initiate a parameterized complexity analysis for the most natural parameters and combinations thereof. Among other results, we prove both models to be in XP yet W[1]-hard regarding the number of stages, and that being revolutionary seems to be easier than being conservative: If the (upper- resp. lower-) bound on the size of symmetric differences is constant, the conservative model remains NP-hard while the revolutionary model becomes polynomial-time solvable.

연구 동기 및 목표

• 시간에 따라 변화하는 위원회 선거를 Plurality 투표 제도를 사용하여 모델링하고, 위원회 변화에 시간적 제약 조건을 부여한다.
• 보수적(연속된 위원회 간의 변화가 작음)과 혁신적(큰 변화가 있음)이라는 대조적인 두 모델을 수식적으로 정의한다.
• 두 모델의 계산 복잡도를 분석하며, 특히 매개변수화된 설정 하에서의 복잡도를 다룬다.
• 해석 가능한 경우를 식별하고, 보수적 모델과 혁신적 모델 간의 상대적 난이도를 이해한다.

제안 방법

• 모든 단계에서 동일한 에이전트와 후보자 집합에 대해 별개의 투표 프로파일을 갖는 다단계 투표 모델을 수식화한다.
• 보수적 모델은 연속된 위원회 간의 대칭 차이가 주어진 상한 이내여야 한다고 정의한다.
• 혁신적 모델은 연속된 위원회 간의 대칭 차이가 주어진 하한 이상이어야 한다고 정의한다.
• 기존의 알려진 NP-난이도 문제로의 축소를 통해, 상수인 에이전트 수가 있을 때조차도 두 모델이 모두 NP-난이도임을 증명한다.
• 단계 수와 대칭 차이의 상한에 초점을 맞춘 매개변수화된 복잡도 분석을 수행한다.
• 보수적 모델은 단계 수에 대해 매개변수화되었을 때 W[1]-난이도임을 입증하며, 혁신적 모델은 대칭 차이의 상한이 상수일 경우 다항시간 내에 해를 구할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 다단계 보수적 Plurality 위원회 선거 문제의 계산 복잡도는 무엇인가?
• RQ2 다단계 혁신적 Plurality 위원회 선거 문제의 복잡도는 보수적 변형과 비교하여 어떻게 되는가?
• RQ3 어떤 매개변수 조합에서 보수적 모델은 여전히 해석 불가능하거나 해석 가능해지는가?
• RQ4 대칭 차이의 하한이 상수일 경우 혁신적 모델은 다항시간 내에 해결될 수 있는가?
• RQ5 대칭 차이의 상한이 유계일 경우 보수적 모델과 혁신적 모델 간의 복잡도 격차는 얼마나 큰가?

주요 결과

• 보수적 모델과 혁신적 모델 모두 상수인 에이전트 수가 있을 때조차도 NP-난이도이다.
• 보수적 모델은 단계 수에 대해 매개변수화되었을 때도 여전히 NP-난이도이자 W[1]-난이도이다.
• 대칭 차이의 하한이 상수일 경우 혁신적 모델은 다항시간 내에 해를 구할 수 있다.
• 보수적 모델은 단계 수에 대해 XP에 속하지만, FPT = W[1]이 아니면 고정 매개변수 트래커티블이 아니다.
• 대칭 차이의 상한이 유계일 경우 혁신적 모델은 보수적 모델보다 계산적으로 더 쉽다.
• 두 모델 간의 복잡도 격차는 뚜렷하다: 대칭 차이의 상한이 유계일 경우 혁신적 모델은 해석 가능해지지만, 보수적 모델은 여전히 난이도가 높다.