[論文レビュー] The 1-2-3 Conjecture and related problems: a survey

Ben Seamone|arXiv (Cornell University)|Nov 21, 2012

Graph Labeling and Dimension Problems参考文献 56被引用数 78

ひとこと要約

このサーベイ論文は、1-2-3予想およびその変種を包括的にレビューしている。1-2-3予想は、K₂を除く任意の連結グラフに対して、{1,2,3}からの辺重みを割り当てることで、隣接辺の重みの和による正しい頂点彩色を達成できると提案している。主な貢献は、予想は未解決のままだが、すべてのこのようなグラフに対して5つの重みで十分であることが確立されており、3つの重みという予想される上限に向けた顕著な進展が得られていることである。

ABSTRACT

The 1-2-3 Conjecture, posed in 2004 by Karonski, Luczak, and Thomason, is as follows: "If G is a graph with no connected component having exactly 2 vertices, then the edges of G may be assigned weights from the set {1,2,3} so that, for any adjacent vertices u and v, the sum of weights of edges incident to u differs from the sum of weights of edges incident to v." This survey paper presents the current state of research on the 1-2-3 Conjecture and the many variants that have been proposed in its short but active history.

研究の動機と目的

• グラフ理論における1-2-3予想およびその多数の変種について包括的なサーベイを提供すること。
• 辺の重み付けパラメータに関する既知の結果を、隣接辺の重みの和または積による正しい頂点彩色を誘導する観点から統合すること。
• 彩色パラメータ（彩色数、最小次数、連結性など）とグラフの構造的性質との関係を検討すること。
• 未解決問題および最近の進展（不規則性の強さや認識番号の上限など）を強調すること。
• 辺または総重み付けから導かれるさまざまな頂点彩色パラメータの表記法と用語を統一すること。

提案手法

• 辺および総重み付けによる頂点彩色に関する80篇以上の論文から得られた結果を体系的かつ統合的にレビュー・分析すること。
• 標準化された表記法を用いて彩色パラメータを分類：和による辺重み付けの場合はχΣe(G)、積による場合はχΠe(G)、総重み付けおよび頂点重み付けの変種に対しても同様に表記。
• 逐次的辺重み調整などのアルゴリズム的手法を適用し、χΣe(G)の上界を確立すること。
• 確率論的手法を用いて、ランダムグラフが漸近的にほとんど確実にχΣe(G) ≤ 2を満たすことを示すこと。
• 群重み付け技術および代数的手法（奇数位数の有限アーベル群など）を活用して結果を一般化すること。
• 有向グラフおよび有向辺重み付けに関する結果を応用し、無向グラフの上界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 すべてのよいグラフ（K₂に同型な成分を含まないグラフ）に対して、隣接辺の重みの和による頂点彩色を{1,2,3}からの辺重みのみで達成できるか？
• RQ2 すべてのよいグラフが、和による正しい頂点彩色を誘導する辺k重み付けを許容する最小の整数kは何か？
• RQ3 和、積、または多重集合に基づく重み付け方式のうち、どの方式が重み集合のサイズを最小にできるか？
• RQ4 彩色数、最小次数、連結性などの構造的性質（例：彩色数、最小次数、連結性）は、χΣe(G) の値にどのように影響を与えるか？
• RQ5 χΣe(G) = 2 となるグラフのクラスは存在するか？ また、そのようなグラフは特徴づけられるか？

主な発見

• 1-2-3予想は未解決のままだが、Kalkowski, Karoński, および Pfender によって、すべてのよいグラフに対してχΣe(G) ≤ 5であることが確立されている。
• 定数p ∈ (0,1) を持つG(n,p)におけるランダムグラフでは、漸近的にほとんど確実にχΣe(G) ≤ 2である。
• Gが2連結でχ(G) ≥ 3である場合、χΣe(G) ≤ χ(G) が成り立ち、彩色数が奇数であるか、最小次数の制約があるなどの追加条件のもとでもこの上界は成立する。
• 有向グラフではχΣe(D) ≤ 2であり、この上界はタイトである。これは、有向の場合には2つの重みで十分であることを示している。
• n個の頂点と最小次数δをもつグラフについて、総頂点不規則性強度sΣt(G)は3⌈n/δ⌉ + 1以下である。
• G ≠ K₅ の場合にs′Σt(G) = max{⌈(Δ+1)/2⌉, ⌈(|E|+2)/3⌉} であるという予想は、大きなグラフおよびランダムグラフにおいて検証されており、すべての非スターチャートグラフに対してs′Σt(G) ≤ ⌈|E|/2⌉ が成り立つ。