Изменения

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

Сведение задачи LCA к задаче RMQ

15 байт добавлено, 13:01, 9 июня 2015
Алгоритм
[[Файл:Полная персистентность.png‎ | мини | left | 500x200px| Пример массива <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>.
 
=== Доказательство корректности алгоритма ===
{{Теорема
74
правки

Навигация