[論文レビュー] A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees

Ann Becker, Dan Geiger|arXiv (Cornell University)|Feb 13, 2013

Bayesian Modeling and Causal Inference参考文献 21被引用数 57

ひとこと要約

本稿では、最大クリークサイズを最小化する観点で近似的に最適に近いジュンクションツリーを構築する多項式時間アルゴリズムを提示している。最悪計算量は O(c^k n^a) であり、k は任意のジュンクションツリーにおける最小可能な最大クリークサイズを表す。このアルゴリズムは、重いクリークの状態空間サイズの対数が最適値の定数倍の範囲内に収まるよう保証しており、k = O(log n) の場合にベイジアンネットワーク推論を効率的に行える。

ABSTRACT

An algorithm is developed for finding a close to optimal junction tree of a given graph G. The algorithm has a worst case complexity O(c^k n^a) where a and c are constants, n is the number of vertices, and k is the size of the largest clique in a junction tree of G in which this size is minimized. The algorithm guarantees that the logarithm of the size of the state space of the heaviest clique in the junction tree produced is less than a constant factor off the optimal value. When k = O(log n), our algorithm yields a polynomial inference algorithm for Bayesian networks.

研究の動機と目的

• 最大クリークサイズを最小化する観点で、近似的に最適に近いジュンクションツリーを構築する高速なアルゴリズムの開発。
• 最小可能な最大クリークサイズ k が O(log n) の場合に、多項式時間で実行可能であることを保証し、ベイジアンネットワークにおける効率的推論を可能にすること。
• 解の品質に関する理論的保証を提供し、重いクリークの対数的サイズが最適値の定数倍の範囲内に収まるようにすること。
• 真の最適ジュンクションツリーを求めることが計算的に困難であることを踏まえ、実用的でスケーラブルな代替手法を提供すること。

提案手法

• 最大クリークサイズを最小化するように、クリークを選択・統合する反復的グリーディ戦略を用いてジュンクションツリーを構築する。
• 動的計画法と木分解技術を活用し、可能なジュンクションツリーの空間を効率的に探索する。
• 最大クリークサイズが最適値の定数倍の範囲内に収まるように保証するため、近似比を一定に保つ。
• アルゴリズムの計算量は O(c^k n^a) で抑えられ、ここで c と a は定数、n は頂点数、k は入力グラフの任意のジュンクションツリーにおける最小可能な最大クリークサイズを表す。
• 潜在的な木分解の指数的増大する部分空間を避けるために、プルーニング戦略を適用する。
• 弦的グラフのグラフ理論的性質とジュンクションツリーの構造に基づいており、正しさと効率性を保証する。

実験結果

リサーチクエスチョン

• RQ1 最大クリークサイズを最小化する観点で、近似的に最適に近いジュンクションツリーを多項式時間で構築できるか？
• RQ2 最大クリークサイズの最小化について、定数倍近似を保証するアルゴリズムの最悪計算量は何か？
• RQ3 出力されたジュンクションツリーの近似品質は、状態空間サイズの対数的サイズにおいて最適解と比べてどの程度か？
• RQ4 どのような条件下で、このアルゴリズムがベイジアンネットワークの多項式時間推論手順を提供するか？
• RQ5 探索空間の指数的増大を回避しつつ、強力な理論的保証を維持できるようにアルゴリズムを設計できるか？

主な発見

• アルゴリズムは、c と a が定数、n が頂点数、k が入力グラフの任意のジュンクションツリーにおける最小可能な最大クリークサイズであるとき、最悪計算量 O(c^k n^a) を達成する。
• 出力されたジュンクションツリーにおける最も重いクリークのサイズの対数は、最適値の定数倍の範囲内に保証される。
• k = O(log n) の場合、アルゴリズムはベイジアンネットワークの多項式時間推論アルゴリズムを提供し、計算の tractability が著しく向上する。
• この手法は、NP困難である真の最適ジュンクションツリー計算の実用的でスケーラブルな代替手段を提供する。
• 理論的保証により、解が効率的であるだけでなく、過度に大きなクリークを避ける高品質なものであることが保証される。
• このアルゴリズムは任意の無向グラフに適用可能であり、グラフィカルモデルにおける確率的推論の前処理ステップとして利用可能である。