arXiv論文メモ
新着一覧
math.CO / cs.DM · 査読状況未確認

誘導部分グラフの詰め込みとグラフ幅の関係

Induced packing treewidth II. Excluding a clique or a biclique

Amir Nikabadi and Paweł Rzążewski

この論文をやさしく読む

ひとことで言うと

グラフを木状に分解したときの複雑さを、互いにつながっていない小さな形がどれだけ入るかで測る研究です。禁止する形の条件によって、別の複雑さの尺度も抑えられることを示しています。

何に役立つ?

グラフのクラスを整理し、異なる幅の概念の関係を理解する基礎になります。χ有界性は、クリークの大きさによって彩色数を抑えられるという構造的な理解に関わります。

この研究の面白いところ

一つの頂点や一本の辺で知られていた尺度を、道や星へ広げています。また二つの幅が一般には比較不能でも、特定の障害を除くと一方から他方の有界性が導けると報告しています。

どこまで分かった?

いずれも指定された禁止グラフや固定されたHなどの条件の下での数学的結果です。要旨は証明を報告していますが、ここでは証明本文を検証したり、具体的な計算速度の改善を確認したりしていません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

誘導パッキング木幅という概念は、禁止する誘導部分グラフや誘導マイナーによって定められるグラフのクラスと、特定の構造を持つ木分解が存在することによって定められるクラスを統一することを目指す。グラフHに対する誘導Hパッキング木幅はtreepi_Hと表される木分解に基づくグラフパラメータであり、各バッグについて、そのバッグと交わるHの誘導コピーのうち、コピー間に互いに辺がないものの最大個数を測る。この概念は既存のいくつかのパラメータを一般化している。H=P₁の場合は木独立数と同値であり、H=P₂の場合は誘導マッチング木幅と同値である。本研究では次の結果を証明する。 すべての自然数a、tについて、誘導P_tパッキング木幅が有界なK_{a,a}フリーグラフは、木独立数も有界である。これは、t=2に対するAbrishamiら[SIAM J. Discrete Math., 2025]の従来の結果と、(P_t, K_{a,a})フリーグラフの木独立数が有界であることを示したHajebiとSpirklの結果を拡張する。 Hが任意の固定された道または星である場合、誘導Hパッキング木幅が有界なグラフのクラスはχ有界である。これも、H=P₂に対するAbrishamiら[SIAM J. Discrete Math., 2025]の従来の結果を拡張する。 最後に、誘導パッキング木幅と、枝分解に基づく幅パラメータであるsim-widthとの関係を調べる。sim-widthと誘導P₃パッキング木幅は比較不能であるものの、sim-widthが有界で、すべてのH障害、すなわち大きな誘導Hパッキング木幅を強いる特定のグラフを除外するグラフは、誘導Hパッキング木幅も有界であることを示す。これはAbrishamiら[SIAM J. Discrete Math., 2025]とBrettellら[European J. Comb., 2025]が提起した問題を、同時に一般化し解決する。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-18(UTC)
最新改訂
2026-09-18 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

The notion of induced packing treewidth aims to unify classes defined by forbidden induced subgraphs or induced minors with classes defined by the existence of certain structured tree decompositions. For a graph $H$, \emph{induced $H$-packing treewidth}, denoted by $\treepi_{H}$, is a tree-decomposition-based graph parameter that, for each bag, measures the maximum number of pairwise anticomplete induced copies of $H$ intersecting that bag. This notion generalizes some previously studied parameters: when $H=P_1$, it is equivalent to tree-independence number, and when $H=P_2$, it is equivalent to induced matching treewidth. We prove the following: \begin{itemize}[itemsep=2mm,leftmargin=6mm] \item For all $a,t\in \mathbb{N}$, $K_{a,a}$-free graphs of bounded induced $P_t$-packing treewidth have bounded tree-independence number. This extends the previous result of Abrishami et al. [SIAM J. Discrete Math., 2025] for $t=2$, and a result of Hajebi and Spirkl who showed that $(P_t,K_{a,a})$-free graphs have bounded tree-independence number. \item If $H$ is any fixed path or a star, then the class of graphs of bounded induced $H$-packing treewidth is $\chi$-bounded. Again, this extends the previous result of Abrishami et al. [SIAM J. Discrete Math., 2025] for $H=P_2$. \item Finally, we study the relationship between induced packing treewidth and \emph{sim-width}, a width parameter based on branch decompositions. We show that, although \emph{sim-width} and induced $P_3$-packing treewidth are incomparable, graphs of bounded sim-width that exclude all \emph{$H$-obstructions}---certain graphs that force large induced $H$-packing treewidth---have bounded induced $H$-packing treewidth. This simultaneously generalizes and resolves questions posed by Abrishami et al. [SIAM J. Discrete Math., 2025] and Brettell et al. [European J. Comb., 2025]. \end{itemize}

arXiv ID: 2609.21615 / 要約の誤りについて