Report On Proof of Akra Bazzi's Master Theorem.
Report On Proof of Akra Bazzi's Master Theorem.
Report On Proof of Akra Bazzi's Master Theorem.
Abstract
Akra and Bazzi had given a generalization of the Master Method that pro-
vides a very simple formula for solving most divide-and-conquer problems.Tom
Leighton has proved Akra Bazzi’s formula and also extended it to some more
variations.In this report,I will discuss what i had learned from the proof and
what are modifications possible along limitations of Akra Bazzi’s formula.
• Recurrence can contain any number of terms having there a0i s and b0i s may
be different or same whereas in regular Master theorem it has only one
value of ai and bi . Thus it is more generalised form of Master Theorem.
• The Master Theorem given in Cormen, Leiserson and Rivest is true for
f(n) that are polynomially bounded. But it is not true for all polynomially
bounded functions. For example: when f (n) is smaller than nlogb a but not
polynomially smaller. Similarly, when f (n) is larger than nlogb a but not
polynomially larger. But such cases do not exist for Akra-Bazzi s Master
Theorem.
1
Some important concepts in proof :-
θ(1) for 1 ≤ x ≤ x0 ;
T (x) = Pk
a
i=1 i T (b i x + hi (x)) + g(x) for x > x0 ;
We can choose h0i s such that |hi | < 1 ,representing ceiling functions such as
hi (x) = dbi xe − bi x
√
also we choose large h0i s, such as hi = − x
thus the variations covers a more larger recursive functions than Akra Bazzi’s
formula.
References :-
• Thomas H. Cormen, Charles E. Leierson, and Ronald L. Rivest. Intro-
duction to Algorithms.The MIT Press, Cambridge, Massachusetts, 1990.
• Notes on Better Master Theorems for Divide-and-Conquer Recurrences.Tom
Leighton , 1996.