Суффиксный массив — лексикографически отсортированный массив всех суффиксов строки. Эта структура данных была разработана Юджином Майерсом и Уди Манбером как более экономная альтернатива суффиксному дереву с точки зрения необходимой памяти. Она часто применяется там, где необходим быстрый поиск подстрок, например в преобразовании Барроуза — Уилера (BWT), а также в качестве структуры данных в поисковом индексе.
Рассмотрим строку «abracadabra» длиной 11 символов.
a b r a c a d a b r a
1 2 3 4 5 6 7 8 9 10 11
Отсортированный список её суффиксов:
a
abra
abracadabra
acadabra
adabra
bra
bracadabra
cadabra
dabra
ra
racadabra
Суффиксный массив этой строки — {11,8,1,4,6,9,2,5,7,10,3}, потому что суффикс «a» начинается с 11-го знака, суффикс «abra» — с 8-го, и так далее, вплоть до последнего суффикса «racadabra», который начинается с третьего символа исходного слова.
Теперь с помощью этого массива можно легко найти все подстроки. Например, если нужно найти подстроку «ab», достаточно найти все суффиксы, которые начинаются на «ab». За счёт сортировки по алфавиту они находятся рядом друг с другом. Используя бинарный поиск, мы находим 2-й и 3-й суффиксы «abra» и «abracadabra», которым соответствуют 2-й и 3-й элемент суффиксного массива (8 и 1). Это означает, что искомая подстрока «ab» встречается на первом и восьмом символе в исходном слове.
Суффиксный массив можно построить как с помощью суффиксного дерева, так и без него, дополнив строку до циклической длины степени двойки, и применив к нему конкретный алгоритм.
- Строим суффиксное дерево для строки T$, где T — текст.
- В этом суффиксном дереве запускаем поиск в глубину с приоритетом выбора лексиграфически минимальных рёбер.
- Во время поиска считаем, что $ (сентинел) — лексикографически наименьший символ.
- Приход в лист достижение некоторого ещё не рассмотренного[что?] в данный момент лексикографически наименьшего суффикса, значение в листе которого, начальный индекс в, нужно записать в текущую ячейку суффиксного массива.
- Так получается суффиксный массив для всего текста.
|
Сложность построения —
, линия включает в себя построение суффиксного дерева и обход в глубину.
Поиск в суффиксном массиве можно осуществить через бинарный поиск. Его худшая оценка
. Но можно ускорить до
.
- Идея поиска в том, что если образец встречается в тексте, то все суффиксы, начинающиеся с
, в суффиксном массиве будут располагаться рядом.
- Запускаем двоичный поиск
в суффиксном массиве и находим такой наименьший индекс : не начинается с и наибольший индекс : тоже не начинается с .
- Тогда образец входит в позициях
до .
- Если существует много префиксов паттерна, то оценка работы падает до
.
|
, — границы интервала поиска. На начале , .
- Запоминаем длину префиксов
, , совпадающих с префиксом .
.
- При очередном сравнении в позиции
начинаем обрабатывать символы не с первой позиции, а с .
- Обычно время работы
, но худшее время работы всё ещё .
|
Наибольший общий префикс (англ. Largest Common Prefix) — для двух строк
,
— длина наибольшего совпадающего префикса.
В этом алгоритме будем считать, что
для любых двух суффиксов вычисляется за
. Функция вычисляется на этапе препроцессинга при построении дерева. Также верно утверждение:
.
Благодаря этой функции можно оптимизировать бинарный поиск по суффиксному массиву.
Лемма: Если на левой и правой границе (
,
соответственно индексы суффиксного массива) совпадают первые
символов суффикса, то столько же символов будет совпадать для всех суффиксов на отрезке
.
, , , . Дальше возможны следующие случаи
.
- Сравниваем суффикс в
с паттерном с позиции .
- Суффикс лексикографически больше или равен
и на позиции в суффиксе произошло несовпадение (если произошло лексикографическое совпадение и , то считаем равным ), то меняем границы поиска: .
- Иначе меняем границы так:
.
. Проверяем .
. В таком случае после позиции в суффиксе на позиции следует некоторое количество тех же самых символов, что и в , которые не совпадают с паттерном (если бы совпадали, то было бы больше). Значит, нужно изменить границы следующим образом: .
, это значит, что после позиции в суффиксе на позиции следует несовпадение с некоторыми символами префикса , причём в содержится большая часть совпадения с паттерном — значит в отрезке точно не найдется вхождений паттерна. Изменить границы нужно следующим образом: .
, это значит, что на отрезке во всех суффиксах совпадают первые символов, и нельзя сразу сказать, в какой подотрезок нужно пойти. Для разрешения этого необходимо сравнить с паттерном следующие за позицией символы в суффиксе . Если лексикографически меньше или равно и на -ой позиции произошло несовпадение (если произошло лексикографическое совпадение и , то считаем равным ), то изменяем границы так: , , ; иначе ( лексикографически больше): , , .
. Проверяем и сравниваем с как на прошлом шаге, но меняем на и на .
- Алгоритм работает, пока
и не станут равными . Это значит, что есть отрезок совпадения. Если не выполняется инвариант , то паттерна как подстроки в тексте нет.
|
Такое сверхускорение даёт время
, так как выполняется
итераций по суффиксному массиву.
- Гасфилд Д. Строки, деревья и последовательности в алгоритмах: Информатика и вычислительная биология / Пер. с англ. И. В. Романовского. — 2-е изд. — СПб.: Невский Диалект, 2003. — 654 с.
- Смит Б. Методы и алгоритмы вычислений на строках = Computing Patterns in Strings. — М.: Вильямс, 2006. — 496 с. — ISBN 5-8459-1081-1, 0-201-39839-7.