[论文解读] Transversal structures on triangulations: a combinatorial study and straight-line drawings

Éric Fusy|ArXiv.org|Feb 8, 2006

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

一句话总结

本文提出了横截结构——一种在不可约三角剖分（具有四边形外面对且无分离三角形的平面三角剖分图）上定义的两种横截有向双极定向的组合构型。通过与三元树的双射，作者开发了一种直线绘图算法，该算法可为具有 $n$ 个顶点的随机不可约三角剖分生成大小渐近为 $11n/27 \times 11n/27$ 的整数网格上的绘图，显著优于先前的最坏情况边界 $(\lceil n/2\rceil-1)\times\lfloor n/2\rfloor$。该方法实现了 4-连通三角剖分的高效随机生成与最优编码。

ABSTRACT

This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under the name of regular edge-labelling and consists of two bipolar orientations that are transversal. For this reason, the terminology used here is that of transversal structures. The main results obtained in the article are a bijection between irreducible triangulations and ternary trees, and a straight-line drawing algorithm for irreducible triangulations. For a random irreducible triangulation with $n$ vertices, the grid size of the drawing is asymptotically with high probability $11n/27 imes 11n/27$ up to an additive error of $\cO(\sqrt{n})$. In contrast, the best previously known algorithm for these triangulations only guarantees a grid size $(\lceil n/2 ceil -1) imes \lfloor n/2 floor$.

研究动机与目标

• 通过在图的边上定义两种横截有向双极定向，建立不可约三角剖分的组合表征，即横截结构。
• 通过闭包操作建立不可约三角剖分与三元树之间的双射，实现 4-连通三角剖分的计数与高效编码。
• 设计一种新型不可约三角剖分的直线绘图算法，生成的网格尺寸小于以往方法。
• 使用解析组合学，特别是代数准幂定理，分析该绘图算法的渐近网格尺寸。

提出的方法

• 横截结构通过将边划分为红色和蓝色边来定义，其中红色边从南向北流动，蓝色边从西向东流动，形成两个有向双极定向。
• 通过在树的边双色结构上应用闭包操作，构建从三元树到不可约三角剖分的闭包映射。
• 直线绘图算法通过基于横截结构的面计数操作独立计算顶点坐标，避免了复杂的顶点排序或坐标偏移。
• 使用生成函数 $F(z,u)$, $G(z,u)$, $\widehat{F}(z,u)$, 和 $\widehat{G}(z,u)$ 分析网格尺寸，这些函数追踪节点和内部红色边，从而建立代数方程组。
• 通过将代数准幂定理应用于生成函数 $H(z,u) = F(z,u) + G(z,u)$，推导出渐近网格尺寸，得到期望网格尺寸 $11n/27 \times 11n/27$，误差为 $\mathcal{O}(\sqrt{n})$。
• 该方法被扩展至四边形剖分，类似分析得出随机四边形剖分的网格尺寸为 $13n/27 \times 13n/27$。

实验结果

研究问题

• RQ1 能否利用横截结构在不可约三角剖分与三元树之间建立双射？
• RQ2 使用所提算法对随机不可约三角剖分进行直线绘图时，其渐近网格尺寸是多少？
• RQ3 与基于标准顺序的先前算法相比，该新绘图算法在网格尺寸和实现性方面表现如何？
• RQ4 横截结构能否用于推导 4-连通三角剖分的高效随机生成与最优编码算法？
• RQ5 该方法是否也能为相关家族（如四边形剖分）提供改进的网格界？

主要发现

• 通过在横截边划分上应用闭包操作，建立了不可约三角剖分与三元树之间的双射，实现了组合计数与高效编码。
• 所提出的直线绘图算法可为具有 $n$ 个顶点的随机不可约三角剖分生成大小为 $11n/27 \times 11n/27$ 的整数网格绘图，高概率成立，且具有 $\mathcal{O}(\sqrt{n})$ 的加法误差。
• 该网格尺寸在渐近意义上小于先前的最坏情况边界 $(\lceil n/2\rceil - 1) \times \lfloor n/2 \rfloor$，显著提升了空间效率。
• 该算法易于实现且可手工操作，因为顶点坐标通过独立的面计数计算，无需复杂的顶点排序或坐标偏移。
• 该方法同样适用于四边形剖分，得出随机四边形剖分的网格尺寸为 $13n/27 \times 13n/27$，再次优于先前的最坏情况边界。
• 证明了横截结构中内部红色边数的分布渐近服从正态分布，其均值为 $5n/54$，该结果由代数准幂定理应用于生成函数 $H(z,u)$ 推导得出。