[論文レビュー] On the Packing Chromatic Number on Hamming Graphs and General Graphs

Graciela Nasini, Daniel Severín+1 more|arXiv (Cornell University)|Oct 19, 2015

Graph Labeling and Dimension Problems参考文献 6被引用数 3

ひとこと要約

本稿は、$m=2,3$ の場合におけるハミンググラフ $H_{q,m}$ のパッケージング彩色数（PCN）の直接的な公式を確立し、整数線形計画法を用いて $m \geq 4$ に対して改良された上界を提示する。また、構築されたグラフ $G_*^{[d-1]}$ を通じて、PCN問題を最大安定集合（MSS）問題へ多項式時間還元する手法を導入し、特に次元13までのハイパーキューブに対して、MSSソルバを用いた効率的なPCN計算が可能になる。

ABSTRACT

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ needed to proper color the vertices of $G$ in such a way the distance between any two vertices having color $i$ be at least $i+1$. We obtain $χ_ρ(H_{q,m})$ for $m=3$, where $H_{q,m}$ is the Hamming graph of words of length $m$ and alphabet with $q$ symbols, and tabulate bounds of them for $m \geq 4$ up to 10000 vertices. We also give a polynomial reduction from the problem of finding $χ_ρ(G)$ to the Maximum Stable Set problem.

研究の動機と目的

• ハミンググラフ $H_{q,m}$ に対して $m=2,3$ および任意の $q$ における $\chi_{\rho}(H_{q,m})$ の正確なパッケージング彩色数を特定すること。
• 整数線形計画法を用いて、$m \geq 4$ かつ頂点数が10,000以下の範囲で $\chi_{\rho}(H_{q,m})$ のタイトな上界を計算すること。
• パッケージング彩色数問題から最大安定集合（MSS）問題への多項式時間還元を確立すること。
• 従来の手法が適用できないグラフ、特に $q \geq 3$ のハイパーキューブおよびハミンググラフに対して、$\chi_{\rho}(G)$ の効率的計算を可能とすること。

提案手法

• 数学的帰納法とBrešarら（2007）の既知の下界を用いて、$m=2,3$ に対して $\chi_{\rho}(H_{q,m})$ の閉形式表現を導出し、等号が成り立つことを証明する。
• 補題1.1を適用して $\chi_{\rho}(H_{q,m}) = m-1 + q^m - \alpha(H_{q,m}^{[m-1]})$ を表現し、$H_{q,m}^{[m-1]}$ の安定数の計算に問題を還元する。
• 整数線形計画法を用いて、$m \geq 4$ における $\chi_{\rho}(H_{q,m})$ の上界を計算し、PCNと安定数の関係を活用する。
• $G^{[d-1]}$ から新しいグラフ $G_*^{[d-1]}$ を構築する。具体的には、すべての $(v,k)$ 頂点に接続される普遍頂点 $*$ を追加することで、MSS問題への多項式時間還元を可能にする。
• $\chi_{\rho}(G) = (d-1) + n - \alpha(G_*^{[d-1]})$ を証明し、MSSソルバを用いたPCNの正確な計算を可能にする。
• この還元を活用して、ハイパーキューブの上界を改善する：$\chi_{\rho}(H_{2,11}) \leq 857$（前回の881から改善）、$\chi_{\rho}(H_{2,12}) \leq 1707$、$\chi_{\rho}(H_{2,13}) \leq 3641$ を計算する。

実験結果

リサーチクエスチョン

• RQ1 $m=2$ および $m=3$ に対して任意の $q \geq 2$ におけるパッケージング彩色数 $\chi_{\rho}(H_{q,m})$ の正確な値は何か？
• RQ2 $m \geq 4$ かつ頂点数が10,000以下の範囲で $\chi_{\rho}(H_{q,m})$ のタイトな上界を計算可能か？
• RQ3 パッケージング彩色数問題から最大安定集合（MSS）問題への多項式時間還元は存在するか？
• RQ4 提案された還元が、$q \geq 3$ のハイパーキューブやハミンググラフにおいて、従来の結果が限界に達するようなグラフの $\chi_{\rho}(G)$ の計算または上界改善に利用可能か？

主な発見

• $m=2$ および $m=3$ の場合、本稿は $\chi_{\rho}(H_{q,m}) = m-1 + q^m - \alpha(H_{q,m}^{[m-1]})$ を確立し、この公式が等号として成立することを示す。
• 整数線形計画法を用いて、11次元ハイパーキューブのパッケージング彩色数の上界を881から857に改善する。
• 12次元ハイパーキューブに対しては上界 $\chi_{\rho}(H_{2,12}) \leq 1707$ を計算し、13次元ハイパーキューブに対しては $\chi_{\rho}(H_{2,13}) \leq 3641$ を得た。
• 多項式時間還元が確立された：$\chi_{\rho}(G) = (d-1) + n - \alpha(G_*^{[d-1]})$、ここで $G_*^{[d-1]}$ は $G^{[d-1]}$ に普遍頂点を追加して構築されたグラフである。
• この還元により、MSSソルバを用いて $\chi_{\rho}(G)$ を計算または上界を評価可能となり、特に $\alpha(G^{[k]})$ を直接計算することが困難なグラフに特に有用である。
• 直径 $d \geq 2$ のグラフに対して、問題をサイズ $(n+1)(d-1)$ のグラフの安定数の計算に還元することで、$\chi_{\rho}(G)$ の計算が可能になる。