Automated testing and interactive construction of unavoidable sets for graph classes of small path‐width

Abstract

AbstractLet be a class of graphs with a membership test, , and let be the class of graphs in of path‐width at most . We present an interactive framework that finds an unavoidable set for , which is a set of graphs such that any graph in contains an isomorphic copy of a graph in . At the core of our framework is an algorithm that verifies whether a set of graphs is, indeed, unavoidable for . While obstruction sets are well‐studied, so far there is no general theory or algorithm for finding unavoidable sets. In general, it is undecidable whether a finite set of graphs is unavoidable for a given graph class. However, we give a criterion for termination: our algorithm terminates whenever is locally checkable of bounded maximum degree and is a finite set of connected graphs. For example, ‐regular graphs, ‐colourable graphs, and ‐free graphs are locally checkable classes. We put special emphasis on the case that is the class of cubic graphs and tailor the algorithm to this case. In particular, we introduce the new concept of high‐degree‐first path‐decompositions, which enables highly efficient pruning techniques. We exploit our framework to prove a new lower bound on the path‐width of cubic graphs. Moreover, we determine the extremal girth values of cubic graphs of path‐width for all and all smallest graphs which take on these extremal girth values. Further, we present a new constructive characterisation of the extremal cubic graphs of path‐width 3 and girth 4.