4817
правок
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 54: | Строка 54: | ||
Нижняя граница теоремы 1 соответствует | Нижняя граница теоремы 1 соответствует <math>nt_q \cdot lg(2nt_u/nt_q) = \Omega(n \; lg \; n)</math>; следовательно, <math>t_q \; lg(t_u/t_q) = \Omega(lg \; n)</math>. Заметим, что из этой нижней границы следует <math>max \{ t_u, t_q \} = \Omega(lg \; n)</math>. Лучшая известная верхняя граница (с использованием амортизации и рандомизации) равна <math>O(lg \; n(lg \; lg \; n)^3)</math> [9]. Известно, что для любого <math>t_u = \Omega(lg \; n(lg \; lg \; n)^3)</math> компромиссная нижняя граница является строгой. Отметим, что граф в нижней границе всегда является несвязным объединением путей. Из этого следует оптимальность нижних границ для двух важных частных случаев: динамических деревьев [8] и динамической связности в планарных графах [2]. | ||
== Основные результаты == | == Основные результаты == |
правок