[論文レビュー] A linear approximate-size random sampler for labelled planar graphs

Éric Fusy|arXiv (Cornell University)|May 9, 2007

Stochastic processes and statistical mechanics参考文献 23被引用数 2

ひとこと要約

本稿では、Boltzmannサンプリング、Fusy, Poulalhon, Schaefferによる新しい組合せ的双対写像、およびGiménezとNoyによる正確な解析的生成関数を活用して、ラベル付き平面グラフの近似サイズ一様ランダムサンプリングのための非常に効率的な線形時間アルゴリズムを提示する。この手法は、近似サンプリングでは期待線形時間計算量を達成し、正確なサイズサンプリングでは二次時間計算量を達成する—これにより、従来のO(n^7)の計算量よりも顕著な改善がなされた。

ABSTRACT

This article introduces a new algorithm for the random generation of labelled planar graphs. Its principles rely on Boltzmann samplers, as recently developed by Duchon, Flajolet, Louchard, and Schaeffer. It combines the Boltzmann framework, a suitable use of rejection, a new combinatorial bijection found by Fusy, Poulalhon and Schaeffer, as well as a precise analytic description of the generating functions counting planar graphs, which was recently obtained by Giménez and Noy. This gives rise to an extremely efficient algorithm for the random generation of planar graphs. There is a preprocessing step of some fixed small cost. Then, the expected time complexity of generation is quadratic for exact-size uniform sampling and linear for approximate-size sampling. This greatly improves on the best previously known time complexity for exact-size uniform sampling of planar graphs with n vertices, which was a little over O(n 7).

研究の動機と目的

• 制御されたサイズを有するラベル付き平面グラフのランダム生成のためのより効率的なアルゴリズムの開発。
• 正確なサイズ一様サンプリングの時間計算量を、従来のO(n^7)の境界以下に低減すること。
• 線形期待時間で実行される近似サイズサンプリングにより、大規模な平面グラフの実用的生成を可能にすること。
• 高度な解析的組合せ論と組合せ的双対写像を統合的に統合した一貫したサンプリングフレームワークの構築。

提案手法

• アルゴリズムは、サイズに偏った分布に従ってグラフを生成するためのBoltzmannサンプリングフレームワークを採用する。
• Fusy, Poulalhon, Schaefferが発見した新しい組合せ的双対写像を用いて、複雑なグラフ構造をより単純な組合せ的対象へと写像する。
• 正確なサイズサンプリングのための完全一様分布に修正するために、リジェクションサンプリングを適用する。
• この手法は、GiménezとNoyによって導出された平面グラフの正確な解析的生成関数の記述に依存する。
• 一度だけ発生する小さな固定前処理コストが発生し、繰り返し効率的なサンプリングを可能にする。
• アルゴリズムは、近似サイズサンプリング（線形期待時間）と正確サイズサンプリング（二次期待時間）を区別する。

実験結果

リサーチクエスチョン

• RQ1 より効率的なアルゴリズムを設計して、ラベル付き平面グラフの均一ランダム生成を実現できるか？
• RQ2 平面グラフの正確なサイズ一様サンプリングのための達成可能な時間計算量は何か？
• RQ3 均一性を維持しつつ、近似サイズサンプリングを線形期待時間で達成できるか？
• RQ4 高度な組合せ的双対写像と解析的組合せ論をどのように統合することで、サンプリング効率を向上させられるか？

主な発見

• アルゴリズムは、ラベル付き平面グラフの近似サイズ一様サンプリングにおいて、期待線形時間計算量を達成する。
• 正確なサイズ一様サンプリングは期待二次時間で達成され、従来のO(n^7)の計算量よりも顕著な改善がなされた。
• この手法は、複雑なグラフ構造を扱いやすい組合せ的形に変換できる、新たな組合せ的双対写像を導入している。
• GiménezとNoyによる正確な生成関数の記述の統合により、正確で効率的なサンプリングパラメータの設定が可能になった。
• 前処理ステップは固定かつ小さいため、スケーラブルな繰り返しサンプリングが可能である。