[论文解读] On the Minimum Labelling Spanning bi-Connected Subgraph problem

Perez, J. A. Moreno, Consoli, S.|arXiv (Cornell University)|May 7, 2015

Vehicle Routing Optimization Methods参考文献 5被引用 3

一句话总结

本文引入了最小标记生成双连通子图问题（MLSBP），它是最小标记生成树问题（MLSTP）的一个变种，目标是使用最少数量的不同边标记，找到一个双连通（2-点连通）子图。作者将MLSTP中使用的精确A*算法和最大顶点覆盖算法（MVCA）启发式方法适配到MLSBP中，证明了可通过基于DFS的块检测来强制实现双连通性，并基于连通分量和块数的减少来选择标记。

ABSTRACT

We introduce the minimum labelling spanning bi-connected subgraph problem (MLSBP) replacing connectivity by bi-connectivity in the well known minimum labelling spanning tree problem (MLSTP). A graph is bi-connected if, for every two vertices, there are, at least, two vertex-disjoint paths joining them. The problem consists in finding the spanning bi-connected subgraph or block with minimum set of labels. We adapt the exact method of the MLSTP to solve the MLSTB and the basic greedy constructive heuristic, the maximum vertex covering algorithm (MVCA). This proce- dure is a basic component in the application of metaheuristics to solve the problem.

研究动机与目标

• 正式定义并研究最小标记生成双连通子图问题（MLSBP），该问题通过将MLSTP中的简单连通性要求扩展为双连通性要求，从而实现扩展。
• 将现有的精确与启发式求解方法——特别是A*搜索和MVCA——适配到新的问题类别中。
• 在交通、通信和社会网络等场景中实现稳健的网络设计，确保节点故障不会导致网络断开。
• 为未来元启发式方法的扩展以及涉及多标记边的实际应用奠定基础。

提出的方法

• 通过将MLSTP中使用的A*回溯算法适配到MLSBP中，用基于DFS的双连通性检测替代连通性检查。
• 使用DFS检测割点并识别双连通分量（块），利用顶点访问顺序和后向边来确定割点。
• 实现一种贪心构造启发式方法（MVCA），根据最小化当前子图中连通分量与块数的原则选择标记。
• 在每一步中，通过计算块数和连通分量数的变化来评估标记的加入，使用BFS计算不同块中顶点之间的最短路径。
• 在精确方法中应用剪枝规则，通过剔除无法产生更优解的标记子集来缩小搜索空间。
• 使用基于栈的DFS遍历方式，在搜索过程中维护并提取块，从而实现高效的块检测与分量计数。

实验结果

研究问题

• RQ1 能否将MLSTP中使用的A*精确算法有效适配到更复杂的MLSBP中，通过将连通性检查替换为双连通性检查？
• RQ2 原本为MLSTP设计的MVCA启发式方法在双连通性约束下，其性能在MLSBP中的表现如何？
• RQ3 在最小化块数与分量数与仅最小化分量数的背景下，标记选择行为的结构性差异是什么？
• RQ4 在添加标记的过程中，块数与连通分量数如何演变？其减少遵循哪些规则？
• RQ5 多标记边（即每条边可能携带多个标记）对MLSBP的解空间和算法设计有何影响？

主要发现

• 为MLSBP适配的精确A*算法通过测试标记子集并使用DFS验证双连通性，成功识别出最优解。
• MVCA启发式方法通过选择能最大程度促进子图结构整合的标记，有效减少了连通分量与块数。
• 在同一个块内添加一条边不会改变块数或分量数；在不同分量之间添加一条边会使分量数减少1；在同一个分量中不同块之间添加一条边会减少块数。
• 通过使用BFS计算不同块中顶点之间的最短路径，可以增量且高效地更新块数与分量数。
• 该算法框架允许未来扩展至多标记边，其中每条边可具有多个标记，代表不同的提供商或通信模式。
• 该问题为NP难问题，所提出的算法为实际网络设计应用中可扩展的元启发式解决方案提供了基础。