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

ひとこと要約

本稿では、汎用探索（GS）における最後に挿入される木の認識問題のNP完全性を確立し、与えられたスパニングツリーがGS走査によって生成可能かどうかを判定することは計算的に困難であることを示している。さらに、部分順序のハッセ図が有界高さの木である場合でさえ、インターメッゾ問題のNP完全性を証明し、部分順序の幅をパrameterとするXPアルゴリズムを提示している。これは、指数時間仮説（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.

研究の動機と目的

• 汎用探索における最後に挿入される木の認識問題の計算複雑性を特定すること。
• 特にハッセ図の高さが有界であるという構造的制約の下で、インターメッゾ問題を調査すること。
• 部分順序の幅をパrameterとするインターメッゾ問題のパラメータ付き複雑性を調査すること。
• 標準的な複雑性仮定のもとで、最後に挿入される木問題およびインターメッゾ問題のタイトな複雑性バウンズを確立すること。

提案手法

• マルチカラークライQUE（MCP）問題からインターメッゾ問題への還元を行い、高さが有界な木構造のハッセ図を持つ部分順序を構築する。
• マルチカラークライQUEにおける頂点間の隣接制約をエンコードするための特別なトリプルを設計する。
• 正しい順序付けとクライQUEへの属性を保証するための頂点およびエッジのシミュレーション要素（例：c要素、u要素、s要素）の構築。
• 帰納的性質を用いて、中間要素がc要素に対して正しく配置され、中間性制約に従うことを保証する。
• 4つの主要な性質を用いた正しさの証明：c要素の順序付け、u要素がc要素に対してどの位置に配置されるか、u要素の配置がエッジの存在に依存すること、およびマルチカラークライQUE構造と一貫していること。
• 部分順序の幅をパrameterとするインターメッゾ問題のXPアルゴリズムの確立と、指数時間仮説（ETH）のもとでの最適性の証明。

実験結果

リサーチクエスチョン

• RQ1 汎用探索における最後に挿入される木の認識問題はNP完全か？
• RQ2 部分順序のハッセ図が高さが有界な木である場合でも、インターメッゾ問題はNP完全のままか？
• RQ3 部分順序の幅をパrameterとした場合、インターメッゾ問題はXP時間で解けるか？
• RQ4 指数時間仮説（ETH）のもとで、インターメッゾ問題のXPアルゴリズムは漸近的に最適か？
• RQ5 例えばラティスや区間順序、または木高が小さいグラフの場合、インターメッゾ問題の tractable な部分クラスは存在するか？

主な発見

• 汎用探索（GS）における最後に挿入される木の認識問題は、NP完全である。これは、GSにおいて終端頂点問題が多項式時間で解けるにもかかわらず、成立する。
• 部分順序のハッセ図が高さが有界な木（具体的には高さ36）である場合でさえ、インターメッゾ問題はNP完全のままである。
• 部分順序の幅をパrameterとするインターメッゾ問題のXPアルゴリズムが存在し、実行時間は f(幅) · n^O(幅) である。
• 指数時間仮説（ETH）のもとでは、任意の計算可能関数 f に対して、f(k) · n^o(k) 時間でインターメッゾ問題を解くアルゴリズムは存在しない。これにより、XPアルゴリズムが漸近的に最適であることが証明された。
• GSにおける最後に挿入される木の認識問題は、スパニングツリーの葉の数をパrameterとしたとき、W[1]-hardである。
• マルチカラークライQUEからインターメッゾ問題への還元により、クライQUE検出と制約付き全順序付けの間にタイトな関係が確立された。