[论文解读] Universal point sets for planar three-tree

Radoslav Fulek, Csaba D. Tóth|arXiv (Cornell University)|Dec 26, 2012

Computational Geometry and Mesh Generation参考文献 21被引用 6

一句话总结

本文提出了一种针对平面3-树的$ n $-通用点集的构造方法，其大小为$ O(n^{3/2}\tan n) $，这是该类别的首个次二次上界。该方法利用3-树的分层分解与递归嵌入策略，将其嵌入到一个特别设计的矩形网格$ B_n $中，通过几何不变量和基于对角线的放置方式，确保顶点映射到通用点集$ S_n $中的点，同时保持平面性与边不相交。

ABSTRACT

For every $n\in \mathbb{N}$, we present a set $S_n$ of $O(n^{3/2}\log n)$ points in the plane such that every planar 3-tree with $n$ vertices has a straight-line embedding in the plane in which the vertices are mapped to a subset of $S_n$. This is the first subquadratic upper bound on the size of universal point sets for planar 3-trees, as well as for the class of 2-trees and serial parallel graphs.

研究动机与目标

• 弥合平面3-树的$ n $-通用点集已知的$ \Omega(n) $下界与$ O(n^2) $上界之间的差距。
• 为平面3-树、2-树以及串联-并联图类建立首个关于$ n $-通用点集大小的次二次上界。
• 开发一种递归嵌入算法，通过保持几何不变量，确保在有界网格内实现直线平面嵌入。

提出的方法

• 通过平面3-树的分层分解，构造一个大小为$ O(n^{3/2}\tan n) $的通用点集$ S_n $。
• 定义一个面积与$ n \cdot \text{weight}(\triangle) $成比例的矩形网格$ B_n $，其中$ \text{weight} $反映子树大小。
• 利用几何不变量$ I_1 $、$ I_2 $和$ I_3 $，确保在子矩形$ R(\triangle_i) $内递归放置顶点。
• 根据子树权重和面积比，将嵌入区域划分为顶部、底部、左侧、中间和右侧区域。
• 将每个新顶点放置在指定矩形$ Q $内的后向对角线上，确保对所有$ i=1,2,3 $满足$ R_0(\triangle_i) \subset \Box(\triangle_i) $。
• 利用引理3.5保证$ Q $内存在一个位于后向对角线上的点，从而实现具有不相交边的递归嵌入。

实验结果

研究问题

• RQ1 在已知$ O(n^2) $上界与$ \Omega(n) $下界的前提下，能否为平面3-树构造出次二次的通用点集？
• RQ2 是否可能在2-树与串联-并联图类中实现$ O(n^{3/2}\log n) $大小的$ n $-通用点集？
• RQ3 哪些几何与组合不变量能够确保在有界网格中实现递归的、不相交的直线平面嵌入？

主要发现

• 本文首次为平面3-树的$ n $-通用点集建立了$ O(n^{3/2}\log n) $的次二次上界。
• 所构造的点集$ S_n $支持所有$ n $-顶点平面3-树的直线嵌入，且顶点被映射到$ S_n $中的点。
• 递归嵌入算法通过保持几何不变量，确保了边不相交以及子树区域的正确包含关系。
• 该方法确保每个新顶点均被放置在指定矩形内的后向对角线上，从而支持递归构造的进行。
• 嵌入网格$ B_n $的面积至少为$ 100n \cdot \text{weight}(\triangle) $，这既支持了大小上界，也确保了递归细分所需的足够空间。
• 该结果可推广至2-树与串联-并联图，因为它们是满足相同嵌入约束的平面3-树的子类。