[论文解读] Partial and Simultaneous Transitive Orientations via Modular Decompositions

Ignaz Rutter, Stumpf, Peter|arXiv (Cornell University)|Jan 1, 2022

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文综述了平面图的同步嵌入问题，重点关注同步几何嵌入（SGE）、同步嵌入固定边（SEFE）以及同步嵌入（SE）。文章介绍了理论基础，采用凸组合与变形技术的算法方法，并指出了在复杂度、网格边界和参数可塑性方面的重要开放问题。

ABSTRACT

A natural generalization of the recognition problem for a geometric graph class is the problem of extending a representation of a subgraph to a representation of the whole graph. A related problem is to find representations for multiple input graphs that coincide on subgraphs shared by the input graphs. A common restriction is the sunflower case where the shared graph is the same for each pair of input graphs. These problems translate to the setting of comparability graphs where the representations correspond to transitive orientations of their edges. We use modular decompositions to improve the runtime for the orientation extension problem and the sunflower orientation problem to linear time. We apply these results to improve the runtime for the partial representation problem and the sunflower case of the simultaneous representation problem for permutation graphs to linear time. We also give the first efficient algorithms for these problems on circular permutation graphs.

研究动机与目标

• 综述平面图同步嵌入领域的最新理论与算法进展。
• 分析动态图可视化中可读性与心理地图保持之间的权衡。
• 识别并形式化SGE、SEFE及相关变形与嵌入问题中的开放问题。
• 探索在各种约束条件下几何嵌入与固定边同步嵌入的复杂性与可行性。
• 研究同步嵌入的参数可塑性与网格复杂性。

提出的方法

• 使用凸组合与Tutte的质心嵌入方法，构建图绘制之间的平面变形。
• 应用保持平面性与正交性的变形技术，通过顶点移动与顶点处的边“扭转”实现。
• 通过三角剖分与刚性运动（平移、旋转、缩放、错切）提升变形的视觉效果。
• 利用模块化分解与传递定向技术，解决部分与同步定向问题。
• 整合直线边与曲线边表示，以平衡可读性与心理地图保持。
• 分析固定嵌入与固定映射变体，以评估复杂性与可行性。

实验结果

研究问题

• RQ1 所有平面图对是否都可在无顶点映射的情况下实现同步几何嵌入？
• RQ2 是否能为最大度为2的图的SGE保证使用多项式大小的整数网格？
• RQ3 具有固定平面嵌入的图的SGE问题的计算复杂度是什么？
• RQ4 对于高度连通的公共子图，SEFE是否可在多项式时间内判定？
• RQ5 SGE或SEFE问题是否关于树距离或最大度等参数具有固定参数可塑性？

主要发现

• 由于几何约束，即使对于简单的图对，同步几何嵌入（SGE）也并非总是可行。
• 通过凸组合实现的变形可产生平面且平滑的过渡，但步骤数未显式有界。
• 对于无弯折的正交图，存在保持平面性的变形，但当斜率数量达到三个或以上时，问题变为NP难。
• 具有固定嵌入的SEFE可用于在小网格上最小化交叉边数或弯折数。
• 在凸点集上，两个无映射的n顶点树的SGE存在，但在完整顶点映射下会失败。
• 对于c ∈ {2, ..., n−1}种颜色的CSE，仍存在开放问题，特别是针对树与树-路径对。