A sparse dynamic programming algorithm for alignment with non-overlapping inversions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 1, pp. 175-190.

Alignment of sequences is widely used for biological sequence comparisons, and only biological events like mutations, insertions and deletions are considered. Other biological events like inversions are not automatically detected by the usual alignment algorithms, thus some alternative approaches have been tried in order to include inversions or other kinds of rearrangements. Despite many important results in the last decade, the complexity of the problem of alignment with inversions is still unknown. In 1992, Schöniger and Waterman proposed the simplification hypothesis that the inversions do not overlap. They also presented an O(n 6 ) exact solution for the alignment with non-overlapping inversions problem and introduced a heuristic for it that brings the average case complexity down. (In this work, n is the maximal length of both sequences that are aligned.) The present paper gives two exact algorithms for the simplified problem. We give a quite simple dynamic program with O(n 4 )-time and O(n 2 )-space complexity for alignments with non-overlapping inversions and exhibit a sparse and exact implementation version of this procedure that uses much less resources for some applications with real data.

DOI : https://doi.org/10.1051/ita:2005011
Classification : 05C85,  68R15,  90C27,  90C39
@article{ITA_2005__39_1_175_0,
     author = {Do Lago, Alair Pereira and Muchnik, Ilya and Kulikowski, Casimir},
     title = {A sparse dynamic programming algorithm for alignment with non-overlapping inversions},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {175--190},
     publisher = {EDP-Sciences},
     volume = {39},
     number = {1},
     year = {2005},
     doi = {10.1051/ita:2005011},
     zbl = {1104.90052},
     mrnumber = {2132586},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ita:2005011/}
}
TY  - JOUR
AU  - Do Lago, Alair Pereira
AU  - Muchnik, Ilya
AU  - Kulikowski, Casimir
TI  - A sparse dynamic programming algorithm for alignment with non-overlapping inversions
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2005
DA  - 2005///
SP  - 175
EP  - 190
VL  - 39
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/articles/10.1051/ita:2005011/
UR  - https://zbmath.org/?q=an%3A1104.90052
UR  - https://www.ams.org/mathscinet-getitem?mr=2132586
UR  - https://doi.org/10.1051/ita:2005011
DO  - 10.1051/ita:2005011
LA  - en
ID  - ITA_2005__39_1_175_0
ER  - 
Do Lago, Alair Pereira; Muchnik, Ilya; Kulikowski, Casimir. A sparse dynamic programming algorithm for alignment with non-overlapping inversions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 1, pp. 175-190. doi : 10.1051/ita:2005011. http://www.numdam.org/articles/10.1051/ita:2005011/

[1] D.A. Bader, B.M.E. Moret and M. Yan, A linear-time algorithm for computing inversion distance between signed permutations with an experimental study, in Algorithms and data structures (Providence, RI, 2001), Lect. Notes Comput. Sci. 2125 (2001) 365-376. | Zbl 0997.68527

[2] A. Caprara, Sorting permutations by reversals and Eulerian cycle decompositions. SIAM J. Discrete Math. 12 (1999) 91-110 (electronic). | Zbl 0916.68074

[3] D.A. Christie, A 3/2-approximation algorithm for sorting by reversals, in Proc. of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (San Francisco, CA, 1998). ACM, New York (1998) 244-252. | Zbl 0930.68044

[4] A.P. Do Lago, C.A. Kulikowski, E. Linton, J. Messing and I. Muchnik, Comparative genomics: simultaneous identification of conserved regions and their rearrangements through global optimization, in The Second University of Sao Paulo/Rutgers University Biotechnology Conference, Rutgers University Inn and Conference Center, New Brunswick, NJ (August 2001).

[5] A.P. Do Lago, A sparse dynamic programming algorithm for alignment with inversions. Workshop on Combinatorics, Algorithms, and Applications (2003).

[6] A.P. Do Lago, I. Muchnik and C. Kulikowski, An o(n 4 ) algorithm for alignment with non-overlapping inversions, in Second Brazilian Workshop on Bioinformatics, WOB 2003, Macaé, RJ, Brazil (2003) http://www.ime.usp.br/alair/woob03.pdf

[7] N. El-Mabrouk, Genome rearrangement by reversals and insertions/deletions of contiguous segments, in Combinatorial pattern matching (Montreal, QC, 2000). Lect. Notes Comput. Sci. 1848 (2000) 222-234. | Zbl 0964.92030

[8] N. El-Mabrouk, Sorting signed permutations by reversals and insertions/deletions of contiguous segments. J. Discrete Algorithms 1 (2000) 105-121.

[9] N. El-Mabrouk, Reconstructing an ancestral genome using minimum segments duplications and reversals. J. Comput. Syst. Sci. 65 (2002) 442-464. Special issue on computational biology (2002). | Zbl 1058.68529

[10] D. Eppstein, Z. Galil, R. Giancarlo and G.F. Italiano, Sparse dynamic programming. I. Linear cost functions. J. Assoc. Comput. Mach. 39 (1992) 519-545. | Zbl 0807.90120

[11] D. Eppstein, Z. Galil, R. Giancarlo and G.F. Italiano, Sparse dynamic programming. II. Convex and concave cost functions. J. Assoc. Comput. Mach. 39 (1992) 546-567. | Zbl 0816.90130

[12] Y. Gao, J. Wu, R. Niewiadomski1, Y. Wang, Z.-Z. Chen and G. Lin, A space efficient algorithm for sequence alignment with inversions, in Computing and Combinatorics, 9th Annual International Conference, COCOON 2003. Lect. Notes Comput. Sci. 2697 57-67 (2003). | Zbl 1276.92087

[13] S. Hannenhalli and P.A. Pevzner, Transforming cabbage into turnip: polynomial algorithm for sorting signed permutations by reversals, in ACM Symposium on Theory of Computing, Association for Computing Machinery (1995) 178-189. | Zbl 0978.68530

[14] S. Hannenhalli and P.A. Pevzner, Transforming cabbage into turnip: polynomial algorithm for sorting signed permutations by reversals. J. ACM 46 (1999) 1-27. | Zbl 1064.92510

[15] J.W. Hunt and T.G. Szymanski, A fast algorithm for computing longest common subsequences. Comm. ACM 20 (1997) 350-353. | Zbl 0354.68078

[16] H. Kaplan, R. Shamir and R.E. Tarjan, Faster and simpler algorithm for sorting signed permutations by reversals, in Proc. of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (New Orleans, LA, 1997), ACM, New York (1997) 344-351.

[17] H. Kaplan, R. Shamir and R.E. Tarjan, A faster and simpler algorithm for sorting signed permutations by reversals. SIAM J. Comput. 29 (2000) 880-892 (electronic). | Zbl 1112.68405

[18] J. Kececioglu and D. Sankoff, Exact and approximation algorithms for sorting by reversals, with application to genome rearrangement. Algorithmica 13 (1995) 180-210. | Zbl 0831.92014

[19] I. Muchnik, A. Pereira Do Lago, V. Llaca, E. Linton, C.A. Kulikowski and J. Messing, Assignment-like optimization on bipartite graphs with ordered nodes as an approach to the analysis of comparative genomic data. DIMACS Workshop on Whole Genome Comparison (2001) http://dimacs.rutgers.edu/Workshops/WholeGenome/

[20] M. Schöniger and M.S. Waterman, A local algorithm for DNA sequence alignment with inversions. Bull. Math. Biology 54 (Jul. 1992) 521-536. | Zbl 0745.92020

[21] I. Simon, Sequence comparison: some theory and some practice, in Electronic Dictionaries and Automata in Computational Linguistics, edited by M. Gross and D. Perrin. Springer-Verlag. Berlin, Lect. Notes Comput. Sci. 377 (1989) 79-92.

[22] R. Wagner, On the complexity of the extended string-to-string correction problem, in Seventh ACM Symposium on the Theory of Computation. Association for Computing Machinery (1975). | MR 445910 | Zbl 0357.68047

[23] Waterman and Eggert, A new algorithm for best subsequence alignments with application to tRNA-rRNA comparisons. J. Molecular Biology 197 (1987) 723-728.

Cité par Sources :