[論文レビュー] Improved Lower Bounds for Sum Coloring via Clique Decomposition

Qinghua Wu, Jin‐Kao Hao|arXiv (Cornell University)|Mar 27, 2013

Scheduling and Timetabling Solutions参考文献 19被引用数 10

ひとこと要約

本稿では、最小和彩色問題（MSCP）のタイトな下界を計算するために、反復的に互いに素な最大サイズのクリークを抽出するヒューリスティックなクリーク分解手法EXCLIQUEを提案する。大きな互いに素なクリークを優先することで、14のベンチマークインスタンスで下界を改善し、他の4つのインスタンスで最適性を証明し、24の追加インスタンスについても初めての下界を提供した。これは、先行するクリークベースの手法に比べて、ソリューション品質において顕著に優れている。

ABSTRACT

Given an undirected graph $G = (V,E)$ with a set $V$ of vertices and a set $E$ of edges, the minimum sum coloring problem (MSCP) is to find a legal vertex coloring of $G$, using colors represented by natural numbers $1, 2, . . .$ such that the total sum of the colors assigned to the vertices is minimized. This paper describes an approach based on the decomposition of the original graph into disjoint cliques for computing lower bounds for the MSCP. Basically, the proposed approach identifies and removes at each extraction iteration a maximum number of cliques of the same size (the largest possible) from the graph. Computational experiments show that this approach is able to improve on the current best lower bounds for 14 benchmark instances, and to prove optimality for the first time for 4 instances. We also report lower bounds for 24 more instances for which no such bounds are available in the literature. These new lower bounds are useful to estimate the quality of the upper bounds obtained with various heuristic approaches.

研究の動機と目的

• 最小和彩色問題（MSCP）の下界をより効果的に計算するための手法を開発すること。MSCPは計算的に困難なNP完全問題である。
• グラフから抽出する互いに素なクリークの数とサイズを最大化することで、既存のクリーク分解に基づく下界を改善すること。
• ヒューリスティックな上界の品質をより良く評価できる、よりタイトな下界を提供すること。
• 文献にそのような下界が存在しなかった24のベンチマークインスタンスについて、初めて知られる下界を確立すること。
• クリーク分解における一括での複数クリーク抽出戦略が、1つずつクリークを除去する戦略よりも、MSCPの下界計算において優れていることを示すこと。

提案手法

• EXCLIQUEアルゴリズムは、反復的に最大数のペアワイズに素な最大サイズのクリークを特定・削除する。
• 各反復で、最大クリーク検出アルゴリズム（例：ATS）を用いて現在存在する最大クリークサイズを特定し、そのサイズの互いに素なクリークを可能な限り抽出する。
• 頂点が残らなくなるまでこのプロセスを繰り返し、元のグラフのクリーク分解が得られる。
• 得られた分解の彩色和を、元のグラフのMSCPの下界として計算する。
• この手法は、1つのクリークずつ抽出する従来のアプローチとは対照的であり、複数の大きな互いに素なクリークを同時に抽出する機会を逃す可能性がある。
• 本手法は62のDIMACSおよびCOLOR2ベンチマークグラフ上で評価され、既存の下界およびOBOCLIQUE手法と比較された。

実験結果

リサーチクエスチョン

• RQ1 各ステップで複数の大きな互いに素なクリークを同時に抽出するクリーク分解戦略は、逐次的に1つずつクリークを抽出する戦略よりも、MSCPの下界をよりタイトにできるか？
• RQ2 この複数クリーク抽出アプローチは、標準的なMSCPベンチマークの現在の最良下界をどの程度改善できるか？
• RQ3 提案手法は、これまでにそのような証明が存在しなかったインスタンスについて、最適性を証明できるか？
• RQ4 高度な彩色ヒューリスティクスを用いた補完グラフ彩色アプローチと比較して、EXCLIQUEの性能はいかがなものか？
• RQ5 各反復で複数のクリーク検出呼び出しを行うことで生じる計算コストの増加は、下界品質の向上を補って十分に価値があるか？

主な発見

• EXCLIQUEは、事前に報告済みの下界が存在する38インスタンスのうち14個について、最良既知の下界を改善した。
• 4つのインスタンスについて、初めて最適性が証明された。
• 24の追加インスタンスについて、本研究が文献に初めて報告した下界を提供した。
• 平均的に、EXCLIQUEはOBOCLIQUE手法よりも顕著に高い下界を達成した。特に、DSJC1000.5の表6に示すように、より多くの大きなクリークを抽出できたことが要因である。
• 計算時間は高くなったが、EXCLIQUEはソリューション品質においてOBOCLIQUEを上回り、12のテストインスタンスすべてでEXCLIQUEの平均下界がOBOCLIQUEを上回った。
• 直接グラフ解析によるクリーク分解アプローチは、強力な彩色アルゴリズム（例：ATS）を用いた補完グラフ彩色手法をも凌駆した。これは、直接的なクリーク抽出の利点を示している。