[论文解读] A Hybrid Graph Representation for Exact Graph Algorithms

Faisal N. Abu-Khzam, Karim Jahed+1 more|arXiv (Cornell University)|Apr 25, 2014

Advanced Graph Theory Research参考文献 18被引用 4

一句话总结

本文提出一种混合图表示法，结合邻接表与邻接矩阵，通过在递归回溯过程中实现高效的撤销操作，加速精确图算法。通过利用控制栈实现隐式撤销，并结合快速邻接查询与高效的邻域遍历，该方法在顶点覆盖、支配集和聚类编辑问题上，将运行时间至少缩短为原来的二分之一，部分情况甚至从数天缩短至数分钟。

ABSTRACT

Many exact search algorithms for NP-hard graph problems adopt the old Davis-Putman branch-and-reduce paradigm. The performance of these algorithms often suffers from the increasing number of graph modifications, such as vertex/edge deletions, that reduce the problem instance and have to be "taken back" frequently during the search process. We investigate practical implementation-based aspects of exact graph algorithms by providing a simple hybrid graph representation that trades space for time to address the said take-back challenge. Experiments on three well studied problems show consistent significant improvements over classical methods.

研究动机与目标

• 解决精确图算法中因频繁修改图结构及其在递归回溯过程中代价高昂的撤销操作而产生的性能瓶颈。
• 降低在分支限界算法中维护与恢复图状态变更的实现开销。
• 设计一种实用的数据结构，结合邻接矩阵（常数时间邻接查询）与邻接表（高效邻域遍历）的优势。
• 评估该混合表示法对NP难图问题精确算法运行时间的影响。
• 在多个知名图问题上展示一致且显著的性能提升。

提出的方法

• 该混合表示法为同一张图同时维护邻接表与邻接矩阵，支持O(1)的邻接查询与O(Δ(G))的邻域遍历。
• 对图的修改操作（如顶点与边的删除）同时作用于两种表示，并将操作细节存储在栈上以实现显式撤销。
• 其关键创新在于利用处理器的控制栈隐式管理撤销操作，从而无需在算法逻辑中显式维护书签。
• 通过邻接矩阵实现快速查找，邻接表实现高效遍历，该方法支持高效的永久边添加与公共邻域计算。
• 该混合结构被应用于递归回溯算法中，其中修改操作频繁被撤销，通过基于栈的恢复机制实现快速回滚。
• 实现采用标准C语言，评估对象为三个NP难问题：顶点覆盖、支配集与聚类编辑。

实验结果

研究问题

• RQ1 结合邻接表与邻接矩阵的混合数据结构能否显著减少精确图算法的运行时间？
• RQ2 该混合表示法在递归回溯算法中对撤销操作效率的提升程度如何？
• RQ3 与经典的邻接表实现相比，该混合表示法在NP难图问题上的性能表现如何？
• RQ4 通过控制栈实现的隐式撤销机制在实践中是否优于显式栈式撤销？
• RQ5 该混合表示法能否有效应用于顶点覆盖、支配集与聚类编辑等多样化的图问题？

主要发现

• 该混合图表示法在所有测试的算法与问题实例中，运行时间均至少缩短为原来的二分之一。
• 在300个顶点、4-正则的顶点覆盖问题中，启用折叠优化后，运行时间从超过4天缩短至7分钟以内。
• 在1000个顶点的随机图（支配集大小为3）上，混合版本耗时6分36秒，而邻接表版本耗时28分37秒。
• 对于聚类编辑问题，在500个顶点、k=30的图上，混合实现将时间从21天缩短至4天，展现出显著的性能提升。
• 该方法使此前无法求解的实例得以解决，例如一个300个顶点、k=8的图，邻接表版本耗时超过7天，而混合表示法仅用8小时14分钟即完成。
• 性能提升在所有问题类型与图密度下均保持一致，且在高密度与大规模实例中提升最为显著。