We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

Abstract: We consider subsequences with gap constraints, i.e., length-k subsequences p that can be embedded into a string w such that the induced gaps (i.e., the factors of w between the positions to which p is mapped to) satisfy given gap constraints $gc = (C_1, C_2, ..., C_{k-1})$; we call p a gc-subsequence of w. In the case where the gap constraints gc are defined by lower and upper length bounds $C_i = (L^-_i, L^+_i) \in \mathbb{N}^2$ and/or regular languages $C_i \in REG$, we prove tight (conditional on the orthogonal vectors (OV) hypothesis) complexity bounds for checking whether a given p is a gc-subsequence of a string w. We also consider the whole set of all gc-subsequences of a string, and investigate the complexity of the universality, equivalence and containment problems for these sets of gc-subsequences.
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:2206.13896 [cs.CC]
  (or arXiv:2206.13896v1 [cs.CC] for this version)

Submission history

From: Markus Schmid [view email]
[v1] Tue, 28 Jun 2022 11:27:34 GMT (1135kb,D)

Link back to: arXiv, form interface, contact.