288
правок
Изменения
Нет описания правки
{{Определение
|defdefinition=Мы называем ADT '''полностью персистентными'''(англ. fully persistent), если, помимо интерфейса, все операции сохраняют операнды неизменными, таким образом, что операнды и результаты таких операций могут быть свободно используемы повторно во время дальнейшего хода вычислений.
Мы называем структуру данных (как реализацию абстрактного типа данных англ.ATD) полностью персистентной, если она эффективно реализует все операции предполагаемого, полностью персистентного ADT.}}
===Интерфейс===
{Определение
|defdefinition= Пусть X - некоторое множество. Бинарное дерево с несколькими ссылками по X является кортежем B = (N, L, R) с L∩R = 0 /, L, R ⊆ N × N, таким, что
* (N, L∪R) является '''корневым ациклическим ориентированным графом ''' с узлами N, ребрами L∪R.
* В каждом из двух подграфов (N, L) и (N, R) каждый узел имеет '''не более одного прямого преемника '''.
