Journal of Combinatorial Theory Series B ( IF 1.4 ) Pub Date : 2022-08-01 , DOI: 10.1016/j.jctb.2022.06.002 Marthe Bonamy , Tom Kelly , Peter Nelson , Luke Postle
The greedy coloring algorithm shows that a graph of maximum degree at most Δ has chromatic number at most , and this is tight for cliques. Much attention has been devoted to improving this “greedy bound” for graphs without large cliques. Brooks famously proved that this bound can be improved by one if and the graph contains no clique of size . Reed's Conjecture states that the “greedy bound” can be improved by k if the graph contains no clique of size . Johansson proved that the “greedy bound” can be improved by a factor of or for graphs with no triangles or no cliques of any fixed size, respectively.
Notably missing is a linear improvement on the “greedy bound” for graphs without large cliques. In this paper, we prove that for sufficiently large Δ, if G is a graph with maximum degree at most Δ and no clique of size ω, then This implies that for sufficiently large Δ, if then .
This bound actually holds for the list-chromatic and even the correspondence chromatic number (also known as DP-chromatic number). In fact, we prove what we call a “local version” of it, a result implying the existence of a coloring when the number of available colors for each vertex depends on local parameters, like the degree and the clique number of its neighborhood. We prove that for sufficiently large Δ, if G is a graph of maximum degree at most Δ and minimum degree at least with list-assignment L, then G is L-colorable if for each , where denotes the chromatic number of the neighborhood of v and denotes the size of a largest clique containing v. This simultaneously implies the linear improvement over the “greedy bound” and the two aforementioned results of Johansson.
中文翻译:
对于没有大团的图,将 χ 限制为 Δ 的一部分
贪心着色算法表明,最大度数最多为Δ的图最多有色数,这对于派系来说很紧张。对于没有大团的图,人们已经投入了很多注意力来改进这种“贪婪界限”。布鲁克斯著名地证明了这个界限可以提高一,如果并且该图不包含大小集团. 里德猜想指出,如果图不包含大小集团,“贪婪界”可以提高k. Johansson 证明了“贪婪界限”可以提高一个因子或者对于没有三角形或没有任何固定大小的团的图,分别。
值得注意的是,对于没有大团的图,“贪婪界”的线性改进是缺失的。在本文中,我们证明对于足够大的 Δ,如果G是最大度数至多 Δ 且没有大小为ω的团的图,则这意味着对于足够大的 Δ,如果然后.
这个界限实际上适用于列表色数,甚至对应色数(也称为 DP 色数)。事实上,我们证明了所谓的“局部版本”,当每个顶点的可用颜色数量取决于局部参数(如其邻域的度数和团数)时,该结果暗示存在着色。我们证明,对于足够大的 Δ,如果G是最大度数最多为 Δ 且最小度数至少为使用列表分配L,则G是L可着色的,如果对于每个,在哪里表示v的邻域的色数,并且表示包含v的最大团的大小。这同时意味着对“贪婪界限”和 Johansson 的上述两个结果的线性改进。