递归树

概述

递归树 是一种将递归关系式可视化为树形结构的分析方法。每个节点表示一次递归调用的代价,通过逐层展开和求和,直观地推导出递归式的解,也是理解主定理的直观基础。

定义

递归树

递归树是一棵有根树,其中:

  • 每个节点表示一次递归调用产生的代价。
  • 根节点的代价为递归式的非递归项
  • 每个内部节点有 个子节点(对应 个子问题),子节点的代价为
  • 叶节点的代价为 (基础情形)。
  • 总代价为树中所有节点代价之和。

核心性质

  • 递归树将递归式的展开过程可视化,便于直观理解各层代价的分布。
  • 树的深度(递归终止层数),每层有 个节点。
  • 逐层求和后,总代价通常呈现为几何级数,可直接求和得到渐近界。
  • 递归树法特别适合生成”好猜测”,再用代入法严格证明。
  • 递归树也是主定理三种情况分类的直观解释:叶节点代价 vs. 根节点代价的对比。

章节扩展

第4章:分治策略

  • 4.4 递归树法:系统性地介绍递归树的构造和求和方法,以 等为例进行详细推导。
  • 4.5 主定理:递归树的三种代价分布模式对应主定理的三种情况。
  • 4.6 连续主定理的证明:使用递归树方法证明连续主定理。

参见