[论文解读] Boundary Labeling for Rectangular Diagrams

Prosenjit Bose, Paz Carmi+3 more|arXiv (Cornell University)|Jan 1, 2018

Computational Geometry and Mesh Generation参考文献 2被引用 1

一句话总结

本文提出了一种 O(n³ log n) 时间复杂度的算法，用于解决带有 po-leaders 的 1-bend 2-sided boundary labeling 问题，显著优于先前的 O(n⁸ log n) 解决方案。该方法进一步扩展为在存在障碍物的情况下，对 3- 和 4-sided 模型中的总领导线长度和弯折数最小化问题，实现多项式时间解法，通过将问题建模为外串图上的最大权独立集，并结合动态规划与加权串赋值技术。

ABSTRACT

Given a set of $n$ points (sites) inside a rectangle $R$ and $n$ points (label locations or ports) on its boundary, a boundary labeling problem seeks ways of connecting every site to a distinct port while achieving different labeling aesthetics. We examine the scenario when the connecting lines (leaders) are drawn as axis-aligned polylines with few bends, every leader lies strictly inside $R$, no two leaders cross, and the sum of the lengths of all the leaders is minimized. In a $k$-sided boundary labeling problem, where $1\le k\le 4$, the label locations are located on the $k$ consecutive sides of $R$. In this paper, we develop an $O(n^3\log n)$-time algorithm for 2-sided boundary labeling, where the leaders are restricted to have one bend. This improves the previously best known $O(n^8\log n)$-time algorithm of Kindermann et al. (Algorithmica, 76(1):225-258, 2016). We show the problem is polynomial-time solvable in more general settings such as when the ports are located on more than two sides of $R$, in the presence of obstacles, and even when the objective is to minimize the total number of bends. Our results improve the previous algorithms on boundary labeling with obstacles, as well as provide the first polynomial-time algorithms for minimizing the total leader length and number of bends for 3- and 4-sided boundary labeling. These results settle a number of open questions on the boundary labeling problems (Wolff, Handbook of Graph Drawing, Chapter 23, Table 23.1, 2014).

研究动机与目标

• 为带有 po-leaders 的 1-bend 2-sided boundary labeling 问题开发一种高效算法，优于先前的 O(n⁸ log n) 解决方案。
• 将该方法扩展至最小化 3- 和 4-sided boundary labeling 模型中的总领导线长度与总弯折数。
• 在一般约束条件下（包括障碍物与可滑动端口）解决该问题，实现多项式时间可解性。
• 解决多侧 boundary labeling 中最小化领导线长度与弯折数的复杂性问题。
• 提出一个统一框架，利用外串图与最大权独立集，对 boundary labeling 问题进行建模与求解。

提出的方法

• 通过将每个潜在的领导线表示为连接一个标注点与一个端口的串，将 boundary labeling 问题建模为外串图。
• 根据弯折数为串分配权重：w(st(l)) = n+2（0 个弯折），n+1（1 个弯折，适用于 po-leaders），以及 α+3、α+2、α+1（分别对应 0、1、2 个弯折，适用于 opo-leaders），其中 α = 2n。
• 将问题约化为在外串图中寻找最大权独立集，确保任意两条领导线不相交，且每个标注点/端口至多使用一次。
• 使用 Keil 等人提出的 O(n³ log n) 时间复杂度算法求解外串图上的最大权独立集，从而高效求解该问题。
• 证明可行标注与足够权重的独立集之间存在等价性，从而通过动态规划实现精确优化。
• 通过修改串的构造方式以排除无效领导线路径，将该方法推广至处理障碍物的情形。

实验结果

研究问题

• RQ1 1-bend 2-sided boundary labeling 问题是否可在线性时间复杂度低于 O(n⁸ log n) 内求解？
• RQ2 3- 和 4-sided boundary labeling 中总领导线长度最小化问题是否可在多项式时间内求解？
• RQ3 即使存在障碍物，多侧 boundary labeling 中总弯折数最小化问题是否可在多项式时间内求解？
• RQ4 是否存在一个统一框架，能将多种 boundary labeling 优化目标约化为单一图论问题？
• RQ5 在具有正交约束的相邻 2-sided 模型中，最小化弯折数与领导线长度的计算复杂性如何？

主要发现

• 本文提出了一种 O(n³ log n) 时间复杂度的算法，用于解决带有 po-leaders 的 1-bend 2-sided boundary labeling 问题，显著优于先前的 O(n⁸ log n) 解决方案。
• 3- 和 4-sided boundary labeling 中总领导线长度最小化问题现可在多项式时间内求解，解决了长期存在的开放问题。
• 在包含障碍物的相邻与对边模型中，总弯折数可多项式时间最小化。
• 该方法可推广至 opo-leaders（2-bend 领导线），并支持可滑动端口，同时保持多项式时间复杂度。
• 通过约化为外串图上的最大权独立集，实现了在多种优化目标下的精确优化。
• 该框架解决了 Wolff 编纂的《图绘制手册》（Table 23.1, 2014）中列出的开放问题，尤其针对 3- 和 4-sided 模型。