Я думаю, что вы допустили ошибку для T (n).Это должно быть T (n) = T (n / 3) + T (2n / 3) + O (n).
T (n / 3) для нахождения центра (медиана медиан).Только половина всех n / 3 групп имеет медиану, меньшую, чем опорная точка.Эти группы имеют на 2 элемента меньше, чем опорная точка.Давать 2 * (1/2 * n / 3) == n / 3 элемента меньше, чем стержень.Таким образом, только 33% должны быть меньше, чем опорная точка (и 33% должны быть больше, чем опорная точка).Таким образом, в худшем случае у вас остается 66% для следующей итерации, T (2n / 3).
Я не могу хорошо прочитать ваше доказательство, но сейчас это невозможно доказать.Правильно?