二项随机图中诱导森林的最大大小

关于 $G(n,p)$ 独立数的著名 Frieze 结果表明，对于所有 $C_{\varepsilon}/n<p=o(1)$，其集中在一个大小为 $o(1/p)$ 的区间内。我们证明了对于 $G(n,p)$ 中诱导森林的最大大小（顶点数），在所有 $C_{\varepsilon}/n<p<1-\varepsilon$ 时集中在一个大小为 $o(1/p)$ 的区间内。这大概是 Frieze 结果在此 $p$ 范围内推广到另一类诱导子图的首次尝试。