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 10^{9 }down to 10^{5 }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 metagenome data.
Background
Sequence statistics and unique substrings
Word statistics is a traditional field of genome research. For wordlength 1, GCcontent 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 underrepresented 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 unwordsprogram 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 spaceconsuming. 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 10^{9 }down to 10^{5 }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 qword.
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 builtin minimality requirement in this definition is motivated by the fact that when w is an unword of length q in G, it has 2Σ oneletter 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 ℓ = w. Consider the following cases:
• If w = G, then for any a ∈ Σ, wa is an unword. Hence q ≤ wa = ℓ + 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 ∈ Σ\{a} is an unword. This implies q ≤ wb = ℓ + 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 ∈ Σ\{a} is an unword. This implies q ≤ wb = ℓ + 1.
Thus we conclude 1 ≤ q ≤ ℓ + 1.
The problem of unword analysis of a given sequence G (typically a complete genome) is to determine all unwords of G. The doublestranded nature of DNA lets unwords always show up in complementary pairs, as each word present implies the presence of its WatsonCrick complement on the opposite strand. Sometimes, however, an unword is selfcomplementary, 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 qword 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 ith letter in w, G a genomic sequence and ℙ[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 . The expectation value for (the number of occurrences of) w in s is [w in s] ≈ ℙ[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 with λ(w) = [w in s], and k the number of occurrences of the word w. Now let k = 0. Then
The expected number N of qwords that do not occur is therefore
As an example, for a random sequence G of length 3.1·10^{9 }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 DNAalphabet to an integer in the range 0 to 3 as follows: ā = 0, = 1, = 2, = 3. Moreover, for any fixed value q, we use a standard method to map each possible qword to a number in the range [0, 4^{q } 1]. That is, we define for any qword w. In other words, qwords 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 φ_{q }(w) serves as an index into a bit table Ω_{q }such that for all sequences w of length q we have: Ω_{q }[φ_{q }(w)] = 1 if and only if w occurs as a substring in the genome G. Let Ω_{q} denote the number of 1entries in Ω_{q}.
Initially we set all bits in Ω_{q }to 0. This requires 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 φ_{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 φ_{q }(G[i + 1..i + q]) in constant time from φ_{q }(G[i..i + q  1]) according to the following equation:
Thus the computation of the n  q + 1 integer code requires O(n) time. The multiplication and addition in can be implemented by fast bitshift and bitor 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 1entries in Ω_{q}. This can be done in constant time. Note that once Ω_{q} = 4^{q}, we can stop scanning G. While the time requirement of this algorithm is it uses O(1) + 2q + 4^{q }bits of space, as only q consecutive letters in G need to be stored in memory.
If Ω_{q} = 4^{q}, i.e. all 4^{q }entries in Ω_{q }are 1, then we know that all possible qwords occur in G. Hence there is no unword of length q in G. On the other hand, if after processing all qwords in G, Ω_{q} < 4^{q}, there are some unwords of length q. If additionally Ω_{q1} = 4^{q1}, 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 qword w satisfying φ_{q }(w) = j in O(q) time. Thus the unwords are enumerated in O(4^{1 }+ 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 q^{max }= ⌈log_{4 }(n + 1)⌉. Then . Note that G contains n  q^{max }+ 1 substrings of length q^{max}. Hence G is too short to accommodate all possible q^{max}words and therefore there are some unwords of length q^{max}. Thus q* ≤ q^{max}, i.e. we can restrict the search for q* to the range [1, q^{max}].
There are basically two strategies to determine q*. The first strategy (linear search) starts with q = 1 and increments q until Ω_{q} < 4^{q}. Then q* = q. The space requirement is O(1) + 2q* + 4^{q}* and the running time is
where z is the number of unwords. Note that we have under the realistic assumption that the machine word size ω is at least 4^{2}. Hence n dominates the last term in (4). Thus the overall running time for the linear search is O(4^{q}* + q* (n + z)).
The second strategy determines q* by a binary search in the range [1, q^{max}], as described in Table 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 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 . Its space requirement is O(1) + 2q^{max }+ .
Table 1. Algorithm for computing q* by a binary search strategy.
Testing
We used our first implementation (based on suffixarrays) of an unwords algorithm to crossvalidate 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 2 gives a summary of genome sizes and unword lengths and numbers. In Table 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 4. Unwords for the other genomes are given in Tables 5, 6, 7, 8, 9, 10, 11, 12.
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 ultrafast 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 metagenome projects. For demonstration, we have applied our program to a recent version of the NTdatabase (all nonredundant 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 metagenome 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 rerunning 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 genomewide fashion. Naturally, unwords tend to have atypical CG content in the ATrich genomes we studied (see Table 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:173185. PubMed Abstract  Publisher Full Text

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(24):48164822. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

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(2):540549. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Pingoud A, Jeltsch A: Structure and function of type II restriction endonucleases.
Nucleic Acids Res 2001, 29:37053727. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Apostolico A, Bock ME, Lonardi S: Monotony of Surprise And LargeScale Quest for Unusual Words.
Proceedings of the Sixth Annual International Conference on Computional Biology (RECOMB 2002) 2002, 2231.

Apostolico A, Gong F, Lonardi S: Verbumculus and the Discovery of Unusual Words.

Darling A, Mau B, Blattner F, Perna N: Mauve: multiple alignment of conserved genomic sequence with rearrangements.
Genome Res 2004, 14(7):1394403. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Haubold B, Pierstorff N, Möller F, Wiehe T: Genome comparison without alignment using shortest unique substrings.
BMC Bioinformatics 2005, 6:123. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Hampikian G, Andersen T: Absent sequences: nullomers and primes.

Acquisti C, Poste G, Curtiss D, Kumar S: Nullomers: really a matter of natural selection.
PLoS ONE 2007., 2(10) PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Abouelhoda M, Kurtz S, Ohlebusch E: Replacing Suffix Trees with Enhanced Suffix Arrays.

Vmatch [http://www.vmatch.de] webcite

Rahmann S, Rivals E: On the distribution of the number of missing words in random texts.

Human Genome [http://www.ensembl.org/Homo_sapiens] webcite

Mouse Genome [http://www.ensembl.org/Mus_musculus] webcite

Drosophila Genomes [http://www.fruitfly.org/sequence/release5genomic.shtml] webcite

C. elegans Genome [http://www.ensembl.org/Caenorhabditis_elegans] webcite

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, BellPedersen D, Nelson M, WernerWashburne 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, StangeThomann 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.

S. cerevisiae Genome [http://www.ensembl.org/Saccharomyces_cerevisiae] webcite

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(3):35263. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

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(5278):105873. PubMed Abstract  Publisher Full Text

Pobigaylo N, Wetter D, Szymczak S, Schiller U, Kurtz S, Meyer F, Nattkemper T, Becker A: Construction of a large signaturetagged miniTn5 transposon library and its application to mutagenesis of Sinorhizobium meliloti.
Appl Environ Microbiol 2006, 72(6):43294337. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Computing Unwords on BibiServ [http://bibiserv.techfak.unibielefeld.de/unwords] webcite

Unwords [http://www.zbh.unihamburg.de/unwords] webcite