Zaawansowane algorytmy i struktury danych/Ćwiczenia 14

Zadanie.

Jaka jest minimalna stała c taka, że dla każdego drzewa rozmiaru co najmniej 2 mamy

$|Contract(T)|\le c\cdot |T|$

Rozwiązanie

c=2/3.

Zadanie.

Udowodnij indukcyjnie punkt (b) wzmocnionego lematu o kontrakcji.

Rozwiazanie.

Niech x będzie pierwszym węzłem na ścieżce ze statycznego węzła do korzenia takim, że $|T_x|\ge FI{B}_{k-1}$.

Ponadto niech T1, T2 oraz T3 będą drzewami zdefiniowanymi następująco. T1 jest równy T z węzłem x jako statyczny liść (z obciętymi poddrzewami o korzeniach p,q, $T2=T_p\otimes x$, oraz $T3=T_q$. Wtedy $|T1|,|T2|\le FI{B}_{k-1}$ oraz $|T3|<FI{B}_{k-1}$.

Po (k-1)-szej redukcji drzewa T1 oraz T są zredukowane do jednego węzła z jednym statycznym liściem , dzięki założeniu indukcyjnemu (b) . Wszystkie węzły T3 stają się liśćmi po (k-2)-giej redukcji dzięki założeniu indukcyjnemu (b).

W konsekwencji po redukcji k-1 korze"n całego drzewa T ma jedynego następnika x' takiego, że x'=x lub $x^{\prime }\in T_p$. Następnie w k-tej redukcji korzeń ma jedyne dowiązanie do węzła statycznego v. Kończy to dow"od indukcyjny punktu (b).