Изменения

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

Решение RMQ с помощью разреженной таблицы

6 байт добавлено, 23:13, 2 мая 2012
Применение к задаче RMQ
== Применение к задаче RMQ ==
[[Файл:SparseTableRMQ.png|right|Решение задачи RMQ на разреженной таблице]]
<div>Дан Предпосчитаем длину отрезка $k$. Это можно сделать за <tex>O(N\log N)</tex> введением функции <tex>fl[l] = k</tex>, для которой верно <tex>fl[1] = 0, fl[x] = fl[\lfloor \frac{x}{2}\rfloor] + 1</tex>. Пусть теперь дан запрос <tex>(l, r)</tex>. По нему найдем Заметим, что <tex>\min(A[l], A[l+1], ..., A[r]) = \min\left(ST[l][k], ST[r-2^k+1][j]\right)</tex>, где <tex>k = \max \{j| 2^j \le r - l + 1\}</tex>, т.е. логарифм длины запрашиваемого отрезка, округленный вниз. ЗаметимНо эту величину мы уже предпосчитали, что поэтому запрос выполняется за <tex>kO (1)</tex> зависит лишь от длины отрезка.
Предпосчитать эту величину за <tex>O(N\log N)</tex> можно введением функции <tex>fl[l] = k</tex>, для которой верно <tex>fl[1] = 0, fl[x] = fl[\lfloor \frac{x}{2}\rfloor] + 1</tex>.
Далее заметим, что <tex>\min(A[l], A[l+1], ..., A[r]) = \min\left(ST[l][k], ST[r-2^k+1][j]\right)</tex>.
Таким образом мы можем находить <tex>k</tex> за <tex>O(1)</tex>.</div>
<div style="clear:both"></div>
355
правок

Навигация