[论文解读] Balanced Circle Packings for Planar Graphs

Md. Jawaherul Alam, David Eppstein+3 more|arXiv (Cornell University)|Aug 21, 2014

Computational Geometry and Mesh Generation参考文献 23被引用 5

一句话总结

本文提出了一种在平面图中构建平衡圆接触表示的框架，其中最大与最小圆直径之比在顶点数的多项式范围内。通过使用具有受控扰动的反演距离圆堆积，证明了有界度数和对数外平面性的图、树、外路径、仙人掌图以及有界树深度的图可实现此类表示，而某些具有更高度数或外平面性的图类则不能。

ABSTRACT

We study balanced circle packings and circle-contact representations for planar graphs, where the ratio of the largest circle's diameter to the smallest circle's diameter is polynomial in the number of circles. We provide a number of positive and negative results for the existence of such balanced configurations.

研究动机与目标

• 研究平面图中是否存在平衡圆接触表示，其中最大与最小圆直径之比为顶点数的多项式函数。
• 确定可实现此类平衡表示的图类结构，如有界度数、低外平面性或低树深度图。
• 识别尽管具有有利结构特性，但本质上难以实现平衡表示的图类。
• 基于反演距离圆堆积开发一种构造性方法，以实现特定图族的平衡配置。
• 通过证明某些具有更高度数或外平面性的图类的负结果，探索圆堆积中平衡性的极限。

提出的方法

• 利用圆堆积定理及其在反演距离堆积中的扩展，其中相切对应于边的存在，非相切对应于非边。
• 应用扰动技术：对于给定的平面图，将其扩充为一个以固定三角形为特征的最大平面图，然后为真实边分配反演距离1，为非边分配反演距离1+ε。
• 利用反演距离堆积关于ε的连续性，确保当ε→0时，堆积收敛到有效的圆接触表示。
• 使用SPQR树分解递归构建双连通分量的堆积，对R-节点使用反演距离堆积，对更简单的分量则直接定位。
• 利用连续性原理：当ε足够小时，非相邻圆的不相交性得以保持，从而确保有效接触表示。
• 利用已知的反演距离堆积结果（例如来自Collins和Stephenson的研究）来断言此类配置的存在性与稳定性。

实验结果

研究问题

• RQ1 哪些平面图类可实现具有多项式直径比的平衡圆接触表示？
• RQ2 反演距离圆堆积能否用于构造有界度数和对数外平面性图的平衡表示？
• RQ3 是否存在自然图类（如外路径、仙人掌图或有界树深度图）始终可实现平衡表示？
• RQ4 哪些结构限制会阻止具有更高最大度数或外平面性的图实现平衡表示？
• RQ5 使用ε > 0的扰动方法是否能在ε→0的极限下同时保证平衡性和正确的接触结构？

主要发现

• 每个具有最大度数Δ的n-顶点k-外平面图，均存在一种圆接触表示，其直径比受f(Δ)^{k + log n}的界约束，当Δ为常数且k = O(log n)时，该界为多项式。
• 存在具有有界最大度数和线性外平面性的图，或具有线性最大度数和有界外平面性的图，它们无法实现任何平衡圆接触表示。
• 所有树均可实现平衡圆接触表示，所有外路径图和仙人掌图亦然。
• 每个树深度至多为d的平面图，对任意固定的d，均可实现平衡圆接触表示。
• 使用小ε > 0的反演距离堆积的构造方法，可确保非相邻圆保持不相交，相邻圆保持相切，从而在极限下保持接触结构。
• 该方法在一般情况下为非构造性，但依赖于堆积对距离分配的连续依赖性；先前反演距离算法的经验成功表明其具有实际可行性。