[論文レビュー] A note on the voting problem

M.A. Fiol|arXiv (Cornell University)|Jun 4, 2012

Game Theory and Voting Systems参考文献 2被引用数 3

ひとこと要約

本稿は、$ n $ 人の候補者に対して任意の強いトーナメント（つまり、完全で非対称な順序関係パターン）を生成するために必要な、順序付きの好みを持つ有権者の最小数の上界を改善している。転送可能な部分トーナメントと偶奇の考察に基づく帰納的構成を用いて、$ n $ と $ k = \lfloor \log_2 n \rfloor $ が異なる偶奇を持つ場合、$ v(n) \leq n - k $ を示し、そうでない場合は $ v(n) \leq n - k + 1 $ を示しており、Sterns よりも前より良い上限を改善している。

ABSTRACT

Let $v(n)$ be the minimum number of voters with transitive preferences which are needed to generate any strong preference pattern (ties not allowed) on $n$ candidates. Let $k=\lfloor \log_2 n floor$. We show that $v(n)\le n-k$ if $n$ and $k$ have different parity, and $v(n)\le n-k+1$ otherwise.

研究の動機と目的

• 任意の $ n $ 候補者に対する強い順序関係パターン（トーナメント）を実現するために必要な、順序付きの好みを持つ有権者の最小数を特定すること。
• $ v(n) $ の既存の上界を改善すること、ここで $ v(n) $ は $ n $ 頂点のすべてのトーナメントについて、それを生成するために必要な最小有権者数の最大値を表す。
• 任意の所望のトーナメントを最小の有権者集合で生成できる明示的な帰納的構成法を提供すること。
• Sterns や McGarvey の先行結果を、$ n $ と $ k = \lfloor \log_2 n \rfloor $ の偶奇を組み合わせることで改善し、より緊密な上限を得ること。

提案手法

• 本手法は、定理 2.2 に従い、$ v(T_{n+2}) \leq v(T_n) + 2 $ を示すことで、より大きなトーナメントの有権者集合を、より小さいものから再帰的に構築する。
• 定理 2.3 が保証するように、大きな転送可能な部分トーナメント（$ f(n) \geq \lfloor \log_2 n \rfloor + 1 $）の存在を、帰納的構成の出発点として用いる。
• 各ステップで2人の新しい有権者を定義する：1人は全員より前に a を配置し、もう1人は全員より後に b を配置する。中間の順序は逆順列を用いて調整され、多数決の順序を保持する。
• 有権者の順列は、$ \gamma, \delta, \sigma, \mu $ 及びその逆順列を用いて、正確な対比較の多数決結果を維持するように慎重に構造化される。
• 偶奇に基づいて、$ n $ と $ k $ が同じ偶奇かどうかを判定し、$ n - k $ または $ n - k + 1 $ の有権者が十分であるかどうかを決定する。
• 証明は、$ v(n) $ が奇数でなければならないことを示す補題 2.1 を活用しており、これにより帰納的ステップの整合性が保証される。

実験結果

リサーチクエスチョン

• RQ1 順序付きの好みを持つ有権者の最小数は、$ n $ 候補者に対して任意の強い順序関係パターンを生成するためにどれほど必要か？
• RQ2 $ n $ と $ k = \lfloor \log_2 n \rfloor $ の偶奇は、最小有権者数にどのように影響するか？
• RQ3 帰納的構成法を用いて、最小サイズの有権者集合を体系的に構築し、任意のトーナメントを実現できるか？
• RQ4 転送可能な部分トーナメントと偶奇を考慮した場合、Sterns や McGarvey の結果と比較して、上限はどの程度改善されるか？
• RQ5 Erdős–Moser の $ O(n / \log_2 n) $ の上限は、強い順序関係パターンに対してどの程度改善可能か？

主な発見

• 本稿は、$ n $ と $ k = \lfloor \log_2 n \rfloor $ が異なる偶奇を持つ場合、$ v(n) \leq n - k $ であることを確立している。
• $ n $ と $ k $ が同じ偶奇を持つ場合、上限は $ v(n) \leq n - k + 1 $ であり、これは以前の結果よりも緊密である。
• 特に大きな $ n $ に対して、Sterns の結果（偶数の $ n $ に対して $ v(n) \leq n+1 $、奇数の $ n $ に対して $ v(n) \leq n $）を改善している。
• 構成法は明示的かつ帰納的であり、$ k+1 $ のサイズの転送可能な部分トーナメントから出発し、段階的に拡張される。
• 対称的な有権者ペairと逆順列の順序を用いることで、すべての対比較の多数決順序が保持される。
• 結果として、$ v(n) $ が常に奇数であることが確認され、これは補題 2.1 で示されており、帰納的構成の整合性を支える。