[论文解读] Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs

Adam Clearwater, Clemens Puppe+1 more|arXiv (Cornell University)|May 25, 2015

Game Theory and Voting Systems参考文献 27被引用 14

一句话总结

本文将单交叉性质推广至中位图上的中间偏好，证明此类偏好配置构成康多塞域，并可在多项式时间内识别。此外，本文还表明，对于树上的单交叉偏好，Chamberlin-Courant规则的赢家确定问题可在多项式时间内求解，将先前结果扩展至更广泛的偏好结构类别。

ABSTRACT

Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a profile that is intermediate with respect to that graph and that one may need at least as many alternatives as vertices to construct such a profile. We provide a polynomial-time algorithm to recognize whether or not a given profile is intermediate with respect to some median graph. Finally, we show that finding winners for the Chamberlin-Courant rule is polynomial-time solvable for profiles that are single-crossing on a tree.

研究动机与目标

• 将单交叉性质从直线和树推广至中位图上的中间偏好。
• 证明任意中位图上的中间偏好配置均构成康多塞域，确保多数偏好结果的传递性。
• 证明对于任意中位图均存在中间偏好配置，并确定所需的最少备选项数量。
• 设计一种多项式时间算法，用于判断给定偏好配置是否为某中位图上的中间配置。
• 证明对于树上单交叉偏好，Chamberlin-Courant规则的赢家确定问题可在多项式时间内求解。

提出的方法

• 在中位图上定义中间性质：对于任意一对备选项及偏好其中一个超过另一个的选民，其最短路径上的所有选民也偏好同一备选项。
• 通过构造性证明表明，对于任意包含 $ n $ 个顶点的中位图，均存在一个使用恰好 $ n $ 个备选项的中间偏好配置。
• 应用动态规划求解树上单交叉偏好下的Chamberlin-Courant规则，基于选民子树与备选项子集的递归子问题。
• 将子问题定义为 $ (P', A', k') $，其中 $ P' $ 是子树 $ V_{ab} $ 上的子偏好配置，$ A' $ 是备选项的前缀，$ k' $ 是委员会规模。
• 使用递推关系：$ A[V,j,t] = \min\{ A[V,j-1,t], \min_{ab\text{-cut}} \ell(A[V_{ab},j-1,t-1], (r(v_i,a_j))_{v_i \in V_{ba}}) \} $，其中 $ \ell $ 表示总和（功利主义）或最大值（平等主义）。
• 设定边界条件：$ A[\varnothing,j,t] = 0 $，$ A[V,j,1] = \min_{j' \leq j} \ell((r(v_i,a_{j'}))_{i \in V}) $，且当 $ t \geq j $ 时 $ A[V,j,t] = 0 $。

实验结果

研究问题

• RQ1 任何中位图上的中间偏好配置是否都构成康多塞域？
• RQ2 能否为任意给定的中位图构造中间偏好配置？所需的最少备选项数量是多少？
• RQ3 是否存在一种多项式时间算法，用于判断给定偏好配置是否为某中位图上的中间配置？
• RQ4 对于树上的单交叉偏好，Chamberlin-Courant规则的赢家确定问题是否可在多项式时间内求解？
• RQ5 树上多项式时间结果能否推广至一般中位图上的中间偏好配置？

主要发现

• 任何在中位图上为中间偏好的配置均构成康多塞域，确保存在传递的多数偏好顺序。
• 对于任意包含 $ n $ 个顶点的中位图，均存在一个使用恰好 $ n $ 个备选项的中间偏好配置；对于某些树，不存在使用少于 $ n $ 个备选项的此类配置。
• 存在一种多项式时间算法，用于判断给定偏好配置是否为某中位图上的中间配置。
• 对于树上单交叉偏好，Chamberlin-Courant规则的赢家确定问题可在 $ O(mn^2k) $ 时间内求解，其时间复杂度与经典单交叉情形一致。
• 利用动态规划，功利主义与平等主义版本的Chamberlin-Courant规则在树上单交叉偏好下均可多项式时间求解。
• 将多项式时间结果推广至一般中位图上的中间偏好配置，目前仍为开放问题。