[論文レビュー] Tree Decompositions Meet Induced Matchings: Beyond Max Weight Independent Set

Paloma T. Lima, Martin Milanič+4 more|arXiv (Cornell University)|Jan 1, 2024

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、最大重み独立集合の tractability をより広いクラスのグラフへ拡張するための新しいグラフパラメータとして、誘導マッチング幅を導入する。本稿は、有界な誘導マッチング幅をもつグラフにおいて、最小重みフィードバック頂点集合問題が多項式時間で解けることを示し、有界な誘導マッチング幅をもつグラフクラスにおいて、CMSO2式で定義される最大重み誘導部分グラフが効率的に計算可能であると予想する—これは、重要な部分クラスである有界な木独立数をもつグラフにおいて、真であると証明されている。

ABSTRACT

For a tree decomposition $\mathcal{T}$ of a graph $G$, by $μ(\mathcal{T})$ we denote the size of a largest induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. Induced matching treewidth of a graph $G$ is the minimum value of $μ(\mathcal{T})$ over all tree decompositions $\mathcal{T}$ of $G$. Yolov [SODA 2018] proved that Max Weight Independent Set can be solved in polynomial time for graphs of bounded induced matching treewidth. In this paper we explore what other problems are tractable in such classes of graphs. As our main result, we give a polynomial-time algorithm for Min Weight Feedback Vertex Set. We also provide some positive results concerning packing induced subgraphs, which in particular imply a PTAS for the problem of finding a largest induced subgraph of bounded treewidth. These results suggest that in graphs of bounded induced matching treewidth, one could find in polynomial time a maximum-weight induced subgraph of bounded treewidth satisfying a given CMSO$_2$ formula. We conjecture that such a result indeed holds and prove it for graphs of bounded tree-independence number, which form a rich and important family of subclasses of graphs of bounded induced matching treewidth. We complement these algorithmic results with a number of complexity and structural results concerning induced matching treewidth.

研究の動機と目的

• 有界な誘導マッチング幅をもつグラフにおいて、Max Weight Independent Set を超えるNP困難問題のアルゴリズム的 tractability を拡張すること。
• 有界な誘導マッチング幅をもつグラフにおいて、Min Weight Feedback Vertex Set が多項式時間で解けるかどうかを調査すること。
• このようなグラフクラスにおいて、有界な木幅をもつ誘導部分グラフで、CMSO2式を満たす最大重み部分グラフを効率的に計算できるかどうかを検討すること。
• 誘導マッチング幅の構造的および計算複雑性の境界を確立し、mim幅や木独立数などの他の幅パラメータとの関係を含めること。
• 有界な誘導マッチング幅をもつグラフが、完全二部グラフを除外する場合に、χ-有界であり、(tw, ω)-有界であると予想し、部分的に証明すること。

提案手法

• すべての木分解についての、各バッグが1本以上の辺を共有する最大の誘導マッチングのサイズの最小値として、誘導マッチング幅を定義する。
• 有界な誘導マッチング幅をもつグラフに特化した動的計画法のアプローチを開発し、有界な木幅アルゴリズムの技術を拡張する。
• 有界な木独立数（有界な誘導マッチング幅の重要な部分クラス）をもつグラフにおいて、CMSO2で定義可能な最大重み誘導部分グラフが多項式時間で計算可能であることを証明する。
• 木独立数とグラフ合成操作（例：G◦[H]、グラフの冪）を用いて、構造的性質とアルゴリズム的含意を分析する。
• 誘導マッチング幅と他の幅パラメータ（例：mim幅、sim幅）との関係を確立し、互いに比較不能であり、sim幅より厳密に弱いことを示す。
• NP困難性の結果を提供し、有界次数および完全二部グラフを含まないグラフにおけるその挙動の境界を示す。

実験結果

リサーチクエスチョン

• RQ1 有界な誘導マッチング幅をもつグラフにおいて、Min Weight Feedback Vertex Set は多項式時間で解けるか？
• RQ2 有界な誘導マッチング幅をもつグラフにおいて、与えられたCMSO2式を満たす最大重み誘導部分グラフは多項式時間で計算可能か？
• RQ3 完全二部グラフを除外する場合、有界な誘導マッチング幅は、(tw, ω)-有界性またはχ-有界性を示唆するか？
• RQ4 誘導マッチング幅は、mim幅、o-mim幅、およびsim幅などの他の幅パラメータとどのように関係するか？
• RQ5 小さい誘導マッチング幅をもつ木分解を効率的に計算できるか、それともこのパラメータは計算が難しいか？

主な発見

• 有界な誘導マッチング幅をもつグラフにおいて、Min Weight Feedback Vertex Set は多項式時間で解ける。
• 有界な木幅をもつ最大の誘導部分グラフを求めるためのPTASが提供され、小さな部分グラフの独立なパッキングにより実現される。
• 有界な木独立数をもつグラフにおいて、任意のCMSO2式を満たす最大重み誘導部分グラフは多項式時間で計算可能である。
• 誘導マッチング幅は、mim幅およびo-mim幅とは比較不能であり、sim幅より厳密に弱い。
• 特定の完全二部グラフを部分グラフとして含まない有界な誘導マッチング幅をもつグラフは、(tw, ω)-有界であることが示され、構造的に豊かであることが示唆される。
• グラフの誘導マッチング幅の計算はNP困難であり、特定の自然なグラフ族（例：一部のグラフの冪、完全二部グラフを多く含むグラフ）では無限大に達する可能性がある。