Решение RMQ с помощью разреженной таблицы — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Идемпотентность)
(Постановка задачи RMQ)
Строка 1: Строка 1:
 
'''Разреженная таблица''' (англ. ''sparse table'') позволяет решать задачу online static RMQ за <tex>O(1)</tex> на запрос, с предподсчётом за <tex>O(N \log N)</tex> и использованием <tex>O(N \log N)</tex> памяти.
 
'''Разреженная таблица''' (англ. ''sparse table'') позволяет решать задачу online static RMQ за <tex>O(1)</tex> на запрос, с предподсчётом за <tex>O(N \log N)</tex> и использованием <tex>O(N \log N)</tex> памяти.
 
== Постановка задачи RMQ ==
 
== Постановка задачи RMQ ==
Дан массив <tex>A[1..N]</tex>. Поступают запросы вида <tex>(l, r)</tex>, на каждый запрос требуется найти минимум в массиве <tex>A</tex>, начиная с позиции <tex>l</tex> и заканчивая позицией <tex>r</tex>.
+
Дан массив <tex>A[1..N]</tex> действительных чисел. Поступают запросы вида <tex>(l, r)</tex>, на каждый запрос требуется найти минимум в массиве <tex>A</tex>, начиная с позиции <tex>l</tex> и заканчивая позицией <tex>r</tex>.
 +
 
 
== Разреженная таблица ==
 
== Разреженная таблица ==
 
Разреженная таблица — двумерная структура данных <tex>ST[i, j]</tex>, для которой выполнено следующее: <tex>ST[i,j]=\min\left(A[i], A[i+1], ..., A[i+2^{j}-1]\right),\quad j \in [0 .. \log N]</tex>. Иначе говоря, в этой таблице хранятся минимумы на всех отрезках, длины которых равны степеням двойки. Объём, занимаемый таблицей, равен <tex>O(N \log N)</tex>, и заполненными являются только те элементы, для которых <tex>i+2^j \le N </tex>.
 
Разреженная таблица — двумерная структура данных <tex>ST[i, j]</tex>, для которой выполнено следующее: <tex>ST[i,j]=\min\left(A[i], A[i+1], ..., A[i+2^{j}-1]\right),\quad j \in [0 .. \log N]</tex>. Иначе говоря, в этой таблице хранятся минимумы на всех отрезках, длины которых равны степеням двойки. Объём, занимаемый таблицей, равен <tex>O(N \log N)</tex>, и заполненными являются только те элементы, для которых <tex>i+2^j \le N </tex>.

Версия 20:14, 31 марта 2012

Разреженная таблица (англ. sparse table) позволяет решать задачу online static RMQ за [math]O(1)[/math] на запрос, с предподсчётом за [math]O(N \log N)[/math] и использованием [math]O(N \log N)[/math] памяти.

Постановка задачи RMQ

Дан массив [math]A[1..N][/math] действительных чисел. Поступают запросы вида [math](l, r)[/math], на каждый запрос требуется найти минимум в массиве [math]A[/math], начиная с позиции [math]l[/math] и заканчивая позицией [math]r[/math].

Разреженная таблица

Разреженная таблица — двумерная структура данных [math]ST[i, j][/math], для которой выполнено следующее: [math]ST[i,j]=\min\left(A[i], A[i+1], ..., A[i+2^{j}-1]\right),\quad j \in [0 .. \log N][/math]. Иначе говоря, в этой таблице хранятся минимумы на всех отрезках, длины которых равны степеням двойки. Объём, занимаемый таблицей, равен [math]O(N \log N)[/math], и заполненными являются только те элементы, для которых [math]i+2^j \le N [/math].

Простой метод построения таблицы заключён в следующем реккурентном соотношении: [math] ST[i][j] = \left\{ \begin{array}{lcl} \min\left(ST[i][j-1], ST[i+2^{j-1}][j-1]\right), j \gt 0 \\ A[i], j = 0 \\ \end{array} \right. [/math] .

Идемпотентность

Такая простота достигается за счет идемпотентности операции минимум: [math]\min(a, a)=a[/math]. Это один из ключевых моментов этого метода, так как она позволяет нам корректно считать минимум в области пересечения отрезков.

Таким образом мы получаем целый класс задач, которые могут решаться разреженной таблицей: вместо минимума может быть любая идемпотентноя бинарная операция [math] f(x, x) = x, x \in X [/math], где [math]X[/math] — некое множество, над которым задан массив [math]A[/math].

Применение к задаче RMQ

Решение задачи RMQ на разреженной таблице
Дан запрос [math](l, r)[/math]. По нему найдём [math]k = \max \{j| 2^j \le r - l + 1\}[/math], т.е. логарифм длины запрашиваемого отрезка. Заметим, что [math]\min(A[l], A[l+1], ..., A[r]) = \min\left(ST[l][k], ST[r-2^k+1][j]\right)[/math]. Заметим [math]k[/math] зависит лишь от длины отрезка. Предпосчитаем эту величину за [math]O(N\log N)[/math] следующим образом: [math]fl[x] = fl[\lfloor \frac{x}{2}\rfloor] + 1[/math]. Теперь мы можем находить [math]k[/math] за [math]O(1)[/math]. Таким образом, ответ на запрос происходит за константное время.

См. также

Источники

  • Bender, M.A., Farach-Colton, M. et al.Lowest common ancestors in trees and directed acyclic graphs. — J. Algorithms 57(2) (2005) — с. 75–94.