Встречное дерево Фенвика

Материал из Викиконспекты
Версия от 06:14, 15 июня 2011; Proshev (обсуждение | вклад) (Любой отрезок в виде дизъюнктивных объединений отрезков, взятых из прямого и встречного дерева Фенвика)
Перейти к: навигация, поиск
Определение:
Встречное дерево Фенвикадерево Фенвика, в котором над каждым столбцом идет столбец такой же высоты, вычисляемый по формуле [math]F'(i) = \sum_{j=i+1}^{i+2^{h(i)}} a[j][/math].


Вспомним, что [math]h(i)[/math] возвращает количество единиц в двоичной записи числа [math]i[/math], а каждый столбец прямого дерева Фенвика вычисляется по формуле [math]F(i) = \sum_{j=i-2^{h(i)}+1}^i a[j][/math]

Любой отрезок в виде дизъюнктивных объединений отрезков

Представим встречное дерево Фенвика [math]2^n[/math] на [math]2^n[/math] и посмотрим на него, как на дерево отрезков.

В нем существует отрезок длины 1..[math]2^n[/math]. Оставшуюся часть можно разбить на 2 поддерева. То есть получается структура обычного дерева отрезков, для которого известно указанное выше утверждение.

Свойства

Прямое дерево Фенвика
Встречное дерево Фенвика


Встречное дерево Фенвика - это структура данных, дерево на массиве, обладающее следующими свойствами:

1) позволяет вычислять значение некоторой операции [math]G[/math] на любом отрезке [math][L; R][/math] за время [math]O(\log N)[/math];

2) позволяет изменять значение любого элемента за [math]O(\log N)[/math];

3) требует [math]O (N)[/math] памяти, а точнее, ровно столько же, сколько и массив из [math]2N[/math] элементов;

4) легко обобщается на случай многомерных массивов.

5) позволяет представить любой отрезок [math][L; R][/math] в виде дизъюнктивных объединений отрезков, взятых из прямого и встречного дерева Фенвика.



Применение

Встречное дерево Фенвика применяется, когда нужно посчитать некоторую операцию на структуре без использования обратного элемента по этой операции. Например, перед нами стоит задача посчитать произведение матриц, не считая обратных. С помощью встречного дерева Фенвика можно разложить запрос произведения на отрезке на [math]O(\log N)[/math] дизъюнктных отрезков, операция для которых уже посчитана, получается почти как в дереве отрезков.

Ссылки