[논문 리뷰] Parameterized Complexity of Multi-winner Determination: More Effort Towards Fixed-Parameter Tractability

Yongjie Yang, Jianxin Wang|arXiv (Cornell University)|2021. 07. 09.

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

한 줄 요약

이 논문은 삼각형, 최대 승인 크기 △V 등의 새로운 매개변수를 도입하여, 최소 승인 투표(MAV), 비례 승인 투표(PAV), 챔버린-커런트 승인 투표(CCAV)와 같은 세 가지 NP-난이도 다수승자 승인 투표 규칙에 대한 고정-파rameter 가역성(FPT)을 발전시킨다. MAV와 CCAV에 대해 여러 매개변수 하에서 FPT 알고리즘을 제시하고, PAV-MULTIWINNER가 투표자 수와 최대 승인 크기로 고려할 때 FPT임을 증명한다. 그러나 PAV의 임계 점수 및 트리너비로의 매개변수화 문제는 열려 있다.

ABSTRACT

We study the parameterized complexity of winner determination problems for three prevalent $k$-committee selection rules, namely the minimax approval voting (MAV), the proportional approval voting (PAV), and the Chamberlin-Courant's approval voting (CCAV). It is known that these problems are computationally hard. Although they have been studied from the parameterized complexity point of view with respect to several natural parameters, many of them turned out to be W[1]-hard or W[2]-hard. Aiming at obtaining plentiful fixed-parameter algorithms, we revisit these problems by considering more natural single parameters, combined parameters, and structural parameters.

연구 동기 및 목표

• . 논문은 다수승자 승인 투표 규칙의 계산 난이도를 극복하기 위해 새로운 FPT 매개변수를 규명하고자 한다.
• . 전통적인 매개변수를 초월하여 MAV, PAV, CCAV에 대한 고정-파라미터 가역성 결과를 확장하고자 한다.
• . 삼각형의 구조적 매개변수—예를 들어 트리너비와 최대 매칭 크기—를 연구하여 FPT 알고리즘을 도출하고자 한다.
• . 특히 실제 선거 구조에서 간과되기 쉬운 매개변수를 탐색함으로써 매개변수 복잡도의 격차를 메우고자 한다.
• . 본 연구는 향후 실선거에서 삼각형 매개변수의 커퍼니케이션 및 실증 분석에 대한 기초를 마련한다.

제안 방법

• . 저자들은 세 가지 승인 기반 다수승자 규칙—MAV, PAV, CCAV—의 매개변수 복잡도를 분석한다.
• . 투표자 수 n, 후보자 수 m, 임계 점수 d, 최대 승인 크기 △V 등의 단일 매개변수와 복합 매개변수를 도입하고 분석한다.
• . 삼각형의 구조적 매개변수—예를 들어 트리너비와 최대 매칭 크기—를 연구하여 FPT 알고리즘을 유도한다.
• . 최대 매칭과 경로/사이클 분해와 같은 조합론적 및 그래프 이론 기법을 사용하여 특수 케이스를 다항 시간 내에 해결한다.
• . 경로, 사이클, 헤어스틱, DH-헤어스틱과 같은 특정 그래프 구조에 대해 정확한 다항 시간 알고리즘을 설계하여 FPT 결과의 기초로 삼는다.
• . 특히 트리너비 기반 매개변수화에 대해 유계 탐색 트리와 트리 분해 위의 동적 프로그래밍을 통해 FPT 결과를 증명한다.

실험 결과

연구 질문

• RQ1 . PAV-MULTIWINNER는 임계 점수 d로 고려할 때 고정-파라미터 가역성(FPT)을 갖는가?
• RQ2 . PAV-MULTIWINNER는 삼각형의 트리너비로 매개변수화될 때 FPT인가?
• RQ3 . 트리너비와 최대 매칭 크기와 같은 구조적 매개변수를 사용해 MAV와 CCAV에 대한 FPT 알고리즘을 개발할 수 있는가?
• RQ4 . 전통적인 매개변수를 초월해 새로운 매개변수 조합이 이러한 다수승자 규칙에 FPT 알고리즘을 제공할 수 있는가?
• RQ5 . CCAV-MULTIWINNER에서 알려진 것과 유사하게 PAV-MULTIWINNER에 대해 커널화를 달성할 수 있는가?

주요 결과

• . PAV-MULTIWINNER는 투표자 수 n과 최대 승인 크기 △V로 고려할 때 FPT이다.
• . CCAV-MULTIWINNER는 d + △V로 다항식 커널을 갖는다. 이는 이전의 PARTIAL HITTING SET 연구에서 암시된 바이다.
• . MAV-MULTIWINNER는 d + m 또는 n + k로 다항식 커널을 갖지 못할 가능성이 있으며, 표준 복잡도 가정 하에 그렇다.
• . 논문은 d, n, k, △V 등의 매개변수 하에서 MAV와 CCAV에 대한 FPT 알고리즘을 제시한다.
• . 삼각형의 트리너비가 유계인 선거에 대해서는 MAV와 CCAV에 대한 FPT 알고리즘을 확립한다.
• . 저자들은 PAV-MULTIWINNER가 경로, 사이클, 헤어스틱, DH-헤어스틱과 같은 특수한 그래프 구조에서 다항식 시간 내에 해결될 수 있음을 증명한다.