Нижняя граница для динамической связности: различия между версиями

Перейти к навигации Перейти к поиску
м
Строка 54: Строка 54:




Нижняя граница теоремы 1 соответствует ntq ■ lg(2ntu/ntq) = Q{n\gn); следовательно, tqlg(tu/tq) = £2(lgn). Заметим, что из этой нижней границы следует maxf tu; tq g = Q (lg n). Лучшая известная верхняя граница (с использованием амортизации и рандомизации) равна O(lg n(lglg n)3) [ ]. Известно, что для любого tu = £?(lg n(lglg n)3) компромиссная нижняя граница является строгой. Отметим, что граф в нижней границе всегда является несвязным объединением путей. Из этого следует оптимальность нижних границ для двух важных частных случаев: динамических деревьев [8] и динамической связности в планарных графах [2].
Нижняя граница теоремы 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].


== Основные результаты ==
== Основные результаты ==
4817

правок

Навигация