[论文解读] Deciding Membership in Minimal Upward Covering Sets is Hard for Parallel Access to NP
本文证明了判断某个备选项是否属于某个最小上向覆盖集的成员资格问题是 Θ₂^p-难的，将复杂度下限从此前由 Brandt 和 Fischer 证明的 NP-难提升至多项式层级的第二层。此外，本文还证明了相关问题的 coNP-难性，表明除非 P = NP，否则最小上向覆盖集无法在多项式时间内计算。
A common thread in the social sciences is to identify the “most desirable” elements of a set of alternatives according to some binary dominance relation. Examples can be found in areas as diverse as voting theory, game theory, and argumentation theory. Brandt and Fischer [BF08] proved that MCu-MEMBER, the problem of deciding whether an alternative is contained in some inclusion-minimal upward covering set—a subset of alternatives that satisfies certain notions of internal and external stability—is NP-hard. We raise their NPhardness lower bound to the Θ p 2 level of the polynomial hierarchy and provide a Σp 2 upper bound. Relatedly, we show that other problems regarding minimal upward covering sets, such as deciding whether the set of all alternatives is a minimal upward covering set, are coNP-hard. As a consequence, minimal upward covering sets cannot be found in polynomial time unless P = NP.
研究动机与目标
- 确定判断某个备选项是否属于某个最小上向覆盖集的精确计算复杂度。
- 在先前对 MCu-MEMBER 问题 NP-难性的结果基础上，建立更强的下限。
- 分析相关问题的复杂度，例如判断全部备选项的集合是否构成一个最小上向覆盖集。
- 阐明在社会选择与论证理论中，对最小上向覆盖集进行高效计算的限制。
提出的方法
- 使用归约技术表明 MCu-MEMBER 问题在多项式层级的第二层，即 Θ₂^p 上是难解的。
- 通过将 Θ₂^p 的一个完备问题进行多对一归约至 MCu-MEMBER，建立该下限。
- 证明了判断全部备选项集合是否为最小上向覆盖集的问题是 coNP-难的。
- 分析依赖于上向覆盖集的结构性质，包括内部稳定性和外部稳定性条件。
- 应用复杂性理论技术，对与最小上向覆盖集相关的决策问题进行分类。
- 使用计算复杂性理论的标准工具，推导出复杂度的上下界。
实验结果
研究问题
- RQ1MCu-MEMBER 问题的精确复杂度类是什么，该问题用于判断某个备选项是否属于某个最小上向覆盖集？
- RQ2MCu-MEMBER 的 NP-难性结果能否被强化为多项式层级更高层次的结果？
- RQ3判断全部备选项集合是否为最小上向覆盖集的问题在计算上是否困难？
- RQ4这些复杂度界限对最小上向覆盖集的高效计算有何影响？
- RQ5在何种条件下，最小上向覆盖集可以在多项式时间内计算？
主要发现
- 判断某个备选项是否属于最小上向覆盖集的问题是 Θ₂^p-难的，相较于此前已知的 NP-难性结果，这是一个严格提升。
- 本文为 MCu-MEMBER 问题建立了 Σ₂^p 上限，表明其位于多项式层级的第二层。
- 判断全部备选项集合是否为最小上向覆盖集的问题是 coNP-难的。
- 由于所建立的难解性结果，除非 P = NP，否则最小上向覆盖集无法在多项式时间内计算。
- 结果表明，在标准复杂性假设下，计算最小上向覆盖集的高效算法极不可能存在。
更好的研究，从现在开始
从论文设计到论文写作，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。