木幅が小さいグラフで影響最大化の貪欲法を厳密に計算
Exact Greedy Influence Maximization in Linear Time on Bounded-Treewidth Graphs
この論文をやさしく読む
ひとことで言うと
木幅の小さいグラフで、影響拡大を選ぶ貪欲法の各候補の効果を、近似サンプルなしに厳密計算します。
何に役立つ？
独立カスケードモデルで種となるノードを選ぶ際、モンテカルロの誤差を避ける計算方法として役立ちます。
この研究の面白いところ
人工的な出発辺の確率に関する微分が追加ノードの利得になる性質を使い、逆向き微分で全候補を一度に評価します。固定木幅と種数ならグラフサイズに線形です。
どこまで分かった？
厳密なのは古典的な貪欲法の実装であり、大域的な最適種集合ではありません。計算量には木幅wに対して2のO(w²)乗の因子があり、任意の大規模グラフで線形になるわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
独立カスケード（IC）モデルにおける影響の広がりの計算は#P困難であり、影響最大化には一般にモンテカルロ法や逆到達可能集合のサンプリングが用いられる。本研究では、木幅が有界なグラフ上のIC拡散を扱う。分離集合上の到達可能性関係の確率分布を用いることで、ノード数n、木幅wのグラフに対し、O(n 2^{O(w²)} poly(w))時間で影響を厳密に評価する。 主な貢献は、すべての限界利得を厳密に求めるアルゴリズムである。確率を変数とする人工的な始点辺を導入し、シード集合が確定している場合、各始点辺の確率に関する微分が、対応する貪欲法の限界利得と等しくなることを示す。そのため逆モード微分により、一回の厳密な影響評価と同じ漸近計算量で全限界利得を同時に計算できる。これによって古典的な貪欲影響最大化をO(Kn 2^{O(w²)} poly(w))時間で厳密に実装でき、wとシード数の予算Kを固定すれば、グラフの大きさに対して線形時間となる。 さらに、厳密かつ文脈に依存せず、合成可能な分離集合の要約という範囲では、分離関係表現の状態数の計算量が2^{Θ(w²)}という厳密な上下界を持つことを示す。これは、大域的に最適なIC影響最大化が、木幅1かつパス幅2のグラフですらNP困難であることと対照的である。木幅が有界な合成ネットワークでの実験は、幅を固定した場合の線形スケーリングと整合し、実行時間が伝播確率やシード活性化確率にほぼ影響されないことを示した。計算が難しい拡散条件では、提案法は貪欲法の限界利得を厳密に求めながら、逆到達可能集合を使う基準手法や最適化されたモンテカルロ貪欲法を大きく上回る。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Computing influence spread under the Independent Cascade (IC) model is #P-hard, and influence maximization is commonly approached using Monte Carlo or reverse-reachable-set sampling. We study IC diffusion on bounded-treewidth graphs. Using probability distributions over separator reachability relations, we obtain exact influence evaluation in $O(n2^{O(w^2)}\operatorname{poly}(w))$ time for a graph with $n$ nodes and treewidth $w$. Our main contribution is an exact all-marginal-gains algorithm. We introduce variable artificial source edges and show that, at a deterministic seed set, the derivative with respect to each source-edge probability equals the corresponding greedy marginal gain. Reverse-mode differentiation therefore computes all marginal gains simultaneously with the same asymptotic complexity as one exact influence evaluation. This yields an exact implementation of classical greedy influence maximization in $O(Kn2^{O(w^2)}\operatorname{poly}(w))$ time, linear in graph size for fixed $w$ and seed budget $K$. We also show that the separator-relation representation has tight $2^{\Theta(w^2)}$ state complexity within exact context-independent compositional separator summaries. This contrasts with the NP-hardness of globally optimal IC influence maximization already on graphs of treewidth one and pathwidth two. Experiments on synthetic bounded-treewidth networks are consistent with linear scaling for fixed width and show that runtime is largely insensitive to propagation and seed-activation probabilities. In demanding diffusion regimes, the method substantially outperforms reverse-reachable-set and optimized Monte Carlo greedy baselines while computing greedy marginal gains exactly.
著者のコメント
22 pages, 2 figures, 2 tables
arXiv ID: 2609.19960 ／ 要約の誤りについて