Algorithms and complexity on indexing founder graphs
From MaRDI portal
Abstract: We study the problem of matching a string in a labeled graph. Previous research has shown that unless the Orthogonal Vectors Hypothesis (OVH) is false, one cannot solve this problem in strongly sub-quadratic time, nor index the graph in polynomial time to answer queries efficiently (Equi et al. ICALP 2019, SOFSEM 2021). These conditional lower-bounds cover even deterministic graphs with binary alphabet, but there naturally exist also graph classes that are easy to index: E.g. Wheeler graphs (Gagie et al. Theor. Comp. Sci. 2017) cover graphs admitting a Burrows-Wheeler transform -based indexing scheme. However, it is NP-complete to recognize if a graph is a Wheeler graph (Gibney, Thankachan, ESA 2019). We propose an approach to alleviate the construction bottleneck of Wheeler graphs. Rather than starting from an arbitrary graph, we study graphs induced from multiple sequence alignments (MSAs). Elastic degenerate strings (Bernadini et al. SPIRE 2017, ICALP 2019) can be seen as such graphs, and we introduce here their generalization: elastic founder graphs. We first prove that even such induced graphs are hard to index under OVH. Then we introduce two subclasses, repeat-free and semi-repeat-free graphs, that are easy to index. We give a linear time algorithm to construct a repeat-free non-elastic founder graph from a gapless MSA, and (parameterized) near-linear time algorithms to construct semi-repeat-free (repeat-free, respectively) elastic founder graphs from general MSAs. Finally, we show that repeat-free elastic founder graphs admit a reduction to Wheeler graphs in polynomial time.
Recommendations
- Linear time construction of indexable founder block graphs
- Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails
- On the complexity of recognizing Wheeler graphs
- On the Hardness and Inapproximability of Recognizing Wheeler Graphs
- On the Complexity of String Matching for Graphs
Cites work
- A new algorithm for optimal 2-constraint satisfaction and its implications
- An Efficient Elastic-Degenerate Text Index? Not Likely
- Approximate pattern matching on elastic-degenerate text
- Bidirectional search in a string with wavelet trees and bidirectional matching statistics
- Comparing Degenerate Strings
- Compressed suffix trees with full functionality
- Efficient string matching
- Even faster elastic-degenerate string matching via fast matrix multiplication
- Faster Online Elastic Degenerate String Matching
- FM-index of alignment with gaps
- FM-index of alignment: a compressed index for similar strings
- Fully functional suffix trees and optimal text searching in BWT-runs bounded space
- Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails
- scientific article; zbMATH DE number 2079421 (Why is no real title available?)
- scientific article; zbMATH DE number 7559178 (Why is no real title available?)
- Indexing hypertext
- Linear time construction of indexable elastic founder graphs
- Linear time construction of indexable founder block graphs
- Linear-time string indexing and analysis in small space
- Minimum segmentation for pan-genomic founder reconstruction in linear time
- On the complexity of k-SAT
- On the complexity of string matching for graphs
- On the Hardness and Inapproximability of Recognizing Wheeler Graphs
- Pattern Matching in Hypertext
- Pattern matching on elastic-degenerate text with errors
- Regular Languages meet Prefix Sorting
- Suffix Arrays: A New Method for On-Line String Searches
- Suffix tree of alignment: an efficient index for similar data
- The Complexity of Some Problems on Subsequences and Supersequences
- Truly Subquadratic-Time Extension Queries and Periodicity Detection in Strings with Uncertainties.
- Versatile succinct representations of the bidirectional Burrows-Wheeler transform
- Wheeler graphs: a framework for BWT-based data structures
Cited in
(9)- Linear time construction of indexable elastic founder graphs
- On the Hardness and Inapproximability of Recognizing Wheeler Graphs
- On the Complexity of String Matching for Graphs
- Elastic founder graphs improved and enhanced
- A unifying taxonomy of pattern matching in degenerate strings and founder graphs
- Fast pattern matching with epsilon transitions
- A Myhill-Nerode theorem for generalized automata, with applications to pattern matching and compression
- Elastic-degenerate string comparison
- Fast pattern matching with epsilon transitions
This page was built for publication: Algorithms and complexity on indexing founder graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103519)