Sparse Dynamic Programming for Longest Common Subsequence from Fragments
✍ Scribed by Brenda S. Baker; Raffaele Giancarlo
- Book ID
- 102574619
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 221 KB
- Volume
- 42
- Category
- Article
- ISSN
- 0196-6774
No coin nor oath required. For personal study only.
✦ Synopsis
Sparse Dynamic Programming has emerged as an essential tool for the design of efficient algorithms for optimization problems coming from such diverse areas as computer science, computational biology, and speech recognition. We provide a new sparse dynamic programming technique that extends the Hunt-Szymanski paradigm for the computation of the longest common subsequence (LCS) and apply it to solve the LCS from Fragments problem: given a pair of strings X and Y (of length n and m, respectively) and a set M of matching substrings of X and Y , find the longest common subsequence based only on the symbol correspondences induced by the substrings. This problem arises in an application to analysis of software systems. Our algorithm solves the problem in O M log M time using balanced trees, or O M log log min M nm/ M time using Johnson's version of Flat Trees. These bounds apply for two cost measures. The algorithm can also be adapted to finding the usual LCS in O m + n log + M log M time using balanced trees or O m + n log + M log log min M nm/ M time using Johnson's version of Flat Trees, where M is the set of maximal matches between substrings of X and