[论文解读] 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

一句话总结

本文提出了一种高效的线性时间算法，用于对标记的平面图进行近似大小的均匀随机采样，该方法利用玻尔兹曼采样、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) 边界的以下。
• 通过近似大小采样实现大规模平面图的实际生成，且期望时间复杂度为线性。
• 将先进的分析组合学与组合双射整合到统一的采样框架中。

提出的方法

• 该算法采用玻尔兹曼采样框架，根据大小加权分布生成图。
• 利用 Fusy、Poulalhon 和 Schaeffer 发现的新型组合双射，将复杂的图结构映射到更简单的组合对象。
• 应用拒绝采样将玻尔兹曼生成的样本精炼为精确的均匀分布，以实现精确大小采样。
• 该方法依赖于 Giménez 和 Noy 推导出的平面图生成函数的精确分析描述。
• 仅需一次固定的预处理开销，即可实现高效的重复采样。
• 该算法区分近似大小采样（期望线性时间）与精确大小采样（期望二次时间）。

实验结果

研究问题

• RQ1 能否设计出一种更高效的算法，用于标记平面图的均匀随机生成？
• RQ2 精确大小均匀采样平面图的可实现时间复杂度是多少？
• RQ3 能否在保持均匀性的同时，通过线性期望时间实现近似大小采样？
• RQ4 如何将先进的组合双射与分析组合学相结合，以提升采样效率？

主要发现

• 该算法在近似大小均匀采样标记平面图方面实现了期望线性时间复杂度。
• 精确大小均匀采样在期望二次时间内完成，相较于先前的 O(n^7) 复杂度有显著提升。
• 该方法引入了一种新型组合双射，通过将复杂的图结构转换为可管理的组合形式，实现了高效采样。
• 将 Giménez 和 Noy 提供的精确生成函数描述整合，使得采样参数能够准确且高效地确定。
• 预处理步骤固定且开销小，支持可扩展的重复采样。