[論文レビュー] 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

ひとこと要約

本稿は、最小ラベルスパニングツリー問題（MLSTP）の変種である最小ラベルスパニング2部接続部分グラフ問題（MLSBP）を導入する。MLSBPの目的は、異なるエッジラベルの数を最小化しつつ、2頂点連結（2-頂点連結）な部分グラフを求めるものである。著者らは、MLSTPで用いられる正確なA*アルゴリズムおよび最大頂点被覆アルゴリズム（MVCA）ヒューリスティクスをMLSBPに適応させ、深さ優先探索（DFS）を用いたブロック検出により2部接続性を強制可能であり、連結成分およびブロック数の減少に基づくラベル選択により効果的に解を得られることを示している。

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.

研究の動機と目的

• MLSTPを拡張し、単なる連結性ではなく2部接続性を要件とする最小ラベルスパニング2部接続部分グラフ問題（MLSBP）を形式的に定式化し、その性質を検討すること。
• MLSTPで既に開発済みの正確およびヒューリスティクス的手法（特にA*探索およびMVCA）を、新たな問題クラスに適応させること。
• ノード障害がネットワークを分断しないよう保証できる、交通網、通信網、社会的ネットワークにおける強固なネットワーク設計を可能にすること。
• 将来のメタヒューリスティクスの拡張および、複数のラベルが付与されたエッジを含む実世界の応用の基盤を築くこと。

提案手法

• MLSTPで用いられるA*バックトラッキングアルゴリズムを、MLSBPを解くために適応させる。連結性のチェックをDFSを用いた2部接続性のテストに置き換える。
• DFSを用いて関節点（cut vertices）を特定し、2部接続成分（ブロック）を同定する。頂点の訪問順序とバックエッジを活用して関節点を特定する。
• 現在の部分グラフにおける連結成分とブロック数の合計を最小化するようにラベルを選択する、貪欲な構成的ヒューリスティクス（MVCA）を実装する。
• 各ステップで、ラベルの追加によるブロック数および連結成分数の変化を評価し、異なるブロックに属する頂点間の最短経路をBFSで計算する。
• 正確な手法において、より良い解が得られないラベルの部分集合を除外することで、探索空間を縮小するための枝刈りルールを適用する。
• スタックベースのDFS走査を用いて、探索中にブロックを保持および抽出し、効率的なブロック検出と成分数のカウントを実現する。

実験結果

リサーチクエスチョン

• RQ1 MLSTPで用いられるA*正確アルゴリズムを、連結性チェックを2部接続性チェックに置き換えることで、より複雑なMLSBPに効果的に適応できるか？
• RQ2 MLSTPに設計されたMVCAヒューリスティクスの性能は、2部接続性制約下でMLSBPに適用した際に、どのように保たれるか？
• RQ3 2部接続性の文脈において、ブロック数と成分数を同時に最小化する場合と、成分数のみを最小化する場合とで、ラベル選択行動にどのような構造的差異が生じるか？
• RQ4 ラベル追加の過程で、ブロック数および連結成分数はどのように変化するのか？その減少を支配するルールは何か？
• RQ5 各エッジが複数のラベルを有する（複数のプロバイダーまたは通信モードを表す）マルチラベルエッジが、MLSBPの解空間およびアルゴリズム設計に与える影響は何か？

主な発見

• MLSBPに適応された正確なA*アルゴリズムは、ラベルの部分集合をテストし、DFSを用いて2部接続性を検証することで、最適解を効果的に特定できる。
• MVCAヒューリスティクスは、部分グラフ内の構造的統合を最大化するラベル選択により、連結成分数とブロック数の両方を効果的に削減する。
• 同じブロック内にエッジを追加しても、ブロック数および成分数に変化は生じない。異なる成分間にエッジを追加すると、成分数は1減少する。同じ成分内に属する異なるブロック間でエッジを追加すると、ブロック数が減少する。
• 異なるブロックに属する頂点間の最短経路をBFSで計算することで、ブロック数および成分数を効率的に逐次更新できる。
• アルゴリズムフレームワークは、各エッジが複数のラベルを有する場合の将来的な拡張を可能としており、異なるプロバイダーや通信モードを表すラベルを含む応用に適している。
• 問題はNP困難であり、提案手法は実世界のネットワーク設計応用におけるスケーラブルなメタヒューリスティクス解法の基盤を提供する。