Homogeneous sets, clique-separators, critical graphs, and optimal χχ-binding functions

preprint2022arXivOpen access

Abstract

Given a set H\mathcal{H} of graphs, let fH⋆ ⁣:N>0→N>0f_\mathcal{H}^\star\colon \mathbb{N}_{>0}\to \mathbb{N}_{>0} be the optimal χχ-binding function of the class of H\mathcal{H}-free graphs, that is, fH⋆(ω)=max⁡{χ(G):G is H-free, ω(G)=ω}.f_\mathcal{H}^\star(ω)=\max\{χ(G): G\text{ is } \mathcal{H}\text{-free, } ω(G)=ω\}. In this paper, we combine the two decomposition methods by homogeneous sets and clique-separators in order to determine optimal χχ-binding functions for subclasses of P5P_5-free graphs and of (C5,C7,…)(C_5,C_7,\ldots)-free graphs. In particular, we prove the following for each ω≥1ω\geq 1: (i)  f{P5,banner}⋆(ω)=f3K1⋆(ω)∈Θ(ω2/log⁡(ω)),\ f_{\{P_5,banner\}}^\star(ω)=f_{3K_1}^\star(ω)\in Θ(ω^2/\log(ω)), (ii)  f{P5,co−banner}⋆(ω)=f{2K2}⋆(ω)∈O(ω2),\ f_{\{P_5,co-banner\}}^\star(ω)=f^\star_{\{2K_2\}}(ω)\in\mathcal{O}(ω^2), (iii)  f{C5,C7,…,banner}⋆(ω)=f{C5,3K1}⋆(ω)∉O(ω),\ f_{\{C_5,C_7,\ldots,banner\}}^\star(ω)=f^\star_{\{C_5,3K_1\}}(ω)\notin \mathcal{O}(ω), and (iv)  f{P5,C4}⋆(ω)=⌈(5ω−1)/4⌉.\ f_{\{P_5,C_4\}}^\star(ω)=\lceil(5ω-1)/4\rceil. We also characterise, for each of our considered graph classes, all graphs GG with χ(G)>χ(G−u)χ(G)>χ(G-u) for each u∈V(G)u\in V(G). From these structural results, we can prove Reed's conjecture -- relating chromatic number, clique number, and maximum degree of a graph -- for (P5,banner)(P_5,banner)-free graphs.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.