[논문 리뷰] Complexity of and Algorithms for Borda Manipulation

Jessica Davies, George Katsirelos외 2명|arXiv (Cornell University)|2011. 05. 27.

Game Theory and Voting Systems참고 문헌 12인용 수 25

한 줄 요약

이 논문은 두 명의 무게 없는 조작자가 있는 Borda 투표 규칙을 조작하는 것이 NP-난이도임을 증명하며, 계산사회선택 이론 분야에서 오랫동안 미해결된 열린 문제를 해결한다. 이 난이도를 극복하기 위해 저자는 분할 정복과 다중 프로세서 스케줄링에 영감을 받은 두 가지 새로운 근사 알고리즘을 제안하며, 이는 이전의 방법들보다 뛰어나게 성능을 발휘하고 거의 모든 테스트된 무작위 선거에서 최적의 조작을 찾는다.

ABSTRACT

We prove that it is NP-hard for a coalition of two manipulators to compute how to manipulate the Borda voting rule. This resolves one of the last open problems in the computational complexity of manipulating common voting rules. Because of this NP-hardness, we treat computing a manipulation as an approximation problem where we try to minimize the number of manipulators. Based on ideas from bin packing and multiprocessor scheduling, we propose two new approximation methods to compute manipulations of the Borda rule. Experiments show that these methods significantly outperform the previous best known %existing approximation method. We are able to find optimal manipulations in almost all the randomly generated elections tested. Our results suggest that, whilst computing a manipulation of the Borda rule by a coalition is NP-hard, computational complexity may provide only a weak barrier against manipulation in practice.

연구 동기 및 목표

• 무게 없는 투표와 두 명의 조작자가 있는 Borda 규칙의 조작을 계산하는 것이 NP-난이도인지 여부를 해결하는 것.
• 선호 후보자가 승리하도록 보장하기 위해 필요한 조작자의 수를 최소화하는 실용적인 근사 알고리즘을 개발하는 것.
• 실제 세계 환경에서 조작에 대한 계산 복잡도가 의미 있는 장벽이 되는지 평가하는 것.
• 기존 방법보다 이론적·실제적으로 뛰어나게 성능을 발휘하는 효율적인 알고리즘을 설계하는 것.

제안 방법

• Borda 조작의 NP-난이도를 증명하기 위해 강력한 NP-완전성 문제인 순열 합 문제로의 감소를 수행한다.
• 각 조작자가 기여하는 점수를 나타내는 행과 열의 합을 가진 순열 행렬로 조작 문제를 모델링한다.
• 조작 문제를 다중 기술 분할 정복 또는 다중 프로세서 스케줄링 문제로 변환하여 효율적인 근사화를 가능하게 한다.
• 선호 후보자와 다른 후보자들 사이의 갭 크기를 표현하는 대각합을 사용한 순열 행렬 레이블링 체계를 도입한다.
• 후보자 점수를 정밀하게 제어할 수 있도록 허용하는 구성적 보조정리를 사용하여 목표 점수 벡터를 갖는 투표를 구성한다.
• 정수계획법과 휴리스틱 탐색 기법을 적용하여 변환된 스케줄링 및 분할 정복 문제를 해결한다.

실험 결과

연구 질문

• RQ1 두 명의 무게 없는 조작자가 있는 Borda 규칙의 조작을 계산하는 것은 NP-난이도인가?
• RQ2 Borda 조작의 NP-난이도는 실용적인 근사 알고리즘을 개발하는 데 활용될 수 있는가?
• RQ3 분할 정복과 다중 프로세서 스케줄링에 기반한 근사 방법은 최소 조작을 찾는 데 얼마나 효과적인가?
• RQ4 실제 상황에서 계산 복잡도가 조작에 대한 장벽으로 작용하는 정도는 어느 정도인가?
• RQ5 NP-난이도에도 불구하고 랜덤 선거에서 최적의 조작을 효율적으로 찾을 수 있는가?

주요 결과

• 두 명의 조작자가 있는 Borda 규칙에 대한 무게 없는 협동 조작 문제는 NP-완전임을 증명하였다.
• 이 NP-난이도 결과는 계산사회선택 이론 분야에서 오랫동안 미해결된 열린 문제를 해결한다.
• 제안된 분할 정복 및 다중 프로세서 스케줄링 기반 근사 알고리즘은 경험적 평가에서 이전에 알려진 최고의 방법보다 뚜렷이 뛰어나다.
• 가장 성능이 뛰어난 알고리즘은 테스트된 거의 모든 랜덤 생성 선거에서 최적의 조작을 찾는다.
• 이 결과들은 이론적으로 조작이 계산적으로 어렵지만, 새로운 근사 방법의 효과성 덕분에 실생활에서는 해결 가능할 수 있음을 시사한다.
• 순열 행렬과 대각합 레이블링을 통한 변환은 조작 갭과 스케줄링 제약 조건 사이에 깔끔한 매핑을 가능하게 한다.