[논문 리뷰] Dominating Manipulations in Voting with Partial Information

Vincent Conitzer, Toby Walsh외 1명|arXiv (Cornell University)|2011. 06. 27.

Game Theory and Voting Systems참고 문헌 18인용 수 39

한 줄 요약

이 논문은 투표자가 다른 사람들의 선호도에 대해 부분 정보를 가질 때의 전략적 투표를 조사하며, '지배적 조작'이라는 개념을 도입한다. 지배적 조작이란 부분 정보와 일치하는 모든 가능한 프로파일에서 진실로 투표하는 것보다 항상 최소한 동일하거나 더 좋은 비진실 투표를 의미한다. 주요 기여는 많은 일반적인 투표 규칙에 대해 부분 정보가 적은 쌍별 비교가 없는 부분 순서로 표현될 경우, 이러한 조작을 계산하는 것이 NP-난이도임을 보여주는 바이며, 이는 정보가 제한되어 있어도 계산 복잡성이 여전히 조작을 방해할 수 있음을 시사한다.

ABSTRACT

We consider manipulation problems when the manipulator only has partial information about the votes of the nonmanipulators. Such partial information is described by an information set, which is the set of profiles of the nonmanipulators that are indistinguishable to the manipulator. Given such an information set, a dominating manipulation is a non-truthful vote that the manipulator can cast which makes the winner at least as preferable (and sometimes more preferable) as the winner when the manipulator votes truthfully. When the manipulator has full information, computing whether or not there exists a dominating manipulation is in P for many common voting rules (by known results). We show that when the manipulator has no information, there is no dominating manipulation for many common voting rules. When the manipulator's information is represented by partial orders and only a small portion of the preferences are unknown, computing a dominating manipulation is NP-hard for many common voting rules. Our results thus throw light on whether we can prevent strategic behavior by limiting information about the votes of other voters.

연구 동기 및 목표

• 다른 투표자들의 선호도에 대한 정보를 제한함으로써 전략적 투표를 방지할 수 있는지 분석하기.
• 지배적 조작이라는 개념을 정의하고 형식화하기 — 부분 정보 하에서 항상 진실로 투표하는 것보다 더 좋은 투표.
• 지배적 조작을 계산하는 데 계산적으로 쉬운(취약함)지 어려운(저항성 있음)지에 따라 투표 규칙을 분류하기.
• 부분 정보의 형태(예: 부분 순서, 현재 우승자만)가 지배적 조작의 가능성에 어떤 영향을 미치는지 분석하기.

제안 방법

• 조작자의 부분 정보는 정보 집합 E로 모델링되며, 이는 조작자가 구분할 수 없는 비조작자들의 모든 가능한 프로파일을 나타낸다.
• 모든 E에 속하는 프로파일에서 U가 V보다 최소한 동일하거나 더 좋고, 적어도 한 프로파일에선 더 좋을 경우, U는 V를 지배한다.
• 지배적 조작 문제를 최대 유량 문제로 환원하여 주어진 투표 U가 진실 투표 대비 승자를 향상시킬 수 있는지 확인한다.
• 다수의 투표와 거부 투표에 대해, 최대 유량을 사용하여 지배적 조작을 테스트하는 다항 시간 알고리즘을 설계한다.
• Borda, Copeland, 순서 기반 쌍 비교, STV와 같은 규칙에 대해서는 기존의 NP-난이도 문제로의 환원을 통해 NP-난이도를 증명한다.
• 분석은 부분 정보의 표현으로 부분 순서를 사용하며, 쌍별 비교가 상수 개수만 알려지지 않은 경우에도 난이도 결과가 유지된다.

실험 결과

연구 질문

• RQ1 다른 사람들의 선호도에 대해 부분적으로만 정보를 알고 있을 때, 조작자가 전략적으로 투표할 동기가 생기는 조건은 무엇인가?
• RQ2 부분 정보가 부분 순서로 표현될 경우, 일반적인 투표 규칙 중에서 지배적 조작을 계산하는 것이 계산적으로 쉬운(P)지 어려운(NP-난이도)지에 따라 어떤 규칙들이 있는가?
• RQ3 부분 정보의 구조(예: 현재 우승자 대비 부분 순서)가 투표 규칙의 지배적 조작에 대한 취약성에 어떤 영향을 미치는가?
• RQ4 가능한 승자 문제와 필수 승자 문제를 활용하여 부분 정보가 있는 투표에서 지배적 조작을 분석할 수 있는가?
• RQ5 부분 정보가 제공되어도 지배적 조작으로부터 면역인 투표 규칙가 존재하는가?

주요 결과

• 조작자가 정보가 전혀 없을 경우, 다수의 일반적인 투표 규칙 — 다수의 투표, 거부 투표, Borda, Copeland, maximin, 투표 트리 — 는 지배적 조작으로부터 면역이다.
• 다수의 투표와 거부 투표에 대해 지배적 조작을 계산하는 것은 P에 속하므로, 이러한 규칙들은 부분 정보 하에서 조작에 취약하다.
• Borda, Copeland, maximin, STV, 순서 기반 쌍 비교, 투표 트리에 대해 지배적 조작을 계산하는 것은 NP-난이도이므로, 이러한 규칙들은 부분 정보 하에서 조작에 저항성이 있다.
• NP-난이도 결과는 부분 순서에서 쌍별 비교가 상수 개수만 알려지지 않은 경우에도 유지된다.
• 논문은 지배적 조작과 최대 유량 문제 사이의 연결 고리를 확립하여, 다수의 투표와 거부 투표에 대해 효율적인 알고리즘을 가능하게 했다.
• 프레임워크는 더 많은 정보를 공개함(예: 현재 득표수)으로 인해 이전에는 면역이었던 규칙들이 조작에 취약해질 수 있음을 드러냈다.