Theseus: Fast and Optimal Affine-Gap Sequence-to-Graph Alignment
Albert Jiménez-Blanco1,2, Lorién López-Villellas3, Juan Carlos Moure4
1Department of Computer Science, Universitat Politècnica de Catalunya, Barcelona, Spain.
Bioinformatics (Oxford, England)
|July 27, 2026
Summary
Theseus is a new algorithm for sequence-to-graph alignment that is both fast and optimal. It improves upon existing methods for multiple sequence alignment and pangenome analysis by reducing memory usage and increasing speed without sacrificing accuracy.
Area of Science:
- Bioinformatics
- Computational Biology
- Genomics
Background:
- Sequence-to-graph alignment is crucial for multiple sequence alignment (MSA) and pangenome analysis.
- Existing optimal affine-gap alignment algorithms have high memory and computational demands, limiting scalability.
- Heuristic methods offer speed but compromise alignment optimality.
Purpose of the Study:
- Introduce Theseus, a novel algorithm for fast and optimal affine-gap sequence-to-graph alignment.
- Address the limitations of current methods in terms of speed and memory efficiency.
- Enable scalable and accurate alignment for complex genomic graphs.
Main Methods:
- Developed a novel algorithm, Theseus, for optimal affine-gap sequence-to-graph alignment.
- Implemented a sparse-data strategy by processing a subset of dynamic programming cells.
- Leveraged sequence similarities to accelerate computation and reduce memory footprint.
- Supported alignment on arbitrary directed graphs, including those with cycles.
Main Results:
- Theseus demonstrates significant speedups compared to existing optimal aligners like POASTA and SPOA in MSA.
- It achieves comparable or better performance than heuristic methods like abPOA while ensuring optimality.
- In pangenome read mapping, Theseus shows substantial speed improvements over vg map and other alignment kernels.
- Outperforms vg on synthetic cyclic graphs, highlighting its efficiency with complex structures.
Conclusions:
- Theseus provides a fast, optimal, and memory-efficient solution for sequence-to-graph alignment.
- It advances the capabilities for large-scale pangenome analysis and multiple sequence alignment.
- The algorithm offers a scalable approach for aligning sequences to complex genomic graphs.
Related Concept Videos
Convergence of Sequences
A sequence is a function defined on the natural numbers that assigns a value to each index. It can be understood as an ordered list of terms generated one after another. In mathematical analysis, an important question is whether the terms of a sequence approach a single real number as the index becomes very large. When this happens, the sequence is said to converge, and the value approached is called the limit. From a graphical perspective, convergence means that the plotted terms approach a...
Maxam-Gilbert Sequencing
In the same year as the discovery of the Sanger sequencing method, another group of scientists, Allan Maxam and Walter Gilbert, demonstrated their chemical-cleavage method for DNA sequencing. The Maxam-Gilbert method relies on using different chemicals that can cleave the DNA sequence at specific sites, the separation of resulting DNA fragments of variable size using electrophoresis, and deciphering the DNA sequence from the resulting gel bands.
Challenges of the Maxam-Gilbert Method
The...
Challenges of the Maxam-Gilbert Method
The...
Divergence Theorem in 3D Space
In vector calculus, flux measures the total flow of a vector field through a surface. For a closed surface in three-dimensional space, this means measuring how much of the field passes outward through every point on the boundary. Directly calculating this flux can be difficult when the surface has a complicated or irregular shape. The Divergence Theorem provides a powerful alternative by relating surface flux to behavior inside the enclosed region.The Divergence Theorem states that the outward...
Geometric Sequences
In systems where values diminish by a constant proportion at each stage, the resulting sequence follows a geometric structure. Each new value in the sequence is obtained by applying a fixed multiplier to the preceding term. This regular, proportional decline type is often used to represent processes involving gradual loss, such as energy dissipation or reduction in amplitude over time.When analyzing the total effect of such a process across unlimited iterations, the series of values is referred...
Parallel-axis Theorem
The parallel-axis theorem provides a convenient and quick method of finding the moment of inertia of an object about an axis parallel to the axis passing through its center of mass. Consider a thin rod as an example. There is a striking similarity between the process of finding the moment of inertia of a thin rod about an axis through its middle, where the center of mass lies, and about an axis through its end using the conventional method. In the conventional method, the concept of linear mass...
Graphical Representation of Inequalities
The graph of the equation where y equals x squared forms a curve known as a parabola. This curve acts as a boundary in the coordinate plane, dividing it into distinct regions based on the relative position of points.When the equality sign in the equation is replaced with an inequality—such as greater than, less than, greater than or equal to, or less than or equal to—the graphical representation changes from a single curve into a broader shaded area that signifies the set of all points...


