\quad 注意到一个节点 xxx 的所有儿子都被定义后就可以被覆盖,换句话说,一个节点被覆盖当且仅当他的所有儿子被定义.那么递归地考虑这个问题,假设一个节点有 kkk 个儿子,定义以第 iii 个儿子为根的子树所需的空间为 fif_ifi ,因为兄弟子树之间互不干扰,所以把每个儿子子树处理完毕后再处理另一棵儿子子树是