[论文解读] Asymptotic enumeration and limit laws of planar graphs

Omer Giménez, Marc Noy|ArXiv.org|Jan 18, 2005

Stochastic processes and statistical mechanics参考文献 12被引用 19

一句话总结

本文使用解析组合学對標籤化平面圖進行精確的漸近計數，確立了此類圖的數量以 $ g_n \sim g \cdot n^{-7/2} \gamma^n n! $ 的形式增長，其中顯式常數 $ \gamma \approx 27.2268777685 $ 和 $ g \approx 0.4260938569 \times 10^{-5} $。此外，本文證明了隨機平面圖中邊數的漸近分佈為常態分佈，其均值與方差均為線性，且連通分量數量服從偏移的泊松分佈。

ABSTRACT

We show an asymptotic estimate for the number of labelled planar graphs on $n$ vertices. We also find limit laws for the number of edges, the number of connected components, and other parameters in random planar graphs.

研究动机与目标

• 推導出 $ n $ 個頂點的標籤化平面圖數量的精確漸近公式。
• 建立隨機平面圖中關鍵圖參數（包括邊數與連通分量數）的極限定律。
• 在漸近計數公式中，計算增長常數 $ \gamma $ 與 $ g $ 的顯式解析表達式。
• 使用奇點分析與奇點擾動方法，分析邊數與連通分量數的分佈。

提出的方法

• 使用指數生成函數 $ G(x) $、$ C(x) $ 與 $ B(x) $ 分別表示平面圖、連通圖與 2-連通平面圖。
• 對生成函數進行奇點分析，以推導主奇點 $ \rho = \gamma^{-1} $，其位於 $ x = \rho $。
• 透過頂點與邊數的計數，推導出 2-連通平面圖的雙變數生成函數 $ B(x,y) $，進而實現雙變數奇點展開。
• 應用轉移定理與奇點擾動方法，推導邊數與分量數的極限定律。
• 以參數 $ t $ 表示函數 $ B_0, B_2, B_4, B_5 $ 與 $ \rho $，並在 $ Y(t) = 1 $ 時求值，以獲得單變數常數。
• 使用 $ U(x, D(x,y)) $ 的奇點展開來模擬生成函數在主奇點附近的行為，並推導極限定律。

实验结果

研究问题

• RQ1 $ n $ 個頂點的標籤化平面圖的精確漸近增長率為何？
• RQ2 當 $ n \to \infty $ 時，均勻隨機平面圖中邊數的分佈為何？
• RQ3 隨機平面圖中連通分量數量的極限定律為何？
• RQ4 漸近公式中的增長常數 $ \gamma $ 與 $ g $ 是否可表示為顯式解析函數？
• RQ5 具有 $ n $ 個頂點與 $ \lfloor qn \rfloor $ 條邊的平面圖數量的漸近行為為何？

主要发现

• 具有 $ n $ 個頂點的標籤化平面圖數量滿足 $ g_n \sim g \cdot n^{-7/2} \gamma^n n! $，其中 $ \gamma \approx 27.2268777685 $，$ g \approx 0.4260938569 \times 10^{-5} $。
• 隨機平面圖中的邊數漸近服從常態分佈，其均值 $ \mu_n \sim \kappa n $ 與方差 $ \sigma_n^2 \sim \lambda n $，其中 $ \kappa \approx 2.2132652385 $，$ \lambda \approx 0.4303471697 $。
• 隨機平面圖中連通分量數量的漸近分佈為 $ 1 + P(\nu) $，其中 $ \nu \approx 0.385 $ 為顯式常數，顯示其服從偏移泊松分佈。
• 對於具有 $ n $ 個頂點與 $ \lfloor qn \rfloor $ 條邊的平面圖，其數量漸近為 $ g(q) \cdot n^{-4} \gamma(q)^n n! $，其中 $ \gamma(q) $ 為 $ q $ 的解析函數。
• 未標籤平面圖的指數增長率由 $ \tau \approx 6.03 $ 決定，且滿足 $ \rho(\tau) = 1 $，其中 $ \tau \approx 2^{2.59} $。
• 所推導的生成函數可支援高效演算法的設計，以實現隨機平面圖的均勻產生。