Изменения

[[Файл:Полная персистентность.png‎ | мини | left | 500x200px| Пример массива <tex>\mathtt{vtx}</tex>]]

=== Запрос ===

Будем считать, что <tex>\mathrm{rmq}(d,l,r)</tex> возвращает индекс минимального элемента в <tex>d</tex> на отрезке <tex>[l..r]</tex>. Тогда ответом на запрос <tex>\mathrm{lca}(u, v)</tex>, где <tex>\mathtt{I}[u] \leqslant \mathtt{I}[v]</tex>, будет <tex>\mathtt{vtx}[\mathrm{rmq}(d,\mathtt{I}[u], \mathtt{I}[v])]</tex>.

=== Доказательство корректности алгоритма ===

{{Теорема