[論文レビュー] 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

ひとこと要約

本稿は、部分的ℓページスタックレイアウトを完全なものに拡張する問題のパrameterized複雑性を調査し、複数のパrameterを用いた洗練された分析を導入する。いくつかのパrameter化、特に頂点および辺の削除距離について、固定パrameter可解性（FPT）を確立するとともに、可解であり得る断片と困難な断片を特定し、スタックレイアウト拡張問題のための最初の包括的な複雑性地図を提供する。

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.

研究の動機と目的

• 部分的ℓページスタックレイアウトを完全なものに拡張する計算複雑性を研究すること、これはスタックレイアウトを完全から計算する問題の自然な一般化である。
• パrameterized複雑性分析を用いて、スタックレイアウト拡張問題の可解な断片を同定すること。
• 頂点および辺の削除距離、ページ幅、追加される頂点・辺の数といった異なるパrameter化が、問題の可解性に与える影響を調査すること。
• スタックレイアウト拡張問題の詳細な複雑性理論的地図を提供することにより、固定パrameter可解、W[1]-hard、およびparaNP-hardのケースを区別すること。

提案手法

• 著者たちは、頂点削除距離（κ）、辺削除距離、ページ幅（ω）を含む複数のパrameter化において、スタックレイアウト拡張（SLE）問題を分析する。
• 新しい頂点の順序制約、辺のページ割り当て、スーパーアイテバル割り当てを尊重する貪欲法を導入し、交差のない性質を維持する。
• 方法論としては、すべての有効な辺のページ割り当て、新しい頂点の相対順序、スーパーアイテバル割り当ての組み合わせをブランチし、その後に貪欲な妥当性チェックを実施する。
• 主な技術的要素として、任意の交差のない解が、貪欲な順序と整合するものに変換可能であることを示す。これは、区間および順序の変更に基づく背理的議論を用いる。
• スタックレイアウトの構造的性質、たとえば同じページ上の辺に対する非交互条件を分析に活用する。
• 理論的結果は帰納的議論およびケース分析により証明され、制約に違反すると区間または順序割り当てにおいて矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのパrameter化においてスタックレイアウト拡張問題が固定パrameter可解（FPT）となるか？
• RQ2 欠落している頂点と辺の合計数をパrameterとした場合、スタックレイアウト拡張問題の複雑性はいかなるものか？
• RQ3 頂点および辺の削除距離に加えページ幅をパrameterにした場合、問題は依然として可解に保たれるか？
• RQ4 パrameterized複雑性において、スタックレイアウト拡張問題の複雑性は他の図形拡張問題と比べてどのように異なるか？
• RQ5 削除距離とページ数ℓの和をパrameterにした場合、固定パrameter可解性を達成することは可能か？

主な発見

• スタックレイアウト拡張問題は、欠落している辺の数をパrameterにした場合、頂点が欠落していない場合でも固定パrameter可解（FPT）である。
• スタックレイアウト拡張問題は、欠落している頂点数のみをパrameterにした場合、W[1]-hardである。これは、この設定において本質的な困難性を示している。
• 頂点および辺の削除距離（κ）を合併パrameterにした場合、問題は固定パrameter可解（FPT）となる。ℓがパrameterに含まれる場合でも同様である。
• ページ幅ωの部分的レイアウトをパrameterにした場合、問題はXP-可解であるが、必ずしも固定パrameter可解ではない。
• ページ数ℓのみをパrameterにした場合、問題はparaNP-hardである。これは、ℓを増加させても可解性が保証されないことを示している。
• 辺のページ割り当て、頂点の相対順序、スーパーアイテバル割り当てを尊重する貪欲法は、解が存在する場合に正しく妥当な解を特定する。