Dichotomizing -vertex-critical -free graphs for of order four
arXiv:2007.00057
Abstract
For , we prove (i) there is a finite number of -vertex-critical -free graphs and (ii) -vertex-critical -free graphs have at most vertices. Together with previous research, these results imply the following characterization where is a graph of order four: There is a finite number of -vertex-critical -free graphs for fixed if and only if is one of , or . Our results imply the existence of new polynomial-time certifying algorithms for deciding the -colorability of -free graphs for fixed .