[论文解读] Reconfiguration of Spanning Trees with Degree Constraint or Diameter Constraint

Nicolás Bousquet, Takehiro Ito+5 more|arXiv (Cornell University)|Jan 1, 2022

Advanced Graph Theory Research被引用 1

一句话总结

本文研究了通过边翻转在度数或直径约束下重新配置生成树的计算复杂性。研究证明，当最大度数存在下界时，重新配置问题是多项式时间可解的；而当存在上界时，问题则为 PSPACE-完全。类似地，直径的下界使问题变为 NP-难，而上界则允许多项式时间解法，揭示了受约束的生成树重新配置问题在复杂性上的显著转变。

ABSTRACT

We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields that such a transformation always exists if we have no constraints on spanning trees. In this paper, we wish to find a transformation which passes through only spanning trees satisfying some constraint. Our focus is bounding either the maximum degree or the diameter of spanning trees, and we give the following results. The problem with a lower bound on maximum degree is solvable in polynomial time, while the problem with an upper bound on maximum degree is PSPACE-complete. The problem with a lower bound on diameter is NP-hard, while the problem with an upper bound on diameter is solvable in polynomial time.

研究动机与目标

• 确定通过边翻转将一棵生成树转换为另一棵生成树的计算复杂性，同时保持最大度数或直径的约束。
• 识别哪些约束允许高效重新配置，哪些导致计算难题。
• 厘清代数约束下生成树重新配置问题中可解与不可解变体之间的边界。
• 为具有度数和直径约束的重新配置问题提供全面的复杂性分类。

提出的方法

• 将生成树重新配置建模为相邻生成树之间的边翻转序列，其中相邻性由交换一条边来定义。
• 利用拟阵理论证明，在无约束条件下重新配置始终可行，为受约束变体提供基准。
• 通过从已知的 PSPACE-完全和 NP-完全问题进行归约，证明度数和直径上界情况下的难题结果。
• 利用最短路径树和中心相关度量的结构分析，证明度数下界和直径上界情况下的多项式时间可解性。
• 引入函数 f(r1, r2, Q) 以指导辅助图中 r1–r2 路径存在性的归纳论证，证明关键结构引理。
• 通过路径段和标签比较的案例分析，表明在约束下某些配置可导出有效的重新配置路径。

实验结果

研究问题

• RQ1 在最大度数存在下界的情况下，生成树的重新配置是否可在多项式时间内求解？
• RQ2 在最大度数存在上界的情况下，生成树的重新配置是否为 PSPACE-完全？
• RQ3 在直径存在下界的情况下，生成树的重新配置是否为 NP-难？
• RQ4 在直径存在上界的情况下，生成树的重新配置是否可在多项式时间内求解？
• RQ5 哈密顿路径重新配置问题（度数为 2 的生成树的特例）的复杂性如何？

主要发现

• 在最大度数存在下界的情况下，生成树重新配置可在多项式时间内求解，其证明基于树的结构特性构造性算法。
• 在最大度数存在上界的情况下，当 d ≥ 3 时，生成树重新配置为 PSPACE-完全，表明其具有高度计算难度。
• 在直径存在下界的情况下，生成树重新配置为 NP-难，表明寻找此类受限路径在计算上具有挑战性。
• 在直径存在上界的情况下，生成树重新配置可在多项式时间内求解，意味着在直径约束下可实现高效变换。
• 哈密顿路径重新配置问题仍为开放问题，尽管它是最大度数为 2 的度数约束问题的特例。
• 本文推测大直径生成树重新配置问题为 PSPACE-完全，但该结论尚未得到证明。