0
を満たさなければならない条件の一つはf(n)
があるべきであるということである、T(n)
は増加関数漸化式:多項式関数
a >= 1
と
b >= 2
がMaster theorem
を使用するには
T(n) = aT(n/b)+f(n)
なりましょう多項式関数。この例では
は、それが明確に
T(n) = 2T(n/4) + n^(1/2) + 42
ではありません。
本は多項式関数としてf(n)=n^(1/2)
を数えますが、f(n) = n^a
が多項式関数ならば、a
は自然数でなければなりません。特別な条件はありますか?