[论文解读] Extending Orthogonal Planar Graph Drawings Is Fixed-Parameter Tractable

Sujoy Bhore, Robert Ganian+3 more|arXiv (Cornell University)|Jan 1, 2023

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文建立了平面连通图的弯折最小正交图扩展问题在缺失子图大小κ参数化下的固定参数可追踪性（FPT）。作者提出一种新颖的基于树分解的动态规划方法，通过扇形网格进行几何离散化，并引入弯折等价区域表示以控制树宽，从而在时间 2^κ^O(1) · n 内高效计算出最优弯折最小化扩展方案。

ABSTRACT

The task of finding an extension to a given partial drawing of a graph while adhering to constraints on the representation has been extensively studied in the literature, with well-known results providing efficient algorithms for fundamental representations such as planar and beyond-planar topological drawings. In this paper, we consider the extension problem for bend-minimal orthogonal drawings of planar graphs, which is among the most fundamental geometric graph drawing representations. While the problem was known to be NP-hard, it is natural to consider the case where only a small part of the graph is still to be drawn. Here, we establish the fixed-parameter tractability of the problem when parameterized by the size of the missing subgraph. Our algorithm is based on multiple novel ingredients which intertwine geometric and combinatorial arguments. These include the identification of a new graph representation of bend-equivalent regions for vertex placement in the plane, establishing a bound on the treewidth of this auxiliary graph, and a global point-grid that allows us to discretize the possible placement of bends and vertices into locally bounded subgrids for each of the above regions.

研究动机与目标

• 解决在最小化折点数的前提下扩展平面图部分正交图的计算复杂性问题。
• 研究当图中仅缺失一小部分时，该问题是否仍保持可追踪性，这是动态网络可视化中的自然参数。
• 开发针对几何绘制约束的新算法技术，因为以往的FPT结果主要集中在拓扑绘制上。
• 为弯折最小化正交扩展问题建立固定参数可追踪解法，克服一般情况下的NP难性。

提出的方法

• 引入一种新的平面弯折等价区域图表示法，用于建模顶点与折点的位置。
• 定义一种扇形网格离散化方法，将平面划分为局部有界的子网格，从而为折点与顶点提供有限的搜索空间。
• 基于这些区域构建辅助图，并证明其具有有界树宽，从而支持动态规划。
• 在辅助图上采用基于树分解的动态规划方法，追踪每个节点袋中的顶点与边集合及折点配置。
• 在每个树节点（合并、引入、遗忘）设计状态记录，追踪可行配置与累积折点成本。
• 应用分支与约化规则，将问题简化为基于面的扩展问题，从而缩小搜索空间。

实验结果

研究问题

• RQ1 当以缺失子图的大小为参数时，弯折最小化正交图绘制扩展问题是否为固定参数可追踪的？
• RQ2 鉴于正交绘制中固有的复杂性，能否有效利用参数化算法处理其几何约束？
• RQ3 将平面离散化为有界子网格是否能保持弯折最小化在正交绘制中的最优性？
• RQ4 绘制空间的哪些结构特性（如区域图的树宽）使得在几何设置下能够高效进行动态规划？
• RQ5 所提出的方法能否推广至其他几何绘制约束，例如每条边的弯折数受限的情况？

主要发现

• 当以缺失子图大小κ为参数时，弯折最小化正交扩展（BMOE）问题为固定参数可追踪的。
• 该问题可在时间 2^κ^O(1) · n 内求解，其中n为部分绘制中特征点的数量。
• 作者提出一种新颖的扇形网格几何离散化方法，使顶点与折点放置的搜索空间有限且有界。
• 引入了弯折等价区域表示法，其对应的辅助图具有有界树宽，从而支持动态规划。
• 动态规划框架通过在树分解节点（合并、引入、遗忘）间组合记录并追踪折点成本，正确计算出最优解。
• 该方法具有可扩展性：稍作修改即可得到针对每条边弯折数受限变体的FPT算法，参数化为κ + δ。