[논문 리뷰] Complexity of Manipulation with Partial Information in Voting

Palash Dey, Neeldhara Misra외 1명|arXiv (Cornell University)|2016. 04. 15.

Game Theory and Voting Systems참고 문헌 46인용 수 9

한 줄 요약

이 논문은 유권자들의 선호도에 대한 정보가 부분적으로만 있을 때 투표 조작의 복잡도를 조사한다. 부분 순서로 모델링된 부분 정보를 가진 조작자가 존재할 때, 약한, 기회적, 강한 조작이라는 세 가지 새로운 개념을 제안하고, 심지어 최소한의 정보 누락이 있더라도 조작이 계산적으로 비현실적이게 되며, 이는 이전에는 계산적으로 가능하다고 여겨졌던 설정에서 계산 복잡도가 다시 장벽이 될 수 있음을 보여준다.

ABSTRACT

The Coalitional Manipulation problem has been studied extensively in the literature for many voting rules. However, most studies have focused on the complete information setting, wherein the manipulators know the votes of the non-manipulators. While this assumption is reasonable for purposes of showing intractability, it is unrealistic for algorithmic considerations. In most real-world scenarios, it is impractical for the manipulators to have accurate knowledge of all the other votes. In this paper, we investigate manipulation with incomplete information. In our framework, the manipulators know a partial order for each voter that is consistent with the true preference of that voter. In this setting, we formulate three natural computational notions of manipulation, namely weak, opportunistic, and strong manipulation. We say that an extension of a partial order is if there exists a manipulative vote for that extension. 1. Weak Manipulation (WM): the manipulators seek to vote in a way that makes their preferred candidate win in at least one extension of the partial votes of the non-manipulators. 2. Opportunistic Manipulation (OM): the manipulators seek to vote in a way that makes their preferred candidate win in every viable extension of the partial votes of the non-manipulators. 3. Strong Manipulation (SM): the manipulators seek to vote in a way that makes their preferred candidate win in every extension of the partial votes of the non-manipulators. We consider several scenarios for which the traditional manipulation problems are easy (for instance, Borda with a single manipulator). For many of them, the corresponding manipulative questions that we propose turn out to be computationally intractable. Our hardness results often hold even when very little information is missing, or in other words, even when the instances are quite close to the complete information setting.

연구 동기 및 목표

• 이전 연구에서 조작자가 선거의 모든 투표를 완전히 알고 있다는 비현실적인 가정을 해결하기 위해.
• 조작자가 후보자들에 대한 선호도에 대해 부분 정보만을 가지는 현실적인 상황을 모델링하기 위해, 이를 부분 순서로 표현하기 위해.
• 부분 정보 설정에서 조작에 대한 계산적 비현실성의 장벽이 여전히 유지되는지 조사하기 위해.
• 부분 정보 하에서의 세 가지 새로운 계산적 조작 개념—약한, 기회적, 강한 조작—을 정식화하고 분석하기 위해.
• 정보가 부족할 때 조작의 복잡도가 증가하는지, 특히 이전에는 조작이 쉬운 것으로 간주되었던 투표 규칙에서도 그렇다면 확인하기 위해.

제안 방법

• 후보자들에 대한 부분 순서로 정보의 불완전성을 모델링하며, 각 유권자의 진짜 선호도가 주어진 부분 순서와 일관되게 유지되도록 한다.
• 세 가지 새로운 조작 개념을 정의한다: 약한 조작(적어도 하나의 확장에서 승리), 기회적 조작(모든 실현 가능한 확장에서 승리), 강한 조작(모든 가능한 확장에서 승리).
• 조작의 가능성을 검증하는 문제를 정점 요구량이 있는 최대 유량 문제로 환원한다. 유량 네트워크에는 소스, 유권자 정점, 후보자 정점, 싱크가 포함된다.
• 각 후보자와 가능한 거부 점수에 대해, 주어진 제약 조건 하에서 조작이 가능한지 확인하기 위해 필요한 유량 용량과 요구량을 계산한다.
• 모든 가능한 투표 수와 거부 점수의 튜플을 순회하여 c-최적의 프로파일을 찾는다. 이때 이러한 튜플의 수가 상수 ℓ에 대해 O((2m)^ℓ)로 유계임을 이용한다.
• 각 후보자 구성에 대해 다항 시간 최대 유량 알고리즘을 사용하여 가능성을 테스트하며, 매개변수가 고정되어 있을 경우 전체 알고리즘이 다항 시간 내에 실행됨을 보장한다.

실험 결과

연구 질문

• RQ1 조작자가 다른 유권자들의 선호도에 대해 부분 정보만을 가질 때, 계산적 비현실성은 여전히 조작에 대한 장벽이 될 수 있는가?
• RQ2 약한, 기회적, 강한 조작이라는 서로 다른 조작 개념이 부분 정보 하에서 어떻게 행동하는가? 그 복잡도는 어떻게 비교되는가?
• RQ3 심지어 소량의 정보 누락(즉, 최소한의 불완전성)이 있어도, 이전에는 조작이 쉬운 것으로 여겨졌던 투표 규칙에서 조작이 계산적으로 어려워지는가?
• RQ4 기존에 조작 문제가 다항 시간 내에 해결 가능한 투표 규칙들 중에서, 부분 정보 버전에서는 여전히 NP-난이도인 경우가 존재하는가?
• RQ5 부분 순서의 구조가 다양한 투표 규칙에서 조작의 가능성과 복잡도에 어떻게 영향을 미치는가?

주요 결과

• 이전에 완전한 정보 하에서 계산적으로 가능하다고 여겨졌던 Borda와 같은 투표 규칙에서조차, 단일 조작자가 존재할 경우 약한, 기회적, 강한 조작 문제 모두 부분 정보 하에서 계산적으로 비현실적이게 된다.
• 심지어 정보가 아주 소량만 누락되어도 경직성 결과가 유지되며, 이는 최소한의 불완전성만으로도 계산 장벽이 복원됨을 시사한다.
• 정점 요구량이 있는 최대 유량 공식화는 후보자 구성에 대한 가능성을 효율적으로 검증할 수 있게 하며, 후보자 수와 부분 투표 구조가 유계일 경우 다항 시간 알고리즘을 가능하게 한다.
• 조작의 복잡도는 선택된 개념에 따라 크게 달라진다: 약한 조작은 가장 제한이 적고 종종 검증하기 가장 어렵고, 강한 조작은 가장 요구가 많지만 보장 측면에선 가장 견고하다.
• 일부 점수 기반 규칙들에 대해서는, 최소한의 불완전성 조건 하에서도 강한 조작과 기회적 조작 문제가 NP-난이도임을 입증하며, 정보 부족이 복잡도를 크게 높임을 보여준다.
• 결과적으로 계산 복잡도가 더 현실적인 모델에서도 여전히 조작에 대한 유효한 장벽이 되며, 실질적인 투표 시스템에서 복잡도를 방어 수단으로 사용할 수 있음을 뒷받침한다.