Hadwiger's Conjecture with Certain Forbidden Induced Subgraphs
arXiv:2211.00259
Abstract
We prove that -free graphs are not counterexamples to Hadwiger's Conjecture, where is any one of 33 graphs on seven, eight, or nine vertices, or . This improves on past results of Plummer-Stiebitz-Toft, Kriesell, and Bosse. The proofs are mostly computer-assisted.
24 pages, 5 figures