97 research outputs found
Exhaustive generation of -critical -free graphs
We describe an algorithm for generating all -critical -free
graphs, based on a method of Ho\`{a}ng et al. Using this algorithm, we prove
that there are only finitely many -critical -free graphs, for
both and . We also show that there are only finitely many
-critical graphs -free graphs. For each case of these cases we
also give the complete lists of critical graphs and vertex-critical graphs.
These results generalize previous work by Hell and Huang, and yield certifying
algorithms for the -colorability problem in the respective classes.
Moreover, we prove that for every , the class of 4-critical planar
-free graphs is finite. We also determine all 27 4-critical planar
-free graphs.
We also prove that every -free graph of girth at least five is
3-colorable, and determine the smallest 4-chromatic -free graph of
girth five. Moreover, we show that every -free graph of girth at least
six and every -free graph of girth at least seven is 3-colorable. This
strengthens results of Golovach et al.Comment: 17 pages, improved girth results. arXiv admin note: text overlap with
arXiv:1504.0697
3-coloring triangle-free planar graphs with a precolored 8-cycle
Let G be a planar triangle-free graph and let C be a cycle in G of length at
most 8. We characterize all situations where a 3-coloring of C does not extend
to a proper 3-coloring of the whole graph.Comment: 20 pages, 5 figure
Three-coloring graphs with no induced seven-vertex path II : using a triangle
In this paper, we give a polynomial time algorithm which determines if a
given graph containing a triangle and no induced seven-vertex path is
3-colorable, and gives an explicit coloring if one exists. In previous work, we
gave a polynomial time algorithm for three-coloring triangle-free graphs with
no induced seven-vertex path. Combined, our work shows that three-coloring a
graph with no induced seven-vertex path can be done in polynomial time.Comment: 26 page
A refinement on the structure of vertex-critical (, gem)-free graphs
We give a new, stronger proof that there are only finitely many
-vertex-critical (,~gem)-free graphs for all . Our proof further
refines the structure of these graphs and allows for the implementation of a
simple exhaustive computer search to completely list all - and
-vertex-critical , gem)-free graphs. Our results imply the existence
of polynomial-time certifying algorithms to decide the -colourability of
, gem)-free graphs for all where the certificate is either a
-colouring or a -vertex-critical induced subgraph. Our complete lists
for allow for the implementation of these algorithms for all
- …