[论文解读] Drawing Binary Tanglegrams: An Experimental Evaluation

Martin Nöllenburg, Danny Holten+2 more|ArXiv.org|Jun 5, 2008

Data Visualization and Analytics参考文献 9被引用 5

一句话总结

本文评估并改进了用于最小化二叉纠缠图（tanglegrams）边交叉数的算法——通过递归分割方法并结合分支定界法。改进后的算法在200片叶子以内的纠缠图中，可在0.4秒内实现最优或近似最优的交叉数减少，优于启发式算法和整数二次规划（IQP）在解质量上的表现；而层次排序（hierarchy sort）在处理大规模或非二叉纠缠图时仍为最快，适合交互式应用。

ABSTRACT

A binary tanglegram is a pair of binary trees whose leaf sets are in one-to-one correspondence; matching leaves are connected by inter-tree edges. For applications, for example in phylogenetics or software engineering, it is required that the individual trees are drawn crossing-free. A natural optimization problem, denoted tanglegram layout problem, is thus to minimize the number of crossings between inter-tree edges. The tanglegram layout problem is NP-hard and is currently considered both in application domains and theory. In this paper we present an experimental comparison of a recursive algorithm of Buchin et al., our variant of their algorithm, the algorithm hierarchy sort of Holten and van Wijk, and an integer quadratic program that yields optimal solutions.

研究动机与目标

• 为解决纠缠图布局问题，即在保持平面树图的前提下最小化二叉纠缠图中树间边的交叉数。
• 从交叉数减少与运行时间两方面，比较精确算法与启发式算法的性能表现。
• 改进Buchin等人提出的递归分割算法，以在非平衡树上获得更优结果。
• 评估通过整数二次规划（IQP）对中等规模实例实现最优解的可行性。
• 确定在真实世界纠缠图类型（如随机型、突变型、完全树型）中，解质量、运行时间与适用性之间的权衡。

提出的方法

• 在Buchin等人递归分割算法基础上，增加预处理步骤，以提升在非平衡树上的性能表现。
• 通过引入分支定界法（branch-and-bound），增强递归算法（记为rec-split-bb），以加速收敛至最优解。
• 实现Holten与van Wijk提出的层次排序（hierarchy sort）启发式算法，以快速生成视觉上令人愉悦的布局。
• 将纠缠图布局问题建模为整数二次规划（IQP），以计算最优解。
• 使用对数坐标图与四类纠缠图（完全树型、随机型、突变型、通用型）的中位运行时间，对各类算法进行比较。
• 在200片叶子的树上测量性能，并评估树高、相似度与交叉数对运行时间的影响。

实验结果

研究问题

• RQ1 改进后的递归分割算法在非平衡树上的交叉数减少与运行时间表现，相较于原始算法有何差异？
• RQ2 在解质量与速度之间，层次排序、改进的递归算法与IQP之间存在何种权衡？
• RQ3 为何突变型（相似型）纠缠图的计算时间反而长于随机型，尽管其交叉数更少？
• RQ4 IQP能否在10分钟内对中等规模纠缠图（n ≤ 64）实现最优求解？其可扩展性受何限制？
• RQ5 分支定界变体（rec-split-bb）的运行时间如何受树高与预处理的影响，尤其与纯递归版本相比？

主要发现

• 采用分支定界法改进的递归分割算法（rec-split-bb）在200片叶子的纠缠图中，实现了最优或近似最优的交叉数减少，中位运行时间低于360毫秒，最大运行时间不超过0.4秒。
• 层次排序是最快算法，在完全树型中所有实例均于12毫秒内完成，在通用树型中均于90毫秒内完成，适合交互式应用。
• IQP在10分钟内对所有突变型纠缠图（交叉数较低）均实现了最优求解，但对随机型纠缠图在n > 64时无法证明最优性，因对偶间隙持续增大。
• rec-split-bb的运行时间主要受O(n²h)时间复杂度的预处理步骤主导，该步骤并非随树高呈指数增长，与朴素递归版本不同。
• 突变型纠缠图的计算时间长于随机型，是因为其平均递归深度更深，而树高相似性导致递归层级更深。
• 朴素递归实现（rec-split与rec-split-improved）的运行时间随树高呈指数增长，即使经过预处理，对深层或非平衡树仍不切实际。