[論文レビュー] Bandwidth Parameterized by Cluster Vertex Deletion Number

Tatsuya Gima, Eun Jung Kim+3 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、クラスターバーテックス・デリーション番号とクリーク数の和でパrameterizedした場合、帯域幅問題が固定パrameter可 tractable (FPT) であることを確立している一方で、クラスターバーテックス・デリーション番号のみでパrameterizedした場合、W[1]-hard であることが示されている。著者らは、クリークの構造的性質と頂点順序の性質を活用して、ユニタリーバイニング問題への還元により、パラメータ化された複雑さの境界を確立している。

ABSTRACT

Given a graph G and an integer b, Bandwidth asks whether there exists a bijection π from V(G) to {1, …, |V(G)|} such that max_{{u, v} ∈ E(G)} | π(u) - π(v) | ≤ b. This is a classical NP-complete problem, known to remain NP-complete even on very restricted classes of graphs, such as trees of maximum degree 3 and caterpillars of hair length 3. In the realm of parameterized complexity, these results imply that the problem remains NP-hard on graphs of bounded pathwidth, while it is additionally known to be W[1]-hard when parameterized by the treedepth of the input graph. In contrast, the problem does become FPT when parameterized by the vertex cover number of the input graph. In this paper, we make progress towards the parameterized (in)tractability of Bandwidth. We first show that it is FPT when parameterized by the cluster vertex deletion number cvd plus the clique number ω of the input graph, thus generalizing the previously mentioned result for vertex cover. On the other hand, we show that Bandwidth is W[1]-hard when parameterized only by cvd. Our results generalize some of the previous results and narrow some of the complexity gaps.

研究の動機と目的

• クラスターバーテックス・デリーション番号に関して帯域幅問題のパラメータ化された複雑さを調査すること。
• クラスターバーテックス・デリーション番号とクリーク数を組み合わせた場合、問題が tractable になるかどうかを特定すること。
• 頂点カバーと木深さといった既知のパラメータと比較することで、 tractable と intractable なパラメータ化の間の複雑さのギャップを明確にすること。
• 頂点カバー番号に関する先行のFPT結果を、より一般的なパラメータであるクラスターバーテックス・デリーション番号に拡張すること。
• 帯域幅問題の構造的パラメータ化の限界を、特にクリーク構造と頂点順序制約との関係において探求すること。

提案手法

• 制御された頂点順序制約を持つ帯域幅インスタンスを構築するために、ユニタリーバイニング問題からの還元。
• アイテムクリーク、補助頂点、および帯域幅の上限に基づくストレッチ制約を強制するエッジを含むグラフの構築。
• アイテムクリークの頂点をクラスターバーテックスが定義する区間ごとに、集合SとS'で分割する。これにより、一貫した順序付けが保証される。
• 帰納的証明により、集合SiとS′iが与えられた区間内のアイテムクリークの頂点を正確に表していることを示し、これにより有効なバインディング分割と関連付ける。
• G−Sが互いに素なクリークの直和であるようにクラスターバーテックス・デリーション集合Sを定義し、|S| = O(k) とすることでパラメータを有界にする。
• 帯域幅がb未満であることは、対応するユニタリーバイニングインスタンスがYESインスタンスであることと同値であることを証明し、FPT結果を確立する。

実験結果

リサーチクエスチョン

• RQ1 クラスターバーテックス・デリーション番号とクリーク数の和でパラメータ化した場合、帯域幅問題はFPTか？
• RQ2 クラスターバーテックス・デリーション番号のみでパラメータ化した場合、問題はW[1]-hardのままか？
• RQ3 頂点カバー番号に関するFPT結果を、より一般的なクラスターバーテックス・デリーション番号パラメータに一般化できるか？
• RQ4 構造的グラフパラメータに関して、帯域幅問題の tractable と intractable なパラメータ化の正確な境界は何か？
• RQ5 クラスターバーテックス・デリーション番号または木深さでパラメータ化した場合、帯域幅問題はXPに属するか？

主な発見

• クラスターバーテックス・デリーション番号とクリーク数の和でパrameterizedした場合、帯域幅問題はFPTであり、頂点カバー番号に関するFPT結果を顕著に一般化している。
• クラスターバーテックス・デリーション番号のみでパラメータ化した場合、問題はW[1]-hardであるため、tractability のためにクリーク数の追加が不可欠であることが示された。
• 構築されたグラフのクラスターバーテックス・デリーション番号はO(k)であり、kはユニタリーバイニングインスタンスのバイン数であるため、パラメータ化された有界性が保証される。
• ユニタリーバイニング問題から帯域幅問題への還元は、解の構造を保持する：有効なバイン分割は、正確に有効な帯域幅順序に対応する。
• 証明により、頂点集合SiとS′iが、バイン割り当てに正確に対応するように、左側および右側のアイテムクリーク頂点を分割していることが保証され、還元の正しさが裏付けられる。
• 著者らは、頂点カバー、クラスターバーテックス・デリーション、木深さといったパラメータ間の複雑さのギャップを狭め、どこで tractability が終わり、intractability が始まるかを明確にした。