Анализ реализации с ранговой эвристикой

Пусть [math]R(v)[/math] - ранг вершины,[math]P(v)[/math] - отец вершины,[math]L(v) [/math] - первой

Утверждение:

[math]\triangleright[/math]

Предположим на секунду, что [math]\sum a_n^+[/math] сходится. Но [math]a_n^- = a_n^+ - a_n[/math]. Тогда, по линейности рядов, начнёт сходиться и ряд [math]\sum a_n^-[/math]. Тогда, по линености рядов, так как [math]|a_n| = a_n^+ + a_n^-[/math], начнёт сходиться и ряд [math]\sum |a_n|[/math]. Противоречие.

[math]\triangleleft[/math]