最大度有界图中的诱导匹配

对于图 $G$，设 $\nu_s(G)$ 为其诱导匹配数。我们证明了对于每一个具有足够大最大度 $\Delta$ 且无孤立顶点的图，有 $\nu_s(G) \geq \frac{n(G)}{(\lceil\frac{\Delta}{2}\rceil+1) (\lfloor\frac{\Delta}{2}\rfloor+1)}$。该界是紧的。此外，存在一种多项式时间算法，可计算达到上述大小的诱导匹配。