Abstract:In this paper, we consider a variant of the classical algorithmic problem of checking whether a given word $v$ is a subsequence of another word $w$. More precisely, we consider the problem of deciding, given a number $p$ (defining a range-bound) and two words $v$ and $w$, whether there exists a factor $w[i:i+p-1]$ (or, in other words, a range of length $p$) of $w$ having $v$ as subsequence (i.\,e., $v$ occurs as a subsequence in the bounded range $w[i:i+p-1]$). We give matching upper and lower quadratic bounds for the time complexity of this problem. Further, we consider a series of algorithmic problems in this setting, in which, for given integers $k$, $p$ and a word $w$, we analyse the set $p$-Subseq$_{k}(w)$ of all words of length $k$ which occur as subsequence of some factor of length $p$ of $w$. Among these, we consider the $k$-universality problem, the $k$-equivalence problem, as well as problems related to absent subsequences. Surprisingly, unlike the case of the classical model of subsequences in words where such problems have efficient solutions in general, we show that most of these problems become intractable in the new setting when subsequences in bounded ranges are considered. Finally, we provide an example of how some of our results can be applied to subsequence matching problems for circular words.

On the Partial Sum of Subword-Counting Sequences

Recurrent Partial Words

On the shape of subword complexity sequences of finite words

On the Distributions of the Lengths of the Longest Monotone Subsequences in Random Words

Subsequences in Bounded Ranges: Matching and Analysis Problems

Short Synchronizing Words for Random Automata

Counting Finite Languages by Total Word Length

Enumeration of non-crossing partitions according to subwords with repeated letters

Counting scattered palindromes in a finite word

Subsequence frequency in binary words

LIL and the Approximation of Rectangular Sums of B-valued Random Variables when Extreme Terms Are Excluded

From Exponential to Polynomial Complexity: Efficient Permutation Counting with Subword Constraints

On the Orthogonality of Generalized Pattern Sequences

Additive word complexity and Walnut

On The Complexity Of Maintaining Partial-Sums

Strictly increasing and decreasing sequences in subintervals of words and a conjecture of Guo and Poznanović

Maximal number of subword occurrences in a word

Ranking and Unranking k-subsequence universal words

Counting Irreducible Double Occurrence Words

Continuously Increasing Subsequences of Random Multiset Permutations