[論文レビュー] Multiwinner Elections with Diversity Constraints

Robert Bredereck, Piotr Faliszewski+3 more|arXiv (Cornell University)|Nov 17, 2017

Game Theory and Voting Systems被引用数 13

ひとこと要約

本稿は、候補者の属性（例：性別、経験年数、専門分野）に基づく多様性制約とパフォーマンスに基づく委員会選定を組み合わせた、多勝利選挙のための新規モデルを提示する。特に、分離可能な目的関数および1-または2-ラミナ構造を有するラベル構造を想定した場合、多項式時間アルゴリズムが得られ、一般ケースではNP困難であることを示し、非効率な場合の近似アルゴリズムも提供する。

ABSTRACT

We develop a model of multiwinner elections that combines performance-based measures of the quality of the committee (such as, e.g., Borda scores of the committee members) with diversity constraints. Specifically, we assume that the candidates have certain attributes (such as being a male or a female, being junior or senior, etc.) and the goal is to elect a committee that, on the one hand, has as high a score regarding a given performance measure, but that, on the other hand, meets certain requirements (e.g., of the form "at least $30\%$ of the committee members are junior candidates and at least $40\%$ are females"). We analyze the computational complexity of computing winning committees in this model, obtaining polynomial-time algorithms (exact and approximate) and NP-hardness results. We focus on several natural classes of voting rules and diversity constraints.

研究の動機と目的

• パフォーマンスに基づく目的関数と属性に基づく多様性制約を用いて、高品質で多様な多勝利委員会を形式化すること。
• さまざまな目的関数、ラベル構造、多様性制約の組み合わせ下での多様な委員会の最適化の計算複雑性を分析すること。
• 特に、分離可能な目的関数および低複雑度のラベル階層（例：1-または2-ラミナ構造）を有する、多項式時間アルゴリズムが存在する tractable ケースを同定すること。
• 特に、サブモジュラ目的関数および複雑なラベル依存関係を有するNP困難な変種に対して、効率的な近似アルゴリズムを開発すること。
• 研究ワークショップ、求職者選考、政策立案などの実世界のシナリオに適用可能な、多様性に配慮した委員会選定の体系的フレームワークを提供すること。

提案手法

• 委員会の質を評価する一般化された目的関数（例：ボーダスコア、分離可能またはサブモジュラ関数）を用いて問題を形式化すること。
• 性別、経験年数、専門分野などの候補者属性（ラベル）を導入し、ラミナ構造または段階的階層として構造化された関係をモデル化すること。
• 多様性制約を、各ラベルごとの独立した基数制限（例：「ジュニア研究者を30％以上」）または区間として定義し、バランスの取れた委員会に対して特別な処理を施すこと。
• 目的関数、ラベル構造、制約のさまざまな設定における問題の難易度を、計算複雑性理論的分析を用いて分類すること。
• 正確なアルゴリズムと近似アルゴリズムを設計し、1-ラミナ構造下でのサブモジュラ目的関数に対しては0.5-近似アルゴリズム、チェンバーリン＝カーランルール下でのバランスの取れた委員会に対してはPTASを提供すること。
• 既知の組合せ最適化の結果（例：ナップサック問題の変種）を活用し、提案モデルの0/1寄与と構造的制約の設定に適応させること。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、多様で高品質な多勝利委員会の計算が計算的に tractable となるか？
• RQ2 候補者属性の構造（例：ラミナ構造対段階的構造）が、委員会選定問題の複雑性にどのように影響するか？
• RQ3 NP困難な変種の多様な多勝利選挙問題に対して、効率的な近似アルゴリズムを開発できるか？
• RQ4 異なる目的関数（分離可能、サブモジュラ、バランス型）が、多様性制約付きの委員会選定の実現可能性と複雑性に与える影響は何か？
• RQ5 特定の属性に対する最小代表割合制約などの多様性制約が、計算複雑性およびアルゴリズム設計に与える影響は何か？

主な発見

• ほとんどの目的関数と制約の組み合わせ下で、一般に問題はNP困難である。これは、単に「多様な委員会が存在するか」の可否チェックですら、NP困難であることを意味する。
• 分離可能な目的関数と1-ラミナまたは2-ラミナラベル構造を有する場合、多項式時間アルゴリズムが存在し、研究ワークショップの招待など実用的応用に適している。
• 1-ラミナラベル構造下でのサブモジュラ目的関数に対しては0.5-近似アルゴリズムが提供され、チェンバーリン＝カーランルール下でのバランスの取れた委員会に対してはPTASが存在する。
• 3層構造または一般ラベル構造では、分離可能な目的関数に対しても問題はNP困難になるため、構造的複雑度が上昇するに従い、複雑性に急激な閾値が現れる。
• 3層構造または多数のラベルを有する設定では、独立した制約下でも問題はNP困難であり、ラベル数をパrameter化した場合、W[1]-困難であるため、強い非効率性が示唆される。
• 本モデルは、より豊かな制約形（例：区間）を許容するが、各次元におけるアイテムの寄与を0/1に制限する点で、多次元ナップサック問題を一般化しており、独自の複雑性プロファイルを有する。