[论文解读] Exact and fixed-parameter algorithms for metro-line crossing minimization problems

Yoshio Okamoto, Yuichi Tatsu+1 more|arXiv (Cornell University)|Jun 15, 2013

Computational Geometry and Mesh Generation参考文献 6被引用 5

一句话总结

本文针对路径上的地铁线路交叉最小化问题（MLCM-P_PATH）提出了精确算法与固定参数算法，其中线路终点必须置于车站边缘。该文提出了一种多项式时间算法求解决策问题（即不存在交叉的情况），并设计了一种O*(2^|ℒ|)时间的精确算法，同时提出了一种关于线路多重性k的固定参数可追踪算法，时间复杂度为O(k³2ᵏ|V|)，从而正面解决了关于路径图的一个开放问题。

ABSTRACT

A metro-line crossing minimization problem is to draw multiple lines on an underlying graph that models stations and rail tracks so that the number of crossings of lines becomes minimum. It has several variations by adding restrictions on how lines are drawn. Among those, there is one with a restriction that line terminals have to be drawn at a verge of a station, and it is known to be NP-hard even when underlying graphs are paths. This paper studies the problem in this setting, and propose new exact algorithms. We first show that a problem to decide if lines can be drawn without crossings is solved in polynomial time, and propose a fast exponential algorithm to solve a crossing minimization problem. We then propose a fixed-parameter algorithm with respect to the multiplicity of lines, which implies that the problem is FPT.

研究动机与目标

• 针对在站点边缘放置线路终点的约束条件下，解决NP难的地铁线路交叉最小化问题（MLCM-P）
• 判断是否存在零交叉的布局，并高效求解交叉最小化问题
• 研究MLCM-P_PATH在线路多重性k下的固定参数可追踪性，解决Nöllenburg提出的一个开放问题
• 为实际地铁地图绘制开发实用算法，其中线路多重性通常较小

提出的方法

• 将零交叉决策问题归约为图平面性问题，从而在路径图上实现多项式时间可解
• 设计一种基于动态规划的指数时间精确算法，通过在每个顶点处利用线路顺序的相对排列关系来实现
• 提出一种以线路多重性k为参数的固定参数算法，通过排列的等价类来减少状态空间
• 利用仅需考虑每个等价类内最小化交叉的排列这一事实，将状态数减少至O(2ᵏ)
• 通过在相邻顶点间的排列之间计算逆序数来计算交叉数量，使用动态规划传播代价
• 利用二分查找与字典序排序，高效访问并处理线路排列的等价类

实验结果

研究问题

• RQ1 对于路径图，是否存在一种多项式时间算法，用于判断是否存在零交叉的地铁线路布局？
• RQ2 是否存在一种时间复杂度为O*(2^|ℒ|)的MLCM-P_PATH精确算法？
• RQ3 MLCM-P_PATH是否关于线路多重性k具有固定参数可追踪性？
• RQ4 能否通过利用周边条件下的排列等价类，减少每个车站处相关排列的数量？
• RQ5 基于线路多重性的固定参数算法是否在真实世界实例中表现出实际性能？

主要发现

• 通过将问题归约为图平面性，MLCM-P_PATH中是否存在无交叉布局的决策问题可在多项式时间内求解
• MLCM-P_PATH的精确算法时间复杂度为O*(2^|ℒ|)，显著优于朴素枚举方法
• 该问题关于线路多重性k具有固定参数可追踪性，时间复杂度为O(k³2ᵏ|V|)
• 每个车站处相关排列的数量被限制在O(2ᵏ)以内，其中k为任意顶点所关联的线路最大数量
• 通过仅考虑每个排列等价类内最小化交叉的排列，该算法能高效剪枝搜索空间
• 基于线路多重性的固定参数算法为真实世界地铁地图提供了实用解决方案，因为实际中线路多重性通常较小