[论文解读] A certifying algorithm for 3-colorability of P5-free graphs

Daniel Bruce, Chı́nh T. Hoàng+1 more|ArXiv.org|Jul 20, 2009

Advanced Graph Theory Research参考文献 9被引用 12

一句话总结

本文提出了一种针对 $P_5$-free 图的 3-可图染色的可认证算法，通过证明存在且仅存在六个有限的极小非 3-可图染色 $P_5$-free 图。当存在 3-染色时，该算法返回一个 3-染色；当不存在时，返回一个与这六个禁止图之一同构的子图作为证书，从而确保正确性与可验证性，并在多项式时间内完成。

ABSTRACT

We provide a certifying algorithm for the problem of deciding whether a P5- free graph is 3-colorable by showing there are exactly six finite graphs that are P5-free and not 3-colorable and minimal with respect to this property.

研究动机与目标

• 开发一种针对 $P_5$-free 图中 3-可图染色的可认证算法，为是/否两种答案提供可验证的证书。
• 识别并表征所有有限的极小非 3-可图染色 $P_5$-free 图，建立有限的障碍集。
• 解决现有针对 $P_5$-free 图 3-染色的多项式时间算法中缺乏可验证证书的问题。
• 确立 $P_5$-free 图中 3-可图染色的可判定性，其障碍集为有限集，从而支持可认证框架的建立。

提出的方法

• 该算法使用六个极小非 3-可图染色 $P_5$-free 图的有限集合作为非 3-可图染色性的证书。
• 它应用图的结构理论，证明任何不包含这六个图的 $P_5$-free 图都是 3-可图染色的。
• 证明依赖于对极小反例中支配团和支配 $P_3$ 或 5-环的分析。
• 通过引理对诱导 5-环周围的顶点邻域进行分类，并证明非 3-可图染色性意味着包含这六个图之一。
• 该算法检查是否存在与这六个图之一同构的子图；若找到，则返回该图作为非 3-可图染色性的证书。
• 若未找到此类子图，则该算法返回一个有效的 3-染色，利用所有避开这六个图的 $P_5$-free 图均为 3-可图染色这一事实。

实验结果

研究问题

• RQ1 是否存在且仅存在有限多个极小非 3-可图染色 $P_5$-free 图？
• RQ2 能否使用有限障碍集构造出 $P_5$-free 图中 3-可图染色的可认证算法？
• RQ3 极小非 3-可图染色 $P_5$-free 图的结构特性是什么？
• RQ4 若 $P_5$-free 图不包含这六个特定图，是否足以保证其 3-可图染色性？

主要发现

• 恰好存在六个有限的极小非 3-可图染色 $P_5$-free 图，它们是该类图中 3-可图染色性的唯一障碍。
• 任何不包含这六个图中任意一个作为子图的 $P_5$-free 图，都可保证是 3-可图染色的。
• 该算法在多项式时间内运行，非 3-可图染色性的证书为这六个图之一，这些图规模小且易于验证。
• 该证明表明，每个极小非 3-可图染色 $P_5$-free 图必须包含一个支配 $P_3$ 或一个 5-环，从而实现结构分类。
• 有限障碍集的存在意味着对于固定 $k$，$P_5$-free 图中的 $k$-可图染色性可能通过有限障碍集实现可判定性，暗示了更广泛模式的存在。