[論文レビュー] Single-Peakedness and Total Unimodularity: Efficiently Solve Voting Problems Without Even Trying.

Dominik Peters|arXiv (Cornell University)|Sep 12, 2016

Game Theory and Voting Systems参考文献 40被引用数 3

ひとこと要約

本稿は、全単調性を活用して、単峰型承認投票および順位付け投票問題を効率的に解くための新しい整数計画法（IP）手法を提案する。PAV、Chamberlin-Courrant、OWAに基づく委員会選挙をIPモデルとして定式化することで、好みが単峰型である場合に整数解が保証され、標準的なソルバーを用いてNP困難な問題をカスタムアルゴリズムを必要とせずに多項式時間で解ける。

ABSTRACT

Many NP-hard winner determination problems admit polynomial-time algorithms when restricting inputs to be single-peaked. Commonly, such algorithms employ dynamic programming along the underlying axis. We introduce a new technique: carefully chosen integer linear programming (IP) formulations for certain voting problems admit an LP relaxation which is totally unimodular if preferences are single-peaked, and which thus admits an integral optimal solution. This technique gives fast algorithms for finding optimal committees under the PAV and Chamberlin-Courant voting rules under single-peaked preferences, as well as for certain OWA-based rules. Under single-crossing preferences, Young scores can also be calculated. An advantage of this technique is that no special-purpose algorithm needs to be used to exploit structure in the input preferences: any standard IP solver will terminate in the first iteration if the input is single-peaked, and will continue to work otherwise.

研究の動機と目的

• 好みが単峰型である場合に、NP困難な投票問題を効率的に解くための汎用的手法を開発すること。
• 整数計画法と全単調性を組み合わせることで、カスタムの動的計画法アルゴリズムの必要性を排除すること。
• 標準的なIPソルバーが単峰型構造を自動的に検出し、適用可能な場合には1イテレーションで解けるようにすること。
• Youngスコアの計算にまで、単交差好みへの拡張を図ること。
• PAV、Chamberlin-Courrant、OWAに基づくルールといった多様な投票ルールを、1つの理論的枠組みで統一的に解けるようにすること。

提案手法

• PAV、Chamberlin-Courrant、OWAに基づく委員会選挙を整数線形計画（IP）として定式化する。
• 好みが単峰型である場合に制約行列が全単調になるように、IPの制約を設計する。
• 全単調なLP緩和問題は整数最適解をもたらすという性質を活用し、分枝限定法を用いずに正確な解を得ることを保証する。
• 制約行列が全単調である場合に、標準的なIPソルバーが最初のシンプレックスイテレーションで整数性を検出できることを活用する。
• 単交差好みの下でYoungスコアを計算する場合にも、同様の枠組みを適用し、適合するIP定式化を構築する。
• 好みが単峰型でない場合には、ソルバーが通常通り処理を継続し、構造的制約が存在する場合にのみ効率性が向上するが、正しさは保たれる。

実験結果

リサーチクエスチョン

• RQ1 全単調性が、投票ルールの整数計画法定式化で利用可能であり、単峰型好みの下で多項式時間解法を達成できるか？
• RQ2 汎用的なIPベースのアプローチが、単峰型投票問題に対して、カスタムの動的計画法アルゴリズムを上回るか、あるいは置き換えることができるか？
• RQ3 同じIP定式化フレームワークが、PAV、Chamberlin-Courrant、OWAに基づくルールといった複数の投票ルールを、統一的な構造で扱えるか？
• RQ4 標準的なIPソルバーが、特別なコードを用いずに単峰型性を自動的に検出し、活用できる程度にまで到達するか？
• RQ5 このアプローチを、Youngスコアのような他の投票ルールに対し、単交差好みなどの他のドメイン制約へと拡張可能か？

主な発見

• 好みが単峰型である場合に、制約行列の全単調性により、提案されたIP定式化は整数最適解をもたらす。
• 入力が単峰型である場合に、標準的なIPソルバーが1回のシンプレックスイテレーションで問題を解き、多項式時間性能を達成する。
• カスタムの動的計画法や問題固有のアルゴリズムを避けることで、市販のソルバーに依存する手法となる。
• 単交差好みへの拡張により、Youngスコアの効率的計算が可能になる。
• PAV、Chamberlin-Courrant、OWAに基づくルールといった複数の投票ルールを、1つの再利用可能なIP定式化で統一的に解ける。
• すべての入力タイプに対して正しさを保ちつつ、単峰型性などの構造的制約が存在する場合にのみ効率性が向上する。