arXiv++ Combinatorics

A graph $G$ is $\mathcal F$-saturated if $G$ contains no member of $\mathcal F$, but the addition of any non-edge creates a copy of a member of $\mathcal F$. For $m\ge 1$, let $(m+1)K_3$ denote the vertex-disjoint union of $(m+1)$ triangles. In this paper, we study $(m+1)K_3$-saturated graphs. We construct a family of $(m+1)K_3$-saturated graphs which gives the uniform upper bound $\operatorname{sat}((m+1)K_3,n)=O(n^{3/2})$ for all $m\ge 1$ and $n\ge 3m+3$. For general $(m+1)K_p$-saturated graphs, Faudree et al. determined $\operatorname{sat}((m+1)K_p, n)$ for sufficiently large $n$. In the case of $p=3$, we lower Faudree's threshold from $n \ge 12m + 3$ to $n\ge 9m+5$ and prove that $\operatorname{sat}((m+1)K_3,n)=n+6m-1.$ We also provide two structural restrictions on the components obtained after deleting all vertices of degree $|V(G)|-1$ from an $(m+1)K_3$-saturated graph.

Given a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-saturated if it is $\mathcal{F}$-free but the addition of any missing edge creates a copy of some $F \in \mathcal{F}$. The study of the minimum number of edges in $\mathcal{F}$-saturated graphs is a central topic in extremal graph theory. Let $(p+1)K_2$ denote a matching of size $p+1$. Determining the minimum number of edges in a $(p+1)K_{2}$-saturated graph is a fundamental question in this area, explicitly posed as Problem 9 in the survey by Faudree et al. (2011). In this paper, we refine the structural analysis of $(p+1)K_2$-saturated graphs and derive an explicit formula for the number of edges in terms of a single integer parameter. By minimizing this formula we determine $\mathrm{sat}(n,(p+1)K_2)$ for all $n>2p$, thereby resolving Problem 9 in full generality and extending earlier results of Kászonyi--Tuza (1986) and Zhang--Lu--Yu (2024). Moreover, by maximizing the same formula we recover the classical Erdős--Gallai (1959) upper bound on the number of edges in such graphs.