模式伴随化及其代价分析.pptVIP

4-2 LPBM实现：结构与划分深度依赖性 是 内程序对象，并具有深度为 的树形深度引用结构。 由两部分组成：含过程或函数引用部分 和不含过程或函数引 用部分 ，依次称为程序的非线性部分和线性部分。 （可加性） 一级划分 深度代价分析 表示整个引用树结构中第 层深 度相对位置序号为 的（子过程或函数）节点，其中 为第 层所有节点的数目。 和 分别为其子节点的起始位置和子 节点数， 为 的非线性部分。 定义 做如下选择：从根节点 开始，找到子节点 ，满足 ；继续这样的操作直到某个末节点 ， 得到一系列 ，满足 ，其 中 。令 于是 类似地，可以从分析根节点的静态存储开销出发，自上而下地 逐级寻找所有子过程的最大瞬时内存开销，最后可得整个模式 的静太存储估计。这里仅给出几个结论： 做如下选择：从根节点 开始，找到子节点 ，满足 ；继续这样的操作直到某个末节点 ，得到一系 列 ，满足 ， 其中