Изменения
Нет описания правки
Из выше сказанного и первого следствия второй леммы получаем что <tex> {\sum_{u \in get,u \in T2} \limits} = log^*_x(log_2(n)) = O(log^*(n)) </tex> . Для того чтоб <tex> log^*_x </tex> существовал необходимо чтобы <tex> x > e ^{ 1 /e } \approx 1,44 </tex>
Рассмотрим сумму <tex>{\sum_{get} \limits} ( {\sum_{u \in get,u \in T3} \limits} 1)~/m < {\sum_{get} \limits} ( {\sum_{u \in get,u \in T3} \limits} 1)/n </tex> Из первого утверждения следует <tex> R(P(x)) </tex> только увеличивается при переходе по ребру из Т3. Как максимум через <tex> x^R(k) </tex> переходов ребро перестанет появлятся появляться в классе Т3. <tex> ( {\sum_{get} \limits} ( {\sum_{u \in get,u \in T3} \limits} 1)/n< {\sum_u \limits \sum_{get: in ~ this ~ get ~ u \in T3} \limits } 1</tex>
}}
