Master theorem的通用形式提到:
假设所有子问题的大小基本相同
Akra-Bazzi 方法适用于以下情况:
子问题的大小有很大不同
但是,实质性不同的标准是什么?例如,我有一个递归关系,如:
T(n) = T(n/4) + T(3n/4) + cn
(c is some constant)
我仍然可以使用主定理来解决这种关系(例如将其近似为T(n) = 2T(3n/4) + cn
)吗?或者,换句话说,这些子问题的大小是“本质上相同”还是已经“本质上不同”?