[論文レビュー] Maximizing the Weighted Number of Spanning Trees: Near-$t$-Optimal Graphs

Kasra Khosoussi, Gaurav S. Sukhatme+2 more|arXiv (Cornell University)|Apr 5, 2016

Reliability and Maintenance Optimization参考文献 26被引用数 4

ひとこと要約

本稿では、重み付き全域木の数の対数準効用性を活用することで、さまざまな制約下で性能保証と近最適性の証明を備えた効率的な近似アルゴリズムを可能にする、近t最適グラフ設計の新規フレームワークを提案する。このアプローチは、貪欲選択と凸緩和を組み合わせることで、理論的境界を伴う高い連結性を実現する。

ABSTRACT

Designing well-connected graphs is a fundamental problem that frequently arises in various contexts across science and engineering. The weighted number of spanning trees, as a connectivity measure, emerges in numerous problems and plays a key role in, e.g., network reliability under random edge failure, estimation over networks and D-optimal experimental designs. This paper tackles the open problem of designing graphs with the maximum weighted number of spanning trees under various constraints. We reveal several new structures, such as the log-submodularity of the weighted number of spanning trees in connected graphs. We then exploit these structures and design a pair of efficient approximation algorithms with performance guarantees and near-optimality certificates. Our results can be readily applied to a wide verity of applications involving graph synthesis and graph sparsification scenarios.

研究の動機と目的

• エッジ制約および構造的制約下で、重み付き全域木の数を最大にするグラフを構築するという未解決問題に取り組む。
• 連結グラフにおける重み付き全域木の数が、単調な対数準効用関数であることを証明することで理論的基盤を確立する。
• グラフ合成およびスパarsificationのための、性能保証付きの効率的近似アルゴリズムを開発する。
• 双対性と凸緩和を用いて、任意のグラフ設計に対して近最適性の証明を提供する。

提案手法

• 連結グラフにおける重み付き全域木の数が、エッジ集合の単調な対数準効用関数であることを証明する。
• エッジ選択問題（ESP）を、基数制約およびマトロイド制約下での削減ラプラシアン行列の対数行列式の最大化問題として定式化する。
• 対数行列式におけるマージナル利得が最大となるエッジを反復的に追加する貪欲アルゴリズムを設計し、定数倍近似保証を達成する。
• エッジ選択確率を連続変数として用いた双対ESP問題の凸緩和を実装する。
• 貪欲選択の過程でラプラシアン行列に対するランク1更新を効率的に行うためのコレスキー更新を用いる。
• 整数解としての実行可能解に変換するための決定的および確率的ラウンディング手法を適用し、最適エッジ数の下界を用いた近最適性証明を実現する。

実験結果

リサーチクエスチョン

• RQ1 連結グラフにおける重み付き全域木の数は、対数準効用関数として特徴付けられるか？
• RQ2 基数制約およびマトロイド制約下で、重み付き全域木の数を最大化する問題に対して、どのような近似保証が達成可能か？
• RQ3 任意のグラフ設計に対して、近最適性証明をどのように構築できるか？
• RQ4 全域木最大化の文脈において、貪欲解と最適解の間の性能ギャップはどの程度か？
• RQ5 凸緩和およびラウンディング手法により、理論的境界を伴う近最適解が得られるか？

主な発見

• 連結グラフにおける重み付き全域木の数が、エッジ集合の単調な対数準効用関数であることが証明され、新たなアルゴリズム的手法の可能性が開かれる。
• 提案された貪欲アルゴリズムは、対数準効用性パラメータの逆数によって上限が与えられる定数倍近似保証を達成する。
• 双対ESP問題の凸緩和により、最適エッジ数の下界が得られ、近最適性証明が可能になる。
• 決定的ラウンディング手順により、選択されたエッジ数が最適解の既知の境界内に収束することが保証される。
• 凸緩和と貪欲解から導かれる最適エッジ数の下界により、性能ギャップのタイトな推定が可能になる。
• 本フレームワークは、任意の実行可能グラフ設計に対して、その最適性にどれほど近いかを定量化する事後的な近最適性証明を提供する。