[論文レビュー] Restricted extension of sparse partial edge colorings of hypercubes

Carl Johan Casselgren, Klas Markström+1 more|arXiv (Cornell University)|Nov 3, 2017

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

ひとこと要約

本稿では、$d$次元超立方体 $Q_d$ のスパースな部分辺彩色が、未彩色の辺に割り当てられた色リストを尊重しながら、適切な $d$-辺彩色に拡張可能となる条件を確立する。特に、事前に彩色された辺と禁止色リストの両方が十分にスパースである場合——具体的には密度パラメータ $\alpha$ と $\beta$ が $\alpha + \beta < 1/2$ を満たす場合——には、そのような拡張が常に存在することを証明する。これは、二部グラフにおける事前彩色拡張およびリスト彩色に関する既知の結果を一般化するものである。

ABSTRACT

We consider the following type of question: Given a partial proper $d$-edge coloring of the $d$-dimensional hypercube $Q_d$, and lists of allowed colors for the non-colored edges of $Q_d$,can we extend the partial coloring to a proper $d$-edge coloring using only colors from the lists? We prove that this question has a positive answer in the case when both the partial coloring and the color lists satisfy certain sparsity conditions.

研究の動機と目的

• スパースな部分辺彩色が、$d$次元超立方体 $Q_d$ において適切な $d$-辺彩色に拡張可能となる十分条件を特定すること。
• 各未彩色の辺に禁止色のリストが割り当てられる状況下で、事前彩色拡張問題とリスト彩色制約を統合すること。
• $K_{n,n}$ や二部グラフ多重グラフにおける既知の結果を、超立方体グラフ $Q_d$ に一般化すること。
• 彩色拡張が保証されるようにする、事前彩色とリスト割り当ての最適なスパース性閾値 $\alpha$ と $\beta$ を特定すること。

提案手法

• 各頂点に接続する事前彩色された辺の数が $\alpha d$ 以下、各辺または頂点における禁止色の数が $\beta d$ 以下であるような $\alpha$-密度および $\beta$-スパース性条件を導入する。
• $Q_d$ の近傍構造、特に事前彩色された辺やリスト制約付きの辺に近い辺に注目した構造的解析を実施する。
• 制約付きのグリーディ彩色戦略を適用し、各辺の利用可能な色が事前彩色やリスト制限によって遮断されないように保証する。
• 拡張が失敗する可能性があることを示すために、$\alpha + \beta < 1/2$ の境界がタイトであることを示す明示的反例を構築する。
• 特にギャルビンの定理や Häggkvist の $\beta$-スパースリスト予想を含む、二部グラフにおけるリスト彩色に関する既知の結果を分析に活用する。
• 頂点の近傍サイズと色の利用可能性に関する議論を用いて、$\alpha + \beta < 1/2$ の条件下で、事前彩色とリスト制約が同時に満たされることを証明する。

実験結果

リサーチクエスチョン

• RQ1 各未彩色の辺に禁止色のリストが割り当てられる状況下で、$Q_d$ の部分 $d$-辺彩色が、どのようなスパース性条件下で適切な $d$-辺彩色に拡張可能となるか？
• RQ2 彩色拡張が存在可能となるために、事前彩色の密度（$\alpha$）と禁止色リストのスパース性（$\beta$）の間で、最適なトレードオフは何か？
• RQ3 境界 $\alpha + \beta < 1/2$ を改善できるか、それとも超立方体族においてこれがタイトな上限であるか？
• RQ4 距離3マッチング（距離が3以上）に限らず、距離2マッチング（距離が2以上）に対してもこの結果は拡張可能か？

主な発見

• 本稿では、事前彩色が $\alpha$-密度的で、リスト割り当てが $\beta$-スパース的であり、$\alpha + \beta < 1/2$ を満たす場合、$Q_d$ の任意の部分彩色が適切な $d$-辺彩色に拡張可能であることを証明している。
• 境界 $\alpha + \beta < 1/2$ が、$\alpha + \beta \geq 1/2$ の場合に拡張が失敗する明示的構成により、タイトであることが示されている。
• 反例により、$\beta$ が $1/2$ に近い状態で $\alpha$ が小さい場合でも、$\alpha + \beta$ が $1/2$ を超えると、拡張が不可能になるリスクがあることが明らかになった。
• この結果は、$K_{n,n}$ や二部グラフ多重グラフにおける既存の結果を超立方体に一般化し、同様のスパース性閾値が適用可能であることを示している。
• 証明手法は距離3マッチングにまで拡張可能であるが、距離2マッチングについての成立は未解決のまま残されている。
• 著者らは、現在の $\alpha$ と $\beta$ の境界が最適であると予想し、さらなる精密化を求める未解決問題を提示している。