Inria / Raweb 2004
Project-Team: MODBIO

Search in Activity Report, year 2004:


Project-Team : modbio

Section: New Results

Keywords: multiple sequence alignment, integer programming, cutting planes.

Multiple sequence alignment by cutting planes (ATIPE)

Participants: Ernst Althaus, Stefan Canzar.

In [1][24], we propose a cutting plane approach for the alignment of multiple sequences, which is a central problem in computational biology, considering the general case in which (arbitrary) gap costs, besides the customary alignment costs, are specified. An interesting and unusual aspect of our approach is that the three (exponentially large) classes of natural valid inequalities that we considered since the beginning of our study turn out to be both facet defining for the convex hull of the integer solutions and separable in polynomial time. Both the facet defining proofs and the separation algorithms are far from trivial. Experimental results on instances from the BAliBase library of reference alignments [45] show that our method outperforms the best tools developed so far, in that it produces alignments which are better from a biological point of view.