Общую теорию можно найти по красно-черным здесь и по АВЛ здесь.
...
...
При различных размерах дерева (от 0 до элементов) измеряется время вставки элемента (insert), поиска (find) и удаления (remove). Каждое измерение производится раз. По МНК находим линейное и нелинейное приближение (для понимания применимости линейной аппроксимации), из корней диагональных элементов ковариационной матрицы находим ошибку полученных величин.
Можете самостоятельно воспользоваться кодом для тестирования и блокнотом для обработки результатов.
Для рандомизированной проверки, получим (масштаб был изменен в 100 раз)
Для рандомизированной проверки, получим (масштаб был изменен в 10 раз)
Можно заметить, что время работы достаточно схоже для одни и тех же действий. Светлым показано нелинейная аппрокимация точек, которая, как видно, ни сильно отличается в пределах погрешности.