Let k≥3. We prove the following three bounds for the matching number, α′false(Gfalse), of a graph, G, of order n size m and maximum degree at most k.
If k is odd, then α′false(Gfalse)≥false(k−1kfalse(k2−3false)false)n+false(k2−k−2kfalse(k2−3false)false)m−k−1k(k2−3).
If k is even, then α′false(Gfalse)≥nk(k+1)+mk+1−1k.
If k is even, then α′false(Gfalse)≥false(k+2k2+k+2false)m−false(k−2k2+k+2false)n−k+2k2+k+2.
In this article, we actually prove a slight strengthening of the above for which the bounds are tight for essentially all densities of graphs.
The above three bounds are in fact powerful enough to give a complete description of the set Lk of pairs (γ,β) of real numbers with the following property. There exists a constant K such that α′false(Gfalse)≥γn+βm−K for every connected graph G with maximum degree at most k, where n and m denote the number of vertices and the number of edges, respectively, in G. We show that Lk is a convex set. Further, if k is odd, then Lk is the intersection of two closed half‐spaces, and there is exactly one extreme point of Lk, while if k is even, then Lk is the intersection of three closed half‐spaces, and there are precisely two extreme points of Lk.