[논문 리뷰] The Complexity of Manipulating $k$-Approval Elections

Andrew Lin|arXiv (Cornell University)|2010. 05. 23.

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

한 줄 요약

이 논문은 $k$-approval 및 $k$-veto 선거의 조작의 계산 복잡도를 조사하며, 일부 경우에서는 조작이 다항식 시간 내에 해결 가능하고, 다른 경우에서는 NP-난이도이며, 특정 설정에서는 그래프 이론 문제인 $b$-Edge Cover와 동치임을 보여준다. 주요 기여는 유계가 아닌 후보자 수를 가진 무한한 스코링 프로토콜에서 조작의 복잡도를 분할함으로써, 그래프 이론과의 연결 고리를 드러내고, 3-approval 및 3-veto 시스템에서 열려 있는 문제를 규명하는 데 있다.

ABSTRACT

An important problem in computational social choice theory is the complexity of undesirable behavior among agents, such as control, manipulation, and bribery in election systems. These kinds of voting strategies are often tempting at the individual level but disastrous for the agents as a whole. Creating election systems where the determination of such strategies is difficult is thus an important goal. An interesting set of elections is that of scoring protocols. Previous work in this area has demonstrated the complexity of misuse in cases involving a fixed number of candidates, and of specific election systems on unbounded number of candidates such as Borda. In contrast, we take the first step in generalizing the results of computational complexity of election misuse to cases of infinitely many scoring protocols on an unbounded number of candidates. Interesting families of systems include $k$-approval and $k$-veto elections, in which voters distinguish $k$ candidates from the candidate set. Our main result is to partition the problems of these families based on their complexity. We do so by showing they are polynomial-time computable, NP-hard, or polynomial-time equivalent to another problem of interest. We also demonstrate a surprising connection between manipulation in election systems and some graph theory problems.

연구 동기 및 목표

• 무한한 수의 후보자에 걸쳐 $k$-approval 및 $k$-veto 선거의 조작 계산 복잡도를 분석하는 것.
• 조작 문제의 계산 난이도 기반 분류: 다항식 시간 내 해결 가능, NP-난이도, 또는 알려진 난이도 문제와 동치인 경우.
• $k$-approval 및 $k$-veto 선거 조작과 그래프 이론 문제, 특히 $b$-Edge Cover 변형 간의 연결 고리를 설정하는 것.
• $k$-approval 및 $k$-veto 시스템에서 조작 복잡도의 열린 문제를 규명하는 것, 특히 $k=3$의 경우.
• 이전의 스코링 프로토콜에서의 제어 및 조작 결과를 더 넓은 범위의 무한한 수의 시스템으로 확장하는 것.

제안 방법

• 논문은 Set Cover 및 Hitting Set 등의 알려진 NP-난이도 문제로부터의 감소를 사용하여, $k$-approval 및 $k$-veto 선거에서의 조작이 NP-난이도임을 증명한다.
• 특히 가장 무거운 투표를 추가하거나 삭제하여 선호하는 후보자가 승리하도록 만드는 데 충분한 경우에, 근사 알고리즘을 적용하여 일부 조작 문제를 해결한다.
• 저자들은 조작 문제와 $b$-Edge Cover의 변형 간에 다항식 시간 동치성을 확립하며, 특히 무게 없음 및 비용 없음 설정에서 성립한다.
• 가중치가 있는 경우, 논문은 다중 그래프에서 $b$-Edge Cover 변형의 복잡도가 여전히 열려 있음을 밝히며, 선형 프로그래밍을 통한 다항식 시간 해결 가능성에 대한 가능성을 제기한다.
• 분석에는 투표자 추가 또는 삭제를 통한 구성적 제어가 포함되며, 가중치가 있는 투표 및 후보자 지배를 다루는 특정 알고리즘이 포함된다.
• 이론적 연결 고리는 조작과 그래프 문제 간의 관계를 그려내며, $b$-Edge Cover 프레임워크를 사용해 투표 추가 또는 삭제 전략을 모델링한다.

실험 결과

연구 질문

• RQ1 $k \geq 3$인 $k$-approval 선거의 조작 계산 복잡도는 무엇인가요?
• RQ2 $k$-veto 선거에서 조작의 복잡도는 $k$에 따라 어떻게 변화합니까?
• RQ3 $k$-approval 및 $k$-veto 시스템에서의 조작은 $b$-Edge Cover와 같은 알려진 그래프 이론 문제로 감소될 수 있나요?
• RQ4 왜 $3$-approval 및 $3$-veto 시스템은 조작 복잡도 분석에서 특히 도전적인가요?
• RQ5 $3$-veto 선거에서 뇌물 주기의 복잡도는 무엇이며, 왜 표준 감소 기법에 저항합니까?

주요 결과

• 가중치가 있는 $k$-approval 선거에서 $k \geq 4$ 이며, $k$-veto 선거에서 $k \geq 3$ 이면, 투표자 추가에 의한 제어에 대해 계산적으로 저항적이며, 이는 문제의 NP-난이도를 의미한다.
• 가중치가 있는 $k$-approval 선거에서 $k \geq 3$ 이며, $k$-veto 선거에서 $k \geq 4$ 이면, 투표자 삭제에 의한 제어에 대해 계산적으로 저항적이며, NP-난이도를 의미한다.
• 가장 무거운 투표를 추가하거나 삭제하는 탐욕적 전략이 후보자가 승리하도록 충분한 경우, $k$-approval 및 $k$-veto 시스템에서의 조작은 다항식 시간 내에 해결 가능하다.
• 무게 없음 및 비용 없음 설정에서, $k$-approval 및 $k$-veto 선거에서의 조작 문제는 특정 $b$-Edge Cover 변형과 다항식 시간 동치이다.
• Hitting Set 감소를 통해 후보자 집합을 포함하는 조작이 본질적으로 어려움을 증명하며, 이러한 구성에서 NP-난이도를 확립한다.
• 세 가지 열린 문제가 남아 있다: $3$-approval에서의 투표자 추가 제어, $3$-veto에서의 투표자 삭제 제어, 그리고 $3$-veto 선거에서의 뇌물 주기 문제로, 표준 $b$-Edge Cover 모델과의 불일치로 인해 해결되지 않았다.