[논문 리뷰] How Hard Is Bribery in Elections?

Piotr Faliszewski, Edith Hemaspaandra외 1명|ArXiv.org|2006. 08. 19.

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

한 줄 요약

이 논문은 외부 당사자가 유권자들의 선호도를 조작하여 선호 후보자가 승리하도록 하려는 선거에서의 뇌물공여의 계산 복잡도를 조사한다. 이는 가중치가 부여된 유권자 뇌물공여에 대해 스코링 프로토콜에서 이분법 정리(dichotomy theorem)를 수립하여, 단순하고 효율적으로 계산 가능한 조건에 따라 각 경우를 다항시간 내에 해결 가능(P) 또는 NP-완전으로 분류한다.

ABSTRACT

We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by a certain amount of bribing voters a specified candidate can be made the election's winner? We study this problem for election systems as varied as scoring protocols and Dodgson voting, and in a variety of settings regarding homogeneous-vs.-nonhomogeneous electorate bribability, bounded-size-vs.-arbitrary-sized candidate sets, weighted-vs.-unweighted voters, and succinct-vs.-nonsuccinct input specification. We obtain both polynomial-time bribery algorithms and proofs of the intractability of bribery, and indeed our results show that the complexity of bribery is extremely sensitive to the setting. For example, we find settings in which bribery is NP-complete but manipulation (by voters) is in P, and we find settings in which bribing weighted voters is NP-complete but bribing voters with individual bribe thresholds is in P. For the broad class of elections (including plurality, Borda, k-approval, and veto) known as scoring protocols, we prove a dichotomy result for bribery of weighted voters: We find a simple-to-evaluate condition that classifies every case as either NP-complete or in P.

연구 동기 및 목표

• 유권자 뇌물공여를 통한 선거 결과 영향력 행사의 계산 복잡도를 분석하며, 제어나 조작과는 다름없는 선거 조작의 한 형태이다.
• 뇌물공여가 계산적으로 해결 가능(P)인지 불가능(NP-완전)인지 결정할 조건을 규명하며, 특히 다양한 투표 제도에서의 복잡도를 분석한다.
• 스코링 프로토콜에서 가중치가 부여된 유권자 뇌물공여에 대해 이분법 결과를 수립하여 해결 가능과 불가능한 경우를 구분하는 정확한 조건을 규명한다.
• 뇌물공여의 복잡도를 조작과 비교하여, 뇌물공여는 NP-완전이지만 조작은 P에 속하는 경우, 또는 반대의 경우를 밝혀내며, 복잡도가 항상 일치하지 않음을 보여준다.
• 유권자 가중치, 뇌물 가격, 후보자 집합 크기와 같은 구조적 매개변수의 영향을 탐색한다.

제안 방법

• 뇌물공여 문제를 결정 문제로 공식화한다: 주어진 선거 인스턴스, 선호 후보자, 뇌물 예산, 뇌물 공여 가능한 유권자 수의 제한이 있을 때, 선호 후보자가 승리자가 될 수 있는지 여부를 판단한다.
• 특히 케멘지 선거에 대해 정수선형계획법(ILP)을 사용하여 뇌물공여 시나리오를 모델링하며, 각 선호 순서에서 다른 선호 순서로 뇌물 받은 유권자 수를 나타내는 변수를 사용한다.
• 선호 순서의 수가 일정할 경우(즉, 고정된 후보자 집합 크기일 경우), Lenstra의 알고리즘을 적용하여 각 ILP 인스턴스를 다항시간 내에 해결한다.
• 선호 후보자가 1위로 순위가 매겨진 가능한 모든 최종 순위에 대해 별도의 ILP를 구성하여, 이러한 순위가 뇌물 받은 유권자들의 선호도와 일치도를 최대화하도록 보장한다.
• 최종 결과가 케멘지 일관성 있는 순위여야 한다는 조건을 부울 변수를 통한 논리합(disjunction)으로 표현한다.
• 케멘지 선거의 경우, 후보자 수가 고정되어 있을 때, 순위에 대한 탐색 공간이 유한하므로 뇌물공여 문제가 다항시간 내에 해결 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 투표 제도에서 뇌물공여 문제는 계산적으로 해결 가능(P)이며, 어떤 제도에서는 NP-완전인가?
• RQ2 유권자 가중치, 뇌물 가격, 후보자 집합 크기와의 관계에서 뇌물공여의 복잡도는 어떻게 변하는가?
• RQ3 스코링 프로토콜에서 가중치가 부여된 유권자 뇌물공여에 대해 이분법 정리를 수립할 수 있는가? 각 경우가 P 또는 NP-완전으로 분류되는가?
• RQ4 뇌물공여는 NP-완전이지만 조작은 P에 속하는 경우, 또는 반대의 경우가 존재하는가?
• RQ5 선거 제도의 어떤 구조적 특징(예: 지수적으로 큰 공간에 대한 정량화)이 뇌물공여의 계산 복잡도를 높이는가?

주요 결과

• 후보자 수가 고정된 케멘지 선거의 경우, 뇌물공여는 고정된 수의 정수선형계획법(ILP)을 사용하여 다항시간 내에 해결 가능하며, 각 ILP는 Lenstra의 알고리즘으로 해결 가능하다.
• 논문은 스코링 프로토콜에서 가중치가 부여된 유권자 뇌물공여에 대해 이분법을 수립한다: 단순하고 효율적으로 계산 가능한 조건이 문제의 P 또는 NP-완전 여부를 결정한다.
• 뇌물공여는 NP-완전이지만 조작은 P에 속하는 경우가 존재함을 보여주며, 이는 뇌물공여와 조작의 복잡도가 항상 일치하지 않음을 시사한다.
• 반대로, 가중치가 부여된 유권자를 뇌물공여하는 것은 NP-완전이지만, 개별 뇌물 기준이 있는 유권자를 뇌물공여하는 것은 P에 속하는 경우가 존재함을 보여주며, 이는 복잡도가 입력의 구조에 민감함을 강조한다.
• 뇌물공여의 복잡도는 유권자 가중치, 뇌물 가격, 후보자 집합 크기와 같은 매개변수에 매우 민감하며, 작은 가중치나 가격은 일반적으로 NP-완전 문제를 다항시간 해결 가능하게 만든다.
• 논문은 NP-완전성이 항상 실질적 비가용성을 의미하지는 않음을 보여주며, 작은 가중치나 가격은 일반적으로 NP-완전 문제를 해결 가능하게 만든다.