Суффиксный автомат

Суффиксный автомат
англ. suffix automaton
англ. directed acyclic word graph
Suffix automaton for abbcbc.svg
Суффиксный автомат для abbcbc
Тип Индекс подстрок
Год изобретения 1983
Автор Ансельм Блумер, Джанет Блумер, Анджей Эренфехт[en], Дэвид Хаусслер[en], Росс Макконнелл
Сложность в О-символике
В худшем случае
Построение
Расход памяти
Commons-logo.svg Медиафайлы на Викискладе

Суффиксный автомат (англ. suffix automaton, directed acyclic word graph, DAWG) — детерминированный конечный автомат (ДКА), принимающий все суффиксы слова и только их, и обладающий наименьшим возможным числом состояний среди всех таких автоматов. Суффиксный автомат был впервые описан группой учёных из Денверского и Колорадского университетов в 1983 году, они же показали, что размер автомата линейно зависит от длины , а также предложили онлайн-алгоритм[en] для его построения с линейным временем работы[⇨].

В дальнейших работах на эту тему была обнаружена тесная связь суффиксного автомата с суффиксными деревьями[⇨], а сама концепция суффиксного автомата получила различные обобщения. Так были введены сжатый суффиксный автомат, получаемый из исходного процедурой, аналогичной той, которая применяется к суффиксному бору для получения суффиксного дерева, а также обобщённый суффиксный автомат, который строится для набора слов и принимает слова, являющиеся суффиксами хотя бы одного из данных[⇨].

С помощью суффиксного автомата можно эффективно решать такие задачи как поиск подстроки в строке, определение наибольшей общей подстроки двух и более строк и другие[⇨].

История

Ансельм Блумер, на доске изображён CDAWG для строк ababc и abcab

Концепция суффиксного автомата была представлена группой учёных из Денверского и Колорадского университетов Ансельмом Блумером, Анджеем Эренфехтом[en], Дэвидом Хаусслером[en], Россом МакКоннеллом и Джанет Блумер в 1983 году, хотя связанные с ним структуры встречались ранее в работах Питера Вайнера[1], Вона Пратта[2] и Анатолия Олесьевича Слисенко[en][3], посвящённых алгоритмам построения суффиксных деревьев. В той же работе Блумер и другие показали, что построенный по слову длины больше автомат содержит не больше состояний и не больше переходов, а также привели линейный алгоритм построения автомата[4].

В 1983 году Му Тянь Чэнь и Джоэл Сейферас независимо разработали алгоритм построения суффиксного автомата, показывающий, что алгоритм Вайнера[1], предложенный в 1973 году для построения суффиксного дерева слова , также строит суффиксный автомат для обращённого слова в качестве вспомогательной структуры[5]. В 1987 году Блумер и другие, по аналогии с суффиксным деревом, описали сжатый суффикный автомат (англ. compact directed acyclic word graph, CDAWG)[6], получаемый из суффиксного автомата удалением нефинальных состояний с полустепенью исхода, равной единице, а в 1997 году Максим Крошемор и Рено Верин разработали линейный алгоритм для его прямого построения[7]. В 2001 году Шунсуке Иненага и другие разработали линейный онлайн-алгоритм для построения сжатого суффиксного автомата[8], а также линейный алгоритм для построения сжатого суффиксного автомата для набора слов, заданного префиксным деревом[9].

Обозначения

При описании суффиксных автоматов и связанных с ними фактов и теорем часто используются обозначения из теории формальных языков в целом и теории автоматов в частности[10]:

  • Алфавит — конечное множество , из которого могут состоять слова. Его элементы называются символами;
  • Слово — конечная последовательность символов алфавита . Длина слова обозначается как ;
  • Формальный язык — некоторое множество слов над заданным алфавитом;
  • Язык всех слов обозначается как (здесь символ «*» несёт смысл звезды Клини), пустое слово (слово нулевой длины) — символом ;
  • Конкатенация (произведение) слов и обозначается как или и равна слову, получаемому приписыванием к справа, то есть, ;
  • Конкатенация языков и обозначается как или и равна множеству попарных конкатенаций ;
  • Если слово представимо в виде , где , то слова , и называют префиксом, суффиксом и подсловом (подстрокой) слова соответственно;
  • Если , то говорят, что слово входит (встречается) в как подслово. При этом и называются левой и правой позициями вхождения в соответственно.

Структура автомата

Формально, детерминированный конечный автомат определяется набором из пяти элементов , где:

  •  — алфавит, из которого состоят слова, распознаваемые автоматом,
  •  — множество состояний автомата,
  •  — начальное состояние автомата,
  •  — множество финальных состояний автомата,
  •  — множество переходов автомата, состоящее из троек вида , где и (см. декартово произведение).

Чаще всего на практике конечные автоматы представляются в виде ориентированного графа (диаграммы) такого что[11]:

  • Множество вершин графа соответствует множеству состояний ,
  • В графе выделена некоторая вершина, соответствующая начальному состоянию ,
  • В графе выделен набор вершин, соответствующих множеству финальных состояний ,
  • Множество дуг в графе соответствует множеству переходов ,
  • При этом переходу соответствует дуга из в , помеченная символом алфавита . Такой переход также обозначают как .

В таком графе вершины и дуги отождествляются с состояниями и переходами автомата соответственно. Автомат принимает слово в том и только том случае, если существует путь из начального состояния в некоторое финальное состояние , такой что если сконкатенировать символы, встретившиеся на этом пути, то получится слово . Множество слов, которые принимает автомат, образуют язык этого автомата[10].

Состояния автомата

Основная статья: Минимизация ДКА

Правым контекстом слова относительно языка называют множество . То есть это множество слов , при приписывании которых к слову справа получается слово из языка . Правые контексты индуцируют естественное отношение эквивалентности на множестве всех слов. В терминах правых контекстов можно записать важное утверждение о минимальных автоматах, следующее из теоремы Майхилла — Нероуда[12][13]:

Минимальный автомат, распознающий язык над алфавитом , может быть задан в явном виде:

  • Алфавит остаётся без изменений,
  • Состояниям соответствуют правые контексты всех слов ,
  • Начальному состоянию соответствует правый контекст пустого слова ,
  • Финальным состояниям соответствуют правые контексты слов из языка ,
  • Переходы имеют вид , где и .

Полученный таким образом минимальный автомат определён однозначно с точностью до изоморфизма.

В таких обозначениях, суффиксный автомат — это минимальный ДКА, принимающий язык суффиксов слова . Правый контекст слова относительно данного языка состоит из слов таких что  — суффикс . Это позволяет сформулировать следующую лемму, определяющую взаимно-однозначное соответствие между правым контекстом слова и множеством позиций его вхождений в в качестве подслова[14][15]:

Пусть — множество правых позиций вхождений в .

Между элементами множеств и есть следующее взаимно однозначное соответствие:

  • Если , то ;
  • Если , то .

Например, для слова и его подслова выполнено и . Неформально, состоит из слов, которые следуют за вхожениями до конца слова, а — из позиций этих вхождений. В этом примере, элементу соответствует слово . В то же время, слову соответствует элемент .

Из этого следует ряд структурных свойств состояний суффиксного автомата и слов, которые ими принимаются. Пусть , тогда[15]:

  • Если у и есть хотя бы один общий элемент , то общий элемент также есть у и . Это, в свою очередь, значит, что  — суффикс и потому и . В приведённом выше примере, и, как следствие, — суффикс , а также и ;
  • Если , то , то есть встречается в только в качестве суффикса . Это видно на примере слов и , для которых и ;
  • Если и  — суффикс , такой что , то . В приведённом выше примере, , а «промежуточным» суффиксом является . И действительно, .

Таким образом, любое состояние суффиксного автомата принимает некоторую непрерывную цепочку вложенных друг в друга суффиксов наибольшей строки из этого состояния[15].

Левым расширением строки называют самую длинную строку , имеющую тот же правый контекст, что и . Длину самой длинной строки, принимаемой состоянием , обозначают как . Для него верно, что[16]:

Левое расширение строки может быть представлено в виде , где — самое длинное слово, такое что любому вхождению слова в предшествует слово .

Cуффиксной ссылкой от состояния называют указатель на состояние , содержащее наибольший суффикс , который не принимается состоянием .

В таких обозначениях можно сказать, что состояние принимает в точности все суффиксы , которые длиннее и не длиннее . Кроме того, верно следующее[16]:

Суффиксные ссылки образуют дерево , которое можно задать явно следующим образом:

  1. Вершинам соответствуют левые расширения всех подстрок ,
  2. Рёбра соединяют вершины , такие что и .

Связь с суффиксным деревом

Преобразования суффиксных структур
Основная статья: Суффиксное дерево

По определению, суффиксный автомат может быть получен минимизацией суффиксного бора. Кроме того, сжатый суффиксный автомат может быть получен как минимизацией суффиксного дерева, так и сжатием обычного автомата[8]. Однако, помимо очевидной связи между суффиксным автоматом и суффиксным деревом одной и той же строки, можно также установить некоторое соответствие между суффиксным автоматом строки и суффиксным деревом обращённой строки [17].

Аналогично правым контекстам можно ввести левые контексты и правые расширения , соответствующие самым длинным строкам, имеющим заданный левый контекст, а также отношение эквивалентности . Если рассматривать правые расширения относительно языка префиксов строки , то можно получить, что[16]:

Суффиксное дерево строки может быть задано в явном виде следующим образом:

  • Вершинам соответствуют правые расширения всех подстрок ,
  • Рёбрам соответствуют тройки такие что и .

Здесь тройка значит, что на ребре из в записана строка .

Из чего следует, что дерево суффиксных ссылок для автомата строки и суффиксное дерево строки изоморфны[17]:

Аналогично левым расширениям, для правых расширений также может быть сформулирована структурная лемма[16]:

Правое расширение строки может быть представлено в виде , где — самое длинное слово, такое что за любым вхождением в сразу следует слово .

Размер

В суффиксном автомате строки длины не больше состояний и не больше переходов, причём данные оценки достигаются на строках и соответственно[14]. Можно также сформулировать более сильное утверждение о связи числа состояний и переходов в автомате: , где и  — это число переходов и состояний соответственно[15].

Построение

Суффиксный автомат строки строится последовательным наращиванием слова, для которого он построен. Изначально имеется тривиальный автомат, построенный для пустого слова, а затем на каждом шаге к текущему слову добавляется один символ, что влечёт за собой перестройку состояний и переходов автомата[18].

Изменение состояний

После приписывания нового символа к слову, некоторые классы эквивалентности изменятся. Пусть  — правый контекст слова относительно языка суффиксов слова . Тогда переход от к при приписывании символа к слову описывается следующей леммой[15]:

Пусть — некоторые слова над алфавитом и — некоторый символ этого алфавита. Тогда между правыми контекстами и слова относительно языков суффиксов слов и соответственно имеет место следующая связь:

  • если — суффикс ;
  • в противном случае.

То есть при добавлении одного символа к текущему слову правый контекст слова может измениться только в том случае, если является суффиксом слова . Из этого следует, что разбиение всех слов на классы эквивалентности по является измельчением разбиения на классы эквивалентности по . Другими словами, если , то . Кроме того, при добавлении очередного символа к слову расщепление произойдёт у не более чем двух состояний. В первую очередь будет расщеплено состояние, которому соответствует пустой правый контекст (то есть то, которое принимает язык слов, не входящих в в качестве подслова). Из этого состояния будет выделено новое состояние, содержащее всё слово , а также все его суффиксы, которые встречаются в , но не встречались в . Соответственно, правый контекст этих слов, который ранее был пустым, теперь будет состоять только из пустого слова[15].

Учитывая связь между состояниями суффиксного автомата и вершинами суффиксного дерева, можно отследить и второе состояние, которое может расщепиться при добавлении очередного символа. Так как переход от слова к соответствует переходу от к для обращённой строки, приписывание символа к строке соответствует внесению одного нового (самого длинного) суффикса в суффиксное дерево строки . При этом появляется не более двух вершин: одна из них будет соответствовать всему слову , а другая может появиться в том месте, где происходит ответвление от дерева. Таким образом, одно новое состояние соответствует правому контексту всей строки , а другое (если оно есть) может соответствовать только суффиксной ссылке этого состояния. Данные наблюдения можно обобщить теоремой[15]:

Пусть и . Пусть также является самым длинным суффиксом , который встречается в , а — его левое расширение относительно , то есть самое длинное подслово слова такое что . Тогда для любых подслов слова верно следующее:

  • Если и , то ;
  • Если и , то ;
  • Если и , то .

В частности, если (например, когда вообще не встречается в и ), расщепления второго состояния не происходит[15].

Помимо суффиксных ссылок, в новом автомате также нужно определить финальные состояния. Из структурных свойств автомата следует, что суффиксы любого слова расположены таким образом, что если , то суффиксы , чья длина превышает , лежат в , суффиксы, чья длина больше , но не больше , лежат в и так далее. Иными словами, для любого суффикса найдётся вершина в суффиксном пути состояния , который задаётся последовательностью . Соответственно если обозначить состояние, принимающее в текущий момент всю строку , как , то терминальными (принимающими суффиксы ) состояниями будут те и только те состояния, которые входят в суффиксный путь [18].

Изменение переходов и суффиксных ссылок

Какие-либо изменения при добавлении очередного символа затрагивают не более чем два новых состояния, поэтому изменения в переходах автомата тоже будут затрагивать только эти состояния. После приписывания к слову образуется новое состояние , а также, возможно, состояние . Суффиксная ссылка из будет вести в , а из  — в . Слова из встречаются в только в виде суффиксов, поэтому из не должно быть переходов, а ведущие в него переходы должны вести по символу из суффиксов с длиной хотя бы . Состояние отщепляется от , поэтому переходы из этого состояния будут дублировать таковые у . А ведущие в него переходы будут вести по символу из состояний, соответствующим суффиксам длины меньше и не меньше , так как ранее эти переходы вели в и соответствовали отделившейся части состояния. Состояния, принимающие данные слова, можно определить по суффиксному пути состояния [18].

Алгоритм построения автомата

Теоретические результаты выше приводят к следующему алгоритму, который принимает символ и перестраивает суффиксный автомат слова в суффиксный автомат слова [18]:

  1. Поддерживается номер состояния , соответствующего всей строке ;
  2. При добавлении символа , номер запоминается в переменной , а в записывается номер нового состояния, соответствующего слову ;
  3. Из состояний, соответствующих суффиксам , проставляются переходы в . Для этого идёт обход суффиксного пути , пока не встретится состояние, из которого уже есть переход по ;
  4. Дальнейшие действия соответствуют одному из трёх случаев:
    1. Если на всём суффиксном пути ни из одного состояния нет перехода по , то раньше не встречался в и суффиксная ссылка из ведёт в ;
    2. Если переход по нашёлся и ведёт из состояния в состояние , такое что , то необходимости расщеплять нет и достаточно провести суффиксную ссылку из в ;
    3. Если же , то слова из состояния , чья длина не превосходит должны быть выделены в отдельное состояние ;
  5. Если на прошлом шаге было выделено отдельное состояние , то переходы и суффиксная ссылка из него должны дублировать оные в , при этом станет общей суффиксной ссылкой состояний и ;
  6. Переходы, которые вели в , но соответствовали словам длины не больше , перенаправляются в . Для этого можно продолжать идти по суффиксному пути , пока не найдётся состояние, переход из которого ведёт не в .

Процедура, реализующая этот алгоритм, может быть описана следующим псевдокодом:

1. функция add_letter(x):
2.     определить p = last
3.     присвоить last = new_state()
4.     присвоить len(last) = len(p) + 1
5.     пока δ(p, x) не определено:
6.         присвоить δ(p, x) = last, p = link(p)
7.     определить q = δ(p, x)
8.     если q = last:
9.         присвоить link(last) = q0
10.    иначе если len(q) = len(p) + 1:
11.        присвоить link(last) = q
12.    иначе:
13.        определить cl = new_state()
14.        присвоить len(cl) = len(p) + 1
15.        присвоить δ(cl) = δ(q), link(cl) = link(q)
16.        присвоить link(last) = link(q) = cl
17.        пока δ(p, x) = q:
18.            присвоить δ(p, x) = cl, p = link(p)

Здесь — начальное состояние автомата, — функция, добавляющая в автомат новое состояние. Предполагается, что , , и хранятся в виде глобальных переменных. Возможная реализация этого алгоритма на C++:

 1 const int maxn = ...;    // Максимальное число состояний
 2 map<char, int> to[maxn]; // Переходы
 3 int link[maxn];          // Суффиксные ссылки
 4 int len[maxn];           // Длины максимальных строк в состояниях
 5 int last = 0;            // Состояние, соответствующее всей строке
 6 int sz = 1;              // Общее число состояний
 7 
 8 void add_letter(char x) {             // К строке w добавляется символ c
 9     int p = last;                     // В p записывается состояние строки s
10     last = sz++;                      // Новое состояние для строки wx
11     len[last] = len[p] + 1;
12     for(; to[p][x] == 0; p = link[p]) {
13     	to[p][x] = last;              // Создаются переходы в новое состояние
14     }
15     int q = to[p][x]; 
16     if(q == last) {                   // Символ x раньше не встречался в строке
17         link[last] = 0;
18     } else if(len[q] == len[p] + 1) { // Расщепления не происходит
19     	link[last] = q;
20     } else {                          // От q отщепляется новое состояние
21         int cl = sz++; 
22         to[cl] = to[q];
23         link[cl] = link[q]; 
24         len[cl] = len[p] + 1; 
25         link[last] = link[q] = cl;
26         for(; to[p][x] == q; p = link[p]) {
27         	to[p][x] = cl;            // Часть переходов перенаправляются из q в cl
28         }
29     }
30 }

Вычислительная сложность

В зависимости от используемых структур, детерминированная версия описанного выше алгоритма может быть реализована за время с памяти или за время с памяти, если считать, что выделение памяти происходит за . При этом для получения такой оценки времени работы необходимо провести амортизационный анализ внутренних циклов алгоритма. Если рассмотреть, как меняется параметр после первой итерации первого цикла, то можно увидеть, что с каждой итерацией цикла он строго уменьшается. При этом если на последней итерации предыдущего шага эта величина была равна , то на второй итерации на следующем шаге эта величина будет равна . То, что ни в какой момент времени не превосходит и что между циклами эта величина увеличивается только на единицу, даёт требуемое утверждение. Аналогичным анализом может быть показана линейность суммарного времени исполнения второго цикла алгоритма[18].

Вариации и обобщения

Суффиксный автомат тесно связан с другими суффиксными структурами и индексами подстрок. Имея суффиксный автомат некоторой строки, возможно сжатием и рекурсивным обходом данного автомата построить суффиксное дерево этой строки за линейное время[19]. Аналогичные преобразования в обе стороны возможны между суффиксным автоматом строки и суффиксным деревом обращённой строки [17]. Помимо этого был разработан ряд модификаций алгоритма, позволяющих строить автомат для множества строк, заданных префиксным деревом[9], применять к нему сжатие[6], поддерживать его структуру в режиме скользящего окна[20], а также перестраивать при добавлении символов как с конца, так и с начала строки[21].

Сжатый суффиксный автомат

Как было сказано выше, сжатый суффиксный автомат может быть получен из обычного суффиксного автомата сжатием (удалением состояний, которые не являются финальными и из которых ведёт ровно один переход), а также минимизацией суффиксного дерева, если считать, что алфавит образуют слова, записанные на рёбрах дерева. Кроме того, состояния сжатого автомата могут быть описаны явно, аналогично тому, как это было сделано для несжатого автомата. Двусторонним расширением слова называют самое длинное слово , такое что любому вхождение в предшествует слово , а сразу за ним следует слово . В терминах левых и правых расширений это значит, что двустороннее расширение является левым расширением от правого расширения или, что эквивалентно, правым расширением от левого расширения: . В терминах двусторонних расширений сжатый суффиксный автомат можно описать следующим образом[16]:

Сжатый суффиксный автомат слова может быть задан парой , где:

  • — множество состояний автомата;
  • — множество переходов автомата.

Двусторонние расширения порождают отношение эквивалентности , описывающее слова, принимаемые одним и тем же состоянием сжатого автомата. Это отношение является транзитивным замыканием отношения , что подчёркивает тот факт, что состояния сжатого суффиксного автомата могут быть получены как склеиванием вершин суффиксного дерева, эквивалентных по (минимизация суффиксного дерева), так и склеиванием состояний суффиксного автомата, эквивалентных по (сжатие суффиксного автомата)[22]. Если у слов и совпадают правые расширения, а у слов и  — левые, то в совокупности у слов , и совпадает двустороннее расширение. При этом может оказаться, что у слов и не совпадают ни левые, ни правые расширения. В случае , и левые и правые расширения таковы: , но и . В случае односторонних контекстов и расширений слова из одного и того же класса эквивалентности образовывали непрерывную цепочку вложенных друг в друга префиксов или суффиксов и могли быть однозначно определены длинами самого короткого и самого длинного слов в классе. В случае же двусторонних расширений однозначно можно сказать только то, что слова из одного и того же класса являются подсловами самого длинного слова из этого класса, а в остальном классы могут иметь достаточно сложную структуру. Общее число таких классов эквивалентности не превосходит , из чего следует, что у сжатого суффиксного автомата строки длины будет не больше состояний. Количество переходов в таком автомате не превосходит [16].

Суффиксный автомат для набора строк

Пусть задан набор слов . Аналогично автомату, построенному по единственному слову можно рассмотреть обобщённый суффиксный автомат, который принимает язык слов, являющихся суффиксом хотя бы одного слова из . При этом для числа состояний и переходов данного автомата будут выполняться все те же ограничения, которые были указаны выше, если положить [22]. Сам алгоритм построения по своей сути похож на алгоритм построения автомата для одной строки, но вместо указателя на состояние соответствующее слову при переходе к слову функция add_letter будет принимать указатель на состояние, принимающее слово , подразумевая, что переход происходит от текущего набора слов к набору . Помимо основных действий, которые уже заложены в алгоритм нужно будет отдельно разобрать случай когда строка уже присутствует в автомате — в таком случае, возможно, придётся расщепить состояние, которое её принимает, аналогично тому, как это происходило при формировании суффиксной ссылки в алгоритме для единичного слова[23][24].

Дальнейшим развитием этой идеи стало построение суффиксного автомата для случая когда набор задан не в явном виде, а префиксным деревом на вершинах. Мохри и другие показали, что такой автомат содержит не более состояний и может быть построен за линейное от своего размера время. При этом количество переходов в таком автомате может достигать  — например, если рассмотреть множество слов над алфавитом , то суммарная длина слов из этого множества будет порядка , число вершин в соответствующем префиксном дереве будет равна , а в суффиксном автомате будет порядка состояний и переходов. Сам алгоритм, предложенный Мохри, во многом повторяет общий алгоритм построения автомата по набору строк, но вместо того, чтобы каждый раз дописывать символы слова из набора от начала до конца, алгоритм обходит префиксное дерево в порядке обхода в ширину и приписывает очередные символы в том порядке, в котором встречает их при обходе, что гарантирует амортизированно линейное время работы алгоритма[25].

Скользящее окно

В некоторых алгоритмах сжатия, таких как LZ77 и RLE может быть полезным хранить суффиксный автомат или подобную структуру не для всего считанного слова, а только для последних символов. В первую очередь, такая необходимость всплывает из-за специфики задач сжатия данных, где сжимаемые строки обычно достаточно велики и использование памяти нежелательно. В 1985 году Джанет Блумер разработала алгоритм, поддерживающий суффиксный автомат на скользящем окне размера и работающий за в худшем случае и в среднем, в предположении, что символы в сжимаемом слове распределены независимо и равномерно. В той же работе было показано, что оценка является неулучшаемой — если рассмотреть слова, полученные конкатенацией нескольких слов вида , где , то число состояний автомата, который соответствует подсловам длины чередовалось бы с резкими прыжками порядка по величине, что делает существование даже теоретического алгоритма, улучшающего оценку в для суффиксного автомата невозможным[26].

Казалось бы, то же самое должно быть верно и для суффиксного дерева, так как вершины суффиксного дерева соответствуют состояниям суффиксного автомата развёрнутой строки. Однако, если в суффиксном дереве не выделять отдельную вершину для каждого суффикса, то таких резких скачков уже не будет и построение амортизированного алгоритма, поддерживающего суффиксное дерево на скользящем окне возможно. Соответствующий алгоритм для суффиксного дерева, основанный на алгоритме Маккрейта и поддерживающий добавление нового символа справа и удаление символа слева, был предложен в 1989 году Эдвардом Фиала и Дэниелом Грином[27], а в 1996 году изложен в терминах алгоритма Укконена Джеспером Ларссоном[28][29]. В связи с этим долгое время оставался открытым вопрос о том, возможно ли поддержание быстрого скользящего окна для сжатого автомата, который объединяет в себе некоторые свойства как обычного суффиксного автомата, так и суффиксного дерева. Отрицательный ответ на этот вопрос был получен в 2008 Мартином Сенфтом и Томашем Двораком, показавшим, что если алфавит состоит из двух и более символов, то амортизированное время, требуемое для сдвига окна на один символ в худшем случае имеет порядок [30].

В то же время, если точная ширина окна не важна и задача заключается лишь в том, чтобы поддерживать окно, чья ширина по порядку величины не превосходит , это можно сделать приближенным алгоритмом, предложенным Иненагой и другими в 2004 году. Особенностью алгоритма является то, что «окно», которое двигается по слову, имеет переменную длину, которая при этом в любой момент не меньше и не больше , при этом суммарное время работы остаётся линейным[31].

Применения

Суффиксный автомат строки может использоваться для решения таких задач, как[32][33]:

  • Подсчёт количества различных подстрок за время в режиме онлайн,
  • Поиск самой длинной подстроки , которая входит в неё хотя бы два раза, за время ,
  • Поиск наибольшей общей подстроки строк и за время ,
  • Подсчёт числа вхождений строки в в качестве подстроки за время ,
  • Поиск всех вхождений в за время , где  — количество вхождений.

Здесь стоит считать, что некоторая строка подаётся на вход, когда автомат уже построен и готов к использованию.

Суффиксные автоматы также нашли своё применение в таких прикладных задачах, как сжатие данных[34], идентификация музыки по записанным фрагментам[35][36] и сопоставление геномных последовательностей[37].

Примечания

Литература

Ссылки