[論文レビュー] Analogue of DP-coloring on variable degeneracy and its applications on list vertex-arboricity and DP-coloring

Pongpat Sittitrai, Kittikorn Nakprasit|arXiv (Cornell University)|Jul 2, 2018

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

ひとこと要約

本稿では、リスト頂点森分割可能性とDP彩色を統一する一般化された変数退化性の概念を導入し、4-サイクルと3-サイクルが隣接しない平面グラフがDP-4彩色可能かつリスト頂点2-森分割可能であることを統一的な枠組みで示す。このアプローチは、特定のグラフ構成における新しい彩色技法を活用することで、ボロディンとイワノヴァの結果を拡張し、スパarsなグラフにおける構造的彩色問題への応用範囲を広げている。

ABSTRACT

In \cite{listnoC3adjC4}), Borodin and Ivanova proved that every planar graph without $4$-cycles adjacent to $3$-cycle is list vertex-$2$-aborable. In fact, they proved a more general result. Inspired by these results and DP-coloring which becomes a widely studied topic, we introduce a generalization on variable degeneracy including list vertex arboricity. We use this notion to extend a general result by Borodin and Ivanova. Not only that this theorem implies results about planar graphs without $4$-cycles adjacent to $3$-cycle by Borodin and Ivanova, it implies many other results including a result by Kim and Yu \cite{KimY} that every planar graph without $4$-cycles adjacent to $3$-cycle is DP-$4$-colorable.

研究の動機と目的

• リスト頂点森分割可能性とDP彩色を、単一のフレームワークに統合する変数退化性の一般化を目的とする。
• 4-サイクルと3-サイクルが隣接しない平面グラフに対するボロディンとイワノヴァのリスト頂点2-森分割可能性に関する結果を拡張すること。
• 新しいフレームワークが、リスト頂点森分割可能性とDP彩色の両結果を統一的に示すことを目的とする。
• 代表集合と被覆グラフに基づく構造的彩色法を提供し、臨界的構成におけるグリーディ彩色の一般化を実現すること。

提案手法

• グラフ $ G $ の $ k $-割り当て $ L $ に対する被覆 $ H $ を定義する。ここで、各頂点 $ u $ は集合 $ \{u\} \times L(u) $ に結びつけられ、$ u $ と $ v $ 間の辺は $ H $ においてマッチングを形成する。
• 頂点数が $ |V(G)| $ に等しい代表集合 $ S \subseteq V(H) $ を導入し、$ H $ における隣接関係に基づいて代表グラフ $ G_S $ を定義する。
• 代表集合 $ S $ が $ G_S $ が森である場合にDP森彩色と定義し、これによりリスト頂点森分割可能性とDP彩色を一般化する。
• 最小反例から導かれる6頂点構成 $ F $ に対して、グリーディ彩色手順を適用し、代表集合内の隣接頂点に基づいて色の利用可能関数 $ f_i^* $ を更新する。
• 更新された利用可能関数 $ f_i^* $ の正の値の数と分布をもとにケース解析を実施し、各頂点あたりの利用可能色の数に基づいて2つの主要ケースに還元する。
• 構造的性質と $ f_i^* $ に対する制約を用いて、$ G_S $ が森であるような代表集合が構成可能であることを示し、$ F $ 上に有効なDP森彩色が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 変数退化性を用いて、リスト頂点森分割可能性とDP彩色を同時に一般化する統一的フレームワークを構築可能か？
• RQ2 新しいフレームワークは、ボロディンとイワノヴァのリスト頂点2-森分割可能性に関する結果と、キムとユの4-サイクルと3-サイクルが隣接しない平面グラフに対するDP-4彩色可能性に関する結果を両方とも包含するか？
• RQ3 6頂点構成 $ F $ が示すどのような構造的性質が、各頂点に十分な色の利用可能を維持するグリーディ彩色手順を可能にするか？
• RQ4 $ f_i(v) \in \{0,1,2\} $ かつ $ \sum f_i(v) \geq 4 $ である一般化された変数退化性条件が、DP森彩色の存在を保証する仕組みは何か？
• RQ5 この手法は、禁止サイクル構成を持つ他のグラフクラスへも拡張可能か？

主な発見

• 本稿では、4-サイクルと3-サイクルが隣接しないすべての平面グラフがDP-4彩色可能であることを証明しており、キムとユの結果を拡張している。
• 同様に、このようなグラフがリスト頂点2-森分割可能であることを確立し、ボロディンとイワノヴァの結果を確認・一般化している。
• $ f_i(v) \in \{0,1,2\} $ かつ $ \sum f_i(v) \geq 4 $ である一般化された変数退化性フレームワークは、6頂点構成 $ F $ に対してDP森彩色の存在を保証しており、証明において中心的な役割を果たしている。
• 本手法は、利用可能関数 $ f_i^* $ の正の成分の数に基づいて2つのケースに還元し、両ケースとも有効な彩色が存在することを示している。
• このフレームワークは、従来別個に扱われてきた2つの彩色概念—リスト頂点森分割可能性とDP彩色—を、変数退化性の一般化という一様な枠組みで統合している。
• 最小反例構成における代表集合と反復的グリーディ彩色を用いた証明技法は、構造的彩色問題へのアプローチの強靭性を示している。