[論文レビュー] Bribery as a Measure of Candidate Success: Complexity Results for Approval-Based Multiwinner Rules

Piotr Faliszewski, Piotr Skowron+1 more|arXiv (Cornell University)|Apr 19, 2021

Game Theory and Voting Systems参考文献 30被引用数 5

ひとこと要約

本稿は、承認ベースの多勝利者選挙における候補者の成功を測る新しい指標として「買収（bribery）」を導入する。最小限の票の変更によって候補者が勝利するまでのコストが、その候補者の選挙における実績を反映する。6つの承認ベースの多勝利者ルールについて包括的な計算複雑性解析を実施し、多様な複雑性の領域を明らかにした。これは、多項式時間で解ける問題から近似不能な問題までを含む豊かな複雑性の地図を示しており、パrameterized設定ではFPTアルゴリズムが得られている。

ABSTRACT

We study the problem of bribery in multiwinner elections, for the case where the voters cast approval ballots (i.e., sets of candidates they approve) and the bribery actions are limited to: adding an approval to a vote, deleting an approval from a vote, or moving an approval within a vote from one candidate to the other. We consider a number of approval-based multiwinner rules (AV, SAV, GAV, RAV, approval-based Chamberlin--Courant, and PAV). We find the landscape of complexity results quite rich, going from polynomial-time algorithms through NP-hardness with constant-factor approximations, to outright inapproximability. Moreover, in general, our problems tend to be easier when we limit out bribery actions on increasing the number of approvals of the candidate that we want to be in a winning committee (i.e., adding approvals only for this preferred candidate, or moving approvals only to him or her). We also study parameterized complexity of our problems, with a focus on parameterizations by the numbers of voters or candidates.

研究の動機と目的

• 多勝利者承認選挙における敗北候補者の意味のあるパフォーマンス指標の欠如に応えること。
• 従来のスコアベースの評価手法に起因する制限を克服すること。これらの手法は恣意的であったり、情報が不足していたり、多勝利者設定では適用不能な場合がある。
• 最小限の票の変更に基づき、どの程度候補者が勝利に近かったかを定量化するための、買収問題を用いた新しい概念的枠組みを提案すること。
• AV、SAV、GAV、RAV、ABC、PAVを含む、さまざまな承認ベースの多勝利者ルールにおける買収問題の計算複雑性を分析すること。
• 選挙参加者数および候補者数をパラメータとして、パrameterized複雑性を調査し、解が容易なケースとFPTアルゴリズムを同定すること。

提案手法

• 承認ベースの多勝利者選挙における買収問題を形式化し、3つの操作を許可する：承認の追加、承認の削除、および承認の候補者間の移動。
• 各買収インスタンスを、ソース、候補者ノード、タイプノード、シンクからなる最小コスト最大フロー・ネットワークとしてモデル化し、フローが承認の変更を表すようにする。
• ノードのタイプを、各投票者ごとの承認パターンを表し、許可された買収操作に応じたタイプ間の遷移にコストを割り当てる。
• 最小コスト最大フローの多項式時間アルゴリズムを適用し、特定の候補者が勝利するための最小買収コストを計算する。フロー制約により解の妥当性を保証する。
• 動的計画法を用いて、候補者タイプの上での動的計画を実行することで、パラメータk（選挙参加者数または候補者数）に対してf(k) · poly(n)時間で解けることを示し、FPT結果を証明する。
• 承認票の構造的性質とフローネットワークの性質を活用し、タイプ数を2^nに制限することで、選挙参加者数が小さい場合に効率的な計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 承認ベースの多勝利者選挙において、従来のスコアとは異なり、敗北候補者の成功をどのように意味的に測定できるか？
• RQ2 さまざまな承認ベースの多勝利者ルール下で、特定の候補者が勝利するための承認変更の最小数を求める問題の計算複雑性はどのようになるか？
• RQ3 選挙参加者数または候補者数をパラメータとして見た場合、どの買収問題が解が容易（例えば多項式時間またはFPT）となるか？
• RQ4 買収操作の制限（特に、特定の候補者にのみ利益をもたらすように変更を制限する場合）を加えると、複雑性はどのように変化するか？
• RQ5 最小コストフロー技術は、承認ベースの多勝利者選挙における買収問題のモデリングと解法に効果的に適用可能か？

主な発見

• 買収コストは、候補者の成功を測る強固で直感的な指標である。低いコストは、より強い実績を示す。
• AV、SAV、GAV、RAV、ABC、PAVの全ルールにおいて、候補者数または選挙参加者数をパラメータとした場合、買収問題はXPに属する。
• 選挙参加者数をパラメータとした場合、問題はFPTである。最小コストフロー定式化により、候補者数に関して多項式時間、選挙参加者数に関して指数時間で実行可能である。
• 複雑性の地図は多様である。問題は多項式時間で解けるものから、定数要因近似可能なNP困難問題、さらには近似不能な問題までを含む。
• 買収操作が、特定の候補者にのみ利益をもたらすように制限されると、解の空間が大幅に小さくなり、問題が著しく容易になる。
• 最小コストフローモデルは、すべての許可された買収操作を的確に捉え、特にパラメータ制約下において、最小コスト変換の計算を効率的に行うのに成功している。