[论文解读] 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与McGarvey的先前结果。

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 $ 个顶点的竞赛图中，生成其所需的最少选民数的最大值。
• 提供一种显式的归纳构造方法，可系统地生成任意期望的竞赛图，且使用最少的选民集合。
• 通过引入 $ n $ 与 $ k = \lfloor \log_2 n \rfloor $ 的奇偶性，对Sterns与McGarvey的早期结果进行细化，从而获得更紧致的上界。

提出的方法

• 该方法依赖于递归地从较小的竞赛图构建更大的竞赛图的选民集合，利用定理2.2，其表明 $ v(T_{n+2}) \leq v(T_n) + 2 $。
• 利用大尺寸传递子竞赛图的存在性——由定理2.3保证，其中 $ f(n) \geq \lfloor \log_2 n \rfloor + 1 $——作为归纳构造的起点。
• 每一步构造定义两个新选民：一个将 $ a $ 置于所有其他候选人之前，另一个将 $ b $ 置于所有其他候选人之后，并通过反向序列调整中间排序，以保持多数偏好关系。
• 通过使用序列 $ \gamma, \delta, \sigma, \mu $ 及其反向序列，精心设计选民排列，以维持正确的两两多数偏好结果。
• 利用奇偶性判断 $ n - k $ 或 $ n - k + 1 $ 个选民是否足够，具体取决于 $ n $ 与 $ k $ 是否具有相同的奇偶性。
• 证明过程利用了引理2.1，其表明 $ v(n) $ 必须为奇数，从而确保归纳步骤的一致性。

实验结果

研究问题

• 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 $，该边界比以往结果更紧。
• 该边界改进了Sterns对偶数 $ n $ 的结果 $ v(n) \leq n+1 $ 以及对奇数 $ n $ 的结果 $ v(n) \leq n $，尤其在 $ n $ 较大时更为显著。
• 该构造是显式且归纳的，从大小为 $ k+1 $ 的传递子竞赛图出发，并逐步扩展。
• 该方法通过对称的选民配对和反序排列，确保所有两两多数偏好关系得以保持。
• 结果确认了 $ v(n) $ 始终为奇数，如引理2.1所示，这为归纳构造的一致性提供了基础。