[論文レビュー] Space Complexity Dichotomies for Subgraph Finding Problems in the Streaming Model

Yu‐Shan Shih, Meng-Tsung Tsai+2 more|arXiv (Cornell University)|Feb 8, 2026

Complexity and Algorithms in Graphs被引用数 0

ひとこと要約

この論文は、挿入のみストリーミングにおける4つの部分グラフ発見バリアントについて、Turán型の極値界と通信複雑性の還元に基づく完全な空間使用の二分法を確立する。

ABSTRACT

We study the space complexity of four variants of the standard subgraph finding problem in the streaming model. Specifically, given an $n$-vertex input graph and a fixed-size pattern graph, we consider two settings: undirected simple graphs, denoted by $G$ and $H$, and oriented graphs, denoted by $\vec{G}$ and $\vec{H}$. Depending on the setting, the task is to decide whether $G$ contains $H$ as a subgraph or as an induced subgraph, or whether $\vec{G}$ contains $\vec{H}$ as a subgraph or as an induced subgraph. Let Sub$(H)$, IndSub$(H)$, Sub$(\vec{H})$, and IndSub$(\vec{H})$ denote these four variants, respectively. An oriented graph is well-oriented if it admits a bipartition in which every arc is oriented from one part to the other, and a vertex is non-well-oriented if both its in-degree and out-degree are non-zero. For each variant, we obtain a complete dichotomy theorem, briefly summarized as follows. (1) Sub$(H)$ can be solved by an $ ilde{O}(1)$-pass $n^{2-Ω(1)}$-space algorithm if and only if $H$ is bipartite. (2) IndSub$(H)$ can be solved by an $ ilde{O}(1)$-pass $n^{2-Ω(1)}$-space algorithm if and only if $H \in \{P_3, P_4, co\mbox{-}P_3\}$. (3) Sub$(\vec{H})$ can be solved by a single-pass $n^{2-Ω(1)}$-space algorithm if and only if every connected component of $\vec H$ is either a well-oriented bipartite graph or a tree containing at most one non-well-oriented vertex. (4) IndSub$(\vec{H})$ can be solved by an $ ilde{O}(1)$-pass $n^{2-Ω(1)}$-space algorithm if and only if the underlying undirected simple graph $H$ is a $co\mbox{-}P_3$.

研究の動機と目的

• ストリーミング設定で固定パターン部分グラフ発見の空間複雑性を研究する動機づけ。
• 4つの問題バリアント：Sub(H)，IndSub(H)，Sub(vec{H})，IndSub(vec{H})の空間およびパス数の正確なトレードオフを特徴づける。
• 極値グラフ理論（Turán数）と通信複雑性をストリーミングの下界へ接続し、構成的な上界を提供する。
• 二部性、良好に向けられた性質、森林、NWOC/C3といった構造的グラフ特性が解法可能な領域を決定する。

提案手法

• 多重分離性問題や集合的不等分離性などの通信問題からの還元を通じて下界を導出する。
• ex(n,H) のTurán型境界を用いて空間の下界を確立し、ex(n,H) が超対数的でない場合の空間を確認する。
• 特定のグラフクラスにおいて ex(n,H) 程度の空間、あるいはそれより良い空間での多回走行または単回走行ストリーミングアルゴリズムを設計して上界を開く。
• 小さな森を保存する証明書のようなスパースな証明書を導入し、森のようなパターンでほぼ線形の空間を達成する。
• カラーコーディングとバッチ処理技法を用いて、選択的な誘導/無向ケースで超次元未満の空間を達成する。
• 問題バリアント、パターン構造、達成可能な空間を結ぶ完全な二分法表を提供する。

実験結果

リサーチクエスチョン

• RQ1 挿入のみストリーミングにおける n 頂点グラフ G で固定パターン H を見つける際の正確な空間複雑性のトレードオフは何か。
• RQ2 Sub(H) はサブ二乗超過 (n^{2-Ω(1)}) の空間を持つか、ほぼ二乗に近い空間を要するか、そして H の二部性はこれにどう影響するか。
• RQ3 IndSub(H) および IndSub(vec{H}) について、パターングラフ H がサブ線形空間 (tilde{O}(n)) やほぼ線形空間を tilde{O}(1) 回のパスで実現できるか。
• RQ4 有向設定では、良好に向けられた (WO) と非良好に向けられた (NWO) コンポーネントが Sub(vec{H}) および IndSub(vec{H}) の空間とパス要件にどう影響するか。
• RQ5 森林、NWOC、直径、Δ' などの構造的グラフ特性は、4つのバリアント全体で効率的なストリーミングアルゴリズムをもたらすのか。

主な発見

• Sub(H) は H が二部的である場合 tilde{O}(1) パス、n^{2-Ω(1)}-空間を要し、非二部的 H の場合 tilde{Ω}(n^{2}/p) の下界。
• IndSub(H) はほとんどの H に対して tilde{O}(1) パス、n^{2-Ω(1)}-空間を許すが、例外として {P3, P4, co-P3} が tilde{O}(n) 空間を許す。
• Sub(vec{H}) は全ての成分が WO か、または最大1つの NWO 領域を持つ木でない限り単一パスで tilde{Ω}(n^{2}) の下界を持つ；森林の場合は tilde{O}(n) 空間になる。
• IndSub(vec{H}) は難しく tilde{Ω}(n^{2}) 空間だが、例外の co-P3 ケースでは p = tilde{O}(1) の場合 tilde{O}(n) 空間を許す。
• 本論文は、小さな森林保持証明書を導入し、森林のような H に対して単一パス設定で tilde{O}(n) 空間を可能にする。
• 結果は4つのバリアントと有向/無向グラフにわたる空間とパスの完全な二分法を提供する。