[论文解读] The Parameterized Complexity Of Extending Stack Layouts

Thomas Depian, Simon D. Fink+2 more|arXiv (Cornell University)|Jan 1, 2024

Scheduling and Optimization Algorithms被引用 1

一句话总结

本文研究了将部分 ℓ-page stack 布局扩展为完整布局的参数复杂度，通过多种参数进行精细化分析。它为若干参数化方案（包括顶点和边删除距离）建立了固定参数可满足性，并识别出可解决与不可解决的片段，首次提供了 stack 布局扩展问题的全面复杂度图谱。

ABSTRACT

An $\ell$-page stack layout (also known as an $\ell$-page book embedding) of a graph is a linear order of the vertex set together with a partition of the edge set into $\ell$ stacks (or pages), such that the endpoints of no two edges on the same stack alternate. We study the problem of extending a given partial $\ell$-page stack layout into a complete one, which can be seen as a natural generalization of the classical NP-hard problem of computing a stack layout of an input graph from scratch. Given the inherent intractability of the problem, we focus on identifying tractable fragments through the refined lens of parameterized complexity analysis. Our results paint a detailed and surprisingly rich complexity-theoretic landscape of the problem which includes the identification of paraNP-hard, W[1]-hard and XP-tractable, as well as fixed-parameter tractable fragments of stack layout extension via a natural sequence of parameterizations.

研究动机与目标

• 研究将部分 ℓ-page stack 布局扩展为完整布局的计算复杂度，这是从零开始计算 stack 布局的自然推广。
• 通过参数复杂度分析，识别 stack 布局扩展问题的可解决片段。
• 探讨不同参数化方式（如顶点和边删除距离、页面宽度、新增顶点/边数量）如何影响问题的可解决性。
• 提供 stack 布局扩展问题的详细复杂性理论图谱，区分固定参数可满足、W[1]-hard 和 paraNP-hard 情况。

提出的方法

• 作者在多种参数化方案下分析 Stack Layout Extension (SLE) 问题，包括顶点删除距离（κ）、边删除距离和页面宽度（ω）。
• 他们提出一种贪心算法，尊重新增顶点排序、边页面分配和超区间分配的约束，以保持非交叉性质。
• 该方法涉及对所有有效的边页面分配、新增顶点相对顺序和超区间分配组合进行分支，随后进行贪心可行性检查。
• 关键技术组件是证明任何无交叉的解都可以被转化为与贪心排序兼容的解，基于区间和顺序变化的矛盾论证。
• 分析利用了 stack 布局的结构性质，例如同一页面上边的非交替条件。
• 通过归纳论证和案例分析证明理论结果，表明违反约束将导致区间或顺序分配中的矛盾。

实验结果

研究问题

• RQ1 在哪些参数化下，stack 布局扩展问题具有固定参数可满足性？
• RQ2 当参数化为缺失顶点和边的总数时，stack 布局扩展问题的复杂度如何？
• RQ3 当同时以顶点和边删除距离以及页面宽度进行参数化时，问题是否仍保持可解决性？
• RQ4 与参数复杂度中的其他绘图扩展问题相比，stack 布局扩展问题的复杂度如何？
• RQ5 当以删除距离之和与页面数 ℓ 的总和进行参数化时，是否可能实现固定参数可满足性？

主要发现

• 当参数化为缺失边的数量时，Stack Layout Extension 问题具有固定参数可满足性，即使没有顶点缺失。
• 当仅以缺失顶点数量进行参数化时，该问题为 W[1]-hard，表明在此设置下存在固有的不可解性。
• 当以顶点和边删除距离的组合（κ）进行参数化时，该问题变为固定参数可满足性，即使 ℓ 也作为参数包含在内。
• 当以部分布局的页面宽度 ω 进行参数化时，该问题为 XP-可解决，但不一定是固定参数可满足的。
• 当仅以页面数 ℓ 进行参数化时，该问题为 paraNP-hard，表明增加 ℓ 并不能保证可解决性。
• 一种尊重边页面分配、相对顶点顺序和超区间分配的贪心算法，若存在可行解，能正确识别出这些解。