论文标题
平面图上的计算机辅助放电程序：应用于2距离着色
Computer assisted discharging procedure on planar graphs: application to 2-distance coloring
论文作者
论文摘要
使用计算技术，我们提供了一个框架，用于通过放电方法在平面图的子类上证明结果。本文的目的是应用这些技术来研究平面亚地块图的2距离着色。应用这些技术，我们表明的是，每一个亚地块平面图$ g $ girth至少8个最多具有2距离色的数字。
Using computational techniques we provide a framework for proving results on subclasses of planar graphs via discharging method. The aim of this paper is to apply these techniques to study the 2-distance coloring of planar subcubic graphs. Applying these techniques we show that every subcubic planar graph $G$ of girth at least 8 has 2-distance chromatic number at most 6.
