[論文レビュー] Parameterized Complexity of Multi-winner Determination: More Effort Towards Fixed-Parameter Tractability

Yongjie Yang, Jianxin Wang|arXiv (Cornell University)|Jul 9, 2021

Game Theory and Voting Systems参考文献 16被引用数 8

ひとこと要約

本稿は、最小化承認投票（MAV）、比例承認投票（PAV）、チャーマーリン＝カーラン承認投票（CCAV）という3つのNP困難な複数候補者承認投票ルールの固定パラメータ可 tractability (FPT) を進める。新規パラメータとして、インシデントグラフの構造的パラメータ（木幅、最大マッチングサイズなど）を導入。MAVおよびCCAVに対して、複数のパラメータに関してFPTアルゴリズムを提示。PAV-MULTIWINNERは、選挙者数と最大承認数に関してFPTであることを証明。一方、PAVのしきい値スコアおよび木幅によるパラメータ化については、未解決問題として残されている。

ABSTRACT

We study the parameterized complexity of winner determination problems for three prevalent $k$-committee selection rules, namely the minimax approval voting (MAV), the proportional approval voting (PAV), and the Chamberlin-Courant's approval voting (CCAV). It is known that these problems are computationally hard. Although they have been studied from the parameterized complexity point of view with respect to several natural parameters, many of them turned out to be W[1]-hard or W[2]-hard. Aiming at obtaining plentiful fixed-parameter algorithms, we revisit these problems by considering more natural single parameters, combined parameters, and structural parameters.

研究の動機と目的

• 本稿の目的は、複数候補者承認投票ルールの計算困難性を克服するために、新たなFPTパラメータを同定することにある。
• 従来のパラメータを超えて、MAV、PAV、CCAVの固定パラメータ可 tractability 結果を拡張することを目的とする。
• インシデントグラフの構造的パラメータ（木幅、最大マッチングサイズなど）を調査し、FPTアルゴリズムを導出する。
• 特に現実の選挙構造において軽視されがちなパラメータを探索することで、パrameterized 複雑性におけるギャップを埋めることを目的とする。
• 本研究は、将来の研究におけるカーネル化および現実の選挙におけるインシデントグラフパラメータの実験的分析の基盤を築く。

提案手法

• 著者らは、3つの承認ベースの複数候補者ルール（MAV、PAV、CCAV）のパrameterized 複雑性を分析する。
• 単一パラメータ（例：選挙者数 n、候補者数 m、しきい値 d、最大承認数 △V）と組み合わせパラメータを導入・分析する。
• インシデントグラフの構造的パラメータ（木幅、最大マッチングサイズなど）を検討し、FPTアルゴリズムを導出する。
• 最大マッチングや経路／サイクル分解を含む、組合せ論的およびグラフ理論的技術を用いて、特殊ケースを多項式時間で解く。
• 特定のグラフ構造（経路、サイクル、ヘアスタッグ、DH-ヘアスタッグ）に対して、FPT結果の構築に用いられる基盤となる正確な多項式時間アルゴリズムを設計する。
• 特に木分解に基づく有界探索木と動的計画法を用いて、木幅パラメータ化に関してFPT結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 PAV-MULTIWINNER は、しきい値スコア d に関して固定パラメータ可 tractable か？
• RQ2 PAV-MULTIWINNER は、インシデントグラフの木幅に関して固定パラメータ可 tractable か？
• RQ3 MAV および CCAV に対して、木幅や最大マッチングサイズといった構造的パラメータを用いて FPT アルゴリズムを開発できるか？
• RQ4 従来のパラメータを超えて、これらの複数候補者ルールに対して新たなパラメータの組み合わせが FPT アルゴリズムをもたらすか？
• RQ5 CCAV-MULTIWINNER と同様に、PAV-MULTIWINNER に対してカーネル化が達成可能か？

主な発見

• PAV-MULTIWINNER は、選挙者数 n と最大承認数 △V に関して FPT である。
• CCAV-MULTIWINNER は、d + △V に関して多項式カーネルを有する。これは、事前に知られている PARTIAL HITTING SET に関する研究から示唆される。
• MAV-MULTIWINNER は、d + m や n + k に関して多項式カーネルを有する可能性は低く、標準的な複雑性仮定のもとで不成立であるとされる。
• 本稿は、d、n、k、△V といったパラメータに関して、MAV および CCAV の FPT アルゴリズムを提示する。
• インシデントグラフの木幅が有界である選挙に対して、MAV および CCAV の FPT アルゴリズムを確立する。
• 著者らは、パス、サイクル、ヘアスタッグ、DH-ヘアスタッグといった特殊なグラフ構造において、PAV-MULTIWINNER が多項式時間で解けることを証明する。