[論文レビュー] Instant Runoff Voting on Graphs: Exclusion Zones and Distortion

Georgios Birmpas, Georgios Chionas+4 more|arXiv (Cornell University)|Mar 11, 2026

Game Theory and Voting Systems被引用数 0

ひとこと要約

要約: 本論文はグラフの重みなし（無重み）グラフによって誘導される距離測度の好みについてIRVを研究し、木に対するKill所属テストと動的計画法による多項式時間の排除ゾーン計算を証明し、木を超える hardness を示し、無重みグラフの様々な状況でのIRVの歪み境界を提供する。

ABSTRACT

We study instant-runoff voting (IRV) under metric preferences induced by an unweighted graph where each vertex hosts a voter, candidates occupy some vertices (with a single candidate allowed in such a vertex), and voters rank candidates by shortest-path distance with fixed deterministic tie-breaking. We focus on exclusion zones, vertex sets S such that whenever some candidate lies in S, the IRV winner must also lie in S. While testing whether a given set S is an exclusion zone is co-NP-Complete and finding the minimum exclusion zone is NP-hard in general graphs, we show here that both problems can be solved in polynomial time on trees. Our approach solves zone testing by designing a Kill membership test (can a designated candidate be forced to lose using opponents from a restricted set?) and shows that Kill can be decided in polynomial time on trees via a bottom-up dynamic program that certifies whether the designated candidate can be eliminated in round 1. A greedy shrinking process then recovers the minimum zone under a standard nesting assumption. To clarify the limits of tractability beyond trees, we also identify a rule level property (Strong Forced Elimination) that abstracts the key IRV behavior used in prior reductions, and show that both exclusion-zone verification and minimum- zone computation remain co-NP-complete and NP-hard, respectively, for any deterministic rank-based elimination rule satisfying this property. Finally, we relate IRV to utilitarian distortion in this discrete setting, and we present upper and lower bounds with regard to the distortion of IRV for several scenarios, including perfect binary trees and unweighted graphs.

研究の動機と目的

• グラフ由来の距離測度に基づく IRV を、決定論的結合法のもとで動機づけ・形式化する。
• 木に対して排除ゾーンを特徴づけ、効率的なアルゴリズムを開発する。
• IRV に限らずルールレベルの hardness を探索し、他の排除ルールへ一般化する性質を特定する。
• 無重みグラフにおける IRV の歪みを特に木構造を含む状況で分析し、境界を確立する。

提案手法

• Kill(T,u,A) を定義し、指定候補 u が A からの対戦相手を用いて排除可能かをテストする。
• 木に対してボトムアップの動的計画法で Kill を多項式時間に決定する。
• 嵌め込みの下で最小排除ゾーンを貪欲収縮法で求めるため、Kill を用いて排除ゾーンを計算する。
• Strong Forced Elimination (SFE) を導入してルールレベルの不変性を抽象化し、決定論的ランクベースのルールを満たす一般グラフに対して co-NP 完結性および NP 困難性を証明する（IRV を超える hardness の拡張）。
• IRV の結果と社会的コストを離散グラフ距離で比較し、無重みグラフの経路、二分木、完全二分木、一般の無重みグラフに対する上界・下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 IRV のグラフ上における排除ゾーンが効率的に検証でき、最小排除ゾーンを計算できるか？
• RQ2 木構造が IRV の排除ゾーンおよび最小ゾーンの計算を多項式時間で解決可能にするか？
• RQ3 無重みグラフの距離測度における社会的コスト歪みの観点でIRVはどう機能し、特定の木系族および一般グラフに対する厳密な境界はあるか？
• RQ4 他の決定論的ランクベース排除ルールで、不変性性質を満たすものに対して hardness の性質はどの程度まで拡張されるか？
• RQ5 グラフベースの距離測度における排除ゾーンと歪みの関係はどのようになるか？

主な発見

• 排除ゾーンの検証と最小ゾーンの計算は、Kill所属テストとボトムアップDPを用いる木上で多項式時間で解決可能。
• ラウンド1の還元（Kill が直ちに排除を導くこと）は、ネスト性の下でのコンパクトなDP表現と貪欲収縮手続きを可能にし、最小排除ゾーンを得る。
• Strong Forced Elimination (SFE) を導入することで、排除ゾーン検証が co-NP 完全、最小ゾーン計算が NP-hard となることを、SFE を満たす任意の決定論的ランクベース排除ルールに対して示し、IRV を超える hardness を拡張。
• 無重みパスにおけるIRVの歪みは最大で 2、下界は 9/5；二分木状の構成（bistars）では歪みが最大で 5/3（IRV にとっては最適境界）；完全二分木では歪みが最大で 3（IRV が必ずしも 1.7 より良くない場合あり）。
• 一般の無重みグラフでは、IRV の歪みは下から Ω(√(log m))、上から O(log m) に制限される。