Longest Common Substring
   HOME

TheInfoList



OR:

In
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
, a longest common substring of two or more strings is a longest
string String or strings may refer to: *String (structure), a long flexible structure made from threads twisted together, which is used to tie, bind, or hang other objects Arts, entertainment, and media Films * ''Strings'' (1991 film), a Canadian anim ...
that is a substring of all of them. There may be more than one longest common substring. Applications include data deduplication and plagiarism detection.


Examples

The picture shows two strings where the problem has multiple solutions. Although the substring occurrences always overlap, it is impossible to obtain a longer common substring by "uniting" them. The strings "ABABC", "BABCA" and "ABCBA" have only one longest common substring, viz. "ABC" of length 3. Other common substrings are "A", "AB", "B", "BA", "BC" and "C". ABABC , , , BABCA , , , ABCBA


Problem definition

Given two strings, S of length m and T of length n, find a longest string which is substring of both S and T. A generalization is the ''k''-common substring problem. Given the set of strings S = \, where , S_i, =n_i and \sum n_i = N. Find for each 2 \leq k \leq K, a longest string which occurs as substring of at least k strings.


Algorithms

One can find the lengths and starting positions of the longest common substrings of S and T in \Theta(n+m) time with the help of a
generalized suffix tree In computer science, a generalized suffix tree is a suffix tree for a set of strings. Given the set of strings D=S_1,S_2,\dots,S_d of total length n, it is a Patricia tree containing all n suffixes of the strings. It is mostly used in bioinformat ...
. A faster algorithm can be achieved in the word RAM model of computation if the size \sigma of the input alphabet is in 2^. In particular, this algorithm runs in O\left( (n+m) \log \sigma/\sqrt \right) time using O\left((n+m)\log\sigma/\log (n+m) \right) space. Here: Theorem 1, p.30:2. Solving the problem by
dynamic programming Dynamic programming is both a mathematical optimization method and a computer programming method. The method was developed by Richard Bellman in the 1950s and has found applications in numerous fields, from aerospace engineering to economics. I ...
costs \Theta(nm). The solutions to the generalized problem take \Theta(n_1 + \cdots + n_K) space and \Theta(n_1 \cdots n_K) time with
dynamic programming Dynamic programming is both a mathematical optimization method and a computer programming method. The method was developed by Richard Bellman in the 1950s and has found applications in numerous fields, from aerospace engineering to economics. I ...
and take \Theta((n_1 + \cdots + n_K) \cdot K) time with a
generalized suffix tree In computer science, a generalized suffix tree is a suffix tree for a set of strings. Given the set of strings D=S_1,S_2,\dots,S_d of total length n, it is a Patricia tree containing all n suffixes of the strings. It is mostly used in bioinformat ...
.


Suffix tree

The longest common substrings of a set of strings can be found by building a
generalized suffix tree In computer science, a generalized suffix tree is a suffix tree for a set of strings. Given the set of strings D=S_1,S_2,\dots,S_d of total length n, it is a Patricia tree containing all n suffixes of the strings. It is mostly used in bioinformat ...
for the strings, and then finding the deepest internal nodes which have leaf nodes from all the strings in the subtree below it. The figure on the right is the suffix tree for the strings "ABAB", "BABA" and "ABBA", padded with unique string terminators, to become "ABAB$0", "BABA$1" and "ABBA$2". The nodes representing "A", "B", "AB" and "BA" all have descendant leaves from all of the strings, numbered 0, 1 and 2. Building the suffix tree takes \Theta(N) time (if the size of the alphabet is constant). If the tree is traversed from the bottom up with a bit vector telling which strings are seen below each node, the k-common substring problem can be solved in \Theta(NK) time. If the suffix tree is prepared for constant time lowest common ancestor retrieval, it can be solved in \Theta(N) time.


Dynamic programming

The following pseudocode finds the set of longest common substrings between two strings with dynamic programming: function LongestCommonSubstring(S ..r T ..n L := array(1..r, 1..n) z := 0 ret := for i := 1..r for j := 1..n if S = T if i = 1 or j = 1 L
, j The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
:= 1 else L
, j The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
:= L − 1, j − 1+ 1 if L
, j The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
> z z := L
, j The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
ret := else if L
, j The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
= z ret := ret ∪ else L
, j The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
:= 0 return ret This algorithm runs in O(n r) time. The array L stores the length of the longest common substring of the prefixes S ..i/code> and T ..j/code> which ''end at position'' i and j, respectively. The variable z is used to hold the length of the longest common substring found so far. The set ret is used to hold the set of strings which are of length z. The set ret can be saved efficiently by just storing the index i, which is the last character of the longest common substring (of size z) instead of S -z+1..i/code>. Thus all the longest common substrings would be, for each i in ret, S ret[iz)..(ret[i">.html" ;"title="ret[i">ret[iz)..(ret[i">">ret[iz)..(ret[i">.html" ;"title="ret[i">ret[iz)..(ret[i/code>. The following tricks can be used to reduce the memory usage of an implementation: * Keep only the last and current row of the DP table to save memory (O(\min(r, n)) instead of O(n r)) ** The last and current row can be stored on the same 1D array by traversing the inner loop backwards * Store only non-zero values in the rows. This can be done using hash-tables instead of arrays. This is useful for large alphabets.


See also

* Longest palindromic substring * n-gram, ''n''-gram, all the possible substrings of length ''n'' that are contained in a string


References


External links


Dictionary of Algorithms and Data Structures: longest common substring

Perl/XS implementation of the dynamic programming algorithm

Perl/XS implementation of the suffix tree algorithm
* Dynamic programming implementations in various languages on wikibooks
working AS3 implementation of the dynamic programming algorithm

Suffix Tree based C implementation of Longest common substring for two strings
{{Strings , state=collapsed Problems on strings Dynamic programming Articles with example pseudocode