Если вы используете дерево для визуализации вопроса, вы увидите, что сумма каждого ранга равна:
![enter image description here](https://i.stack.imgur.com/uZb53.png)
(что равно n / log (n))
- ранг 1:
![enter image description here](https://i.stack.imgur.com/MBiuo.png)
и так далее, с общей суммой n/log(n/(3^i))
для каждого ранга, где i - текущий ранг. итак, все вместе мы получаем:
![enter image description here](https://i.stack.imgur.com/9a5Bu.png)
если мы откроем уравнение, то получим:
![enter image description here](https://i.stack.imgur.com/24ChC.png)
(начиная с конца и возвращаясь назад .. сначала, когда i = log (base3) n, а затем возвращаясь)
так как база лога не имеет значения в тэте, мы получаем:
![enter image description here](https://i.stack.imgur.com/TxZHn.png)
, что:
![enter image description here](https://i.stack.imgur.com/iSEjn.png)
который (в сигме):
![enter image description here](https://i.stack.imgur.com/rJdQH.png)
- гармонический ряд, равный:
![enter image description here](https://i.stack.imgur.com/tHmEK.png)
и так как ln - это log с базой e, а базы тэгов не имеют значения в theta, мы наконец получаем:
![enter image description here](https://i.stack.imgur.com/8eN4n.png)
, что равно:
![enter image description here](https://i.stack.imgur.com/Tut63.png)
Итак, это тета (n log log n).