1632
правки
Изменения
м
rollbackEdits.php mass rollback
=== Delete ===
Пусть для множества <tex>A</tex> '''инвариант 3 выполняется'''выполняется.
Если после выполнения <tex>\mathrm{Delete} \; T_A</tex> стало сокращенным, то '''инвариант 3''' сохранен по '''лемме 1'''.
== Источники информации ==
* [http://www2.mta.ac.il/~amirben/downloadable/ufd.pdf A. Ben-Amram, S. Yoffe. A Simple And Efficient Union-Find-Delete Algorithm]
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Система непересекающихся множеств ]]
