[论文解读] Graph Search Trees and the Intermezzo Problem

Jesse Beisegel, Ekkehard Köhler+3 more|arXiv (Cornell University)|Jan 1, 2024

Advanced Graph Theory Research被引用 1

一句话总结

本文证明了通用搜索（Generic Search, GS）的最后入树识别问题为 NP-完全问题，表明判断给定生成的生成树是否可由 GS 遍历生成在计算上是困难的。此外，本文还证明了即使偏序的哈斯图是高度有界的树，交错问题（intermezzo problem）依然是 NP-完全的，并提出了一种以偏序宽度为参数的 XP-算法，该算法在指数时间假设（Exponential Time Hypothesis, ETH）下渐近最优。

ABSTRACT

The last in-tree recognition problem asks whether a given spanning tree can be derived by connecting each vertex with its rightmost left neighbor of some search ordering. In this study, we demonstrate that the last-in-tree recognition problem for Generic Search is $\mathsf{NP}$-complete. We utilize this finding to strengthen a complexity result from order theory. Given a partial order $π$ and a set of triples, the $\mathsf{NP}$-complete intermezzo problem asks for a linear extension of $π$ where each first element of a triple is not between the other two. We show that this problem remains $\mathsf{NP}$-complete even when the Hasse diagram of the partial order forms a tree of bounded height. In contrast, we give an $\mathsf{XP}$-algorithm for the problem when parameterized by the width of the partial order. Furthermore, we show that $\unicode{x2013}$ under the assumption of the Exponential Time Hypothesis $\unicode{x2013}$ the running time of this algorithm is asymptotically optimal.

研究动机与目标

• 确定通用搜索的最后入树识别问题的计算复杂性。
• 在偏序的结构约束下（特别是哈斯图高度有界）研究交错问题。
• 研究交错问题关于偏序宽度的参数复杂性。
• 在标准复杂性假设下，为最后入树问题与交错问题建立紧致的复杂性界限。

提出的方法

• 从多色团问题（Multicolored Clique, MCP）到交错问题的归约，构造一个具有有界高度树状哈斯图的偏序。
• 设计交错问题中的专用三元组，以编码多色团中顶点之间的邻接约束。
• 构建顶点与边模拟元件（如 c-元素、u-元素、s-元素），以强制正确的排序与团成员资格。
• 利用归纳性质，确保排序中中间元素相对于 c-元素和传递性约束的正确放置。
• 通过四个关键性质证明正确性：c-元素的排序、u-元素相对于 c-元素的位置、u-元素位置对边存在的依赖性，以及与多色团结构的一致性。
• 建立交错问题以偏序宽度为参数的 XP-算法，并在指数时间假设（ETH）下证明其最优性。

实验结果

研究问题

• RQ1 通用搜索的最后入树识别问题是否为 NP-完全？
• RQ2 当偏序的哈斯图是高度有界的树时，交错问题是否仍为 NP-完全？
• RQ3 当以偏序宽度为参数时，交错问题是否可在 XP 时间内求解？
• RQ4 在指数时间假设下，交错问题的 XP-算法是否渐近最优？
• RQ5 是否存在交错问题的可 tractable 子类，例如对格或区间序，或对小树高图的子类？

主要发现

• 尽管 GS 的终点顶点问题可在多项式时间内求解，但通用搜索的最后入树识别问题仍为 NP-完全。
• 即使偏序的哈斯图是高度有界的树（具体为高度 36），交错问题仍为 NP-完全。
• 存在一种以偏序宽度为参数的 XP-算法，其时间复杂度为 f(width) · n^O(width)。
• 在指数时间假设（ETH）下，不存在任何可计算函数 f，使得算法能在 f(k) · n^o(k) 时间内求解交错问题，从而证明该 XP-算法渐近最优。
• 当以生成树的叶节点数为参数时，GS 的最后入树识别问题为 W[1]-难。
• 从多色团问题到交错问题的归约，建立了团检测与受限全序之间的紧密联系。