In: Advanced Math
Consider the following recurrence relation defined only for n = 2^k for integers k such that k ≥ 1: T(2) = 7, and for n ≥ 4, T(n) = n + T(n / 2). Three students were working together in a study group and came up with this answer for this recurrence: T(n) = n * log2 (n) − n − log2 (n) + 8. Determine if this solution is correct by trying to prove it is correct by induction.
The problem is solved and provided above.
A disproof at particular value is also provided so that the given solution doesn't satisfy the given recurrence condition.
Thank you.