1302
правки
Изменения
Нет описания правки
{\sum_{get} \limits} ~ {\sum_{v:v \in get,v \in T_3} \limits} 1/n
</tex> </center>
Из первого утверждения и всилу в силу использования сжатия путей следует, что <tex> R(P(x))</tex> cтрого увеличивается при переходе по ребру из <tex>Т_3</tex>.
Как максимум через <tex> x^{R(k)} </tex> переходов ребро перестанет появляться в классе <tex>Т_3</tex>.
<center><tex>
{\sum_{get} \limits}~ {\sum_{v:v \in get,v \in T_3} \limits} 1/n = {\sum_v \limits ~\sum_{get: in ~ this ~ get ~ v \in T_3} \limits }
1/n \le \sum_v \limits x^{R(v)} /n
Из второго следствия второго утверждения следует
</tex></center>
При <tex> x < 2~</tex> :<center> <tex>
{\sum_{get} \limits}~ {\sum_{v:v \in get,v \in T3} \limits} 1/n
\le
Итак <tex> S=O(1)+O(\log^*(x))+O(1)=O(\log^*(x)) </tex>.В силу того , что интервал <tex> (1,45...2) </tex> не пустой , теорема доказана.
}}
