[論文レビュー] A Novel Mathematical Model for the Unique Shortest Path Routing Problem

Ch. Zhang|arXiv (Cornell University)|Jun 30, 2008

Network Traffic and Congestion Control参考文献 13被引用数 3

ひとこと要約

本稿では、一意な最短経路ルーティング問題のための新しい出発元ベースの数学的モデル（OBM）を提案する。このモデルは多項式個の制約で定式化されており、分解法を用いた効率的な正確解法を可能にする。OBMは、従来の需要ベースの定式化と比較してモデルのサイズを縮小し、制約構造を改善することで、ベンダース分解における収束速度を向上させ、大規模ネットワークインスタンスにおいて既存の手法を上回る性能を発揮する。

ABSTRACT

Link weights are the principal parameters of shortest path routing protocols, the most commonly used protocols for IP networks. The problem of optimally setting link weights for unique shortest path routing is addressed. Due to the complexity of the constraints involved, there exist challenges to formulate the problem properly, so that a solution algorithm may be developed which could prove to be more efficient than those already in existence. In this paper, a novel complete formulation with a polynomial number of constraints is first introduced and then mathematically proved to be correct. It is further illustrated that the formulation has advantages over a prior one in terms of both constraint structure and model size for a proposed decomposition method to solve the problem.

研究の動機と目的

• 多項式サイズの制約を備えた、一意な最短経路ルーティング問題の完全かつ正確な数学的定式化を開発すること。
• 最適性を保証できないヒューリスティック手法や不完全な定式化の限界を是正すること。
• 特にベンダース分解を含む効果的な分解アルゴリズムを可能にすることで、解法の効率を向上させること。
• モデルサイズと制約構造の観点から、新規定式化と既存の需要ベースのモデルを比較すること。
• 平均サイズのデータインスタンスを対象とした、スケーラブルで正確な現実世界のネットワークルーティング問題へのソリューション基盤を提供すること。

提案手法

• 出発元ノードを中心に制約を再構築する出発元ベースの定式化（OBM）を提案し、個々の需要ではなく出発元に着目することで複雑性を低減する。
• OBMが元の問題と同等であり、実行可能性および最適性の観点で正しく、等価であることを数学的に証明する。
• 経路の一意性とルーティング意思決定を明示的にモデル化するために、補助的なフロー変数とフロー制限制約を導入する。
• OBMが、1つのマスタープロブレムと2つのサブプロブレムに分割可能なグローバル分解構造を可能にし、アルゴリズムの柔軟性を向上させることを示す。
• OBMにベンダース分解を適用し、各出発元ノードごとに独立したサブプロブレムを可能にすることでスケーラビリティを向上させる。
• 大規模ネットワークインスタンスを用いて、モデルサイズと制約構造の指標に基づき、OBMと従来の需要ベースのモデル（DBM）を比較する。

実験結果

リサーチクエスチョン

• RQ1 一意な最短経路ルーティング問題を、正確な解法が保証される多項式個の制約で数学的に定式化するにはどうすればよいか？
• RQ2 分解効率の観点から、需要ベースの定式化と比較して、出発元ベースの定式化がどのような構造的利点を有するか？
• RQ3 大規模ネットワークインスタンスにおいて、新規定式化のモデルサイズは既存の定式化と比べてどの程度か？
• RQ4 新規定式化は、ベンダース分解のようなより効率的な分解アルゴリズムをサポートできるか？
• RQ5 新規定式化の構造的特徴により、解法速度とスケーラビリティはどの程度向上できるか？

主な発見

• 大規模インスタンス（50ノード、642リンク、1,000件の需要）において、出発元ベースのモデル（OBM）は、元の問題の変数数を645,000以上から64,200にまで削減した。
• OBMの下で、元の問題の制約数は130万以上から37,742にまで大幅に削減された。
• OBMのマスタープロブレムは、需要ベースのモデル（DBM）のマスタープロブレムと比較して、変数と制約の両方が20倍も少ない。
• OBMは、DBMの1つのマスタープロブレムと1つのサブプロブレムに比べ、1つのマスタープロブレムと2つのサブプロブレムをサポートするより柔軟な分解構造を実現した。
• OBMの改善された制約構造と縮小されたモデルサイズにより、ベンダース分解の効率が向上し、実際の収束速度が速くなった。
• 本稿では、OBMが実行可能性および最適性の観点で元の問題と同等であり、正しく定式化されていることを確立しており、強固なソリューションフレームワークとしての有効性を検証した。