[論文レビュー] Least conflict choosability

Zdenĕk Dvořák, Louis Esperet+2 more|arXiv (Cornell University)|Apr 4, 2018

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

ひとこと要約

本稿では、エッジ上で定義された局所的色割り当てを介して、頂点の色割り当てが衝突を避けるように要求される、リスト色分けと適応的色分けを一般化する新しいグラフ色分けパラメータ「単一衝突彩色数」を導入する。オイラーの虜数 $ g $ の曲面に埋め込めるグラフに対して、このパラメータは $ O(g^{1/4} /\log g) $ であることが示され、これは対数要因を除いてタイトである。これは、曲面上の彩色数に関する既知の境界を拡張するものである。

ABSTRACT

Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\\log g)$ as $g\ o\\infty$. This is sharp up to the logarithmic factor.

研究の動機と目的

• 単一衝突彩色数を定義し、分離可能チョイスビリティおよび適応的チョイスビリティを一般化する新しい色分けパラメータとして研究すること。
• 特に $ \mu = 1 $（単純グラフ）の場合に、オイラーの虜数 $ g $ の曲面に埋め込めるグラフに対するこのパラメータの漸近的挙動を特定すること。
• 確率的技法とロヴァーシュの局所補題を用いて、対数要因を除いてタイトな上界を確立すること。
• カバー・グラフを介して、頂点分割グラフにおける独立トランスバーサルと単一衝突彩色数を関連付けること。
• 明示的な多色グラフの構成により、境界の鋭さを示すこと、特に平面的状況下でも高価な単一衝突彩色数を持つ多色グラフが存在することを示すこと。

提案手法

• 各頂点で接するエッジに $ k $ 種類の色を局所的に割り当てる $ k $-分割を定義し、各頂点に対して、エッジの両端が衝突する局所色を割り当てないような頂点色の選択を衝突回避と定義する。
• 独立なベルヌーイ試行を用いた確率的技法により、頂点に色を割り当て、衝突事象の発生確率を低く保つ。
• 悪影響事象を3種類に分類する：タイプI（隣接頂点との色の衝突）、タイプII（局所色の使用が一貫しない）、タイプIII（局所色の過剰使用）とし、それらの依存関係を評価する。
• 適切に選ばれた重み（タイプI, II に対して $ x_i = 2^{-7}/d $、タイプIII に対して $ x_i = 2\text{exp}(-2^{-6}\text{sqrt}(d)) $）を用いてロヴァーシュの局所補題を適用し、衝突なしの色分けが正の確率で存在することを保証する。
• 独立性の境界を確立する：各事象は最大で $ d $ 個のタイプI、$ d $ 個のタイプII、$ d^2 $ 個のタイプIII事象に依存するが、 pruning を用いることでタイプIIIの依存関係を $ d^{3/2} $ に削減する。
• 局所補題の条件から得られる不等式を導出し、$ d $ が十分に大きい場合にそれらが満たされることを確認し、正の確率で有効な色分けが存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 オイラーの虜数 $ g $ の曲面に埋め込めるグラフに対する単一衝突彩色数の漸近的成長はいかほどか？
• RQ2 単一衝突彩色数は分離可能チョイスビリティおよび適応的チョイスビリティとどのように関係しているか？
• RQ3 $ O(g^{1/4} \log g) $ の境界は改善可能か、それとも対数要因を除いてタイトか？
• RQ4 有界なエッジ多重度を持つ平面多色グラフの最大単一衝突彩色数は何か？
• RQ5 カバー・グラフにおける独立トランスバーサルを用いて、単一衝突彩色数をどのように再解釈できるか？

主な発見

• 最大エッジ多重度 $ \mu $ で、オイラーの虜数 $ g $ の曲面に埋め込める多色グラフの単一衝突彩色数は、ある定数 $ C_1 > 0 $ を用いて、$ \max\{ C_1 \sqrt{\mu} (g+1)^{1/4} \log(\mu^2(g+2)), 8\mu \} $ 以下である。
• 単純グラフ（すなわち $ \mu = 1 $）の場合、単一衝突彩色数は $ O((g+1)^{1/4} \log(g+2)) $ であり、これはヘーウッド型の漸近的境界と対数要因を除いて一致する。
• 明示的な多色グラフの構成により、境界が対数要因を除いて鋭いことが示された。特に、単一衝突彩色数が $ \Omega(\sqrt{\mu}) $ よりも大きく、平面多色グラフでは $ \Omega(a\mu) $ よりも大きいものも存在する。
• 各エッジに $ O(\log g) $ 個の衝突を許容し、各頂点に $ \Omega(\log d) $ 種類の異なる色を要求する場合でも、境界は $ O(g^{1/4} (\log g)^{5/4}) $ のまま保たれる。
• 単一衝突彩色数は、関連するカバー・グラフにおける独立トランスバーサルの存在と同値であり、トランスバーサル問題との双対性を確立する。
• ロヴァーシュの局所補題を用いた確率的構成は $ d \geq 2^{23} $ に対して成功し、与えられた重み割り当てのもとで、衝突なしの色分けが正の確率で存在することが保証される。