[論文レビュー] On the Complexity of Destructive Bribery in Approval-Based Multi-winner Voting

Yongjie Yang|arXiv (Cornell University)|Feb 3, 2020

Game Theory and Voting Systems参考文献 39被引用数 4

ひとこと要約

この論文は、攻撃者が一定の予算内で票を変更することで特定の候補者をすべての当選委員会から除外しようとする際の、承認ベースの多人数選出投票制度における破壊的買収の計算複雑性を調査する。5つの代表的な承認ベースの多人数選出ルール（AV、SAV、NSAV、CCAV、PAV）の複雑性の全体像を提示し、大多数の問題がNP困難であることを証明するとともに、票数や予算といった主要なパラメータに関して、固定パラメータ tractability（FPT）またはW[1]-困難性を確立する。

ABSTRACT

A variety of constructive manipulation, control, and bribery problems for approval-based multiwinner voting have been extensively studied recently. However, their destructive counterparts seem to be less explored. This paper investigates the complexity of several destructive bribery problems under five prestigious approval-based multiwinner voting rules -- approval voting, satisfaction approval voting, net-satisfaction approval voting, Chamberlin-Courant approval voting, and proportional approval voting. Broadly, these problems are to determine if a number of given candidates can be excluded from any winning committees by performing a limited number of modification operations. We offer a complete landscape of the complexity of the problems. For NP-hard problems, we study their parameterized complexity with respect to meaningful parameters.

研究の動機と目的

• 破壊的買収に関する研究が承認ベースの多人数選出投票において著しく不足していることに対処する。これは、建設的バージョンに関する広範な研究と対照的である。
• 攻撃者が一定の予算内で票を変更することで、複数の特定の候補者を当選委員会から除外することを目的としたシナリオをモデル化する。
• 5つの代表的な承認ベースの多人数選出ルールの下で、承認追加、削除、および3つの票レベル操作を含む5つの買収操作の複雑性を分析する。
• 意味のあるパラメータ（票数、予算、距離バウンドなど）に関して、包括的なパラメータ化された複雑性分析を提供し、FPTおよびW[1]-困難なケースを同定する。
• 特殊ケースにおける多項式時間アルゴリズムと、制限された設定ですらNP困難である結果を含む、完全な複雑性地図を提供する。

提案手法

• 論文は破壊的買収を決定問題としてモデル化する：特定の候補者集合が、最大ℓ回の変更によってすべての当選k委員会から除外可能か。
• 操作を原子的（AppAdd、AppDel）と票レベル（VC、VAC、VDC）に分類し、VACおよびVDCには元の票からのハミング距離バウンドrを含める。
• AVにおけるAppAddおよびAppDelに対しては、候補者票集合を列挙した後、最大ネットワークフロー還元を用いて部分問題を多項式時間で解く。
• r = 2m（可能な最大のずれ）の票レベル操作に対しては、変更対象となる最大ℓ票の列挙を行い、その後、貪欲な割り当てで全特定候補者を除外する。
• 列挙とフロー還元を用いてFPT結果を証明し、特定のパラメータの組み合わせに関してW[1]-困難性を確立する。
• 古典的複雑性（NP困難性）とパrameterized複雑性（FPT、W[1]-困難性）の両方を、5つの投票ルールにわたって分析する。

実験結果

リサーチクエスチョン

• RQ1 承認投票（AV）、満足度承認投票（SAV）、ネット満足度承認投票（NSAV）、Chamberlin-Courant承認投票（CCAV）、比例承認投票（PAV）の下で、破壊的買収の計算複雑性は何か？
• RQ2 ハミング距離バウンドrの導入は、票レベル買収操作の複雑性にどのように影響するか？
• RQ3 票数、予算、特定候補者の数、委員会サイズといったパラメータのうち、どのパラメータが問題を固定パラメータ tractable（FPT）またはW[1]-困難にするか？
• RQ4 一般にはNP困難であるが、特殊ケースでは破壊的買収が多項式時間で解ける場合があるか？
• RQ5 既知の建設的買収および操作問題の複雑性結果と比較して、本研究の結果はどのように異なるか？

主な発見

• AV、SAV、NSAV、CCAV、PAVにおける破壊的買収問題はすべてNP困難であり、多くの困難性結果は極めて制限された設定でも成立する。
• AVにおける承認追加または削除の場合は、候補者票集合を列挙した後、最大ネットワークフロー還元を用いて多項式時間で解ける。
• AVにおけるr = 2mの票レベル操作では、票数に関してFPTであり、O*(2^n)時間で解ける。
• パラメータ化された複雑性分析により、多くの問題が候補者数に関してFPTであることが判明したが、票数に関してFPTであるのはほんの一部にとどまる。
• 票数や予算に関してパラメータ化した場合、いくつかの問題はW[1]-困難であることが判明し、これらのパラメータに関して強い非効率性を示す。
• 本研究は、5つの投票ルールと5つの操作タイプを網羅する完全な複雑性マップを提供し、破壊的制御および買収に関する文献における重要な空白を埋めた。