74
правки
Изменения
→Препроцессинг
Вот таким образом будет выглядеть массив <tex>\mathtt{vtx}</tex> после обхода в глубину:
[[Файл:Полная персистентность.png | мини | left | 500x200px500x300px| Пример массива <tex>\mathtt{vtx}</tex>]]<br clear="all">
=== Запрос ===
Будем считать, что <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>.
=== Доказательство корректности алгоритма ===
{{Теорема
