[論文レビュー] Enumeration of Unlabeled Outerplanar Graphs

Manuel Bodirsky, Éric Fusy+2 more|ArXiv.org|Nov 16, 2005

Advanced Combinatorial Mathematics参考文献 20被引用数 3

ひとこと要約

本稿では、$ n $ 頂点の非同型な外部平面グラフの正確な個数を計算する多項式時間アルゴリズムを提示し、その漸近的列挙を $ g\thinspace n^{-5/2} \rho^{-n} $ として得る。ここで $ g \approx 0.00909941 $ および $ \rho^{-1} \approx 7.50360 $ である。この手法は、サイクル指数の列挙と生成関数の特異性解析を組み合わせており、辺数、彩色数、連結成分の分布といった構造的性質の漸近的解析を可能にする。

ABSTRACT

We determine the exact and asymptotic number of unlabeled outerplanar graphs. The exact number g_n of unlabeled outerplanar graphs on n vertices can be computed in polynomial time, and g_n is asymptotically $g n^{-5/2}ρ^{-n}$, where $g\approx0.00909941$ and $ρ^{-1}\approx7.50360$ can be approximated. Using our enumerative results we investigate several statistical properties of random unlabeled outerplanar graphs on n vertices, for instance concerning connectedness, chromatic number, and the number of edges. To obtain the results we combine classical cycle index enumeration with recent results from analytic combinatorics.

研究の動機と目的

• 非同型の外部平面グラフの $ n $ 頂点における正確および漸近的個数を特定すること。
• 非同型の外部平面グラフの正確な個数 $ g_n $ を計算する多項式時間アルゴリズムの開発。
• ランダムな非同型の外部平面グラフの典型的な構造的性質（連結性、彩色数、辺数、成分分布）を分析すること。
• サイクル指数と特異性解析を用いて、非同型の外部平面グラフにおける対称性を扱う古典的組合せ論的列挙技法の拡張。

提案手法

• 非同型の外部平面グラフにおける対称性を符号化するサイクル指数和の使用により、同型を除いた列挙が可能になる。
• 2-連結成分の多重集合構成によって定義される暗黙的生成関数の解析に、特異的陰関数定理の応用。
• 生成関数に対する特異性解析の適用により、成長率および極限定理の抽出。
• 外部平面グラフを2-連結ブロックと連結成分に分解し、生成関数による構造のモデル化。
• 生成関数の分布的性質を導出するための解析的組合せ論的ツール（移動定理および正規極限定理）の使用。
• 暗黙の式および微分を用いた、$ \rho^{-1} \approx 7.50360 $ および $ g \approx 0.00909941 $ といった主要定数の数値近似。

実験結果

リサーチクエスチョン

• RQ1 非同型の外部平面グラフの $ n $ 頂点における正確な個数は何か。また、それを効率的に計算できるか。
• RQ2 $ n \to \infty $ のとき、非同型の外部平面グラフの個数の漸近的成長率は何か。
• RQ3 ランダムな非同型の外部平面グラフにおける辺数の典型的な分布は何か。
• RQ4 ランダムな非同型の外部平面グラフの彩色数は何か。また、漸近的にどのように振る舞うか。
• RQ5 ランダムな非同型の外部平面グラフにおける成分数および孤立頂点の数はどのように振る舞うか。

主な発見

• 非同型の外部平面グラフの $ n $ 頂点における個数は、$ g\thinspace n^{-5/2} \rho^{-n} $ として漸近的に与えられ、ここで $ g \approx 0.00909941 $ および $ \rho^{-1} \approx 7.50360 $ である。
• ランダムな非同型の外部平面グラフにおける期待辺数は、漸近的に $ 1.54894n $ であり、分散は $ 0.227504n $ で、正規極限定理に従う。
• ランダムな非同型の外部平面グラフの彩色数は、非同型および同型の場合の両方でほとんど確実に 3 である。
• ランダムな非同型の外部平面グラフにおける連結性の確率は $ n \to \infty $ のとき 1 に近づき、期待成分数は約 1.17847 である。
• ランダムな非同型の外部平面グラフにおける孤立頂点の数は、パラメータ $ \rho \approx 0.13326 $ の幾何分布に従い、期待値は $ 0.153761 $ である。
• 根付きおよび非根付き連結外部平面グラフにおける辺数の漸近的分布は、いずれも正規分布であり、平均 $ \mu \approx 1.54894 $、分散 $ \sigma^2 \approx 0.227504 $ である。