Suffix tree

Suffix tree for the text BANANA. Each substring is terminated with special character $. The six paths from the root to the leaves (shown as boxes) correspond to the six suffixes A$, NA$, ANA$, NANA$, ANANA$ and BANANA$. The numbers in the leaves give the start position of the corresponding suffix. Suffix links, drawn dashed, are used during construction.

In computer science, a suffix tree (also called PAT tree or, in an earlier form, position tree) is a compressed trie containing all the suffixes of the given text as their keys and positions in the text as their values. Suffix trees allow particularly fast implementations of many important string operations.

The construction of such a tree for the string takes time and space linear in the length of . Once constructed, several operations can be performed quickly, for instance locating a substring in , locating a substring if a certain number of mistakes are allowed, locating matches for a regular expression pattern etc. Suffix trees also provide one of the first linear-time solutions for the longest common substring problem. These speedups come at a cost: storing a string's suffix tree typically requires significantly more space than storing the string itself.

DefinitionEdit

The suffix tree for the string   of length   is defined as a tree such that:[1]

  • The tree has exactly n leaves numbered from 1 to n.
  • Except for the root, every internal node has at least two children.
  • Each edge is labelled with a non-empty substring of S.
  • No two edges starting out of a node can have string-labels beginning with the same character.
  • The string obtained by concatenating all the string-labels found on the path from the root to leaf i spells out suffix S[i..n], for i from 1 to n.

Since such a tree does not exist for all strings,   is padded with a terminal symbol not seen in the string (usually denoted $). This ensures that no suffix is a prefix of another, and that there will be   leaf nodes, one for each of the   suffixes of  . Since all internal non-root nodes are branching, there can be at most n −  1 such nodes, and n + (n − 1) + 1 = 2n nodes in total (n leaves, n − 1 internal non-root nodes, 1 root).

Suffix links are a key feature for older linear-time construction algorithms, although most newer algorithms, which are based on Farach's algorithm, dispense with suffix links. In a complete suffix tree, all internal non-root nodes have a suffix link to another internal node. If the path from the root to a node spells the string  , where   is a single character and   is a string (possibly empty), it has a suffix link to the internal node representing  . See for example the suffix link from the node for ANA to the node for NA in the figure above. Suffix links are also used in some algorithms running on the tree.

A generalized suffix tree is a suffix tree made for a set of strings instead of a single string. It represents all suffixes from this set of strings. Each string must be terminated by a different termination symbol.

HistoryEdit

The concept was first introduced by Weiner (1973). Rather than the suffix S[i..n], Weiner stored in his trie[2] the prefix identifier for each position, that is, the shortest string starting at i and occurring only once in S. His Algorithm D takes an uncompressed[3] trie for S[k+1..n] and extends it into a trie for S[k..n]. This way, starting from the trivial trie for S[n..n], a trie for S[1..n] can be built by n-1 successive calls to Algorithm D; however, the overall run time is O(n2). Weiner's Algorithm B maintains several auxiliary data structures, to achieve an over all run time linear in the size of the constructed trie. The latter can still be O(n2) nodes, e.g. for S = anbnanbn$. Weiner's Algorithm C finally uses compressed tries to achieve linear overall storage size and run time.[4]Donald Knuth subsequently characterized the latter as "Algorithm of the Year 1973".[citation needed] The text book Aho, Hopcroft & Ullman (1974, Sect.9.5) reproduced Weiner's results in a simplified and more elegant form, introducing the term position tree.

McCreight (1976) was the first to build a (compressed) trie of all suffixes of S. Although the suffix starting at i is usually longer than the prefix identifier, their path representations in a compressed trie do not differ in size. On the other hand, McCreight could dispense with most of Weiner's auxiliary data structures; only suffix links remained.

Ukkonen (1995) further simplified the construction.[5] He provided the first online-construction of suffix trees, now known as Ukkonen's algorithm, with running time that matched the then fastest algorithms. These algorithms are all linear-time for a constant-size alphabet, and have worst-case running time of   in general.

Farach (1997) gave the first suffix tree construction algorithm that is optimal for all alphabets. In particular, this is the first linear-time algorithm for strings drawn from an alphabet of integers in a polynomial range. Farach's algorithm has become the basis for new algorithms for constructing both suffix trees and suffix arrays, for example, in external memory, compressed, succinct, etc.

FunctionalityEdit

A suffix tree for a string   of length   can be built in   time, if the letters come from an alphabet of integers in a polynomial range (in particular, this is true for constant-sized alphabets).[6] For larger alphabets, the running time is dominated by first sorting the letters to bring them into a range of size  ; in general, this takes   time. The costs below are given under the assumption that the alphabet is constant.

Assume that a suffix tree has been built for the string   of length  , or that a generalised suffix tree has been built for the set of strings   of total length  . You can:

  • Search for strings:
    • Check if a string   of length   is a substring in   time.[7]
    • Find the first occurrence of the patterns   of total length   as substrings in   time.
    • Find all   occurrences of the patterns   of total length   as substrings in   time.[8]
    • Search for a regular expression P in time expected sublinear in  .[9]
    • Find for each suffix of a pattern  , the length of the longest match between a prefix of   and a substring in   in   time.[10] This is termed the matching statistics for  .
  • Find properties of the strings:
    • Find the longest common substrings of the string   and   in   time.[11]
    • Find all maximal pairs, maximal repeats or supermaximal repeats in   time.[12]
    • Find the Lempel–Ziv decomposition in   time.[13]
    • Find the longest repeated substrings in   time.
    • Find the most frequently occurring substrings of a minimum length in   time.
    • Find the shortest strings from   that do not occur in  , in   time, if there are   such strings.
    • Find the shortest substrings occurring only once in   time.
    • Find, for each  , the shortest substrings of   not occurring elsewhere in   in   time.

The suffix tree can be prepared for constant time lowest common ancestor retrieval between nodes in   time.[14] One can then also:

  • Find the longest common prefix between the suffixes   and   in  .[15]
  • Search for a pattern P of length m with at most k mismatches in   time, where z is the number of hits.[16]
  • Find all   maximal palindromes in  ,[17] or   time if gaps of length   are allowed, or   if   mismatches are allowed.[18]
  • Find all   tandem repeats in  , and k-mismatch tandem repeats in  .[19]
  • Find the longest common substrings to at least   strings in   for   in   time.[20]
  • Find the longest palindromic substring of a given string (using the generalized suffix tree of the string and its reverse) in linear time.[21]

ApplicationsEdit

Suffix trees can be used to solve a large number of string problems that occur in text-editing, free-text search, computational biology and other application areas.[22] Primary applications include:[22]

  • String search, in O(m) complexity, where m is the length of the sub-string (but with initial O(n) time required to build the suffix tree for the string)
  • Finding the longest repeated substring
  • Finding the longest common substring
  • Finding the longest palindrome in a string

Suffix trees are often used in bioinformatics applications, searching for patterns in DNA or protein sequences (which can be viewed as long strings of characters). The ability to search efficiently with mismatches might be considered their greatest strength. Suffix trees are also used in data compression; they can be used to find repeated data, and can be used for the sorting stage of the Burrows–Wheeler transform. Variants of the LZW compression schemes use suffix trees (LZSS). A suffix tree is also used in suffix tree clustering, a data clustering algorithm used in some search engines.[23]

ImplementationEdit

If each node and edge can be represented in   space, the entire tree can be represented in   space. The total length of all the strings on all of the edges in the tree is  , but each edge can be stored as the position and length of a substring of S, giving a total space usage of   computer words. The worst-case space usage of a suffix tree is seen with a fibonacci word, giving the full   nodes.

An important choice when making a suffix tree implementation is the parent-child relationships between nodes. The most common is using linked lists called sibling lists. Each node has a pointer to its first child, and to the next node in the child list it is a part of. Other implementations with efficient running time properties use hash maps, sorted or unsorted arrays (with array doubling), or balanced search trees. We are interested in:

  • The cost of finding the child on a given character.
  • The cost of inserting a child.
  • The cost of enlisting all children of a node (divided by the number of children in the table below).

Let σ be the size of the alphabet. Then you have the following costs:

 

The insertion cost is amortised, and that the costs for hashing are given for perfect hashing.

The large amount of information in each edge and node makes the suffix tree very expensive, consuming about 10 to 20 times the memory size of the source text in good implementations. The suffix array reduces this requirement to a factor of 8 (for array including LCP values built within 32-bit address space and 8-bit characters.) This factor depends on the properties and may reach 2 with usage of 4-byte wide characters (needed to contain any symbol in some UNIX-like systems, see wchar_t) on 32-bit systems. Researchers have continued to find smaller indexing structures.

Parallel constructionEdit

Various parallel algorithms to speed up suffix tree construction have been proposed.[24][25][26][27][28] Recently, a practical parallel algorithm for suffix tree construction with   work (sequential time) and   span has been developed. The algorithm achieves good parallel scalability on shared-memory multicore machines and can index the human genome – approximately 3GB – in under 3 minutes using a 40-core machine.[29]

External constructionEdit

Though linear, the memory usage of a suffix tree is significantly higher than the actual size of the sequence collection. For a large text, construction may require external memory approaches.

There are theoretical results for constructing suffix trees in external memory. The algorithm by Farach-Colton, Ferragina & Muthukrishnan (2000) is theoretically optimal, with an I/O complexity equal to that of sorting. However the overall intricacy of this algorithm has prevented, so far, its practical implementation.[30]

On the other hand, there have been practical works for constructing disk-based suffix trees which scale to (few) GB/hours. The state of the art methods are TDD,[31] TRELLIS,[32] DiGeST,[33] and B2ST.[34]

TDD and TRELLIS scale up to the entire human genome resulting in a disk-based suffix tree of a size in the tens of gigabytes.[31][32] However, these methods cannot handle efficiently collections of sequences exceeding 3GB.[33] DiGeST performs significantly better and is able to handle collections of sequences in the order of 6GB in about 6 hours.[33] . All these methods can efficiently build suffix trees for the case when the tree does not fit in main memory, but the input does. The most recent method, B2ST,[34] scales to handle inputs that do not fit in main memory. ERA is a recent parallel suffix tree construction method that is significantly faster. ERA can index the entire human genome in 19 minutes on an 8-core desktop computer with 16GB RAM. On a simple Linux cluster with 16 nodes (4GB RAM per node), ERA can index the entire human genome in less than 9 minutes.[35]

See alsoEdit

NotesEdit

  1. ^ http://www.cs.uoi.gr/~kblekas/courses/bioinformatics/Suffix_Trees1.pdf[permanent dead link]
  2. ^ This term is used here to distinguish Weiner's precursor data structures from proper suffix trees as defined above and unconsidered before McCreight (1976).
  3. ^ i.e., with each branch labelled by a single character
  4. ^ See File:WeinerB aaaabbbbaaaabbbb.gif and File:WeinerC aaaabbbbaaaabbbb.gif for an uncompressed example tree and its compressed correspondant.
  5. ^ Giegerich & Kurtz (1997).
  6. ^ Farach (1997).
  7. ^ Gusfield (1999), p.92.
  8. ^ Gusfield (1999), p.123.
  9. ^ Baeza-Yates & Gonnet (1996).
  10. ^ Gusfield (1999), p.132.
  11. ^ Gusfield (1999), p.125.
  12. ^ Gusfield (1999), p.144.
  13. ^ Gusfield (1999), p.166.
  14. ^ Gusfield (1999), Chapter 8.
  15. ^ Gusfield (1999), p.196.
  16. ^ Gusfield (1999), p.200.
  17. ^ Gusfield (1999), p.198.
  18. ^ Gusfield (1999), p.201.
  19. ^ Gusfield (1999), p.204.
  20. ^ Gusfield (1999), p.205.
  21. ^ Gusfield (1999), pp.197–199.
  22. ^ a b Allison, L. "Suffix Trees". Archived from the original on 2008-10-13. Retrieved 2008-10-14.
  23. ^ First introduced by Zamir & Etzioni (1998).
  24. ^ Apostolico et al. (1988).
  25. ^ Hariharan (1994).
  26. ^ Sahinalp & Vishkin (1994).
  27. ^ Farach & Muthukrishnan (1996).
  28. ^ Iliopoulos & Rytter (2004).
  29. ^ Shun & Blelloch (2014).
  30. ^ Smyth (2003).
  31. ^ a b Tata, Hankins & Patel (2003).
  32. ^ a b Phoophakdee & Zaki (2007).
  33. ^ a b c Barsky et al. (2008).
  34. ^ a b Barsky et al. (2009).
  35. ^ Mansour et al. (2011).

ReferencesEdit

External linksEdit