Изменения

Перейти к: навигация, поиск

СНМ с операцией удаления за О(1)

Нет изменений в размере, 19:38, 6 июня 2015

→‎Delete

=== Delete ===

Пусть для множества <tex>A</tex> '''инвариант 3 ~~выполняется~~'''выполняется.

Если после выполнения <tex>\mathrm{Delete} \; T_A</tex> стало сокращенным, то '''инвариант 3''' сохранен по '''лемме 1'''.

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/47810»