Алгоритм Шибера-Вишкина применяется для нахождения наименьшего общего предка двух вершин в дереве.
Он использует [math]O(n)[/math] времени на подготовку и затем отвечает на каждый запрос за [math]O(1)[/math].
Идея алгоритма
Основная идея алгоритма следующая.
- Если бы дерево, в котором нужно искать [math]LCA[/math] было бы цепочкой, можно было бы найти [math]LCA(u, v)[/math] просто взяв ту вершину, которая находится в дереве выше.
- Если дерево — полное двоичное дерево высоты [math]h[/math], то можно сопоставить каждой вершине битовый вектор длиной [math]h[/math] (целое число от [math]0[/math] до [math]2^h-1[/math]) и с помощью битовых операций над этими векторами найти [math]LCA(u, v)[/math]
Тогда, представив данное дерево как полное двоичное дерево, в каждой вершине которого находится цепочка, можно
научиться искать [math]LCA(v, u)[/math] в нем за [math]O(1)[/math].
Подготовка
Перенумеруем вершины в порядке префиксного обхода дерева: сначала обрабатывается текущая вершина, затем — поддеревья.
Пусть [math]\operatorname{order} : V \to \mathbb{N}[/math] — такой порядок обхода.
Обозначим за [math]\operatorname{size} v[/math] количество вершин в поддереве вершины [math]v[/math]. Здесь и далее считаем,
что вершина является и своим предком, и своим потомком.
| Утверждение: |
Пусть [math]u[/math] — вершина из поддерева [math]v[/math]. Тогда
[math]\operatorname{order} u \in [\operatorname{order} v; \operatorname{order}v + \operatorname{size} v - 1][/math] |
| [math]\triangleright[/math] |
|
По определению [math]\operatorname{order}[/math], [math]\operatorname{order} u[/math] вершин из поддерева [math]v[/math] образуют
отрезок натуральных чисел длиной [math]\operatorname{size} v - 1[/math]. Так как этот отрезок начинается с
[math]\operatorname{order}v + 1[/math], то [math]\operatorname{order} u[/math] — отрезок [math][\operatorname{order} v; \operatorname{order} v + \operatorname{size} v - 1][/math]. |
| [math]\triangleleft[/math] |
Покроем дерево путями. А именно, сопоставим каждой вершине [math]v[/math] число [math]\operatorname{inlabel} v[/math] такое, что прообраз каждого [math]\operatorname{inlabel} v[/math] в [math]T[/math] связен и является простым путем от какой-то вершины вниз до листа.
| Утверждение: |
В качестве [math]\operatorname{inlabel} v[/math] можно выбрать [math]\operatorname{order} u[/math], кратное максимальной степени двойки, где [math]u \in S(v)[/math]. |
| [math]\triangleright[/math] |
|
Пусть [math]\operatorname{inlabel} v = \operatorname{order} u = k2^b[/math], [math]b[/math] — максимально.
Пусть есть вершина [math]u' \in S(i)[/math] такая, что [math]\operatorname{order} u' = k'2^b[/math].
Так как в отрезке, соответствующем вершине [math]v[/math] есть два числа, кратных [math]2^b[/math], то
там есть и число, кратное [math]2^{b+1}[/math]. Но тогда [math]\operatorname{inlabel} v[/math] выбран неверно.
Значит, в поддереве [math]v[/math] есть только одна такая вершина [math]u[/math], что [math]\operatorname{order} u \hdots 2^{max}[/math].
Рассмотрим два случая.
Первый случай [math]\operatorname{inlabel} v = \operatorname{order} v[/math]
Других таких вершин [math]u'[/math], что [math]u'[/math] дает такую же степень двойки, нет.
Значит, во всех поддеревьях [math]v[/math] значения [math]\operatorname{inlabel}[/math] отличаются
от [math]\operatorname{inlabel} v[/math].
Второй случай [math]\operatorname{inlabel} v = \operatorname{order} u[/math], [math]u \in S(v), u \ne v[/math]
Так как в поддереве [math]v[/math] представлены все [math]\operatorname{order}[/math]-ы из отрезка [math][\operatorname{order} v; \operatorname{order} v + \operatorname{size} v - 1][/math], то рассмотрим того потомка [math]w[/math] вершины [math]v[/math], что [math]u \in S(w)[/math]. Тогда, так как степень двойки у [math]u[/math] максимальна, по утверждению в начале доказательства, других вершин с такой же степенью двойки нет, то [math]\operatorname{inlabel} w = \operatorname{inlabel} v = \operatorname{order} u[/math]. Так как отрезки, соответствующие поддеревьям сыновей, не пересекаются, не найдется другого [math]w'[/math] — потомок [math]v[/math], что в поддереве [math]w'[/math] есть вершина с такой же степенью двойки. Значит, все вершины [math]v'[/math], у которых [math]\operatorname{inlabel} v' = \operatorname{inlabel} v[/math] находятся в поддереве [math]w[/math]. Проведя аналогичное доказательство для [math]w[/math], получим требуемое. |
| [math]\triangleleft[/math] |
| Утверждение: |
[math]\operatorname{inlabel} v = 2^i (\frac{\operatorname{order} v + \operatorname{size} v}{2^i})[/math], где [math]i = \lfloor\log_2 (\operatorname{order} v \oplus (\operatorname{order} v + \operatorname{size} v)) \rfloor + 1[/math] |
| [math]\triangleright[/math] |
|
Посмотрим на [math]A = \operatorname{order} v \oplus (\operatorname{order} v + \operatorname{size} v)[/math].
Посмотрим на позицию самой правой единицы [math]l[/math] в [math]A[/math].
Так как в [math]\operatorname{order} v[/math] там еще [math]0[/math], а в [math]\operatorname{order} v + \operatorname{size} v[/math] — уже единица, то в отрезке [math][\operatorname{order} v; \operatorname{order} v + \operatorname{size} v][/math] есть число, кратное [math]2^l[/math].
Докажем, что нет чисел, кратных [math]2^{l+1}[/math]. Пусть такое число нашлось. Тогда [math]l[/math]-й бит менялся хотя бы два раза, а значит, менялся
[math]l+1[/math]-й бит. А значит, самый значащий отличающийся бит в [math]\operatorname{order} v[/math] и в [math]\operatorname{order} v + \operatorname{size} v[/math] больше, чем [math]l[/math]-й.
Заметим, что функция [math]\lfloor \log_2 a \rfloor + 1[/math] просто выделяет номер самого значашего единичного бита.
Функция [math]2^l\frac{a}{2^l}[/math] обнуляет все биты младше [math]l[/math]-го.
Чтобы получить из отрезка число, кратное [math]2^l[/math], будучи уверенными, что оно там есть, достаточно обнулить [math]l[/math] битов в правой границе отрезка. |
| [math]\triangleleft[/math] |
Каждое значение [math]\operatorname{inlabel} v[/math] соответствует вершине в полном двоичном дереве высоты [math]h=\lceil\log_2 n\rceil[/math]. В двоичном дереве будем нумеровать вершины в инфиксном порядке: обойдем левое поддерево, занумеруем вершину, обойдем правое поддерево. В двоичном дереве будет ребро между вершинами [math]\operatorname{inlabel} v[/math] и [math]\operatorname{inlabel} u[/math], если в начальном дереве есть ребро [math]v\to u[/math]. Стандартных для двоичного дерева
ребер не будет. Они нужны только для того, чтобы занумеровать вершины и для следующего утверждения.
| Утверждение: |
Если в начальном дереве есть ребро [math]v\to u[/math] ([math]u \in S(v)[/math]), то в построенном двоичном дереве
[math]\operatorname{inorder} u \in S(\operatorname{inorder} v)[/math] |
Посчитаем для каждого [math]\operatorname{inlabel} v[/math] множество всех его потомков в двоичном дереве. Заметим, что
для хранения одного потомка достаточно хранить только его высоту в дереве. Чтобы восстановить его значение, нужно
просто подняться на [math]\Delta h[/math] вверх от вершины [math]v[/math]. Поэтому, все это множество можно уместить в
число: [math]i[/math]-й бит будет единицей, если есть потомок на высоте [math]i[/math]. Назовем это число [math]\operatorname{ascendant} v[/math].
В дальнейшем [math]\operatorname{ascendant} v [/math] поможет в поиске [math]LCA(\operatorname{inlabel} v, \operatorname{inlabel} u[/math]. Также, нам понадобится еще следующая информация. [math]\operatorname{head} v[/math] — самая не глубокая вершина [math]u[/math] такая, что [math]\operatorname{inlabel} v = \operatorname{inlabel} u[/math].
Обработка запроса
Пусть [math]x[/math], [math]y[/math] — вершины в исходном дереве [math]LCA[/math] которых необходимо найти. Если [math]\operatorname{inlabel} x = \operatorname{inlabel} y[/math], то они принадлежат одному простому пути, а следовательно ответом на запрос является [math]x[/math], если [math]\operatorname{level} x \le \operatorname{level} y[/math], и [math]y[/math], в противном случае. Теперь рассмотрим случай, когда [math]\operatorname{inlabel} x \ne \operatorname{inlabel} y[/math], то есть [math]x[/math] и [math]y[/math] принадлежат разным простым путям. Найдем [math]b = LCA(\operatorname{inlabel} x, \operatorname{inlabel} y)[/math].
| Утверждение: |
[math]LCA(\operatorname{inlabel} x, \operatorname{inlabel} y) = 2^i((2(\frac x{2^{i+1}})) \,|\, 1)[/math], где [math]i = \log(\operatorname{inlabel} x \oplus \operatorname{inlabel} y)[/math] |
| [math]\triangleright[/math] |
|
Пусть [math]i[/math] — индекс самой правой единицы в двоичном представлении [math]b[/math]. Из того, что [math]b[/math] общий предок [math]\operatorname{inlabel} x[/math] и [math]\operatorname{inlabel} y[/math] в полном двоичном дереве следует, что [math]l-i[/math] левых бит, совпадающих в [math]\operatorname{inlabel} x[/math] и [math]\operatorname{inlabel} y[/math], должны быть такими же и в [math]b[/math], а так как [math]b[/math] наименьший общий предок, то [math]i[/math] — минимальный такой индекс. То есть [math]i[/math] самый левый бит, в котором различаются [math]\operatorname{inlabel} x[/math] и [math]\operatorname{inlabel} y[/math]. А двоичное представление [math]b[/math] состоит из [math]l-i[/math] левых бит [math]\operatorname{inlabel} x[/math] (или [math]\operatorname{inlabel} y[/math]), единички и [math]i[/math] нулей. |
| [math]\triangleleft[/math] |
