高最小度二分图的正则生成子图

设$G$为具有$2n$个顶点的简单平衡二分图，$\delta = \delta(G)/n$，且$\rho={\delta + \sqrt{2 \delta -1} \over 2}$。若$\delta > 1/2$，则$G$存在一个$\lfloor \rho n \rfloor$-正则生成子图。该结论几乎是紧的。