Изменения
→Анализ реализации с ранговой эвристикой
</center>
Во время <tex> \mathrm{get} </tex> после прохождения <tex>K </tex> ребер из второго класса <tex> \mathrm{R(v_1)} \geqslant x^{x^{.^{.^{.^{x^{R(v)}}}}}} </tex>.
Из выше сказанного и первого следствия второго утверждения получаем, что:
