[논문 리뷰] Exact algorithms for weighted and unweighted borda manipulation problems

Yongjie Yang, Jiong Guo|arXiv (Cornell University)|2013. 05. 06.

Optimization and Search Problems참고 문헌 4인용 수 3

한 줄 요약

이 논문은 가중치가 있는 경우와 없는 경우 모두에 대해 첫 번째 정확한 조합 알고리즘을 제안하며, 각각 O*((m²m)^t+1) 및 O*(t²m)의 시간 복잡도를 달성한다. 주요 결과로는 두 명의 조작자가 존재할 경우의 열린 문제를 해결한 것이다. 또한 정수선형계획법을 통해 O*(29m²log m) 알고리즘을 도입하였으며, 단일 피크 구조를 가진 선거에서 두 조작자가 존재할 경우 다항시간 해법을 제공한다.

ABSTRACT

Both weighted and unweighted Borda manipulation problems have been proved NP-hard. However, there is no exact combinatorial algorithm known for these problems. In this paper, we initiate the study of exact combinatorial algorithms for both weighted and unweighted Borda manipulation problems. More precisely, we propose O*((m2m)t+1)-time and O*(t2m)-time combinatorial algorithms for weighted and unweighted Borda manipulation problems, respectively, where t is the number of manipulators and m is the number of candidates. Thus, for t=2 we solve one of the open problems posted by Betzler et al. [IJCAI 2011]. As a byproduct of our results, we show that the unweighted Borda manipulation problem admits an algorithm of running time O*(29m2log{m}), based on an integer linear programming technique. Finally, we study the unweighted Borda manipulation problem under single-peaked elections and present polynomial-time algorithms for the problem in the case of two manipulators, in contrast to the NP-hardness of this case in general settings.

연구 동기 및 목표

• NP-난이도의 가중치가 있는 경우와 없는 경우의 Borda 조작 문제에 대해 정확한 조합 알고리즘을 개발하는 것.
• Betzler 등(2011년 IJCAI)이 제기한 두 명의 조작자가 존재할 경우의 열린 문제를 해결하는 것.
• 비가중치 경우의 알고리즘 향상을 위해 정수선형계획법 기법을 활용하는 것.
• 단일 피크성과 같은 구조적 제약 조건이 알고리즘의 실현 가능성에 끼치는 영향을 탐구하는 것.

제안 방법

• 가중치가 있는 Borda 조작 문제에 대해 시간 복잡도 O*((m²m)^t+1)인 조합 알고리즘을 설계하는 것.
• 비가중치가 있는 Borda 조작 문제에 대해 시간 복잡도 O*(t²m)인 조합 알고리즘을 제안하는 것.
• 비가중치 Borda 조작 문제에 대해 정수선형계획법 기법을 적용하여 O*(29m²log m)-시간 알고리즘을 유도하는 것.
• 단일 피크 선거의 구조를 분석하여 다항시간 해법이 가능한 조건을 규명하는 것.
• 검색 공간을 줄이기 위해 동적 프로그래밍 및 후보자 순서 정렬 기법을 활용하는 것.
• 단일 피크 성질을 활용하여 두 조작자가 존재할 경우 효율적인 알고리즘을 설계하고, 제한된 선호 구조를 이용하는 것.

실험 결과

연구 질문

• RQ1 가중치가 있는 경우와 없는 경우의 Borda 조작 문제에 대해 정확한 조합 알고리즘을 개발할 수 있는가?
• RQ2 일반적인 설정 하에서 비가중치 Borda 조작 문제의 두 명의 조작자 경우는 다항시간 내에 해결 가능한가?
• RQ3 정수선형계획법 기법이 비가중치 Borda 조작 문제의 알고리즘 향상에 기여할 수 있는가?
• RQ4 단일 피크 선호 구조는 두 조작자가 존재할 경우 Borda 조작 문제의 다항시간 알고리즘 가능성을 제공하는가?
• RQ5 다양한 매개변수화 하에서 Borda 조작 문제의 정확한 알고리즘의 정확한 시간 복잡도는 무엇인가?

주요 결과

• 가중치가 있는 Borda 조작 문제에 대해 O*((m²m)^t+1)-시간 정확한 조합 알고리즘을 제안한다.
• 비가중치가 있는 Borda 조작 문제에 대해 O*(t²m)-시간 정확한 조합 알고리즘을 개발한다.
• 비가중치 Borda 조작 문제는 정수선형계획법 기법을 통해 O*(29m²log m)-시간 알고리즘을 제공한다.
• 두 조작자가 존재하는 단일 피크 선거의 경우, 일반 설정에서의 NP-난이도와 대비하여 다항시간 알고리즘을 구성한다.
• 두 조작자가 존재할 경우 단일 피크 선호 구조 하에서 다항시간으로 해결 가능함을 입증하여, 실현 가능한 특수 케이스를 제공한다.