棄権を認める逐次投票で均衡の勝者判定が難しい条件
Subgame-Perfect Nash Equilibria of Plurality Voting with Abstention: a PSPACE-Completeness Result for Restricted Ballots
この論文をやさしく読む
ひとことで言うと
有権者が順番に行動し、棄権も選べる選挙で、合理的な行動の均衡から誰が勝ち得るかを計算する難しさを証明します。
何に役立つ？
投票制度をゲームとして解析するときに、均衡の勝者を一般に効率よく判定できると期待してよいかを考える理論的な基準になります。
この研究の面白いところ
投票できる相手を各人の順位表の上位部分に制限した設定で、PSPACE完全性を示しています。棄権の動機は小さな投票費用によって表現されています。
どこまで分かった？
同点の一様ランダム処理、逐次投票、小さな正の費用、投票先の制限を持つモデルでの結果です。制限のない元の問題を全面的に解決したとは述べていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
各有権者が棄権するか、1人の候補者に投票することを選べる、逐次的な単純最多得票選挙を考える。各有権者はすべての候補者に効用を割り当て、それにより各有権者について候補者の弱順序が定まる。同点は一様ランダムに解消され、投票には小さな正の費用がかかる。そのため、自分の票が選挙結果を変えられない場合、有権者は棄権を好む。 このモデルの変種として、各有権者の順位表の上位から始まる一部分を追加で指定し、その範囲内の候補者に投票するか棄権することだけを許す場合を考える。この変種では、対応する展開型ゲームのある部分ゲーム完全均衡において、指定された候補者が選挙の勝者に含まれるかを判定する問題がPSPACE完全であることを証明する。これはDesmedtとElkindの2010年の研究にある未解決問題を部分的に解決する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We consider sequential Plurality elections in which each voter may abstain or vote for a single candidate. Each voter assigns utilities to all candidates; for each voter, this induces a (weak) order over the candidates. Ties are resolved uniformly at random, and voting has a small positive cost, so that a voter prefers to abstain when their vote cannot change the election outcome. We consider a variant of this model where, for each voter, we additionally specify a prefix of her ranking, so that she is only allowed to vote for a candidate from that prefix (or abstain). We prove that for this variant of the model, deciding whether a designated candidate is among the election winners in a subgame-perfect equilibrium of the associated extensive-form game is PSPACE-complete. This partially resolves an open problem from the work of Desmedt and Elkind [2010].
arXiv ID: 2609.24292 ／ 要約の誤りについて