[论文解读] On the Longest Paths and the Diameter in Random Apollonian Networks

Ehsan Ebrahimzadeh, Linda Farczadi+5 more|arXiv (Cornell University)|Mar 21, 2013

Data Management and Algorithms参考文献 8被引用 8

一句话总结

本文研究了随机阿波罗尼安网络（RANs）中的最长路径与直径。通过新颖的图论观察与生成函数分析，证明了几乎必然（a.a.s.）最长路径的长度为 o(n)，反驳了 Frieze 和 Tsourakakis 的一个猜想，并表明直径渐近为 c log n，其中 c ≈ 1.668。

ABSTRACT

We consider the following iterative construction of a random planar triangulation. Start with a triangle embedded in the plane. In each step, choose a bounded face uniformly at random, add a vertex inside that face and join it to the vertices of the face. After n-3 steps, we obtain a random triangulated plane graph with n vertices, which is called a Random Apollonian Network (RAN). We show that asymptotically almost surely (a.a.s.) every path in a RAN has length o(n), refuting a conjecture of Frieze and Tsourakakis. We also show that a RAN always has a path of length (2n-5)^{log 2/log 3}, and that the expected length of its longest path is Omega(n^0.88). Finally, we prove that a.a.s. the diameter of a RAN is asymptotic to c log n, where c \approx 1.668 is the solution of an explicit equation.

研究动机与目标

• 解决 Frieze 和 Tsourakakis 提出的猜想：随机阿波罗尼安网络（RAN）几乎必然包含长度为 Ω(n) 的路径。
• 建立 RAN 中最长简单路径长度的紧致渐近界。
• 确定典型 RAN 直径的精确渐近行为。
• 使用生成函数与分支过程近似方法，分析最长路径与直径的增长规律。

提出的方法

• 使用新颖的图论观察：在阿波罗尼安网络的任意子图中，至少有一个度数为 2 的顶点的面的数量是有限的。
• 应用生成函数技术，通过指数生成函数建模给定长度路径中顶点的期望数量。
• 采用分支过程近似方法模拟路径的增长，其高度渐近性由函数方程的解导出。
• 利用 Hölder 不等式与严格凹性分析矩生成函数，推导路径长度的渐近增长率。
• 应用 Dini 定理以确保生成函数的一致收敛性，从而推导出极限直径常数。
• 求解涉及 h(x) = 12x³/(1−2x) − 6x³/(1−x) 的超越方程，以确定直径常数 c ≈ 1.668。

实验结果

研究问题

• RQ1 随机阿波罗尼安网络是否几乎必然包含长度为 Ω(n) 的路径，如 Frieze 和 Tsourakakis 所猜想？
• RQ2 RAN 中最长路径的期望长度的渐近增长率是多少？
• RQ3 当 n → ∞ 时，典型 RAN 的直径的确切渐近值是多少？
• RQ4 最长路径与直径如何随 n 变化，其缩放由哪些常数决定？

主要发现

• 几乎必然地，RAN 中的最长路径长度为 o(n)，反驳了其为 Ω(n) 的猜想。
• 几乎必然地，n 个顶点的 RAN 的直径渐近于 c log n，其中 c ≈ 1.668 是方程 (1−x⁻¹)/log h(x) = c 的解，h(x) = 12x³/(1−2x) − 6x³/(1−x)。
• 最长路径的长度在确定意义下至少为 m^{log 2 / log 3} + 2，其中 m 为面的数量，即 Ω(n^{log 2 / log 3}) ≈ Ω(n^{0.631})。
• 最长路径的期望长度为 Ω(n^{0.88})，显著强于确定性下界。
• 直径常数 c ≈ 1.668 严格小于先前工作中得到的上界 η₂ ≈ 7.081，表明更强的集中性。
• 分析确认直径的渐近行为为对数级，与早期结果一致，但通过新方法框架精确给出了常数。