The substitution method (CLR 4.1)
- A.k.a. the “making a good guess method”
- Guess the form of the answer, then use induction to find the constants and show that solution works
- T(n) = 2T(n/2) + ?(n) ? T(n) = ?(n lg n)
- T(n) = 2T(?n/2?) + n ? T(n) = ?(n lg n)
- T(n) = 2T(?n/2? + 17) + n ? ???