强九龙树猜想的伪森林类比成立

我们证明对于任意正整数$k$和$d$，若图$G$的最大平均度至多为$2k + \frac{2d}{d+k+1}$，则$G$可分解为$k+1$个伪森林$C_{1},\ldots,C_{k+1}$，使得存在某个$i$，对于$C_{i}$的每个连通分支$C$，均有$e(C) \leq d$。