Constructions for normal graphs and some consequences Original Research Article

Normal graphs can be considered as weaker perfect graphs in several ways. However, only few graphs are known yet to be normal, apart from perfect graphs, odd holes, and odd antiholes of length ≥ 9. Körner and de Simone [J. Körner, C. de Simone, On the odd cycles of normal graphs, Discrete Appl. Math. 94 (1999) 161–169] conjectured that every (image)-free graph is normal. As there exist normal graphs containing image, image, or image, it is worth looking for other ways to construct or detect normal graphs. For that, we treat the behavior of normal graphs under certain construction techniques (substitution, composition, and clique identification), providing several ways to construct new normal graphs from normal and even not normal ones, and consider the corresponding structural decompositions (homogeneous sets, skew partitions, and clique cutsets). Our results imply that normal graphs cannot be characterized by means of decomposition techniques as well as by forbidden subgraphs. We address negative consequences for the algorithmic behavior of normal graphs, reflected by the fact that neither the imperfection ratio can be bounded for normal graphs nor a image-binding function exists. The latter is even true for the class of (image)-free graphs and related classes. We conclude that normal graphs are indeed only “normal”.