[论文解读] On color-critical ($P_{5},\overline{P}_5$)-free graphs

Harjinder S. Dhaliwal, Angèle M. Hamel+4 more|arXiv (Cornell University)|Mar 31, 2014

Advanced Graph Theory Research参考文献 4被引用 3

一句话总结

该论文证明了对于每个固定的 k，k-临界 (P₅, P̄₅)-自由图的数量是有限的，从而确立了对这类图进行 k-着色的认证算法的存在性。证明依赖于使用浮标（buoys）、模块（modules）和团割点（clique cutsets）的结构分解，表明所有 k-临界 (P₅, P̄₅)-自由图均源自较小的临界图或具有受限模式的浮标结构的特定连接构造。

ABSTRACT

A graph is $k$-critical if it is $k$-chromatic but each of its proper induced subgraphs is ($k-1$)-colorable. It is known that the number of $4$-critical $P_5$-free graphs is finite, but there is an infinite number of $k$-critical $P_5$-free graphs for each $k \geq 5$. We show that the number of $k$-critical $(P_5, \overline{P}_5)$-free graphs is finite for every fixed $k$. Our result implies the existence of a certifying algorithm for $k$-coloring $(P_5, \overline{P}_5)$-free graphs.

研究动机与目标

• 确立 (P₅, P̄₅)-自由图的 k-着色认证算法的存在性。
• 确定对每个固定的 k，k-临界 (P₅, P̄₅)-自由图的数量是否有限。
• 利用浮标分解和连接运算，表征 k-临界 (P₅, P̄₅)-自由图的结构。
• 计算 k ≤ 8 时 k-临界 (P₅, P̄₅)-自由图的精确数量。

提出的方法

• 使用模块分解和不可比较顶点的缺失，对 k-临界图进行结构分析。
• 应用 k-临界图不能具有团割点（除非它们是完全图）的事实。
• 将 k-临界 (P₅, P̄₅)-自由图分解为通过在 C₅ 框架中代入临界图形成的浮标。
• 枚举满足 kᵢ > 0、kᵢ + kᵢ₊₁ ≤ k−1 且 ∑kᵢ = 2k−1 的有效模式 (k₁,…,k₅)，以生成所有可能的浮标结构。
• 通过集合运算 ⊗，将所有 k-临界 (P₅, P̄₅)-自由图构造为较小临界图或浮标的连接。
• 通过在有效模式和已知临界图集合 Cₖ 上递归计数，计算精确基数。

实验结果

研究问题

• RQ1 对每个固定的 k，k-临界 (P₅, P̄₅)-自由图的数量是否有限？
• RQ2 能否通过认证算法判定 (P₅, P̄₅)-自由图的 k-着色？
• RQ3 哪些结构特性表征了 k-临界 (P₅, P̄₅)-自由图？
• RQ4 对较小的 k 值，存在多少个非同构的 k-临界 (P₅, P̄₅)-自由图？
• RQ5 浮标结构和模式约束在生成所有 k-临界 (P₅, P̄₅)-自由图中的作用是什么？

主要发现

• 对每个固定的 k，k-临界 (P₅, P̄₅)-自由图的数量是有限的，解决了关于认证算法的一个开放问题。
• 当 k=4 时，恰好存在 3 个非同构的 4-临界 (P₅, P̄₅)-自由图，其中包括两个来自 K₁ 和 C₃ 的连接，以及一个浮标结构。
• 当 k=5 时，恰好存在 9 个非同构的 5-临界 (P₅, P̄₅)-自由图，其中 6 个来自浮标构造，3 个来自 K₁ 和 C₄ 的连接。
• 当 k=6 时，恰好存在 31 个非同构的 6-临界 (P₅, P̄₅)-自由图，其中 21 个来自浮标结构，10 个来自连接运算。
• 数量迅速增长：|C₇| = 185 且 |C₈| = 1,487，表明临界图的数量随 k 呈指数级增长。
• 所有 k-临界 (P₅, P̄₅)-自由图均通过连接较小的临界图或在有效模式约束下构造浮标生成。