[논문 리뷰] An Empirical Study of Borda Manipulation

Jessica Davies, Georgios Katsirelos외 2명|arXiv (Cornell University)|2010. 07. 29.

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

한 줄 요약

이 논문은 빈포장과 다중프로세서 스케줄링 히우리스틱스에서 영감을 얻어, 무게 없는 보르다 선거에서 연합 조작을 위한 두 가지 새로운 근사 알고리즘인 LSLG와 LSLA를 제안한다. 실험적으로 LSLA는 60,000개의 무작위로 생성된 선거 중 99퍼센트 이상에서 최적의 조작을 찾았으며, Zuckerman 등이 제안한 이전 최고 성능 알고리즘보다 뚜렷하게 뛰어나, 실제로 보르다 규칙이 조작에 대해 거의 저항력이 없다는 강력한 증거를 제공한다.

ABSTRACT

We study the problem of coalitional manipulation in elections using the unweighted Borda rule. We provide empirical evidence of the manipulability of Borda elections in the form of two new greedy manipulation algorithms based on intuitions from the bin-packing and multiprocessor scheduling domains. Although we have not been able to show that these algorithms beat existing methods in the worst-case, our empirical evaluation shows that they significantly outperform the existing method and are able to find optimal manipulations in the vast majority of the randomly generated elections that we tested. These empirical results provide further evidence that the Borda rule provides little defense against coalitional manipulation.

연구 동기 및 목표

• 무게 없는 보르다 규칙의 실질적 조작 가능성을 조사하는 것. 이는 가중치가 있는 변형에서 알려진 NP-난해성에도 불구하고 여전히 이론적으로 해결되지 않은 문제이다.
• 기존 방법보다 실세계 성능에서 향상된 새로운 근사 알고리즘들을 개발하여 연합 조작에 활용하는 것. 이는 최악의 경우 이론적 보장 없이도 가능하다.
• 이러한 새로운 알고리즘이 Zuckerman 등이 제안한 최고 성능 알고리즘보다 최적의 조작을 더 자주 찾을 수 있는지 실험적으로 평가하는 것.
• 빈포장과 스케줄링에서 유래한 구조적 통찰이 보르다 선거에서 더 효과적인 조작 전략을 이끌 수 있는지 탐색하는 것.
• 보르다 선거가 이론적으로 복잡성에 대한 불확실성이 존재함에도 불구하고 실질적으로 조작에 취약하다는 추가적인 증거를 제공하는 것.

제안 방법

• 빈포장과 다중프로세서 스케줄링 히우리스틱스에서 영감을 얻어, LSLG(가장 긴 점수 우선 근사)와 LSLA(교대로 적용하는 가장 긴 점수 우선)라는 두 가지 새로운 근사 알고리즘을 제안한다.
• 점수 기반의 근사 전략을 사용하여 현재 점수가 가장 높은 후보자들을 우선적으로 조작함으로써, 선호하는 후보자의 점수를 효율적으로 높이는 것을 목표로 한다.
• 각 할당 이후 점수를 갱신하여 현재 조작의 영향을 반영하도록 반복적으로 알고리즘을 적용하여 조작자들에게 투표를 할당한다.
• Zuckerman 등이 제안한 REVERSE 알고리즘과 성능를 비교한다. 이 알고리즘은 현재 점수 기반으로 후보자를 역순으로 정렬하며, 최대 한 명의 추가 조작자를 보장한다.
• 최적성 확인을 위한 병합 방법을 사용한다: LSLA가 REVERSE보다 한 명 적은 조작자를 사용하여 해를 찾는다면, 그 해는 확실히 최적임을 확인한다.
• 후보자 수와 투표 수가 다양하게 설정된 60,000개의 무작위로 생성된 Uniform 및 Urn 선거에 대해 광범위한 실험적 평가를 수행한다.

실험 결과

연구 질문

• RQ1 빈포장과 스케줄링 히우리스틱스에서 영감을 얻은 근사 알고리즘이, 최적의 보르다 조작을 찾는 데 있어 기존 최고 성능 알고리즘을 뛰어넘을 수 있는가?
• RQ2 다양한 선거 구조에서 LSLA 알고리즘이 최적의 조작을 REVERSE 알고리즘보다 얼마나 자주 찾는가?
• RQ3 후보자 수가 증가함에 따라, 특히 Urn 선거와 같은 구조적 선거에서 신규 알고리즘의 성능이 떨어지는가?
• RQ4 특정 선거 구조에서는 REVERSE가 최악의 경우 이론적 보장이 있음에도 불구하고, 신규 알고리즘이 항상 REVERSE를 능가하는가?
• RQ5 LSLA가 REVERSE를 경험적으로 능가하는 현상은 보르다 조작의 해 공간의 구조적 특성으로 설명될 수 있는가?

주요 결과

• LSLA는 테스트한 31,530개의 Urn 선거 중 99.7퍼센트에서 최적의 조작을 찾았으며, 이는 REVERSE가 최적해를 76퍼센트 뿐만으로 해결한 것과 비교해 뚜렷하게 뛰어나다.
• Uniform 선거에서는 LSLA가 32,679개의 사례 중 99퍼센트에서 최적의 조작을 달성했고, REVERSE는 최적해를 75퍼센트 뿐만으로 해결했다.
• LSLG는 Uniform 선거에서는 REVERSE를 76퍼센트에서 뛰어넘었지만, Urn 선거에서는 42퍼센트에서만 뛰어나, 투표 구조에 민감함을 보였다.
• 12개의 사례에서 LSLG는 최적해를 찾았지만 LSLA에서는 찾지 못했지만, LSLA는 REVERSE가 최적해를 찾지 못한 사례에서 최적해를 찾지 못한 적이 없었다.
• 결과적으로 LSLA는 실질적으로 REVERSE를 압도하며, 거의 모든 사례에서 최적해를 찾는다. 이는 LSLA에 최적성 보장이 없음에도 불구하고 성립한다.
• 이 연구는 무게 없는 보르다 규칙이 연합 조작에 매우 취약하다는 강력한 경험적 증거를 제공하며, 최적해는 종종 다항식 시간 내에 찾을 수 있다.