[论文解读] The Complexity of Graph Pebbling

Kevin G. Milans, Bryan K. Clark|ArXiv.org|Mar 30, 2005

Advanced Graph Theory Research被引用 4

一句话总结

本文确定了基本图骨牌问题的计算复杂度：判定最优骨牌数是否至多为 k 的问题是 NP-完全的，而判定骨牌数是否至多为 k 的问题是 Π₂^P-完全的。这些结果表明，这些问题在计算上是困难的，除非多项式层次坍缩，否则其复杂度超出 NP 和 coNP。

ABSTRACT

We explore the complexity of computing the optimal pebbling number and pebbling number of a graph. We show that deciding whether the optimal pebbling number of G is at most k is NP-complete and deciding whether the pebbling number of G is at most k is Π_2-complete. Additionally, we provide a characterization of when an unordered set of pebbling moves can be ordered to form a valid sequence of pebbling moves.

研究动机与目标

• 确定判定图的最优骨牌数是否被给定整数 k 有界的计算复杂度。
• 分析在所有可能的骨牌分布下，判定图的骨牌数是否被 k 有界的复杂度。
• 研究图骨牌问题中可达性的复杂度，即从给定的骨牌分布是否能将骨牌移动到目标顶点。
• 刻画一组骨牌移动何时可被排列成有效序列。
• 探索在平面性或外平面性等结构约束下，可 tractable 与不可 tractable 骨牌问题之间的计算边界。

提出的方法

• 从已知的 NP-完全问题进行归约，以证明最优骨牌数判定问题是 NP-完全的。
• 构造一个图 H，由多个共享一个公共顶点 r 的 G 的副本组成，以将 r-骨牌数问题归约为骨牌数问题。
• 使用最小签名引理，表明在归约中，最优骨牌序列可被限制在 G 的单个副本内。
• 应用鸽巢原理，以界定在具有割点或高连通性的图中实现可达性所需的骨牌数量。
• 利用骨牌分布和移动序列的结构，定义可覆盖问题并证明其 NP-完全性。
• 运用量词交替方法，表明在分布上增加一个全称量词将复杂度从 NP 提升至 Π₂^P。

实验结果

研究问题

• RQ1 判定图的最优骨牌数是否至多为 k 的问题在计算上是否困难？如果是，它属于哪个复杂度类？
• RQ2 在必须对所有 k 个骨牌的分布都成立的前提下，判定图的骨牌数是否至多为 k 的计算复杂度是什么？
• RQ3 给定一个骨牌分布，能否高效判定目标顶点是否可达？还是该问题为 NP-完全？
• RQ4 当将可覆盖问题（即一个分布能否覆盖单位分布）推广到所有大小为 k 的分布时，其复杂度是否仍保持在 NP？
• RQ5 在可达性问题中，对所有分布增加一个全称量词如何影响其复杂度？

主要发现

• 最优骨牌数问题为 NP-完全，意味着它与 NP 中最难的问题一样困难。
• 骨牌数问题为 Π₂^P-完全，表明其复杂度高于 NP 和 coNP，除非多项式层次坍缩。
• r-骨牌数问题同样为 Π₂^P-完全，证实对分布的全称量化使复杂度超越 NP。
• 可覆盖问题（即一个分布能否覆盖单位分布）为 NP-完全，该结果由 Watson 独立验证。
• 这些困难性结果意味着，除非 NP = coNP，否则骨牌数问题无法在 NP 中验证，且不存在多项式时间的不可达性证书。
• 本文构建了一个归约，证明 π(G,r) ≤ k 当且仅当 π(H) ≤ k′ 对所构造的图 H 成立，从而确立了 r-骨牌数问题的完备性。