疎なグラフで特定の誘導部分グラフを避ける判定法
An Arboricity-Sensitive Algorithm for the $K_r-e$-Free Graph Sandwich Problem
この論文をやさしく読む
ひとことで言うと
二つのグラフの間に特定の形を含まないグラフがあるかを、疎さを利用して速く判定する方法を示した。
何に役立つ？
グラフ認識やサンドイッチ問題の計算法を設計する理論的な助けになる。具体的なアプリケーションでの実測速度は要旨にない。
この研究の面白いところ
計算量を頂点数だけでなくグラフの林数で表し、影響を受けるクリークの再探索を避ける実装を与えた。
どこまで分かった？
rは4以上の固定整数で、示された計算量はこの設定に基づく理論的境界である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
4以上の固定整数rについて、K_rから辺を一つ除いた図形を持たないグラフのサンドイッチ問題は、同じ頂点集合上のG₁⊆G₂が与えられたとき、その間に、誘導されたK_r−eを持たないグラフHが存在するかを問う。著者らは、時間と空間がO(n+α(G₂)^(r−3)m₂)の決定的アルゴリズムを示す。m₂はG₂の辺数、α(G₂)は林数である。特にダイヤモンドを持たない場合はO(n+α(G₂)m₂)となる。これは既知の強制辺閉包を直接実装した場合のO(n^r m₂)より改善される。実装では、(r−3)頂点のクリークを添字とした共通近傍の連結成分を保持する。フィルター付きの探索境界により、クリーク列挙の計算量内で成分を結合し、完了イベントによって影響を受けるクリークを繰り返し探すことを避ける。実行可能な例では、得られる出力は処理順序によらず、あらゆる実行可能なサンドイッチに含まれる。閉包を(G,K_n)へ適用すると、分割型と非分割型のprobe K_r−e-freeグラフの認識はO(n^(r−1))時間となり、直接の閉包から得られていたO(n^(r+2))を改善する。同じ局所的な特徴づけに基づく、直接的で静的な認識法も記述する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For a fixed integer $r\geq4$, the $K_r-e$-free graph sandwich problem asks whether, given graphs $G_1\subseteq G_2$ on the same vertex set, there is an induced-$K_r-e$-free graph $H$ between them. We give a deterministic algorithm taking $O(n+\alpha(G_2)^{r-3}m_2)$ time and space, where $m_2=|E(G_2)|$ and $\alpha(G_2)$ is the arboricity of $G_2$. In particular, the diamond-free case takes $O(n+\alpha(G_2)m_2)$ time. This improves the direct $O(n^r m_2)$ implementation of the previously known forced-edge closure. Our implementation maintains components of common neighborhoods indexed by $(r-3)$-cliques. A filtered frontier supports their merges within the clique-listing bound, while completion events avoid repeatedly searching for affected cliques. On feasible instances the output is contained in every feasible sandwich, independently of processing order. Applying the closure to $(G,K_n)$ gives an $O(n^{r-1})$-time bound for partitioned and nonpartitioned probe $K_r-e$-free recognition, improving the $O(n^{r+2})$ bound obtained from the direct sandwich closure. We also describe a direct static recognizer based on the same local characterization.
著者のコメント
9 pages
arXiv ID: 2609.23458 ／ 要約の誤りについて