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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.