2009/05/01 by George S. Lueker · 1 citation
Chemistry · Computer Science · Mathematics · #Algorithms and Data Compression #Alphabet #Chemistry #Combinatorics #Computer science #Conjecture #Constant (computer programming) #Discrete mathematics #Limits and Structures in Graph Theory #Longest common subsequence problem #Longest increasing subsequence #Mathematics #Sequence (biology) #Statistics #Subsequence #Upper and lower bounds #Value (mathematics) #semigroups and automata theory
paper · doi:10.1145/1516512.1516519
openalex publication_date 2009/05/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/19
It has long been known [Chvátal and Sankoff 1975] that the average length of the longest common subsequence of two random strings of length n over an alphabet of size k is asymptotic to γ k n for some constant γ k depending on k . The value of these constants remains unknown, and a number of papers have proved upper and lower bounds on them. We discuss techniques, involving numerical calculations with recurrences on many variables, for determining lower and upper bounds on these constants. To our knowledge, the previous best-known lower and upper bounds for γ 2 were those of Dančík and Paterson, approximately 0.773911 and 0.837623 [Dančík 1994; Dančík and Paterson 1995]. We improve these to 0.788071 and 0.826280. This upper bound is less than the γ 2 given by Steele's old conjecture (see Steele [1997, page 3]) that γ 2 = 2/(1 + √2)≈ 0.828427. (As Steele points out, experimental evidence had already suggested that this conjectured value was too high.) Finally, we show that the upper bound technique described here could be used to produce, for any k , a sequence of upper bounds converging to γ k , though the computation time grows very quickly as better bounds are guaranteed.