Персистентный стек — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
(не показано 50 промежуточных версий 8 участников)
Строка 1: Строка 1:
{{Определение
+
== Алгоритм ==
|definition=Персистентными структурами данных называются такие структуры, хранящие все свои промежуточные версии.
 
}}
 
  
Рассмотрим такую структуру на примере стека.
+
=== Реализация на массиве ===
 +
Заведем массив запросов, модифицирующих стек.<br>
 +
  '''struct''' '''Query''':
 +
    '''T''' value
 +
    '''uint''' prev
 +
У каждого элемента массива будет <tex>2</tex> поля: значение в вершине стека и индекс предыдущей версии стека.<br>
 +
Тогда операции push и pop будут иметь следующий вид:<br>
 +
* <tex> \mathrm{push}(i, x)</tex> {{---}} добавляет элемент <tex>x</tex> в стек с номером <tex>i</tex>, результирующий стек будет иметь номер <tex> n + 1 </tex>,
 +
  '''function''' push(i : '''uint''', x : '''T'''):
 +
    s.top = s.top + 1
 +
    s[s.top].value = x
 +
    s[s.top].prev = i
 +
* <tex>\mathrm{pop}(i)</tex> {{---}} возвращает значение, хранящееся в элементе с номером <tex>i</tex> и копирует элемент, предыдущий для него, результирующий стек будет иметь номер <tex> n + 1 </tex>.
 +
  '''T''' pop(i : '''uint'''):
 +
    '''Query''' k = s[i]
 +
    k = s[k.prev]
 +
    push(k.prev, k.value)
 +
    '''return''' s[i].value
  
 +
=== Реализация на списке ===
 +
Будем использовать узел, у которого будет значение и ссылка на прошлую версию стека. При этом сам узел - это версия стека.
 +
  '''struct''' '''Node''':
 +
    '''T''' value
 +
    '''Node''' prev
 +
Будем хранить состояния в узлах. Будем возвращать пользователю информацию о текущей вершине.<br>
 +
У каждого узла будет <tex>2</tex> поля: значение в вершине стека и ссылка на предыдущую версию стека.<br>
 +
Сам персистентный стек будет обозначаться <tex>s</tex>.<br>
  
== Наивная реализация ==
+
* <tex> \mathrm{push}(i, x)</tex> {{---}} добавляет элемент <tex>x</tex> в стек узла <tex>i</tex>,
 
+
  '''Stack''' push(i : '''Node''', x : '''T'''):
Самое простое и очевидное решение этой задачи —  честное копирование стека при каждой операции.  <br>
+
    k.value = x
Очевидно, что это не самое эффективное решение. Сложность одной операции составляет <tex>O(n)</tex> и количество требуемой памяти — <tex>O(n^2)</tex>.
+
    k.prev = i
 
+
    s.top = k
== Эффективная реализация ==
+
    '''return''' s
 
 
 
 
Попробуем решить задачу эффективнее. Заведем массив запросов, модифицирующих стек.
 
 
 
У каждого элемента массива будет 2 поля: значение в вершине стека и индекс предыдущей версии стека.
 
 
 
Тогда операции push и pop будут иметь следующий вид:<br>
 
* <tex>push(i, x)</tex> — добавляет элемент х к стеку с номером i, результирующий стек будет иметь номер n + 1.
 
* <tex>pop(i)</tex> — возвращает значение, хранящееся в элементе с номером i и копирует элемент, предыдущий для него.
 
результирующий стек будет иметь номер n + 1.
 
  
 +
* <tex>\mathrm{pop}(i)</tex> {{---}} возвращает значение, хранящееся в узле <tex>i</tex> и копирует элемент, предыдущий для него.
 +
  '''pair<T, Stack>''' pop(i : '''Node'''):
 +
    '''T''' val = i.value
 +
    i = i.prev
 +
    '''return''' pair(val, s)
  
 
== Пример ==
 
== Пример ==
  
 
Пусть изначально у нас есть один пустой стек. Запишем его в массив.
 
Пусть изначально у нас есть один пустой стек. Запишем его в массив.
<br>
+
[[Файл:стек1.png|500px|nothumb|right|]]
 
{| border = 1; cellspacing = 0; class="wikitable"
 
{| border = 1; cellspacing = 0; class="wikitable"
 
|- align = "center"
 
|- align = "center"
 
!index
 
!index
|1
+
!1
 
|-align = "center"
 
|-align = "center"
 
!value
 
!value
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|-align = "center"
 
|-align = "center"
 
!prev
 
!prev
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|}
 
|}
  
<br>
+
 
<br>
+
Далее выполним <tex>\mathrm{push}(1, 3)</tex>. Создается новая вершина со значением <tex>3</tex>, ссылающаяся на 1-ую, помещаем ее во 2-ую ячейку массива:
Далее выполним <tex>push(1, 3)</tex>. Создается новая вершина со значением 3, ссылающаяся на 1-ую, помещаем ее во ячейку массива:
+
[[Файл:стек2.png|500px|nothumb|right|]]
<br>
 
 
{| border = 1; cellspacing = 0; class="wikitable"
 
{| border = 1; cellspacing = 0; class="wikitable"
 
|- align = "center"
 
|- align = "center"
 
!index
 
!index
|1
+
!1
|&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
 
|-align = "center"
 
|-align = "center"
 
!value
 
!value
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|3
 
|3
 
|-align = "center"
 
|-align = "center"
 
!prev
 
!prev
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|1
 
|1
 
|}
 
|}
  
<br>
+
 
Аналогично выполним <tex>push(2, 5)</tex>:
+
Аналогично выполним <tex>\mathrm{push}(2, 5)</tex>:
<br>
+
[[Файл:стек3.png|500px|nothumb|right|]]
 
{| border = 1; cellspacing = 0; class="wikitable"
 
{| border = 1; cellspacing = 0; class="wikitable"
 
|- align = "center"
 
|- align = "center"
 
!index
 
!index
|1
+
!1
|&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;3&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;3&nbsp;&nbsp;&nbsp;&nbsp;
 
|-align = "center"
 
|-align = "center"
 
!value
 
!value
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|3
 
|3
 
|5
 
|5
 
|-align = "center"
 
|-align = "center"
 
!prev
 
!prev
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|1
 
|1
 
|2
 
|2
 
|}
 
|}
  
<br>
 
<br>
 
  
<br>
+
Выполним <tex>\mathrm{pop}(3)</tex>. Он возвращает <tex>5</tex> и копирует 2-ую вершину.
* Выполним <tex>pop(3)</tex>. он возвращает 5 и копирует вершину.
+
[[Файл:стек4.png|500px|nothumb|right|]]
<br>
 
 
{| border = 1; cellspacing = 0; class="wikitable"
 
{| border = 1; cellspacing = 0; class="wikitable"
 
|- align = "center"
 
|- align = "center"
 
!index
 
!index
|1
+
!1
|&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;3&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;3&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;4&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;4&nbsp;&nbsp;&nbsp;&nbsp;
 
|-align = "center"
 
|-align = "center"
 
!value
 
!value
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|3
 
|3
 
|5
 
|5
Строка 101: Строка 115:
 
|-align = "center"
 
|-align = "center"
 
!prev
 
!prev
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|1
 
|1
 
|2
 
|2
Строка 107: Строка 121:
 
|}
 
|}
  
<br><br>
 
 
Так будет выглядеть массив после последовательности операций <tex>push(3, 6), push(5, 1), pop(4), pop(5), push(7, 9):</tex>
 
  
 +
Так будет выглядеть массив после последовательности операций <tex>\mathrm{push}(3, 6),  \mathrm{push}(5, 1),  \mathrm{pop}(4),  \mathrm{pop}(5),  \mathrm{push}(7, 9):</tex>
 +
[[Файл:стек.png|500px|nothumb|right|]]
 
{| border = 1; cellspacing = 0; class="wikitable"
 
{| border = 1; cellspacing = 0; class="wikitable"
 
|- align = "center"
 
|- align = "center"
 
!index
 
!index
|1
+
!1
|&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;2&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;3&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;3&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;4&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;4&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;5&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;5&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;6&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;6&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;7&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;7&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;8&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;8&nbsp;&nbsp;&nbsp;&nbsp;
|&nbsp;&nbsp;&nbsp;&nbsp;9&nbsp;&nbsp;&nbsp;&nbsp;
+
!&nbsp;&nbsp;&nbsp;&nbsp;9&nbsp;&nbsp;&nbsp;&nbsp;
 
|-align = "center"
 
|-align = "center"
 
!value
 
!value
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|3
 
|3
 
|5
 
|5
Строка 131: Строка 144:
 
|6
 
|6
 
|1
 
|1
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|5
 
|5
 
|9
 
|9
 
|-align = "center"
 
|-align = "center"
 
!prev
 
!prev
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|1
 
|1
 
|2
 
|2
Строка 142: Строка 155:
 
|3
 
|3
 
|5
 
|5
|<tex>null</tex>
+
|<tex>\mathtt{null}</tex>
 
|2
 
|2
 
|7
 
|7
 
|}
 
|}
<br>
 
  
В итоге мы имеем доступ ко всем версиям стека за <tex>O(1)</tex> времени и <tex>O(n)</tex> памяти (массив длины n и n самих "стеков").
+
 
 +
В итоге мы имеем доступ ко всем версиям стека за <tex>O(1)</tex> времени и <tex>O(n)</tex> памяти.
 +
 
 +
== Применение ==
 +
Используя персистентый стек, можно реализовать легко перстистентную очередь (если вспомнить её реализацию на двух стеках). <br>
 +
См. [[Персистентная очередь]]
  
 
== См. также==
 
== См. также==
Строка 155: Строка 172:
 
* [[Персистентный дек]]
 
* [[Персистентный дек]]
  
== Ссылки ==
+
== Источники информации ==
  
* [http://habrahabr.ru/blogs/algorithm/113585/ Персистентный стек - статья на хабре]
+
* [http://habrahabr.ru/blogs/algorithm/113585/ Habrahabr {{---}} Персистентный стек]
  
 
[[Категория:Дискретная математика и алгоритмы]]
 
[[Категория:Дискретная математика и алгоритмы]]
  
[[Категория: Структуры данных ]]
+
[[Категория: Амортизационный анализ]]
 +
[[Категория: Структуры данных]]

Текущая версия на 19:33, 4 сентября 2022

Алгоритм

Реализация на массиве

Заведем массив запросов, модифицирующих стек.

 struct Query:
   T value
   uint prev

У каждого элемента массива будет [math]2[/math] поля: значение в вершине стека и индекс предыдущей версии стека.
Тогда операции push и pop будут иметь следующий вид:

  • [math] \mathrm{push}(i, x)[/math] — добавляет элемент [math]x[/math] в стек с номером [math]i[/math], результирующий стек будет иметь номер [math] n + 1 [/math],
 function push(i : uint, x : T):
   s.top = s.top + 1
   s[s.top].value = x
   s[s.top].prev = i 
  • [math]\mathrm{pop}(i)[/math] — возвращает значение, хранящееся в элементе с номером [math]i[/math] и копирует элемент, предыдущий для него, результирующий стек будет иметь номер [math] n + 1 [/math].
 T pop(i : uint):
   Query k = s[i]
   k = s[k.prev]
   push(k.prev, k.value)
   return s[i].value

Реализация на списке

Будем использовать узел, у которого будет значение и ссылка на прошлую версию стека. При этом сам узел - это версия стека.

 struct Node:
   T value
   Node prev

Будем хранить состояния в узлах. Будем возвращать пользователю информацию о текущей вершине.
У каждого узла будет [math]2[/math] поля: значение в вершине стека и ссылка на предыдущую версию стека.
Сам персистентный стек будет обозначаться [math]s[/math].

  • [math] \mathrm{push}(i, x)[/math] — добавляет элемент [math]x[/math] в стек узла [math]i[/math],
 Stack push(i : Node, x : T):
   k.value = x
   k.prev = i
   s.top = k
   return s
  • [math]\mathrm{pop}(i)[/math] — возвращает значение, хранящееся в узле [math]i[/math] и копирует элемент, предыдущий для него.
 pair<T, Stack> pop(i : Node):
   T val = i.value 
   i = i.prev
   return pair(val, s)

Пример

Пусть изначально у нас есть один пустой стек. Запишем его в массив.

Стек1.png
index 1
value [math]\mathtt{null}[/math]
prev [math]\mathtt{null}[/math]


Далее выполним [math]\mathrm{push}(1, 3)[/math]. Создается новая вершина со значением [math]3[/math], ссылающаяся на 1-ую, помещаем ее во 2-ую ячейку массива:

Стек2.png
index 1     2    
value [math]\mathtt{null}[/math] 3
prev [math]\mathtt{null}[/math] 1


Аналогично выполним [math]\mathrm{push}(2, 5)[/math]:

Стек3.png
index 1     2         3    
value [math]\mathtt{null}[/math] 3 5
prev [math]\mathtt{null}[/math] 1 2


Выполним [math]\mathrm{pop}(3)[/math]. Он возвращает [math]5[/math] и копирует 2-ую вершину.

Стек4.png
index 1     2         3         4    
value [math]\mathtt{null}[/math] 3 5 3
prev [math]\mathtt{null}[/math] 1 2 1


Так будет выглядеть массив после последовательности операций [math]\mathrm{push}(3, 6), \mathrm{push}(5, 1), \mathrm{pop}(4), \mathrm{pop}(5), \mathrm{push}(7, 9):[/math]

Стек.png
index 1     2         3         4         5         6         7         8         9    
value [math]\mathtt{null}[/math] 3 5 3 6 1 [math]\mathtt{null}[/math] 5 9
prev [math]\mathtt{null}[/math] 1 2 1 3 5 [math]\mathtt{null}[/math] 2 7


В итоге мы имеем доступ ко всем версиям стека за [math]O(1)[/math] времени и [math]O(n)[/math] памяти.

Применение

Используя персистентый стек, можно реализовать легко перстистентную очередь (если вспомнить её реализацию на двух стеках).
См. Персистентная очередь

См. также

Источники информации