[论文解读] Reconfiguration of Spanning Trees with Many or Few Leaves

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

Advanced Graph Theory Research参考文献 15被引用 3

一句话总结

本文研究了通过边翻转将一棵生成树转换为另一棵生成树的复杂性，同时在整个序列中保持叶子数的约束。研究证明，无论保持至少 k 个叶子还是至多 k 个叶子（k ≥ 3）的问题在 PSPACE 完全性上都是 PSPACE 完全的，即使在二分图、弦图和平面图等受限图类中也是如此。该结果首次揭示了边翻转重配置问题的 PSPACE 硬度。

ABSTRACT

Let $G$ be a graph and $T_1,T_2$ be two spanning trees of $G$. We say that $T_1$ can be transformed into $T_2$ via an edge flip if there exist two edges $e \in T_1$ and $f$ in $T_2$ such that $T_2= (T_1 \setminus e) \cup f$. Since spanning trees form a matroid, one can indeed transform a spanning tree into any other via a sequence of edge flips, as observed by Ito et al. We investigate the problem of determining, given two spanning trees $T_1,T_2$ with an additional property $Π$, if there exists an edge flip transformation from $T_1$ to $T_2$ keeping property $Π$ all along. First we show that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at most $k$ (for any fixed $k \ge 3$) leaves is PSPACE-complete. We then prove that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at least $k$ leaves (where $k$ is part of the input) is PSPACE-complete even restricted to split, bipartite or planar graphs. We complete this result by showing that the problem becomes polynomial for cographs, interval graphs and when $k=n-2$.

研究动机与目标

• 研究使用边翻转在叶子数约束下重配置生成树的复杂性。
• 确定在每一步都保持至少 k 个叶子的前提下，是否存在从一棵生成树到另一棵生成树的变换。
• 分析在边翻转变换过程中保持至多 k 个叶子的复杂性。
• 识别在一般情况下为 PSPACE 完全性但问题变得可解的图类。
• 探索可解与不可解实例之间的边界，特别是针对小的 k 值或特殊图族的情况。

提出的方法

• 通过从 VERTEX COVER 到 HAMILTONIAN PATH 的归约，证明至多 k 个叶子问题的 PSPACE 完全性。
• 在区间图和弦图中使用 C-最小生成树及规范树结构以分析连通性。
• 应用具有内部节点和叶子连接结构约束的边翻转序列。
• 通过顶点顺序的逆向归纳法，计算用于确定子图连通性的关键节点（r′_v, ℓ′_v）。
• 利用生成树的拟阵性质，确保在无约束情况下边翻转序列的存在性。
• 定义并分析子图上的重配置图（Hv, R(Hv, k′_v)），以确定连通分量的连通性。

实验结果

研究问题

• RQ1 在保持至少 k 个叶子的条件下，将一棵生成树变换为另一棵生成树的问题是否为 PSPACE 完全？
• RQ2 对于任意 k ≥ 3，保持至多 k 个叶子的问题是否在受限图类中仍为 PSPACE 完全？
• RQ3 当 k = n − 2 或在 cographs 和区间图等特殊图类中时，该问题是否可在多项式时间内求解？
• RQ4 是否存在特定图障碍，即使叶子数有少量盈余，也会阻止重配置？
• RQ5 生成树的哪些结构特性（例如 C-最小性、内部节点顺序）决定了重配置图中的连通性？

主要发现

• 在保持至少 k 个叶子的条件下变换生成树的问题是 PSPACE 完全的，即使在二分图、弦图或平面图中也是如此。
• 对于任意 k ≥ 3，保持至多 k 个叶子的问题是 PSPACE 完全的，这首次确立了边翻转重配置问题的 PSPACE 硬度。
• 在 cographs 和区间图中，当 k = n − 2 时，该问题变为多项式时间可解。
• 在区间图中，通过检查 C-最小性并计算关键节点 r′_v 和 ℓ′_v，可以在多项式时间内判断变换是否存在。
• 在区间图中，两棵 C-最小生成树之间存在变换，当且仅当它们的第二内部节点相等，且其子树在对应子图中连通。
• 在外平面图中存在重配置障碍，例如 C4 加一条额外边，或两条平行路径，表明此类图类存在结构性限制。