[论文解读] The one-dimensional Euclidean domain: Finitely many obstructions are not enough

Jiehua Chen, Kirk Pruhs+1 more|arXiv (Cornell University)|Jun 11, 2015

Advanced Graph Theory Research参考文献 23被引用 6

一句话总结

本文证明了一维欧几里得偏好配置无法通过任何有限的禁止子结构集合（障碍）来刻画，这与单峰和单交叉配置形成鲜明对比。作者表明，此类配置需要无穷多个障碍，这意味着基于有限障碍检查的识别算法是不可能的，他们进一步推测这一结论也适用于高维情形。

ABSTRACT

We show that one-dimensional Euclidean preference profiles can not be characterized in terms of finitely many forbidden substructures. This result is in strong contrast to the case of single-peaked and single-crossing preference profiles, for which such finite characterizations have been derived in the literature.

研究动机与目标

• 确定一维欧几里得偏好配置是否能通过有限的禁止子结构集合（障碍）来刻画。
• 研究欧几里得偏好与单峰和单交叉配置相比的结构复杂性。
• 确立一维欧几里得偏好无法通过有限障碍集进行识别。
• 探讨对偏好领域算法识别与结构理解的启示。
• 推测高维欧几里得偏好配置同样缺乏有限障碍刻画。

提出的方法

• 作者使用基于选民与备选项在实直线上的嵌入表示，分析一维欧几里得偏好配置的组合结构。
• 他们通过序列 $ E_s $ 和 $ F_s $ 定义偏好表示，以建模选民相对于嵌入备选项的偏好关系。
• 证明过程通过分析选民相对于嵌入位置的各类情况展开，重点聚焦于转折点与距离约束。
• 推导并验证涉及 $ E_s[i] $ 和 $ F_s[j] $ 的关键不等式，使用递推关系与代数运算。
• 论证依赖于通过构造特定反例来证明有限障碍集无法捕捉所有必要约束。
• 通过验证所有情况（包括具有偶数选民索引的特殊配置）下表示的一致性，完成证明。

实验结果

研究问题

• RQ1 一维欧几里得偏好配置能否通过有限的禁止子结构集合完全刻画？
• RQ2 除了单峰性与单交叉性所隐含的障碍外，是否存在其他阻碍一维欧几里得性的障碍？
• RQ3 与其它领域限制相比，一维欧几里得偏好结构的复杂性如何？
• RQ4 能否基于有限障碍集构建高效的欧几里得偏好识别算法？
• RQ5 有限障碍刻画的不可能性是否可推广至高维欧几里得偏好配置？

主要发现

• 一维欧几里得偏好配置无法通过任何有限的禁止子结构集合来刻画。
• 该结果与单峰和单交叉配置形成鲜明对比，后者可实现有限障碍刻画。
• 证明表明，必须使用无穷多个障碍才能完全刻画该领域。
• 作者通过序列 $ E_s $ 和 $ F_s $ 构造了显式表示，以建模选民偏好，并验证了所有情况的一致性。
• 分析表明，即使在删除选民或备选项后的最小障碍，其结构也尚未完全理解，其结构仍未知。
• 作者推测，对于 $ d \geq 2 $ 的 $ d $-维欧几里得偏好配置，同样缺乏有限障碍刻画。