Если вы используете дерево для визуализации вопроса, вы увидите, что сумма каждого ранга равна:
(что равно n / log (n))
- ранг 1:
и так далее, с общей суммой n/log(n/(3^i))
для каждого ранга, где i - текущий ранг. итак, все вместе мы получаем:
если мы откроем уравнение, то получим:
(начиная с конца и возвращаясь назад .. сначала, когда i = log (base3) n, а затем возвращаясь)
так как база лога не имеет значения в тэте, мы получаем:
, что:
который (в сигме):
- гармонический ряд, равный:
и так как ln - это log с базой e, а базы тэгов не имеют значения в theta, мы наконец получаем:
, что равно:
Итак, это тета (n log log n).