[論文レビュー] Spin Glass approach to the 2-Distance Minimal Dominating Set problem

Yusupjan Habibulla, Shao-Meng Qin|arXiv (Cornell University)|Oct 16, 2019

Complex Network Analysis Techniques被引用数 1

ひとこと要約

本論文は、ランダムグラフ上の2距離最小支配集合（MDS）問題に対してスピンガラス理論と信念伝播分散（BPD）を適用し、BPDが貪欲ヒューリスティクスを上回ることを示し、正則およびエローズ＝レニー（ER）ランダムネットワークにおいて有限逆温度でのエントロピー密度の相転移を明らかにした。また、信念伝播の収束問題は、臨界逆温度閾値を超えると発生する。

ABSTRACT

The L-distance minimal dominating set (MDS) problem is widely applied in various types of dominating set problems. Recently, we studied the regular dominating set problem using the cavity method and developed two algorithms (belief propagation decimation (BPD) algorithm and survey propagation decimation (SPD) algorithm) to obtain the solution of a given graph, which provide a very good estimation of the minimal dominating size. Now, we have developed spin glass theory to study the 2-distance MDS problem. First, We found that the Belief Propagation equation does not converge when the inverse temperature is greater than a certain threshold value on the regular random network and ER random network. Second, the entropy density of the Replica Symmetry population dynamics has the transition point at the finite inverse temperature on the regular random graph when the node degree is from 3 to 9, and on the ER random network when the node degree is from 4.2 to 10.4; there is no entropy transition point (or $\beta=\infty$) in the other circumstance. Third, the results of the belief propagation algorithm were the same as those of replica symmetry theory, and the results of the BPD algorithm were better than those of the greedy heuristic algorithm. \\ extbf{\large Keywords: }2-distance minimal dominating set, belief propagation, ER random graph, regular random graph, belief propagation decimation.

研究の動機と目的

• スピンガラス理論を2距離最小支配集合（MDS）問題へ拡張すること。
• 2距離MDS問題における信念伝播（BP）の収束行動を、ランダムネットワークの文脈で分析すること。
• 正則およびERランダムグラフにおける複数スピン対称性理論を用いたエントロピー密度の相転移を調査すること。
• 2距離MDS問題を解くために、信念伝播分散（BPD）の性能を貪欲ヒューリスティクスと比較すること。

提案手法

• 研究では、正則ランダムおよびエローズ＝レニー（ER）ランダムグラフにおける2距離MDS問題を、キャビティ法および複数スピン対称性理論を用いて分析した。
• 信念伝播（BP）方程式が導出され、特に高逆温度における収束性がテストされた。
• 複数スピン対称性の人口動的法を用いて、エントロピー密度を計算し、系内の相転移を検出する手段とした。
• 信念伝播分散（BPD）アルゴリズムを実装し、2距離MDS問題に対する近似解を得た。
• 複数スピン対称性理論からの理論的結果と、BPDからの数値的結果を比較し、一貫性を検証した。
• BPDの性能を、解の品質を評価するために貪欲ヒューリスティクスアルゴリズムとベンチマーク比較した。

実験結果

リサーチクエスチョン

• RQ1 正則およびERランダムネットワークにおける2距離MDS問題において、信念伝播が収束しなくなる逆温度はどの値か？
• RQ2 ノード次数が3から9の正則ランダムグラフにおいて、系のエントロピー密度に有限温度相転移が見られるか？
• RQ3 ノード次数が4.2から10.4のERランダムグラフにおいて、エントロピー密度に有限温度相転移が見られるか？
• RQ4 BPDアルゴリズムの解の品質は、貪欲ヒューリスティクスと比較してどの程度優れているか？
• RQ5 BPDの結果は、複数スピン対称性理論の予測とどの程度一致するか？

主な発見

• 信念伝播は、正則ランダムおよびERランダムネットワークの両方において、逆温度が臨界閾値を超えると収束しなくなる。
• ノード次数が3から9の正則ランダムグラフでは、エントロピー密度に有限温度相転移が観測された。
• ノード次数が4.2から10.4のERランダムグラフにおいても、エントロピー密度に有限温度相転移が検出された。
• 信念伝播アルゴリズムの結果は、複数スピン対称性理論が予測する結果と一致した。
• BPDアルゴリズムは、2距離MDS問題において、貪欲ヒューリスティクスアルゴリズムよりも優れた解を生成した。
• 相転移が発生しない場合、エントロピー転移点は無限大の逆温度（β = ∞）に対応する。