算法-树的递归验证