[論文レビュー] Distance geometry approach for special graph coloring problems

Rosiane Rodrigues, Bruno Dias+2 more|arXiv (Cornell University)|Jun 15, 2016

graph theory and CDMA systems参考文献 2被引用数 4

ひとこと要約

本稿では、距離制約付きの特殊なグラフ彩色問題を解くための距離幾何学的手法を提案する。頂点の彩色を、所定の頂点間距離を満たす実数直線上への頂点埋め込みとしてモデル化する。DMDGP手法に基づく分岐・ pruning・分枝限定法（branch-prune-and-bound）アルゴリズムを導入し、特定のグラフクラスにおける実行可能性条件を確立するとともに、制約伝播と最適化を用いてT彩色の変種を効率的に解くことを示している。

ABSTRACT

One of the most important combinatorial optimization problems is graph coloring. There are several variations of this problem involving additional constraints either on vertices or edges. They constitute models for real applications, such as channel assignment in mobile wireless networks. In this work, we consider some coloring problems involving distance constraints as weighted edges, modeling them as distance geometry problems. Thus, the vertices of the graph are considered as embedded on the real line and the coloring is treated as an assignment of positive integers to the vertices, while the distances correspond to line segments, where the goal is to find a feasible intersection of them. We formulate different such coloring problems and show feasibility conditions for some problems. We also propose implicit enumeration methods for some of the optimization problems based on branch-and-prune methods proposed for distance geometry problems in the literature. An empirical analysis was undertaken, considering equality and inequality constraints, uniform and arbitrary set of distances, and the performance of each variant of the method considering the handling and propagation of the set of distances involved.

研究の動機と目的

• 頂点を実数直線上に埋め込むことで、距離制約付きのグラフ彩色問題を距離幾何学問題（DG）としてモデル化すること。
• 特定の距離彩色問題が実行不可能となる構造的障害（禁止グラフ構造）を同定すること。
• 分岐・ pruning 法に基づく正確かつ近似アルゴリズムを開発し、これらの制約付き彩色問題を解くこと。
• 等距離制約と不等距離制約、均一な距離集合と任意の距離集合の違いが、計算インスタンスにおける解法性能に与える影響を評価すること。
• 奇数長のサイクル、偶数長のサイクル、木などの特定のグラフクラスに対して、距離制約下での理論的実行可能性条件を確立すること。

提案手法

• 頂点を実数直線上に埋め込み、彩色割り当てを整数位置に対応させる距離幾何学問題（DG）として、距離制約付きの頂点彩色をモデル化する。
• 離散化可能な分子距離幾何問題（DMDGP）から派生する分岐・ pruning（BP）アルゴリズムを、制約付き彩色問題に適応する。
• 分岐・ pruning・分枝限定法（BPB）アルゴリズムを導入し、分枝限定法と制約伝播を組み合わせて探索効率を向上させる。
• 距離集合（等距離と不等距離の両方を含む）の管理に、ドメイン縮小と制約伝播技術を適用する。
• BPBによる暗黙的列挙を用いて解空間を探索し、距離違反に基づき早期に非妥当な分岐を pruning する。
• ランダムに生成されたグラフを用いた計算実験を通じて、異なる距離集合タイプと制約タイプの下での性能を比較する。

実験結果

リサーチクエスチョン

• RQ1 どのグラフクラスが距離制約付き彩色問題に対して実行可能な解を有し、どの構造的要因が実行可能性の障害となるか？
• RQ2 距離に関する等距離制約と不等距離制約の違いが、彩色問題の可解性と計算複雑性にどのように影響するか？
• RQ3 均一な距離集合と任意の距離集合の違いが、分岐・ pruning・分枝限定法の性能に与える影響は何か？
• RQ4 制約伝播とドメイン縮小は、距離制約付き彩色問題の解法効率を顕著に向上させることができるか？
• RQ5 奇数サイクル、偶数サイクル、木などの異なるグラフ構造は、BPBアルゴリズムにおけるプルーニング回数とCPU時間にどのように影響するか？

主な発見

• 特定の距離制約下では、奇数長のサイクル（例：3, 5, 7）は実行不可能であることが実験で確認された。これは、妥当な解が存在しなかったためである。
• 偶数サイクルと木の両方において、一貫して実行可能な解が得られ、プルーニング回数が少なく、CPU時間が短く、構造的実行可能性が裏付けられた。
• 不等距離制約と任意の距離集合を用いたBPBアルゴリズムは、顕著に高い計算コストを示した。例えば、1つのインスタンスで最大1,100万回のプルーニングと、10,800秒のCPU時間がかかった。
• 一方、等距離制約と均一な距離集合を用いた場合、収束が早く、ほとんどのテストケースで10秒未満のCPU時間がかかった。
• プルーニング回数と境界数は、グラフの種別と距離集合の種類に大きく依存した。例えば、21頂点と3つの距離制約を持つ木インスタンス4では、13.998秒で863,702回のプルーニングと3,463,966回の境界評価が行われた。
• 本手法は、構造的解析を通じて特定のグラフクラス（例：奇数サイクル）における実行不可能性を効果的に同定し、理論的実行可能性条件の妥当性を確認した。