[論文レビュー] A survey on star edge-coloring of graphs

Hui Lei, Yongtang Shi|arXiv (Cornell University)|Sep 17, 2020

Graph Labeling and Dimension Problems参考文献 37被引用数 4

ひとこと要約

このサーベイは、グラフにおけるスターマッチングエッジ彩色について包括的な概要を提供しており、スターチロマティックインデックスを、4本の辺からなるパスまたはサイクルが2色で彩色されないようなエッジ彩色に必要な最小色数として定義している。サブキュービック、二部、平面、および積グラフなどの主要な結果を統合し、完全グラフおよびグリッドグラフに対してタイトな境界を提示しており、完全グラフのスターチロマティックインデックスの真のオーダーの大きさに関する未解決問題を特定している。

ABSTRACT

The star chromatic index of a multigraph $G$, denoted $χ'_{st}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bicolored. We survey the results of determining the star chromatic index, present the interesting proofs and techniques, and collect many open problems and conjectures.

研究の動機と目的

• さまざまなグラフクラスにわたるスターチロマティックインデックスに関する既知の結果を体系的かつ要約すること。
• スターチロマティックインデックスの上界および下界を確立するために用いられる主要な証明および技術を提示・分析すること。
• 特に完全グラフのスターチロマティックインデックスの漸近的成長に関する未解決問題および予想を集約・強調すること。
• スターチロマティックインデックスのアルゴリズム的複雑性およびリスト彩色バージョンの分析。
• ハーリングラフ、一般化されたペテルセングラフ、およびグラフ積などの非標準的グラフ族への結果の拡張。

提案手法

• スターチロマティックインデックスを、4本の辺からなるパスまたはサイクルが2色で彩色されないような適切なエッジ彩色として定義すること。
• グラフ G のスターチロマティックインデックスとそのライングラフ L(G) のスターバーテックス彩色の間の同値性を用いること。
• 完全グラフに対する上界を導出するために、極値的組合せ論および算術的等差数列を含まない集合を応用すること。
• 二重数え上げ法を用いてスターチロマティックインデックスの下界を確立すること。
• 既知の NP 完全問題（例えば、3正則グラフの3エッジ彩色）を還元することで、χ′_st(G) ≤ 3 であるかどうかを判定することが NP 完全であることを証明すること。
• グリッド、コロナ、グラフジョインなどの特定のグラフ族の構造的性質を分析し、スターチロマティックインデックスの正確なまたはタイトな境界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 完全グラフ K_n のスターチロマティックインデックスの真の漸近的オーダーの大きさは何か？
• RQ2 χ′_st(K_n) = O(n) であるか、それとも n^{1+o(1)} のようにより速く成長するか？
• RQ3 与えられたグラフが高々 k 色でスターチロマティックインデックスを持つかどうかを判定する計算複雑性は何か？
• RQ4 サブキュービック、二部、平面、および積グラフなどの特殊なグラフ族において、スターチロマティックインデックスはどのように振る舞うか？
• RQ5 一般のグラフに対して、スターチロマティックインデックスのリストバージョンを特徴づけたり境界づけたりできるか？

主な発見

• 完全グラフ K_n に対して、2n(1+o(1)) ≤ χ′_st(K_n) ≤ n · 2^{2√2(1+o(1))√log n} / (log n)^{1/4} が成り立ち、上界は算術的等差数列を含まない集合を用いて導出されている。
• 最大次数 Δ を持つ任意のグラフ G に対して、χ′_st(G) ≤ Δ · 2^{O(1)√log Δ} が成り立ち、これは現在知られている最良の一般上界である。
• 任意のグラフ G に対して χ′_st(G) ≤ 3 であるかどうかを判定することは、Δ(G) = 3 であっても NP 完全である。
• サイクルのカルテシアン積 C_m □ C_n に対して、χ′_st(C_m □ C_n) は 6 または 7 であり、正確な条件が提示されている。大きな m, n に対しては 6 であると予想されている。
• コロナ積 P_m ◦ P_n に対して、χ′_st(P_m ◦ P_n) = n+2（m ≥ 3 のとき）であり、他のコロナ積に対しても同様の正確な値が確立されている。
• グラフジョイン P_n ◦ P_2 に対して、n ≥ 3 かつ奇数のとき χ′_st(P_n ◦ P_2) = (3n-1)/2 + 4、n ≥ 4 かつ偶数のとき χ′_st(P_n ◦ P_2) = (3n)/2 + 3 であり、χ′_st(P_3 ◦ P_3) = 10 である。