[論文レビュー] Edge Coloring with Minimum Reload/Changeover Costs

Didem Gözüpek, Mordechai Shalom|arXiv (Cornell University)|Jul 22, 2016

Advanced Graph Theory Research参考文献 11被引用数 3

ひとこと要約

本稿は、グラフの適切な辺彩色を通じてリロードコストとチェンジオーバー費用を最小化するという、ネットワーク最適化における2つの新しい問題を導入し、それらを研究している。スパースなブロックグラフで次数が有界なカット頂点を持つ場合に、動的計画法アルゴリズムを提示し、これらの構造的制約のもとで多項式時間で解けることを証明している一方で、一般の場合にはNP困難性および近似不可能性の結果も得ている。

ABSTRACT

In an edge-colored graph, a traversal cost occurs at a vertex along a path when consecutive edges with different colors are traversed. The value of the traversal cost depends only on the colors of the traversed edges. This concept leads to two global cost measures, namely the \emph{reload cost} and the \emph{changeover cost}, that have been studied in the literature and have various applications in telecommunications, transportation networks, and energy distribution networks. Previous work focused on problems with an edge-colored graph being part of the input. In this paper, we formulate and focus on two pairs of problems that aim to find an edge coloring of a graph so as to minimize the reload and changeover costs. The first pair of problems aims to find a proper edge coloring so that the reload/changeover cost of a set of paths is minimized. The second pair of problems aim to find a proper edge coloring and a spanning tree so that the reload/changeover cost is minimized. We present several hardness results as well as polynomial-time solvable special cases.

研究の動機と目的

• 固定彩色を仮定するのではなく、リロードおよびチェンジオーバー費用を最小化する辺彩色問題を定式化することで、文献におけるギャップを埋めること。
• パスやスパニングツリーを介した全般的な走査コストを最小化する適切な辺彩色を見つける問題の複雑性を調査すること。
• これらの問題が多項式時間で解けるようになる構造的条件を同定すること、特に次数が有界なカット頂点およびスパースなブロックグラフに焦点を当てる。
• 走査コスト最小化を含む2つの新しいネットワーク設計問題のファミリーに対して、正確なアルゴリズムと複雑性の上限を提供すること。

提案手法

• 与えられたパス集合上のリロード／チェンジオーバー費用を最小化する問題と、ルートからすべての頂点へのスパニングツリーを通じて費用を最小化する問題の2組の問題を定式化する。
• グラフのブロックツリーに沿って動的計画法を適用し、ブロックおよびカット頂点において最適コストを再帰的に計算する。
• 各ブロックについて、辺彩色および部分木コストから導かれる完全二部グラフにおける最小重み完全マッチングを用いて、最小コストの彩色を計算する。
• カット頂点については、辺彩色および最適部分木を全通りの組み合わせで推測し、走査コストと部分木コストの合計を通じて結果を統合する。
• 頂点におけるコストが、到着する辺の色およびその子部分木のコストに依存する再帰的定式化を採用する。
• 部分問題がそのスーパープロブレムよりも先に解かれるように保証するため、ブロックツリーの後行順走査を用いて、下からの計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 与えられたパス集合上の総リロードコストを最小化する適切な辺彩色を見つけることは可能か？ また、この問題の複雑性はいかほどか？
• RQ2 スパニングツリーの選択も伴う場合に、辺彩色によってチェンジオーバー費用を最小化できるか？ そして、どのような条件下で多項式時間で解けるか？
• RQ3 グラフの構造的性質（例えば、次数が有界なカット頂点、スパースなブロック）が、これらの問題に対する多項式時間アルゴリズムの実現を可能にするか？
• RQ4 辺彩色が意思決定の一部である場合、最小リロードまたはチェンジオーバー費用を近似することはどの程度難しいか？
• RQ5 走査コストが有界か無限かによって、辺彩色問題の近似可能性および複雑性にどのような影響があるか？

主な発見

• リロードおよびチェンジオーバー費用最小化問題は、グラフがスターモデルであっても、走査コストが有界であっても、NP困難であることが示された。
• 走査コストが無限である場合、入力長の任意の多項式時間で計算可能な関数内で、これらの問題は近似不可能である。
• スパースなブロックおよび次数が有界なカット頂点を持つグラフにおいて、動的計画法を用いることで、チェンジオーバー費用最小化問題は多項式時間で解ける。
• アルゴリズムは、最小重み完全マッチングとブロックツリー構造に沿った再帰的コスト集約を組み合わせることで最適解を計算する。
• MinRCPTEC問題において、コスト関数の内側の項には、パス数の乗数が含まれており、これはリロードコストが商品フローに依存することを反映している。
• カット頂点における最適コストの計算の時間計算量は、入力サイズに関して多項式であり、定数 c₁, c₂ が頂点の次数およびブロックサイズに関係して |X|^{c₁} · |E(G)|^{c₂+1} で上限が与えられる。