A polyhedral investigation of the LCS problem and a repetition-free variant

  • Authors:
  • Cristina G. Fernandes;Carlos E. Ferreira;Christian Tjandraatmadja;Yoshiko Wakabayashi

  • Affiliations:
  • Universidade de São Paulo, Brazil;Universidade de São Paulo, Brazil;Universidade de São Paulo, Brazil;Universidade de São Paulo, Brazil

  • Venue:
  • LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the longest common subsequence problem (lcs) and a variant of it where each symbol may occur at most once in the common subsequence. The lcs is a well-known problem that can be solved in polynomial time by a dynamic programming algorithm. We provide a complete description of a polytope we associate with the LCS. The integrality of this polytope can be derived by showing that it is in fact the clique polytope of a perfect graph. The repetition-free version of the problem is known to be difficult. We also associate a polytope with this version and investigate its facial structure. We present some valid and facet-defining inequalities for this polytope and discuss separation procedures. Finally, we present some computational results of a branch and cut algorithm we have implemented for this problem.