patternMinor
Usage of master theorem for solving recursions
Viewed 0 times
solvingrecursionsusagemasterfortheorem
Problem
I know that master theorem is used for the recurrence relations of the form:
T(n) = aT(n/b) + f(n)
But in my question, i am supposed to solve the following recurrence relation by using master theorem:
T(n) = 2T(n/7) + 5T(n/8) + n
Can i take f(n)=n and since f(n)=Θ(nlogba), i say T(n) is O(nlogn)? But if i do this, i neglect the fact that the relation must be of the form T(n) = aT(n/b) + f(n). What should i do? Thanks
T(n) = aT(n/b) + f(n)
But in my question, i am supposed to solve the following recurrence relation by using master theorem:
T(n) = 2T(n/7) + 5T(n/8) + n
Can i take f(n)=n and since f(n)=Θ(nlogba), i say T(n) is O(nlogn)? But if i do this, i neglect the fact that the relation must be of the form T(n) = aT(n/b) + f(n). What should i do? Thanks
Solution
You may solve this recurrence by using the Akra-Bazzi method, which generalizes the master theorem and allows solving recurrences of the form
$T(n)= \sum\limits_{i = 1}^k {a_i T(n/b_i) + f(n)}$
You need to solve for $p$ the equation
$\sum\limits_{i = 1}^k {a_i b_i^{-p} = 1}$
and the solution to the recurrence can be obtained exactly as in the master theorem, but you must compare $f(n)$ with $n^p$ instead of $n^{\lg_b a}$.
For your recurrence, $p = 0.954101 \quad$ so that $f(n) = n \quad $ dominates $n^p = n^{0.954101}$ and therefore, $T(n) = O(n) \quad$ (you may want to verify that the master theorem regularity condition also holds).
Akra and Bazzi also proved a more general result.
$T(n)= \sum\limits_{i = 1}^k {a_i T(n/b_i) + f(n)}$
You need to solve for $p$ the equation
$\sum\limits_{i = 1}^k {a_i b_i^{-p} = 1}$
and the solution to the recurrence can be obtained exactly as in the master theorem, but you must compare $f(n)$ with $n^p$ instead of $n^{\lg_b a}$.
For your recurrence, $p = 0.954101 \quad$ so that $f(n) = n \quad $ dominates $n^p = n^{0.954101}$ and therefore, $T(n) = O(n) \quad$ (you may want to verify that the master theorem regularity condition also holds).
Akra and Bazzi also proved a more general result.
Context
StackExchange Computer Science Q#10234, answer score: 5
Revisions (0)
No revisions yet.