[論文レビュー] 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

ひとこと要約

本稿は、ランダム平面三角形分割モデルであるランダムアポロニアンネットワーク（RAN）における最長路および直径の性質を調査する。新しいグラフ理論的考察と母関数解析を用いて、ほとんど確実に最長路の長さが 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の頂点を少なくとも1つ持つ面の数が有界である、という新しいグラフ理論的観察を用いる。
• 指数的母関数を用いて、与えられた長さの路に属する頂点の期待数をモデル化する母関数技法を適用する。
• 路の成長をモデル化するための分岐過程近似を用い、関数方程式の解から高さの漸近的挙動を導出する。
• ホルダーの不等式と厳密な凹性を用いてモーメント母関数を分析し、路長の漸近的成長率を導出する。
• ディニの定理を適用して母関数の一様収束を保証し、極限的直径定数の導出を可能にする。
• 直径定数 c ≈ 1.668 を特定するため、h(x) = 12x³/(1−2x) − 6x³/(1−x) を含む超越方程式を解く。

実験結果

リサーチクエスチョン

• RQ1 FriezeとTsourakakisが提起した予想、すなわちランダムアポロニアンネットワークがほとんど確実に長さ Ω(n) の路を含むかどうか。
• 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 を面数として、m^{log 2 / log 3} + 2 以上に常に上界を持つ。これは Ω(n^{log 2 / log 3}) ≈ Ω(n^{0.631}) に相当する。
• 最長路の期待長さは Ω(n^{0.88}) であり、これは決定的下界よりも著しく強い。
• 直径定数 c ≈ 1.668 は、先行研究で得られた上界 η₂ ≈ 7.081 よりも厳密に小さいため、より強い集中性を示している。
• 解析により、直径の漸近的挙動が対数的であることが確認され、以前の結果と整合的であるが、本研究では新しい手法的枠組みにより正確な定数が得られた。