Logo of bmcbioiBioMed Centralsearchsubmit a manuscriptregisterthis articleBMC Bioinformatics
BMC Bioinformatics. 2008; 9: 167.
Published online Mar 26, 2008. doi:  10.1186/1471-2105-9-167
PMCID: PMC2375138

Efficient computation of absent words in genomic sequences

Abstract

Background

Analysis of sequence composition is a routine task in genome research. Organisms are characterized by their base composition, dinucleotide relative abundance, codon usage, and so on. Unique subsequences are markers of special interest in genome comparison, expression profiling, and genetic engineering. Relative to a random sequence of the same length, unique subsequences are overrepresented in real genomes. Shortest words absent from a genome have been addressed in two recent studies.

Results

We describe a new algorithm and software for the computation of absent words. It is more efficient than previous algorithms and easier to use. It directly computes unwords without the need to specify a length estimate. Moreover, it avoids the space requirements of index structures such as suffix trees and suffix arrays. Our implementation is available as an open source package. We compute unwords of human and mouse as well as some other organisms, covering a genome size range from 109 down to 105 bp.

Conclusion

The new algorithm computes absent words for the human genome in 10 minutes on standard hardware, using only 2.5 Mb of space. This enables us to perform this type of analysis not only for the largest genomes available so far, but also for the emerging pan- and meta-genome data.

Background

Sequence statistics and unique substrings

Word statistics is a traditional field of genome research. For word-length 1, GC-content is a basic characteristic noted for each organism, and dinucleotide relative abundance profiles provide a reliable genomic signature [1]. Dinucleotide content also distinguishes natural RNA from random sequences [2]. Trinucleotide (codon) usage can reliably predict bacterial genes [3] even in the presence of horizontal gene transfer. Short palindromic words mark the characteristic sites of restriction enzymes in bacteria, and are therefore under represented in bacterial genomes [4]. A theory of over- as well as under-represented words has been laid out in [5,6].

Unique words are of particular interest. They provide sequence signatures, and microarray probes are often designed to match them. Unique sequences from several genomes exhibiting a perfect match serve as reliable anchors in a multiple genome alignment [7]. Recently, Haubold et al. [8] addressed the problem of efficiently computing shortest unique substrings (using their terminology) in a sequence, and provided a program called SHUSTRING for this purpose. Using this program, they found that there is typically much more unique sequence in a genome than one would expect in a random sequence of the same length. While this observation by itself is not a surprise, given the repetitive nature of genomes, their approach and software allows to quantify this fact. Furthermore, they found unique words to be significantly clustered in upstream regions of genes in human and mouse.

Absent words

One may take such investigations farther and investigate words that do not occur in a genome. We suggest the term "unwords" for shortest words from the underlying alphabet that do not show up in a given sequence.

A first approach at the unwords problem was recently presented by Hampikian and Andersen [9]. Their motivation was to "discover the constraints on natural DNA and protein sequences". However, there is no evidence that such constraints exist. The absence of certain shortest words in a sequence data base, no matter what (finite) size it has, is a mathematical necessity. Speculations about negative selection against certain words have been refuted convincingly in [10]. There, it is shown that human unwords computed in [9] can be explained by a mutational bias rather than negative selection.

Still, there is twofold interest in the capability of efficiently computing unwords.(1) Statistically, it is interesting to see how length and number of unwords in a given genome deviates from expectation in random sequences. (2) Practically, it is useful to know all the unwords when a genome or chromosome is to be extended by insertion of foreign DNA. Combinations of unwords can directly serve as tags that are guaranteed to be unique in the modified DNA sequence.

Software for unwords computation

Unfortunately, the software presented in [9] is slow and difficult to use: It reads Genbank files rather than the more space efficient Fasta format – and space matters a lot when dealing with genomes as large as human and mouse. It runs an internal conversion routine for over 50 minutes before starting unwords computation. The program generates an excessive number of files that may break your file systems. The C code is platform dependent and internal constants must be adapted. Finally, the human unwords data computed with the program according to [9] appear to be incomplete (and hence incorrect).

In order to make unwords computation possible in an efficient and reliable way, we present here a new algorithm and the software implementing it. Efficient computation of unwords can be done from an index data structure such as a suffix tree or an (enhanced) suffix array [11]. For example, in [8] a suffix tree was used to compute unique substrings. In fact, our first unwords-program was an extension to the VMATCH software [12], which is based on enhanced suffix arrays. However, index data structures must be built in memory and are space-consuming. Hence, we developed a direct approach that works more efficiently, because the overall sequence need not be kept in main memory. Computing the unwords of the human genome, for example, takes about 10 minutes computation time on a Linux PC with a single 2.4 MHz CPU. The space requirement is 2.5 megabytes.

In this article, we describe the new program UNWORDS and report its application to the genomes of human, mouse, and other organisms, covering a genome size range from 109 down to 105 bp.

Results

Problem statement

Let Σ be a finite alphabet of at least two letters. Let |Σ| denote the cardinality of Σ. In genome analysis, Σ = {a, c, g, t} and |Σ| = 4. A word is a sequence of letters from the alphabet. The terms "word" and "sequence" are equivalent, but are used here to indicate that a word is short and a sequence is long. |w| denotes the length of a word. If |w| = q, we speak of a q-word.

A word w over Σ is an unword of a sequence G if (1) it does not occur as a substring of G, and (2) all words over Σ shorter than w do occur in G. Note that the unword length is uniquely defined for a given genome G.

The built-in minimality requirement in this definition is motivated by the fact that when w is an unword of length q in G, it has 2|Σ| one-letter extensions that also do not occur in G. Therefore, asking for missing words longer than q would introduce a substantial proportion of redundant results.

Similar to shortest unique substrings, the length of unwords is expected to increase with genome size. For fixed unword length, the number of unwords is expected to decrease while |G| increases. Given G, let q be the unword length. It is easy to see that 1 ≤ q. To derive an upper bound on q, let w be a shortest unique substring in G and let [ell] = |w|. Consider the following cases:

• If |w| = |G|, then for any a [set membership] Σ, wa is an unword. Hence q ≤ |wa| = [ell] + 1.

• If |w| < |G| and w is not a suffix of G, then wa occurs in G for exactly one letter a. Hence wb for any b [set membership] Σ\{a} is an unword. This implies q ≤ |wb| = [ell] + 1.

• If |w| < |G| and w is not a prefix of G, then aw occurs in G for exactly one letter a. Hence bw for any b [set membership] Σ\{a} is an unword. This implies q ≤ |wb| = [ell] + 1.

Thus we conclude 1 ≤ q [ell] + 1.

The problem of unword analysis of a given sequence G (typically a complete genome) is to determine all unwords of G. The double-stranded nature of DNA lets unwords always show up in complementary pairs, as each word present implies the presence of its Watson-Crick complement on the opposite strand. Sometimes, however, an unword is self-complementary, and hence a "pair" represents only a single word. Therefore, we report unword numbers rather than numbers of pairs (in contrast to [8]).

Computation of q-word statistics for small q is straightforward. Efficient computation of unwords when q is unknown, however, requires more advanced techniques. Our unword analysis algorithm is described in the section on computational methods.

Unword statistics

The unword analysis problem is mathematically well defined. Unwords must exist for any sequence. The interesting question is their size and number, compared to what one would expect given the alphabet size and the length of G.

Let w be a word of length |w|, w [i] the i-th letter in w, G a genomic sequence and P[w [i]] the relative frequency of nucleotide w [i] in G. The probability for w to occur by chance (i.e. at a fixed position in a random sequence s of the same composition and length as G) is then [w]=i=1|w|[w[i]]. The expectation value for (the number of occurrences of) w in s is E[w in s] ≈ P[w]·|G|.

Calculating the probability for a word not to occur in a specific sequence is quite difficult and not much literature is available. Following Rahmann et al. [13], a good approximation of the probability can be given using the expectation value. A Poisson Distribution is expected for word counts in a genomic sequence, which is [Xw=k]=λ(w)kk!eλ(w) with λ(w) = E[w in s], and k the number of occurrences of the word w. Now let k = 0. Then

[ X w = 0 ] = 1 e λ ( w )
(1)

The expected number N of q-words that do not occur is therefore

N ≈ |Σ|qe-λ(w)
(2)

As an example, for a random sequence G of length 3.1·109 and an unword w of length 14 and typical composition, we obtain a probability of 1.40082·10-5 for w not occurring in G. Still, the expected number of unwords of length 14 is 2590.798, while for length 13, it is only 5.823108·10-13. For even shorter unwords, it is practically zero.

Unwords algorithm

For convenience, we map each of the four letters of the DNA-alphabet to an integer in the range 0 to 3 as follows: ā = 0, c¯ = 1, g¯ = 2, t¯ = 3. Moreover, for any fixed value q, we use a standard method to map each possible q-word to a number in the range [0, 4q - 1]. That is, we define ϕq(w)=i=1qw[i]¯4qi for any q-word w. In other words, q-words are mapped to their rank in the corresponding lexicographic order. Substrings in G containing at least one wildcard (e.g. N) are ignored. The integer value [var phi]q (w) serves as an index into a bit table Ωq such that for all sequences w of length q we have: Ωq [[var phi]q (w)] = 1 if and only if w occurs as a substring in the genome G. Let |Ωq| denote the number of 1-entries in Ωq.

Initially we set all bits in Ωq to 0. This requires O(4qω) time, where w is the computer word size. Then we sweep a window of width q over G from left to right. For the first window G [1..q] we determine the integer code [var phi]q (G [1..q]) as defined above in O(q) time. For each of the remaining n - q windows, say at start position i + 1, we compute [var phi]q (G[i + 1..i + q]) in constant time from [var phi]q (G[i..i + q - 1]) according to the following equation:

ϕ q ( G [ i + 1 .. i + q ] ) = ( ϕ q ( G [ i .. i + q 1 ] ) 4 q 1 G [ i ] ¯ ) 4 + G [ i + q ] ¯
(3)

Thus the computation of the n - q + 1 integer code requires O(n) time. The multiplication and addition in can be implemented by fast bit-shift and bit-or operations. If j is the current integer code and Ωq [j] is 0, then we set Ωq [j] to 1 and increment a counter of the number of 1-entries in Ωq. This can be done in constant time. Note that once |Ωq| = 4q, we can stop scanning G. While the time requirement of this algorithm is O(n+4qω) it uses O(1) + 2q + 4q bits of space, as only q consecutive letters in G need to be stored in memory.

If |Ωq| = 4q, i.e. all 4q entries in Ωq are 1, then we know that all possible q-words occur in G. Hence there is no unword of length q in G. On the other hand, if after processing all q-words in G, |Ωq| < 4q, there are some unwords of length q. If additionally |Ωq-1| = 4q-1, then we know that q is the smallest value such that unwords of length q exist. The unwords can easily be computed by determining all j such that Ωq [j] = 0. Given j, one determines the corresponding q-word w satisfying [var phi]q (w) = j in O(q) time. Thus the unwords are enumerated in O(41 + qz) time where z is the number of unwords.

Let q* be the smallest value such that there are unwords of length q*. Consider the possible range of values for q for a given genome length n. Let qmax = [left ceiling]log4 (n + 1)[right ceiling]. Then 4qmax=4log4(n+1)n+1>nnqmax+1. Note that G contains n - qmax + 1 substrings of length qmax. Hence G is too short to accommodate all possible qmax-words and therefore there are some unwords of length qmax. Thus q* ≤ qmax, i.e. we can restrict the search for q* to the range [1, qmax].

There are basically two strategies to determine q*. The first strategy (linear search) starts with q = 1 and increments q until |Ωq| < 4q. Then q* = q. The space requirement is O(1) + 2q* + 4q* and the running time is

O ( 4 q + q z ) + q = 1 q O ( n + 4 q ω ) = O ( 4 q + q z ) + O ( q n ) + O ( 4 q + 1 ω ) ,
(4)

where z is the number of unwords. Note that we have n4q1=4q+1424q+1ω under the realistic assumption that the machine word size ω is at least 42. Hence n dominates the last term in (4). Thus the overall running time for the linear search is O(4q* + q* (n + z)).

The second strategy determines q* by a binary search in the range [1, qmax], as described in Table Table1.1. The strategy is optimal in the sense that it tests a minimal number of possible values of q before it arrives at q*. Unfortunately, a value q' determined in line 8 of Table Table1,1, may or may not be modified later in the loop, which means that one has to store the corresponding table Ωq' or recompute it later. The running time of the binary search is O(4q+qz)+log2qmax(n+4qmax1ω). Its space requirement is O(1) + 2qmax + 4qmax.

Table 1
Algorithm for computing q* by a binary search strategy.

Testing

We used our first implementation (based on suffix-arrays) of an unwords algorithm to cross-validate the program presented here. Applied to the human genome, both algorithms (which are completely independent) produce the same set of unwords. This makes us sure that our set of 104 human unwords is indeed complete, in contrast to the 80 unwords reported in [9]. (If a smaller genome assembly or repeat masked sequences were used in this earlier study, more rather than less unwords should have been detected.) We computed unwords for six eucaryotic genomes: Homo sapiens, Release NCBI36 [14], Mus musculus, Release NCBIm36 [15], Drosophila melanogaster, Release 5.1 [16], Caenorhabditis elegans, Release WS170 [17], Neurospora crassa [18] and Saccharomyces cerevisiae, Release SGD1.01 [19], including nonchromosomal sequences which could not be assigned to a chromosome. Additionally, unwords for two bacterial genomes were calculated: Staphylococcus aureus subsp. aureus strain MSSA476, Refseq number NC_002953 and Mycoplasma genitalium, Refseq number NC_000908, as well as for two Archaea genomes:

Thermococcus kodakarensis, Release KOD1 [20] and Methanocaldococcus jannaschii, Release DSM 2661 [21]. Table Table22 gives a summary of genome sizes and unword lengths and numbers. In Table Table3,3, we show the unwords computed from the human genome. We also indicate the number of occurrences expected for each unword – if the genome was a random sequence, which of course is not the case. Deviation of GC content in unwords is summarized in Table Table4.4. Unwords for the other genomes are given in Tables Tables5,5, ,6,6, ,7,7, ,8,8, ,9,9, ,10,10, ,11,11, ,1212.

Table 2
Genome sizes (including sequences not assigned to a chromosome), the logarithm of the genome size to the base of 10, length and number of unwords of the analyzed genomes
Table 3
Unwords for the human genome and their expected number of occurrences. The four words which are also unwords for the mouse genome are shown in a box.
Table 4
GC content of Human, Mouse, Drosophila melanogaster, Caenorhabditis elegans, Saccharomyces cerevisiae, Staphylococcus aureus and Mycoplasma genitalium as well as the GC content of the associated unwords.
Table 5
Unwords for the Mouse genome.
Table 6
Unwords for the C. elegans genome.
Table 7
Unwords for the D. melanogaster genome.
Table 8
Unwords for the S. cerevisiae genome.
Table 9
Unwords for the S. aureus genome (strain MSSA476).
Table 10
Unwords for the M. jannaschii genome.
Table 11
Unwords for the T. kodakarensis genome.
Table 12
Unwords for the M. genitalium genome.

Conclusion

Genomic unwords may not have a functional meaning, but they do have relevance in practice and in theory. When planning experiments such as large scale mutagenesis [22], a high number of markers is to be included in the inserted DNA. Such markers should be disjoint from each other and from the original genome. Given (say) 100 unwords of length 11, we can directly compose 10,000 markers of length 22 which have a guaranteed Hamming distance from the genome of at least 2. From this supply of candidates, markers can be selected according to other criteria such as melting temperature.

Unwords analysis is fast enough to be applied to the large mammalian genomes. and even to larger data sets resulting from ultra-fast sequencing projects. The fact that the genome sequence need not be kept in main memory makes the program applicable to even larger data volumes in pan- or meta-genome projects. For demonstration, we have applied our program to a recent version of the NT-database (all non-redundant GenBank+EMBL+DDBJ+PDB sequences, 21,789,632,349 bp). It requires 136 minutes and 40 MB of main memory to compute all 15,560 unwords of length 14. A further interesting application would be for genomic fragment data. In meta-genome projects based on ultrafast sequencing technology, unwords analysis may prove useful in monitoring coverage.

Unwords, by definition, always have a fixed length (say k) in a given genome. Longer absent words may also be of interest. They are easily determined with our program: Adding all unwords as additional sequences to the genome and re-running the program, it will produce all absent words of length k + 1, since they are the unwords of the extended genome.

No evidence has been collected for selection against specific words in a genome-wide fashion. Naturally, unwords tend to have atypical CG content in the AT-rich genomes we studied (see Table Table4).4). CpG methylation and subsequent mutation favors unwords containing CG dinucleotides, and leads to an overabundance of their mutated variants [10]. These observations suggest that length and number of unwords, and in particular their deviation from expectation in random sequences, are statistical footprints of the process of real genome evolution. Mathematical models or reconstructions of genome evolution should be tested whether they produce a similar footprint.

The program UNWORDS is available from the Bielefeld University Bioinformatics Server [23]. While online use is restricted to sequence uploads of at most 5 Mb, the UNWORDS source code is available at [24], which has no such restriction.

Authors' contributions

RG designed and guided the study. SK provided two implementations of unword computation, one as an extension to VMATCH, and the UNWORDS program described here. JH ran the unword computations as well as all the additional analyses. All authors contributed to writing the article.

Acknowledgements

We are grateful to the anonymous referee who pointed us to the recent work of [9] and [10]. We thank Sven Rahmann and Ellen Baake for a discussion on unword statistics, and Jens Stoye for helpful discussions and his support for JH when the study was started. We appreciate the help of Jan Krüger and Daniel Hagemeier in composing the unwords website at BiBiServ.

References

  • Wang Y, Hill K, Singh S, Kari L. The spectrum of genomic signatures; from dinucleotides to chaps game representation. Gene. 2005;346:173–185. [PubMed]
  • Workman C, Krogh A. No evidence that mRNAs have lower folding free energies than random sequences with the same dinucleotide distribution. Nucleic Acids Res. 1999;27:4816–4822. [PMC free article] [PubMed]
  • Krause L, McHardy A, Nattkemper T, Pühler A, Stoye J, Meyer F. GISMO – gene identification using a support vector machine for ORF classification. Nucleic Acids Res. 2007;35:540–549. [PMC free article] [PubMed]
  • Pingoud A, Jeltsch A. Structure and function of type II restriction endonucleases. Nucleic Acids Res. 2001;29:3705–3727. [PMC free article] [PubMed]
  • Apostolico A, Bock ME, Lonardi S. Monotony of Surprise And Large-Scale Quest for Unusual Words. Proceedings of the Sixth Annual International Conference on Computional Biology (RECOMB 2002) 2002. pp. 22–31. [PubMed]
  • Apostolico A, Gong F, Lonardi S. Verbumculus and the Discovery of Unusual Words. Journal of Computer and Science Technology. 2004;19:22–41.
  • Darling A, Mau B, Blattner F, Perna N. Mauve: multiple alignment of conserved genomic sequence with rearrangements. Genome Res. 2004;14:1394–403. [PMC free article] [PubMed]
  • Haubold B, Pierstorff N, Möller F, Wiehe T. Genome comparison without alignment using shortest unique substrings. BMC Bioinformatics. 2005;6:123. [PMC free article] [PubMed]
  • Hampikian G, Andersen T. Absent sequences: nullomers and primes. Pacific Symposium on Biocomputing. 2007;12:355–366. [PubMed]
  • Acquisti C, Poste G, Curtiss D, Kumar S. Nullomers: really a matter of natural selection. PLoS ONE. 2007;2 [PMC free article] [PubMed]
  • Abouelhoda M, Kurtz S, Ohlebusch E. Replacing Suffix Trees with Enhanced Suffix Arrays. Journal of Discrete Algorithms. 2004;2:53–86.
  • Vmatch http://www.vmatch.de
  • Rahmann S, Rivals E. On the distribution of the number of missing words in random texts. Combinatorics, Probability and Computing. 2003;12:73–87.
  • Human Genome http://www.ensembl.org/Homo_sapiens
  • Mouse Genome http://www.ensembl.org/Mus_musculus
  • Drosophila Genomes http://www.fruitfly.org/sequence/release5genomic.shtml
  • C. elegans Genome http://www.ensembl.org/Caenorhabditis_elegans
  • Galagan J, Calvo S, Borkovich K, Selker E, Read N, Jaffe D, FitzHugh W, Ma L, Smirnov S, Purcell S, Rehman B, Elkins T, Engels R, Wang S, Nielsen C, Butler J, Endrizzi M, Qui D, Ianakiev P, Bell-Pedersen D, Nelson M, Werner-Washburne M, Selitrennikoff C, Kinsey J, Braun E, Zelter A, Schulte U, Kothe G, Jedd G, Mewes W, Staben C, Marcotte E, Greenberg D, Roy A, Foley K, Naylor J, Stange-Thomann N, Barrett R, Gnerre S, Kamal M, Kamvysselis M, Mauceli E, Bielke C, Rudd S, Frishman D, Krystofova S, Rasmussen C, Metzenberg R, Perkins D, Kroken S, Cogoni C, Macino G, Catcheside D, Li W, Pratt R, Osmani S, DeSouza C, Glass L, Orbach M, Berglund J, Voelker R, Yarden O, Plamann M, Seiler S, Dunlap J, Radford A, Aramayo R, Natvig D, Alex L, Mannhaupt G, Ebbole D, Freitag M, Paulsen I, Sachs M, Lander E, Nusbaum C, Birren B. The genome sequence of the filamentous fungus Neurospora crassa. Nature. 2003;6934:821–2. [PubMed]
  • S. cerevisiae Genome http://www.ensembl.org/Saccharomyces_cerevisiae
  • Fukui T, Atomi H, Kanai T, Matsumi R, Fujiwara S, Imanaka T. Complete genome sequence of the hyperthermophilic archaeon Thermococcus kodakaraensis KOD1 and comparison with Pyrococcus genomes. Genome Res. 2005;15:352–63. [PMC free article] [PubMed]
  • Bult CJ, White O, Olsen GJ, Zhou L, Fleischmann RD, Sutton GG, Blake JA, FitzGerald LM, Clayton RA, Gocayne JD, Kerlavage AR, Dougherty BA, Tomb JF, Adams MD, Reich CI, Overbeek R, Kirkness EF, Weinstock KG, Merrick JM, Glodek A, Scott JL, Geoghagen NS, Venter JC. Complete genome sequence of the methanogenic archaeon, Methanococcus jannaschii. Science. 1996;273:1058–73. [PubMed]
  • Pobigaylo N, Wetter D, Szymczak S, Schiller U, Kurtz S, Meyer F, Nattkemper T, Becker A. Construction of a large signature-tagged mini-Tn5 transposon library and its application to mutagenesis of Sinorhizobium meliloti. Appl Environ Microbiol. 2006;72:4329–4337. [PMC free article] [PubMed]
  • Computing Unwords on BibiServ http://bibiserv.techfak.uni-bielefeld.de/unwords
  • Unwords http://www.zbh.uni-hamburg.de/unwords

Articles from BMC Bioinformatics are provided here courtesy of BioMed Central
PubReader format: click here to try

Formats:

Related citations in PubMed

See reviews...See all...

Cited by other articles in PMC

See all...

Links

Recent Activity

Your browsing activity is empty.

Activity recording is turned off.

Turn recording back on

See more...