Аноним

Сравнение с шаблоном для сжатого текста: различия между версиями

Материал из WEGA
Строка 84: Строка 84:




Теорема 8 (Карккайнен и др. [ ]). При использовании модели расстояния Левенштейна задача ACPM может быть решена за время O(k \P\ c(T)j + occ) для LZ78/LZW и за время O(\P\ (k2 ■ jDj + k-\S\) + occ) для обычных систем коллажей, где k – заданный порог ошибок.
'''Теорема 8 (Карккайнен и др. [8]). При использовании модели расстояния Левенштейна задача ACPM может быть решена за время <math>O(k \cdot |P| \cdot |\mathbf{c}(T)| + occ)</math> для LZ78/LZW и за время <math>O(|P| \cdot (k^2 \cdot |\mathcal{D}| + k \cdot |\mathcal{S}|) + occ)</math> для обычных систем коллажей, где k – заданный порог ошибок.'''




Теорема 9 (Макинен и др. [ ]). При использовании модели взвешенного расстояния редактирования задача ACPM для кодирования длин серий может быть решена за время O(\P\ \c(P)\ - c(T)j).
'''Теорема 9 (Макинен и др. [11]). При использовании модели взвешенного расстояния редактирования задача ACPM для кодирования длин серий может быть решена за время <math>O(|P| \cdot |\mathbf{c}(P)| \cdot |\mathbf{c}(T))</math>.'''




Сравнение регулярных выражений с шаблоном для сжатого текста (Regular expression compressed pattern matching, RCPM) имеет место в случае, когда P может быть регулярным выражением.
''Сравнение регулярных выражений с шаблоном для сжатого текста'' (Regular expression compressed pattern matching, RCPM) имеет место в случае, когда P может быть регулярным выражением.




Теорема 10 (Наварро [ ]). Задача RCPM решается за время O(2jPj + |P| - c(T)j + occ ■ \P\ ■ log jPj), где occ – количество вхождений P в T.
'''Теорема 10 (Наварро [14]). Задача RCPM решается за время , где occ – количество вхождений P в T.'''


== Применение ==
== Применение ==
4551

правка