化简递推方程一般用迭代法,但对于高阶递推方程一般先用差消法降阶
例:快速排序
工作量:子问题工作量+划分工作量
当x排在第一个位置时,前面有0个元素,后面有n-1个元素,
当x排在第二个元素时,前面有1个元素,后面有n-2个元素
依次类推
总工作量的比较次数为n-1
工作量总和
要计算快速排序的平均工作量
当n为1时,工作量是0,但对于全部历史递推方程,是一个高阶的问题。
迭代一次会出现n-1个项,再迭代一次,又出项n量级多的项,因此要把它化成一阶的方程,使Tn只依赖于前面的tn-1。而与更前面的项没有关系,这就叫“差消法‘,化简之后再迭代
差消化简
利用两个方程相减,是右边的项尽可能的消去,以达到化简的目的