[論文レビュー] The Grundy number of a graph

Zixing Tang, Baoyindureng Wu+1 more|arXiv (Cornell University)|Jul 4, 2015

Advanced Graph Theory Research被引用数 2

ひとこと要約

本稿では、グラフのグランディ数に関する2つの新しい上界を導出し、ノードハウス＝ガッダムの定理の強化版を証明する。また、Zakerの予想である「任意の$C_4$-freeなグラフ$G$について$Γ(G) \geq \delta(G) + 1$が成り立つ」という仮説を支持し、この不等式を通じて\{P_4, C_4\}-freeなグラフの新たな特徴付けを提示する。

ABSTRACT

A coloring of a graph $G=(V,E)$ is a partition $\{V_1, V_2, \ldots, V_k\}$ of $V$ into independent sets or color classes. A vertex $v\in V_i$ is a Grundy vertex if it is adjacent to at least one vertex in each color class $V_j$ for every $j<i$. A coloring is a Grundy coloring if every vertex is a Grundy vertex, and the Grundy number $\Gamma(G)$ of a graph $G$ is the maximum number of colors in a Grundy coloring. We provide two new upper bounds on Grundy number of a graph and a stronger version of the well-known Nordhaus-Gaddum theorem. In addition, we give a new characterization for a $\{P_{4}, C_4\}$-free graph by supporting a conjecture of Zaker, which says that $\Gamma(G)\geq \delta(G)+1$ for any $C_4$-free graph $G$.

研究の動機と目的

• グラフ$G$のグランディ数$\Gamma(G)$に対するよりタイトな上界を確立すること。
• 古典的なノードハウス＝ガッダムの定理をグランディ数の文脈で強化するバージョンを提示すること。
• Zakerの予想、すなわち$C_4$-freeなグラフについて$\Gamma(G) \geq \delta(G) + 1$が成り立つかどうかを検証すること。
• $\{P_4, C_4\}$-freeなグラフをグランディ彩色の性質に基づいて新たな特徴付けすること。

提案手法

• グラフの構造的性質と頂点彩色の制約を用いて、$\Gamma(G)$の新しい上界を導出する。
• 組合せ的議論を適用し、グランディ数におけるノードハウス＝ガッダム不等式を強化する。
• 彩色において頂点がグランディ頂点であるために必要な隣接条件を分析する。
• グランディ彩色の定義（各頂点がすべての低いインデックスの色クラスに隣接していること）を用いて、グラフ構造を分析する。
• $C_4$-freeなグラフにおける最小次数$\delta(G)$とグランディ数の関係を調査する。
• $C_4$および$P_4$部分グラフの不在を活用し、予想を支持する構造的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフについて、グランディ数$\Gamma(G)$のよりタイトな上界は何か？
• RQ2 グランディ彩色の文脈において、ノードハウス＝ガッダムの定理はどのように強化できるか？
• RQ3 Zakerの予想$\Gamma(G) \geq \delta(G) + 1$は、すべての$C_4$-freeなグラフについて成り立つか？
• RQ4 $\{P_4, C_4\}$-freeなグラフは、最小次数との関係でグランディ数に基づいて特徴付けられるか？

主な発見

• 本稿では、グランディ数$\Gamma(G)$に関する2つの新しい上界を確立し、以前の推定値を改善した。
• ノードハウス＝ガッダムの定理のより強いバージョンが証明され、$\Gamma(G) + \Gamma(\overline{G}})$の既知の境界が精緻化された。
• 著者らは、Zakerの予想がすべての$C_4$-freeなグラフについて成り立つという証拠を提示した。
• この予想は、$\{P_4, C_4\}$-freeなグラフの新たな特徴付けと結びつけられ、このようなグラフが不等式$\Gamma(G) \geq \delta(G) + 1$を満たすことが示唆された。
• 結果として、$C_4$および$P_4$部分グラフの不在が、最小次数に対して高いグランディ数を保証する構造的条件を強制することが示唆された。