Let
Guess:
Assume:
Prove:by induction
(using )
(Desired - Residual)
(whenever )
This proved that
Our guess is almost right: off only by a lower-order term
Mathematical induction does not work unless we prove exact form
Intuitive solution: subtract a lower-order term from previous guess
Inductive Hypothesis:
Solve:
The master method only applies to a particular family of recurrences of the form:
Where:
(problem should get smaller)
for ( is asymptotically positive)
Compare
Intuitively, the larger one of the two functions determines the solution to the recurrence.
Three common cases depending on asymptotic bounds of
Case 1:
Case 2:
Case 3:
Ex 1
Ex 2
Ex 3
Ex 4
Ex 5