[論文レビュー] Exact algorithms for weighted and unweighted borda manipulation problems

Yongjie Yang, Jiong Guo|arXiv (Cornell University)|May 6, 2013

Optimization and Search Problems参考文献 4被引用数 3

ひとこと要約

本稿では、重み付きおよび非重み付きBorda操作問題のための最初の正確な組合せ的アルゴリズムを提示する。それぞれ時間計算量はO*((m²m)^t+1)およびO*(t²m)であり、特に2人の操作者に対する未解決問題を解決するという重要な結果を達成している。さらに、整数線形計画法を用いてO*(29m²log m)時間のアルゴリズムを導入し、2人の操作者を伴う単一ピーク型選挙における多項式時間解法を提供する。

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ら（IJCAI 2011）が提起した、2人の操作者を含む場合の未解決問題の解決。
• 非重み付きケースにおける整数線形計画法の応用によるアルゴリズムの改善の探求。
• 単一ピーク性のような構造的制約と、それらがアルゴリズムの実行可能性に与える影響の調査。

提案手法

• 重み付きBorda操作問題に対して、時間計算量O*((m²m)^t+1)の組合せ的アルゴリズムの設計。
• 非重み付きBorda操作問題に対して、時間計算量O*(t²m)の組合せ的アルゴリズムの提案。
• 整数線形計画法の技術を適用し、非重み付きBorda操作問題に対してO*(29m²log m)時間のアルゴリズムを導出。
• 単一ピーク型選挙の構造を分析し、多項式時間で解ける条件を同定。
• 動的計画法および候補者の順序付け技術を用いて、操作者の戦略における探索空間を削減。
• 単一ピーク性の性質を活用し、2人の操作者を対象とした効率的なアルゴリズムを設計。

実験結果

リサーチクエスチョン

• RQ1 重み付きおよび非重み付きBorda操作問題の両方に対して正確な組合せ的アルゴリズムを開発可能か？
• RQ2 一般設定下で、非重み付きBorda操作問題における2人の操作者の場合、多項式時間で解けるか？
• RQ3 整数線形計画法の技術が、非重み付きBorda操作問題のための改善されたアルゴリズムをもたらすか？
• RQ4 単一ピーク型の選好構造が、2人の操作者を伴うBorda操作問題に対して多項式時間アルゴリズムの実現を可能にするか？
• RQ5 異なるパrameterizationのもとで、Borda操作問題の正確なアルゴリズムの正確な時間計算量は何か？

主な発見

• 重み付きBorda操作問題に対して、O*((m²m)^t+1)時間の正確な組合せ的アルゴリズムが提案された。
• 非重み付きBorda操作問題に対して、O*(t²m)時間の正確な組合せ的アルゴリズムが開発された。
• 非重み付きBorda操作問題は、整数線形計画法の技術を用いてO*(29m²log m)時間のアルゴリズムを有する。
• 2人の操作者を伴う単一ピーク型選挙では、多項式時間アルゴリズムが構築可能であり、一般設定におけるNP困難性とは対照的である。
• 2人の操作者を伴う単一ピーク型選好下では、問題が多項式時間で解けることが解決され、実行可能な特殊ケースが提供された。