[论文解读] On a Tree and a Path with no Geometric Simultaneous Embedding

Patrizio Angelini, Markus Geyer+2 more|arXiv (Cornell University)|Jan 4, 2010

Computational Geometry and Mesh Generation参考文献 12被引用 10

一句话总结

本文通过证明并非所有树与路径在边不相交的情况下仍能实现几何同步嵌入，解决了图绘制领域长期存在的一个开放问题。作者构造了一个反例，使用深度为4的树与一条路径，强制形成区域级非平面配置，从而证明此类嵌入并非总是可行。该结果还表明，两个边不相交的树也可能无法实现同步嵌入，从而回答了该领域另一个开放问题。

ABSTRACT

Two graphs $G_1=(V,E_1)$ and $G_2=(V,E_2)$ admit a geometric simultaneous embedding if there exists a set of points P and a bijection M: P -> V that induce planar straight-line embeddings both for $G_1$ and for $G_2$. While it is known that two caterpillars always admit a geometric simultaneous embedding and that two trees not always admit one, the question about a tree and a path is still open and is often regarded as the most prominent open problem in this area. We answer this question in the negative by providing a counterexample. Additionally, since the counterexample uses disjoint edge sets for the two graphs, we also negatively answer another open question, that is, whether it is possible to simultaneously embed two edge-disjoint trees. As a final result, we study the same problem when some constraints on the tree are imposed. Namely, we show that a tree of depth 2 and a path always admit a geometric simultaneous embedding. In fact, such a strong constraint is not so far from closing the gap with the instances not admitting any solution, as the tree used in our counterexample has depth 4.

研究动机与目标

• 解决关于所有树与路径是否都能实现几何同步嵌入的开放问题。
• 确定两个边不相交的树是否总能实现几何同步嵌入。
• 识别在何种结构约束下，同步嵌入仍为可能。
• 将‘层级非平面树’的概念扩展至‘区域级非平面树’，以构造反例。

提出的方法

• 构建一个由多个层级非平面树结构组成的树，每个结构都需要特定的顶点位置以保持平面性。
• 利用路径通过凸包和顶点顺序定义几何区域，强制树的顶点进入非平面配置。
• 利用路径的结构，对树中的顶点施加分层，导致至少一个子树违反平面性条件。
• 证明在任意点集嵌入中，至少一个子树必须以导致边交叉的方式嵌入，这是由于强制的区域约束所致。
• 设计一种构造性算法，用于实现深度为2的树与任意路径的几何同步嵌入，利用角度扇形和单调的x坐标排序。
• 利用单侧连接和凸包性质，确保在深度为2的情况下，路径边不会与树边交叉。

实验结果

研究问题

• RQ1 是否每个树与路径都能实现几何同步嵌入？
• RQ2 两个边不相交的树是否总能实现几何同步嵌入？
• RQ3 对树的何种结构约束（例如深度）可确保其总能与路径同步嵌入？
• RQ4 能否将‘层级非平面树’的概念扩展至‘区域级非平面树’，以构造反例？
• RQ5 是否存在一个深度阈值（例如深度3），使得深度为该值的树与路径总能实现同步嵌入？

主要发现

• 存在一个反例，证明并非所有树与路径都能实现几何同步嵌入，从而解决了该领域最突出的开放问题。
• 该反例使用了一棵深度为4的树和一条无共享边的路径，证明即使边不相交，树也可能无法实现同步嵌入。
• 作者提出了‘区域级非平面树’的概念，即特定几何区域中的顶点位置会强制导致非平面性。
• 路径被用来定义凸包区域，强制树的至少一个子树进入非平面配置。
• 提供了一种构造性算法，可保证对任意深度为2的树与任意路径实现几何同步嵌入。
• 结果表明深度2是一个临界阈值，因为本文未解决深度为3的树是否总能实现此类嵌入。