Related Experiment Video
Updated: Aug 19, 2025

Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues
Published on: July 14, 2015
On the Hardness of Sequence Alignment on De Bruijn Graphs
Daniel Gibney1, Sharma V Thankachan2, Srinivas Aluru1
1School of Computational Science and Engineering, Georgia Institute of Technology, Atlanta, Georgia, USA.
Approximate pattern matching on de Bruijn graphs is NP-complete, even with only substitutions allowed. This contrasts with exact matching, which is linear time, highlighting challenges in computational biology sequence alignment.
Area of Science:
- Computational Biology
- Graph Theory
- Algorithm Complexity
Background:
- Sequence alignment in labeled graphs is crucial for computational biology.
- Exact matching on de Bruijn graphs is efficient (linear time).
- Approximate matching complexity varies: linear for acyclic graphs or pattern-only edits, NP-complete for general cyclic graphs.
Purpose of the Study:
- Investigate the complexity of approximate pattern matching on de Bruijn graphs.
- Determine if efficient approximate matching algorithms exist for de Bruijn graphs, especially with substitutions.
- Clarify the computational challenges in sequence alignment for this important graph structure.
Main Methods:
- Formal analysis of computational complexity.
- Proof of NP-completeness for approximate matching on de Bruijn graphs with substitutions.
- Lower bound analysis based on the Strong Exponential Time Hypothesis for pattern-only edits.
Main Results:
- Approximate pattern matching on de Bruijn graphs with substitutions is NP-complete.
- Efficient algorithms faster than O(2^m) for substitutions only to the pattern on de Bruijn graphs are unlikely.
- The efficiency of exact matching on de Bruijn graphs does not extend to approximate matching.
Conclusions:
- De Bruijn graphs, while efficient for exact sequence matching, present significant computational hurdles for approximate matching.
- The NP-completeness result for substitutions-only approximate matching underscores the difficulty of biological sequence analysis in these structures.
- Further research may be needed to develop practical algorithms for approximate sequence alignment on de Bruijn graphs.
Related Concept Videos
Maxam-Gilbert Sequencing
Challenges of the Maxam-Gilbert Method
The...
Sequence Networks of Rotating Machines
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...
Phylogenetic Trees
Evolutionary Relationships through Genome Comparisons
Routh-Hurwitz Criterion II
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
Routh-Hurwitz Criterion I
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...

