[論文レビュー] An Integer Linear Programming Formulation for the Convex Dominating Set Problems

Jozef Kratica, Vladimir Filipović+2 more|arXiv (Cornell University)|Apr 4, 2019

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

ひとこと要約

本稿では、凸支配集合問題（CVXDSP）について2つの整数線形計画法（ILP）定式化と、弱凸支配集合問題（WCVXDSP）について1つの定式化を提示し、元の組合せ最適化問題とILPモデルの等価性を示すことにより、その正しさを証明している。主な貢献は、標準的なソルバを用いてこれらのNP困難なグラフ最適化問題の正確な解法を可能にするきめ細やかなILPフレームワークを確立したことである。

ABSTRACT

Due to their importance in practice, dominating set problems in graphs have been greatly studied in past and different formulations of these problems are presented in literature. This paper's focus is on two problems: weakly convex dominating set problem (WCVXDSP) and convex dominating set problem (CVXDSP). It introduces two integer linear programming (ILP) formulation for CVXDSP and one ILP mode for WCVXDSP, as well as proof for equivalency between ILP models for CVXDSP. The proof of correctness for all introduced ILP formulations is provided by showing that optimal solution to the each ILP formulation is equal to the optimal solution of the original problem.

研究の動機と目的

• 凸支配集合問題（CVXDSP）および弱凸支配集合問題（WCVXDSP）の正確なILP定式化の開発を目的とする。
• 提案されたILPモデルと元の組合せ最適化問題との間の等価性を確立することを目的とする。
• 各ILP定式化の最適解が、対応するグラフ問題の最適解と一致することを証明することを目的とする。
• 標準的な最適化ソルバを用いたこれらのNP困難問題の正確な解法の基盤を提供することを目的とする。

提案手法

• 支配集合への頂点の含むかどうかを示す2値変数を用いて、CVXDSPを2つの異なるILPモデルに定式化する。
• すべての頂点が支配されることと、選択された頂点間のすべての最短経路が集合内に存在することを保証する制約を導入する。
• 距離に基づく制約を用いて弱凸性を強制する：集合内の各頂点対について、最短経路に沿って少なくとも1つの隣接頂点が集合に含められる必要がある。
• 数学的帰納法とケース別分析を用いて、ILP制約が弱凸性および支配性を正しく強制することを証明する。
• 任意の妥当なILP解が、弱凸または凸支配集合に対応することを示すことにより、ILPモデルと元の問題との等価性を実証する。
• 最適なILP解が、CVXDSPおよびWCVXDSPの両方において最小基数の支配集合を生成することを証明することで、正しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 凸支配集合問題は整数線形計画法を用いて正確にモデル化可能か？
• RQ2 CVXDSPの2つの提案されたILP定式化は、最適解の観点で等価か？
• RQ3 弱凸支配集合問題は効果的にILPモデルとして定式化可能か？
• RQ4 WCVXDSPのILP定式化は、支配性と弱凸性の両方を正しく強制するか？
• RQ5 ILP定式化の最適解は、元のグラフ問題の最適解と保証して一致するか？

主な発見

• CVXDSPの2つのILP定式化は、最適解が同一であることを証明しており、等価であることが示された。
• WCVXDSPのILPモデルは、支配性と弱凸性の両方を正しく強制しており、妥当な解が有効な弱凸支配集合に対応することを保証している。
• 任意のILPの妥当解が、所定の凸性を有する有効な支配集合に対応することを示すことにより、正しさの証明が確立された。
• 各ILP定式化の最適解値は、対応するグラフ支配数（γ_cvx(G) または γ_wcvx(G)）に等しいことが保証されている。
• ILPモデルは数学的に整合性があり、標準的なILPソルバを用いた正確な解法の基盤として利用可能である。
• 本研究は、大規模インスタンスにおける今後の実験的評価およびメタヒューリスティクスの開発のための堅実な基盤を提供している。