[论文解读] Deepening the Relationship between SEFE and C-Planarity

Patrizio Angelini, Giordano Da Lozzo|arXiv (Cornell University)|Apr 24, 2014

Computational Geometry and Mesh Generation参考文献 7被引用 4

一句话总结

本文建立了从带固定边的连通同时嵌入（C-SEFE-2）到C-Planarity的多项式时间归约，证明了当交集图连通时，C-SEFE-2 实例可被转化为等价的 C-Planarity 实例。其主要贡献在于建立了 SEFE-2 与 C-Planarity 之间的双向归约关系，表明在特定条件下（尤其是当 SEFE-2 中的公共图连通时）两者可能存在计算等价性。

ABSTRACT

In this paper we deepen the understanding of the connection between two long-standing Graph Drawing open problems, that is, Simultaneous Embedding with Fixed Edges (SEFE) and Clustered Planarity (C-PLANARITY). In his GD'12 paper Marcus Schaefer presented a reduction from C-PLANARITY to SEFE of two planar graphs (SEFE-2). We prove that a reduction exists also in the opposite direction, if we consider instances of SEFE-2 in which the intersection graph is connected. We pose as an open question whether the two problems are polynomial-time equivalent.

研究动机与目标

• 研究图绘制领域中两个长期悬而未决的问题——SEFE-2 与 C-Planarity 之间的计算关系。
• 确定 C-SEFE-2 是否可被多项式时间归约为 C-Planarity，从而扩展已知的反向归约结果。
• 探索在 SEFE-2 的公共图连通这一条件下，这两个问题是否具有多项式时间等价性。
• 分析归约的结构特性，特别是关于簇层次结构与底层图结构方面。
• 识别与归约后 C-Planarity 实例中簇的数量及其复杂性相关的开放性问题。

提出的方法

• 作者构建了从具有连通公共图的 C-SEFE-2 实例到 C-Planarity 实例的多项式时间归约。
• 通过顶点细分与簇重组，将底层图转换为一组不相交的路径。
• 修改簇层次结构以保持 C-Planarity 约束，确保边交叉与簇边界保持一致。
• 通过强制路径在穿越簇边界时的顺序与原始 C-SEFE-2 实例中相同，维持归约的等价性。
• 构造确保结果 C-Planarity 实例中的每个顶点均位于某条路径上，且所有簇均为扁平结构，从而保留原始问题的结构约束。
• 通过证明：任何变换后实例的 C-Planar 绘图均对应于原始 C-SEFE-2 实例中的有效同时嵌入，从而证明了归约的等价性。

实验结果

研究问题

• RQ1 当公共图连通时，C-SEFE-2 是否可在多项式时间内归约为 C-Planarity？
• RQ2 SEFE-2 与 C-Planarity 之间是否存在双向多项式时间归约，从而暗示其计算等价性？
• RQ3 该归约是否保持诸如簇边界交叉与路径顺序等结构约束？
• RQ4 归约后的 C-Planarity 实例中簇的数量能否以原 C-SEFE-2 实例大小的次线性或常数级方式有界？
• RQ5 底层图结构（如路径、树）在实现此类归约中起到何种作用？

主要发现

• 当公共图连通时，存在从 C-SEFE-2 到 C-Planarity 的多项式时间归约。
• 该归约生成的 C-Planarity 实例具有扁平的簇层次结构，且底层图由不相交的路径组成。
• 所构造的 C-Planarity 实例在 C-Planarity 性质与嵌入约束方面与原始 C-SEFE-2 实例等价。
• 归约保留了路径穿越簇边界时的顺序，确保与原始同时嵌入的一致性。
• 通过允许将移除的顶点无违反 C-Planarity 的前提下重新插入其所属簇，维持了变换的等价性。
• 该结果支持了 SEFE-2 与 C-Planarity 可能在计算上等价的猜想，尤其在公共图连通的约束条件下。