Ну, как вы сказали, сбалансированный BST с k имеет время поиска O (log k). Итак, все, что нам нужно сделать, это подключить n2 n для k, чтобы увидеть, что мы получим:
log (n2 n )
= log n + log 2 n
= log n + n log 2
= O (n).
И что имеет смысл, поскольку дерево с экспоненциально большим числом узлов, попадающих в алгоритм логарифмического c -времени, должно занимать линейное время.