Every graph with no ${\mathcal{K}}_9^{-6}$ minor is $8$-colorable

Michael Lafferty, Zi-Xia Song

For positive integers $t$ and $s$, let ${\mathcal{K}}_t^{-s}$ denote the family of graphs obtained from the complete graph $K_t$ by removing $s$ edges. A graph $G$ has no $\mathcal{K…