野性旅程：正交绘图的形状优先方法
摘要
正交图绘制的若干算法，包括基于拓扑-形状-度量 (TSM) 范式的算法，倾向于优先最小化交叉次数。这导致两个显著副作用：某些边绘制时包含不必要的冗长分段序列和折线，整体绘图区域也可能变得过大。结果是，所产绘图往往缺乏几何均匀性。此外，正交交叉已知对可读性影响有限，暗示交叉最小化并不总是最优目标。在本文中，我们引入一种方法，通过关注最小化折线数来“颠覆”传统 TSM 流程。给定图 ，我们理想地寻求其矩形绘图，即无折线的正交绘图。若不可行，则逐步通过引入虚拟顶点来细分图的边，这些顶点可能对应最终绘图中的折线。此过程持续进行，直至找到该子图的矩形绘图，然后计算最终坐标。我们通过将其编码为 SAT 公式并求解来解决（NP 完全的）矩形可绘制性问题。若 SAT 公式不可满足，我们利用求解器的证明来确定应细分哪条边。我们的实现 DOMUS 结构简单，经过大量在小型至中型图上的实验评估。结果显示，在大多数标准图绘制指标上，DOMUS 均显著优于 OGDF 的 TSM 方法。
引用
@article{arxiv.2508.19416,
title = {A Walk on the Wild Side: a Shape-First Methodology for Orthogonal Drawings},
author = {Giordano Andreola and Susanna Caroppo and Giuseppe Di Battista and Fabrizio Grosso and Maurizio Patrignani and Allegra Strippoli},
journal= {arXiv preprint arXiv:2508.19416},
year = {2025}
}
备注
This is the extended version of Giordano Andreola, Susanna Caroppo, Giuseppe Di Battista, Fabrizio Grosso, Maurizio Patrignani, Allegra Strippoli, "A Walk on the Wild Side: a Shape-First Methodology for Orthogonal Drawings'', to appear in the Proc. of the 33rd International Symposium on Graph Drawing and Network Visualization, GD 2025, LIPIcs, Volume 357, 2025