Hereditary classes of graphs and matroids with finitely many exclusions (2503.20954v2)

Abstract: A class $\mathcal{G}$ of graphs closed under taking induced subgraphs is called hereditary. We denote by $\mathcal{G}^\mathrm{add}$ the class of graphs at most one edge addition away from $\mathcal{G}$, and by $\mathcal{G}^\mathrm{epex}$ the class of graphs at most one edge deletion away. We previously showed that if $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does the hereditary class $\mathcal{G}^\mathrm{epex}$. In this paper, we prove the corresponding result for $\mathcal{G}^\mathrm{add}$. Consequently, we show that the class of graphs within a fixed number of vertex deletions, edge deletions, and edge additions from $\mathcal{G}$ also has finitely many forbidden induced subgraphs provided that $\mathcal{G}$ does. We also present the binary and ternary matroid analogue of this result. Additionally, if $\mathcal{G}$ is closed under complementation, the forbidden induced subgraphs of $\mathcal{G}^\mathrm{add}$ and $\mathcal{G}^\mathrm{epex}$ are complements of each other. We provide explicit lists of the forbidden induced subgraphs for $\mathcal{G}^\mathrm{add}$, and consequently for $\mathcal{G}^\mathrm{epex}$, when $\mathcal{G}$ is the class of split graphs, cographs, or threshold graphs. Following Gy\'{a}rf\'{a}s's framework, we introduce $(p,q)$-edge split graphs, analogous to his $(p,q)$-split graphs, and prove they have finitely many forbidden induced subgraphs.