It follows from Lemma 10.9 that at

It follows from Lemma 10.9 that at least half of the edges are removed in each phase. Upon termination, all the |E| edges will be removed, which will take O(log|E|) phases. Since
|E| ≤ n2 and each phase has a constant number of rounds, the algorithm terminates in an expected number of O(log n) rounds. ◾

Note: This proof is due to Roger Wattenhofer [Lecture notes: Chapter 12: Summer 2003], who attributes it to a technique taken from Israeli and Itai developed for solving matching problems.

Результаты (русский) 1:

Это вытекает из "ЛЕММА" 10.9, что по меньшей мере половину края будут удалены в каждой фазе. По окончании все | E | края будут удалены, который будет принимать O(log| E |) фазы. С| E | ≤ n2 и каждый этап имеет постоянное количество раундов, алгоритм завершается в ожидаемое число раундов O (log n). ◾Примечание: Это доказательство является из-за Роджер Wattenhofer [конспектов: Глава 12: лето 2003], который приписывает его технику, взятые из Израиля и Итай для решения соответствующих проблем.

Результаты (русский) 2:

Из леммы 10.9 , что по крайней мере половина из ребер удалены в каждой фазе. По окончании, все | E | Края будут удалены, которые будут принимать O (журнал | E |) фазы. Так как
| E | ≤ n2 и каждая фаза имеет постоянное количество раундов, алгоритм заканчивается ожидаемым числом O (журнал п) раундов. ◾

Примечание: Это доказательство принадлежит Roger Wattenhofer [Конспект лекций: Глава 12: Summer 2003], который приписывает его к технике , взятой из израильских и Itai разработанной для решения проблемы поиска.