[论文解读] A Sufficient condition for DP-4-colorability

Seog‐Jin Kim, Kenta Ozeki|arXiv (Cornell University)|Sep 28, 2017

Advanced Graph Theory Research参考文献 10被引用 5

一句话总结

本文通過證明每張平面圖若不含4-圈（$C_4$），則為DP-4可染色，從而為平面圖的DP-4可染色性建立了一個充分條件，推廣了先前在列表染色與符號染色方面的結果。證明結合了最小反例法與基於$F_5^3$-子圖的結構分解，並在剩餘列表上使用貪心染色，顯示即使在3-退化性不成立的情況下，此類圖仍可在4色列表下實現DP-染色。

ABSTRACT

DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed coloring of signed graphs. It is known that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-choosable. Furthermore, Jin, Kang, and Steffen \cite{JKS} showed that for each $k \in \{3, 4, 5, 6\}$, every signed planar graph without $C_k$ is signed 4-choosable. In this paper, we show that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-DP-colorable, which is an extension of the above results.

研究动机与目标

• 將已知關於平面圖4可選性與符號4可選性的結果推廣至更一般的DP-染色框架。
• 為排除長度$k \in \{3,4,5,6\}$的圈之平面圖DP-4可染色性建立一個充分條件，特別著重於不含$C_4$的情況。
• 透過引入基於$F_5^3$-子圖的新型結構分解，解決3-退化性失效（如不含$C_4$的圖）的情形。
• 提供一個新的、自包含的DP-4可染色性證明，推廣並強化先前關於列表與符號染色工作的定理1與定理2。

提出的方法

• 假設存在一個最小反例$G$，其為平面圖、不含$C_4$，且非DP-4可染色，但其所有真子圖皆為DP-4可染色。
• 應用引理9，顯示任何此類$G$必包含一個$F_5^3$-子圖$H$，定義為由一個5-圈與一個3-圈共享一條邊所構成的6-頂點子圖，且$G$中所有頂點的度數均為4。
• 將DP-染色問題限制於$G' = G - V(H)$，由最小性可知其存在${\mathcal{M}}_{L'}$-染色，進而於${\mathcal{M}}_{L'}$-覆蓋中產生一個大小為$|V(G)| - 6$的獨立集$I'$。
• 針對$v \in V(H)$定義剩餘列表$L^*(v)$，移除與$I'$中已染色頂點產生衝突的顏色，確保$|L^*(v_2)| \geq 3$，$|L^*(v_6)| \geq 3$，且對$j \in \{1,3,4,5\}$有$|L^*(v_j)| \geq 2$。
• 透過按順序$v_3, v_4, v_5, v_6, v_1$進行貪心染色，利用剩餘顏色可用性，在${\mathcal{M}}_{L^*}$-覆蓋上構造一個大小為6的獨立集$I^*$。
• 將$I'$與$I^*$合併，形成大小為$|V(G)|$的完整獨立集$I = I' \cup I^*$，與$G$非DP-4可染色的假設產生矛盾。

实验结果

研究问题

• RQ1 即使不具3-退化性，所有不含$C_4$的平面圖是否皆為DP-4可染色？
• RQ2 DP-染色框架能否統合並推廣已知關於平面圖4可選性與符號4可選性的結果？
• RQ3 在不含$C_4$的平面圖中，$F_5^3$-子圖的存在是否能促成在退化性論證失效時的DP-4可染色性構造性證明？
• RQ4 能否透過最小反例法與剩餘列表染色結合，解決DP-染色中的不含$C_4$情形？

主要发现

• 所有不含$C_4$的平面圖皆為DP-4可染色，為此類圖的DP-4可染色性確立了一個充分條件。
• 該結果將定理1（關於4可選性）與定理2（關於符號4可選性）推廣至更廣泛的DP-染色框架。
• 證明技術成功處理了3-退化性失效的不含$C_4$情形，並利用$F_5^3$-子圖的結構性質。
• 剩餘列表方法確保在考慮與預先染色子圖$G'$的衝突後，於$H$上進行貪心染色時仍有足夠的顏色可用性。
• 在${\mathcal{M}}_L$-覆蓋中構造出完整獨立集$I = I' \cup I^*$，與最小性假設產生矛盾，從而證明主要結果。
• 本研究為不含$C_k$的平面圖（$k \in \{3,4,5,6\}$）提供了DP-4可染色性的新、獨立證明，統合並強化了先前的研究成果。