scispace - formally typeset
Search or ask a question

Showing papers on "Compressed pattern matching published in 2021"


Posted Content
TL;DR: In this article, a linear-time algorithm was proposed for the problem of pattern matching in the context of text processing, which can be solved in O(n+m) time.
Abstract: The most fundamental problem considered in algorithms for text processing is pattern matching: given a pattern $p$ of length $m$ and a text $t$ of length $n$, does $p$ occur in $t$? Multiple versions of this basic question have been considered, and by now we know algorithms that are fast both in practice and in theory. However, the rapid increase in the amount of generated and stored data brings the need of designing algorithms that operate directly on compressed representations of data. In the compressed pattern matching problem we are given a compressed representation of the text, with $n$ being the length of the compressed representation and $N$ being the length of the text, and an uncompressed pattern of length $m$. The most challenging (and yet relevant when working with highly repetitive data, say biological information) scenario is when the chosen compression method is capable of describing a string of exponential length (in the size of its representation). An elegant formalism for such a compression method is that of straight-line programs, which are simply context-free grammars describing exactly one string. While it has been known that compressed pattern matching problem can be solved in $O(m+n\log N)$ time for this compression method, designing a linear-time algorithm remained open. We resolve this open question by presenting an $O(n+m)$ time algorithm that, given a context-free grammar of size $n$ that produces a single string $t$ and a pattern $p$ of length $m$, decides whether $p$ occurs in $t$ as a substring. To this end, we devise improved solutions for the weighted ancestor problem and the substring concatenation problem.

Book ChapterDOI
01 Mar 2021
TL;DR: Cadences are structurally maximal arithmetic progressions of indices corresponding to equal characters in an underlying string as mentioned in this paper, where characters correspond to characters in a given string and characters in the underlying string.
Abstract: Cadences are structurally maximal arithmetic progressions of indices corresponding to equal characters in an underlying string.