[論文レビュー] Max Weight Independent Set in Sparse Graphs with No Long Claws

Tara Abrishami, Maria Chudnovsky+2 more|arXiv (Cornell University)|Sep 29, 2023

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿では、固定された森 H ∈ S（パスおよび分割クラウドを含む）と固定された双部グラフ（biclique）を部分グラフとして含まないスパースグラフにおける最大重み独立集合（MWIS）問題の多項式時間アルゴリズムを提示する。この手法は、拡張されたストリップ分解、構造化された分解における粒子に対する動的計画法、および制限された端末集合を用いた再帰的呼び出しを組み合わせており、スパarsityと構造的制約を活用して指数的爆発を回避することで、多項式時間の実行が達成される。

ABSTRACT

We revisit the recent polynomial-time algorithm for the MAX WEIGHT INDEPENDENT SET (MWIS) problem in bounded-degree graphs that do not contain a fixed graph whose every component is a subdivided claw as an induced subgraph [Abrishami, Dibek, Chudnovsky, Rzążewski, SODA 2022]. First, we show that with an arguably simpler approach we can obtain a faster algorithm with running time $n^{\mathcal{O}(Δ^2)}$, where $n$ is the number of vertices of the instance and $Δ$ is the maximum degree. Then we combine our technique with known results concerning tree decompositions and provide a polynomial-time algorithm for MWIS in graphs excluding a fixed graph whose every component is a subdivided claw as an induced subgraph, and a fixed biclique as a subgraph.

研究の動機と目的

• H がパスおよび分割クラウドの重要な族 S に属する場合、H-フリーなグラフにおける最大重み独立集合（MWIS）問題の計算量を解明すること。
• P_t-フリーなグラフに関する先行結果を拡張し、次数が有界で長大なクラウドを含まないような、より複雑な H-フリー族を扱うこと。
• 次数が有界で長大な誘導クラウドや双部グラフを含まないようなスパースグラフに対して、効率的な動的計画法フレームワークを構築すること。
• H が族 S に属する森であり、かつ Kr,r-フリーであるという組み合わせ仮定のもとで、多項式時間アルゴリズムを確立し、計算量の地図における大きな空白を埋めること。

提案手法

• グラフのコア分解に基づき、再帰的に管理可能な部分構造にグラフを分解する拡張されたストリップ分解を用いる。
• 分解の各粒子に対して動的計画法を適用し、各粒子が有界な次数と限定された頂点使用量を持つ部分グラフに対応すること。
• 端末集合が制御された部分グラフ（最大 32k^5ℓ 個）に対して再帰的呼び出しを実行し、対数的再帰深さと多項式時間の合計作業量を保証すること。
• 接続されたコンポーネントと端末集合からの解を統合するための境界 MWIS サブルーチンを実装し、重みの調整により隣接領域の重複を補償すること。
• 構造的補題に依存して、分解グラフ H の次数と、再帰呼び出しの各頂点が通る回数を上限付け、合計サイズが多項式であることを保証すること。
• Kr-フリーおよび Kr,r-フリーの仮定を用いて、分解の複雑さを制御し、再帰的部分問題における指数的爆発を防ぐこと。

実験結果

リサーチクエスチョン

• RQ1 固定された森 H ∈ S（パスおよび分割クラウドを含む）と固定された双部グラフを部分グラフとして含まないグラフにおいて、最大重み独立集合問題を多項式時間で解くことは可能か？
• RQ2 H が、各成分に高々1つの次数3頂点を持つ部分立方体森に属する場合、H-フリーなグラフにどのような構造的性質が多項式時間アルゴリズムの実現を可能にするか？
• RQ3 拡張されたストリップ分解と動的計画法をどのように組み合わせることで、次数が有界で長大な誘導クラウドを含まないスパース H-フリーなグラフにおける MWIS を効率的に解けるか？
• RQ4 Kr-フリーおよび Kr,r-フリーの仮定は、MWIS アルゴリズムにおける再帰的部分問題の複雑さをどの程度まで制御できるか？
• RQ5 追加の構造的制約を組み込むことで、P_t-フリーなグラフに対する多項式時間アルゴリズムを、より広い H-フリーなグラフクラスへ一般化することは可能か？

主な発見

• 本稿では、固定された森 H ∈ S と固定された双部グラフ Kr,r に対して H-フリーかつ Kr,r-フリーであるグラフにおける MWIS 問題に対して、多項式時間アルゴリズムを提示し、この分野における長年の未解決問題を解決する。
• パラメータ t および k（H の構造および双部グラフのサイズから導出される）に対して、アルゴリズムの実行時間は n^O(log t + k) である。ここで k は t および r に依存する定数である。
• 再帰的構造により、非端末頂点は高々 2k · 4t 回の再帰呼び出しで処理され、再帰深さは O(log n) で上限付けられる。これにより、合計再帰木サイズは n^O(log t + k) となる。
• 再帰的部分問題における端末数を最大 32k^5ℓ に制限することで、指数的爆発を回避し、合計作業量を多項式に保証する。
• Kr-フリー仮定により、分解グラフ H の次数が制限され、Kr,r-フリー仮定により、各頂点が使用される粒子の数が制御される。
• 誘導部分グラフとしての長大なクラウドや複雑な部分構造が存在しても、それらが除外されていれば、構造的分解と動的計画法の組み合わせにより、解が頑健に保たれる。