Saturation (graph theory)
{{Multiple issues|
{{one source |date=April 2024}}
{{Unfocused|date=November 2024}}
}}
Given a graph , another graph is -saturated if does not contain a (not necessarily induced) copy of , but adding any edge to it does. The function is the minimum number of edges an -saturated graph on vertices can have.For some results, see https://faculty.math.illinois.edu/~west/regs/saturate.html.
In matching theory, there is a different definition.
Let be a graph and a matching in . A vertex is said to be saturated by if there is an edge in incident to . A vertex with no such edge is said to be unsaturated by . We also say that saturates .