Elastic Founder Graphs Improved and Enhanced

TL;DR

This paper advances the Elastic Founder Graph framework for pangenomic pattern matching by improving index space efficiency, developing faster construction algorithms, and extending its capabilities with BWT-based indexing and document listing functionalities.

Contribution

It introduces space-efficient indexing, linear-time construction algorithms, and versatile extensions of the Elastic Founder Graph framework for enhanced pattern matching in pangenomics.

Findings

Improved the EFG index to answer queries in linear time relative to edge labels.

Developed $O(mn)$-time algorithms for constructing EFGs with optimized metrics.

Extended EFG framework with BWT-based index and document listing capabilities.

Abstract

Indexing labeled graphs for pattern matching is a central challenge of pangenomics. Equi et al. (Algorithmica, 2022) developed the Elastic Founder Graph ($\mathsf{EFG}$) representing an alignment of $m$ sequences of length $n$, drawn from alphabet $\Sigma$ plus the special gap character: the paths spell the original sequences or their recombination. By enforcing the semi-repeat-free property, the $\mathsf{EFG}$ admits a polynomial-space index for linear-time pattern matching, breaking through the conditional lower bounds on indexing labeled graphs (Equi et al., SOFSEM 2021). In this work we improve the space of the $\mathsf{EFG}$ index answering pattern matching queries in linear time, from linear in the length of all strings spelled by three consecutive node labels, to linear in the size of the edge labels. Then, we develop linear-time construction algorithms optimizing for different metrics: we improve the existing linearithmic construction algorithms to $O(mn)$, by solving the novel exclusive ancestor set problem on trees; we propose, for the simplified gapless setting, an $O(mn)$-time solution minimizing the maximum block height, that we generalize by substituting block height with prefix-aware height. Finally, to show the versatility of the framework, we develop a BWT-based $\mathsf{EFG}$ index and study how to encode and perform document listing queries on a set of paths of the graphs, reporting which paths present a given pattern as a substring. We propose the $\mathsf{EFG}$ framework as an improved and enhanced version of the framework for the gapless setting, along with construction methods that are valid in any setting concerned with the segmentation of aligned sequences.