- Methodology article
- Open access
- Published:

# Bounded search for de novo identification of degenerate cis-regulatory elements

*BMC Bioinformatics*
**volume 7**, Article number: 254 (2006)

## Abstract

### Background

The identification of statistically overrepresented sequences in the upstream regions of coregulated genes should theoretically permit the identification of potential cis-regulatory elements. However, in practice many cis-regulatory elements are highly degenerate, precluding the use of an exhaustive word-counting strategy for their identification. While numerous methods exist for inferring base distributions using a position weight matrix, recent studies suggest that the independence assumptions inherent in the model, as well as the inability to reach a global optimum, limit this approach.

### Results

In this paper, we report PRISM, a degenerate motif finder that leverages the relationship between the statistical significance of a set of binding sites and that of the individual binding sites. PRISM first identifies overrepresented, non-degenerate consensus motifs, then iteratively relaxes each one into a high-scoring degenerate motif. This approach requires no tunable parameters, thereby lending itself to unbiased performance comparisons. We therefore compare PRISM's performance against nine popular motif finders on 28 well-characterized *S. cerevisiae* regulons. PRISM consistently outperforms all other programs. Finally, we use PRISM to predict the binding sites of uncharacterized regulons. Our results support a proposed mechanism of action for the yeast cell-cycle transcription factor Stb1, whose binding site has not been determined experimentally.

### Conclusion

The relationship between statistical measures of the binding sites and the set as a whole leads to a simple means of identifying the diverse range of cis-regulatory elements to which a protein binds. This approach leverages the advantages of word-counting, in that position dependencies are implicitly accounted for and local optima are more easily avoided. While we sacrifice guaranteed optimality to prevent the exponential blowup of exhaustive search, we prove that the error is bounded and experimentally show that the performance is superior to other methods. A Java implementation of this algorithm can be downloaded from our web server at http://genie.dartmouth.edu/prism.

## Background

Transcriptional responses are modulated by DNA-binding proteins known as transcription factors, which typically bind sets of similar DNA sequences (cis-regulatory elements). Cognate binding sites for a transcription factor exhibit position-specific variation. Critical residues that mediate transcription factor binding are constrained, while the other residues are free to drift neutrally [1], leading to highly degenerate cis-regulatory elements that are often hard to detect computationally.

The *de novo* computational identification of cis-regulatory elements is an extensively studied problem. Numerous motif-finding algorithms have been developed over the years (for reviews see [2, 3]).

Nearly all motif-finding algorithms fall into three general classes: pattern-based, profile-based and combinatorial. Each class of algorithm uses a different mathematical model (referred to as a motif model) to represent a set of cis-regulatory elements. Pattern-based methods employ a consensus motif model in which cis-regulatory elements are represented by short words using the IUPAC alphabet. These methods seek to enumerate all possible words in the set of upstream sequences of coregulated genes in order to identify conserved (statistically overrepresented) motifs. Profile-based methods, on the other hand, are based on a Position Weight Matrix motif model. These methods try to identify statistically overrepresented motifs by comparing upstream sequences (for instance, by multiple sequence alignments) and seeking out local similarities. Combinatorial motif-finding programs employ a position-independent mismatch motif model, where the motif is typically represented as a word of length *l* with at most *k* mismatches. These methods seek to identify cis-regulatory elements by clustering closely related groups of words.

Each motif model has its limitations when searching for highly degenerate cis-regulatory elements. Consensus-based algorithms typically struggle with highly degenerate motifs, in part because of their motif model. Exhaustive enumeration of degenerate motifs over the 15-letter IUPAC alphabet causes an explosion of the search space from 4^{l} to 15^{l} (for a motif of length *l*) [4]. Further, the limited expressiveness of the consensus model implies that motifs represented via this model are at best crude approximations of the actual cis-regulatory elements. The Position Weight Matrix model is more expressive, but is also prone to local maxima due to the enormous size of its search space. Highly degenerate cis-regulatory elements that fit the position-independent mismatch model are difficult to find in published databases of cis-regulatory elements [5]. All of these models fail to account for inter-position dependencies. Barash *et al.* showed that modeling a collection of binding sites as a mixture of two Position Weight Matrices can account for some positional dependencies [6], while King and Roth present a nonparametric, PWM-based method that can account for arbitrary dependencies [7].

In this paper we present a novel approach to the discovery of highly degenerate cis-regulatory elements that combines aspects of all three motif models. Our approach starts with the most overrepresented non-degenerate words in a set of upstream regions. For each word, we explore the mismatch space immediately surrounding it, generalizing the word to a degenerate consensus that is more significantly overrepresented than the original word. We then construct a Position Weight Matrix based on the actual occurrences of the consensus in the given set of upstream regions. This approach leverages the representational accuracy of the Position Weight Matrix model while reducing the problem of local maxima through discretization. Implicit in the approach is the assumption that a set of binding sites described by an overrepresented degenerate cis-regulatory element has at least one element within it that is itself overrepresented. In this paper, we prove that the statistical significance of a degenerate motif is bounded by the sum of the significance of the non-degenerate motifs it describes. This bound validates our assumptions and provides leverage for efficient identification of degenerate motifs. We demonstrate that our method is effective at finding highly degenerate cis-regulatory elements that are best described using the full IUPAC alphabet in *S. cerevisiae*. When tested on biological datasets, our approach outperforms nine other motif-finding programs based on each of the three motif models described above.

## Results

Statistical overrepresentation is often used in motif-finding programs as a surrogate for biological significance. A natural measurement of overrepresentation is the probability of observing at least *k* occurrences of a motif given its frequency in the genome. We estimate this probability using the Poisson distribution, which is (-log)-transformed and Bonferroni-corrected to yield a *Sig* score similar to the binomial-based Sig score described by [8]. The Sig score is easily extended to degenerate motifs when we consider that such a motif describes a collection of non-degenerate motifs. For this reason, we use the terms *composite motif* and *instantiation* to respectively refer to a degenerate motif and the non-degenerate motifs it describes. As shown in the methods, a useful property of the Sig score is that the Sig score of a composite motif is bounded by the sum of the Sig scores of its instantiations.

### Sig score is bounded

Previous methods have taken the approach of identifying the highest scoring non-degenerate motifs, then merging those that have a significant amount of textual overlap [8, 9]. Implicit in this approach is the assumption that significant degenerate motifs describe a set of significant non-degenerate motifs. To directly investigate the relationship between the Sig scores of two motifs *m*_{1} and *m*_{2} and the Sig score of the composite motif *M* = {*m*_{1}, *m*_{2}}, we performed the following experiment. We randomly chose values for *k* (the number of occurrences of a motif in a regulon) and *λ* (the expected number of occurrences) for the two motifs and plotted Sig(*k*_{1}, *λ*_{1}) + Sig(*k*_{2}, *λ*_{2}) against Sig(*k*_{2} + *k*_{2}, *λ*_{1} + *λ*_{2}). As we demonstrate in Methods, if we consider *m*_{1} and *m*_{2} to be the same motif, the resulting combined motif has expected count *λ*_{1} + *λ*_{2} and observed count *k*_{1} + *k*_{2} in the group. This experiment thus investigates the relationship between the Sig scores of two motifs that differ by one mismatch and the Sig score of the degenerate motif that describes exactly those two motifs. When we randomly choose *k* and *λ* from [0, 50] and compute Sig(*k*, *λ*) + Sig(*k*, *λ*), we find that it almost exactly equals Sig(2*k*, 2*λ*) (Figure 1A). When we generalize the experiment to vary *k* and *λ* between the two terms, we find Sig(*k*_{1} + *k*_{2}, *λ*_{1} + *λ*_{2}) ≤ Sig(*k*_{1}, *λ*_{1}) + Sig(*k*_{2}, *λ*_{2}). Thus, it appears that Sig(*k*_{1}, *λ*_{1}) + Sig(*k*_{2}, *λ*_{2}) bounds Sig(*k*_{1} + *k*_{2}, *λ*_{1} + *λ*_{2}) and that this bound is extremely tight when *k*_{1} ≈ *k*_{2} and *λ*_{1} ≈ *λ*_{2}. This bound also holds when known motifs and regulons taken from the SCPD database [10] that differ by one mismatch are merged (Figure 1B). A proof of this bound is given in Methods.

### Validation of hill climbing algorithm

In order to leverage the bounded Sig in a practical context, we developed an algorithm capable of generalizing the degree of overrepresentation of composite motifs from a single instantiation. This algorithm, referred to as the hill climbing algorithm and described in Methods, attempts to generalize a single non-degenerate motif by exploring the space of motifs that differ by one mismatch from the original motif, and iteratively adding those motifs that maximally improve the Sig score. Thus, given a single, non-degenerate motif *m*, HC(*m*) returns a high-scoring degenerate (composite) motif of any number of instantiations.

In order to validate the hill climbing algorithm in a biological context, we tested the algorithm against the set of *S. cerevisiae* regulons defined in the SCPD database [10]. For each regulon with experimentally verified binding sites, we ran the hill climbing algorithm on each binding site, comparing it with the resulting composite motif via the Φ score metric [11]. The Φ score of a motif measures the nucleotide-level overlap between the sites in a regulon that a motif matches and the SCPD reported binding sites. If the hill climbing algorithm improved the description of the binding sites, this would be reflected in an increase in the Φ scores.

Table 1 shows the results of running the hill climbing algorithm on all reported binding sites for a number of yeast regulons from the SCPD for which there was more than 1 reported binding site (without a spacer region). Comparing the Φ scores before and after running the hill climbing algorithm compares the ability of the best non-degenerate and degenerate exemplars to model the entire set of binding sites. The motif that gives the best Φ score among hill climbing results for each regulon is displayed as well. As indicated by the increase in average Φ scores, the hill climbing algorithm successfully generalizes many of the non-degenerate binding sites to improve the degree of overlap between the published sites and the predicted motif. The best Φ score improves in 11 out of 16 cases where the Φ score changes more than 0.10 as a result of the hill climbing algorithm. The fact that the Φ score drops in some instances highlights the limitation of Sig as an estimate of biological significance. The details of one run on a binding site of PDR3 are shown in Figure 2 to demonstrate the changes a motif undergoes during the hill climbing algorithm. As can be seen, the hill climbing algorithm steadily improves the Sig score of the motif over multiple iterations. Although the Φ score is not available to the algorithm while it is optimizing the motif, we have included it in this figure to show the relationship between the degree of overrepresentation and the biological relevance of this particular motif.

### Identifying motifs ab initio

As shown in the previous section, given a single non-degenerate instantiation of a biologically relevant motif, the hill climbing algorithm is capable of returning a composite motif that is a more accurate descriptor of the experimentally determined binding sites. Of course, in practical motif-finding situations, this non-degenerate instantiation is not available to the algorithm. However, Theorem 1 states that a composite motif with *n* instantiations and Sig score *σ* must include at least one instantiation with Sig score at least *σ*/*N*. Thus, if we are searching for a highly overrepresented degenerate motif, it is reasonable to start with a list of overrepresented, non-degenerate motifs, each of which is used as a seed from which to begin our search.

We therefore performed the following experiment to determine the practical benefit of the hill climbing algorithm in the *ab initio* discovery of degenerate motifs of variable length. We identified candidate motifs for each regulon, using the oligo-analysis tool from the Regulatory Sequence Analysis Tools website (hereafter referred to as RSAT) [8, 12]. RSAT was set to identify the 50 most significant hexamers, then to assemble textually related hexamers into longer motifs. Each motif reported by RSAT was run separately on the hill climbing algorithm, resulting in a set of degenerate motifs. All motifs reported by RSAT were scored for their overlap with the biologically relevant list of binding sites via the Φ score metric. These Φ scores were compared against the Φ scores obtained from the motifs generated by the hill climbing algorithm (columns (c) and (d) in Table 2). After Sinha and Tompa [13], the Φ score for a regulon is computed by sorting the reported motifs by Sig, then reporting the highest Φ score from the top 3 motifs.

The top 3 motifs are examined to account for the possibility that unknown binding sites may exist in these sequences. Surprisingly, while HC(·) improves the performance of RSAT on two regulons, on average, the output of HC decreased the average Φ score by 9% (Table 2). One possible explanation for this is that RSAT finds small fragments of binding sites that, when generalized, include a high number of false positives. This is supported by the observation that the average ΔΦ for those regulons in which the highest scoring motif is a hexamer is -0.11, while the average ΔΦ for those regulons in which the highest scoring motif is longer than 6 bases is +0.5. This may be due to the method RSAT uses to identify motifs longer than 6 bases. In order for such a motif to be reported, a strong linearity assumption is made: both the 6-base prefix and the 6-base suffix must be among the most overrepresented hexamers. Conversely, if any two overrepresented hexamers overlap textually, they will be combined to yield a long motif, regardless of the degree of overrepresentation of the longer motif. This assumption is likely to be violated in practice. To address this, we developed a motif finder specifically aimed at non-degenerate motifs. This algorithm, called BEAM, employs a linearity assumption that is broadly similar to the bound used by the hill climbing algorithm to aggressively limit the search space of motifs. Using a bounded breadth-first (beam) search, BEAM first enumerates all motifs of length 5, then iteratively expands each motif in either direction by concatenating a single nucleotide at either end. In each iteration, BEAM computes the Sig score of each motif, then expands only the highest scoring motifs. The linearity assumptions and error bounds for the BEAM algorithm were previously explored, and the algorithm was shown to be efficient with bounded error [14]. In brief, iteratively expanding motifs works because overrepresented strings are likely to contain overrepresented substrings. Thus, the space of all unambiguous motifs can be efficiently searched by iteratively expanding the most overrepresented motifs. The 50 highest scoring motifs returned by BEAM were used as input to the HC(·) algorithm.

When run alone, BEAM performs comparably to RSAT on these regulons. However, computing HC(·) on each motif reported by BEAM yields a 15% improvement over RSAT (Table 2). For ease of discussion, we named the program that results in running the hill climbing algorithm on the results of BEAM *PRISM* (**P** attern **R** elaxation-based **I** terative **S** earch for **M** otifs). Comparing PRISM and RSAT directly on each regulon reveals that PRISM clearly outperforms RSAT on 6 of 7 regulons where one program outperforms the other by at least 0.10 (referred to as a *clear win*, see [13, 15]).

To place PRISM's performance in context, we ran PRISM, RSAT, and eight other popular motif finders on all 28 *S. cerevisiae* regulons from the SCPD for which binding sites have been experimentally characterized (excluding the binding sites for the Zn(II)2Cys6 family of transcription factors, which bind DNA as homodimers with gapped cores). All programs were run from their web servers with default values selected. Where the option was offered, an *S. cerevisiae* background model was specified. PRISM has no adjustable parameters, and hence was not specifically optimized for performance on this dataset. The results are summarized in Table 3 in the format used in Sinha and Tompa [13]. On average, PRISM scores higher than all other programs and, with RSAT and YMF, has the highest number of regulons for which a recognizable portion of the binding sites were discovered (Φ ≥ 0.10). In head-to-head comparisons between PRISM and the other programs, PRISM had 81% of clear wins. PRISM has near-complete descriptions of more cis-regulatory elements than any other program, as measured by the number of regulons for which PRISM's Φ score was at least 0.50.

### Evaluating PRISM in the presence of noise

Input sequences for motif-finding programs typically consist of a set of coordinately expressed genes derived from microarray data. Parallel regulation and rapid serial response of downstream genes are both capable of generating coordinated expression patterns in the absence of coordinate regulation. In addition, errors in clustering may lead to the inclusion of extraneous upstream sequences.

To test the robustness of PRISM to increasing levels of extraneous upstream sequences in the dataset, we performed the following experiment on five randomly selected regulons. For each regulon, we added a number of randomly selected upstream regions, corresponding to 0.5, 1, 2 and 4 times the number of sequences in the original regulon. We ran PRISM on each of these data points and assessed its accuracy using the Φ score metric. The results are summarized in Figure 3. As can be seen, PRISM is robust in the presence of extraneous genes. In the presence of twice as many extraneous upstream sequences as real ones, the average Φ decreases from 0.32 to 0.18. PRISM's robustness in the face of noisy gene sets makes it a practical solution for motif-finding from microarray experiments.

As a separate test, we looked at PRISM's performance in the presence of randomly selected gene sets with no coregulated genes present. To test this, randomly selected genes were assembled into regulons of size 3, 5, 10 and 20 (4000 regulons in total). PRISM was run on these regulons, and the Sig score of the top-scoring motif was reported. The results were compared to the Sig scores obtained on the SCPD regulons. The mean Sig score from the random regulons was 12, while the mean Sig score of the SCPD regulons was 22. 58% of the SCPD regulons and 10% of the randomly generated regulons had a Sig score of 20 or above, (for Sig scores of 30 or above, these numbers were 43% and 2% respectively).

### Creating sequence logos from degenerate consensus motifs

Our results suggest that, for *S. cerevisiae* regulons, using the consensus model to arrive at degenerate motifs is more accurate than using a Position Weight Matrix for the same purpose. Of the motif-finding programs tested, AlignAce, MotifSampler, BioProspector, MEME and CONSENSUS all use Position Weight Matrices, and all were outperformed by all three consensus programs (PRISM, RSAT and YMF). These results are broadly consistent with other performance comparisons [13, 16]. However, the representational power of the final output may be improved somewhat by converting the consensus sequences into position weight matrices based on the sequences in the regulon that match the consensus. Figure 4 compares the predicted sequence logos from 6 regulons (the 5 highest scoring regulons and a representative low scoring regulon) to the sequence logos from the binding sites as reported by SCPD. We also generated predictions for four transcription factors whose binding sites have not yet been experimentally characterized. The regulons for these transcription factors were identified from data generated using Chromatin Immunoprecipitation (ChIP) [17]. We selected regulons where all regulator-gene interactions had a p-value of at most 0.001 in the ChIP analysis and were confirmed by gene-specific PCR.

### Using PRISM to generate hypotheses

We now show that PRISM is capable of generating directly testable mechanistic hypotheses. As an example, it is known that the transition from G1 to S-phase during the yeast cell cycle is dependent on two heterodimeric complexes, Sbf (Scb-binding factor) and Mbf (Mcb-binding factor). These complexes have the same regulatory subunit Swi6, but have unique DNA-binding proteins, Swi4 and Mbp1 respectively [18]. These two proteins share 50% identity in their DNA-binding domains, and there is a 31% overlap between the *in vivo* targets of Mbf and Sbf, as determined by ChIP data [19]. However, at the nucleotide level, the Φ score for the SCB and MCB cis-regulatory elements is only 0.09. Clearly, the functional overlap between these genes is greater than the overlap at the nucleotide level of their binding sites.

One possible explanation for this apparent contradiction is the involvement of a third protein. A likely candidate for mediating the functional overlap is Stb1, a Swi6-associated protein that has been shown to be involved in the transcriptional regulation of G1 to S-phase transition [20]. In order to address the potential role of Stb1 in Mbf- and Sbf-mediated transcription, we used PRISM to look for overrepresented motifs upstream of genes that were identified as being bound by Stb1 [17]. The cis-regulatory element identified by PRISM (Figure 4) for Stb1 overlaps the Mbf binding sites with a Φ score of 0.17, and overlaps Sbf binding site with a Φ score of 0.20. Thus, it is possible that Stbl mediates the functional overlap between Mbf and Sbf. The association of Stb1 with Swi6, a common subunit of both Sbf and Mbf, supports this hypothesis.

## Discussion

We have shown that the degree of statistical overrepresentation of a degenerate motif is bounded by the sum of the degree of overrepresentation of its non-degenerate instantiations. This deceptively simple relationship sets a lower bound on the Sig score of the most overrepresented instantiation of a highly degenerate motif, since overrepresented motifs will possess one or more instantiations that are themselves overrepresented, albeit to a lesser degree. PRISM leverages this bound to provide a rapid, effective means of identifying highly degenerate overrepresented motifs, starting from non-degenerate motifs. While we have demonstrated PRISM on co-regulated sets of genes, it is relatively straight forward to apply the bound for phylogenetic footprinting, an orthogonal approach to motif finding that leverages the evolutionary conservation of transcription factor binding sites [21–23].

Comparing the performance of PRISM to motif finders based on other motif models reveals a consistent pattern. On this dataset, using the Φ score metric, PRISM outperforms PWM-based motif finding programs (AlignACE, BioProspector, MEME, MotifSampler, MITRA and Consensus) by large margins, ranging from 50 to 200%. On the other hand, the difference between PRISM and programs based on word counting (YMF, Weeder, RSAT) is much smaller, ranging from 15 to 30%. In general, motif finders perform best on synthetic data generated according to their motif model [13, 24]. Thus, this observation provides some hints at the mechanism of the underlying DNA-protein interaction: if the free energy of binding of a protein to a cis-regulatory element is very tightly correlated with the additive overrepresentation of each position, programs based on word counting would be expected to perform poorly compared to programs based on the more flexible PWM-based search, which emphasizes position independence. This is because PWM search algorithms can directly optimize the contributions of individual bases even in the absence of overrepresented words that connect adjacent positions. Thus, PRISM's superior performance relative to PWM-based programs may be indicative of the limitations of the additivity assumption inherent in PWMs and their optimization algorithms. These limitations are demonstrated by experimental results that suggest that the simple additivity assumption in protein-DNA binding encoded in the PWM is little more than a first approximation [25–27]. A number of groups have extracted common principles to identify underlying mechanisms in protein-DNA recognition from the solved structures of protein-DNA cocrystals, which contain hundreds of examples of binding contacts. These analyses have demonstrated that interactions often occur between multiple DNA bases and amino acid side chains. For instance, the widespread Zif268-like zinc finger transcription factors consist of three domains, each of which recognizes overlapping trinucleotides [28, 29]. In this case the protein-DNA contacts are clearly neither position independent, nor additive. A broad study of protein-DNA binding contacts has shown that, although the chemical properties of the base-amino acid contacts might be additive and position-independent in some cases, the same is not true for the stereochemical effects of adjacent residues on a DNA double helix [30].

Not surprisingly, models of protein-DNA binding that include position dependent effects more accurately model the true binding sites of a transcription factor than do simple PWMs, though at the expense of more free parameters [6, 7, 31]. Our solution to this problem is to use the PWM representation in the final output, but to restrict the independence assumption by using a word-based search strategy that assumes the presence of overrepresented instantiations. The experimental results validate this decision. There is a second potential explanation for the performance difference between PWM-based programs and consensus-based programs on this dataset. PWMs search a much larger parameter space than consensus models, as each position has three free parameters (the probability of three of the four bases), each of which is a real number between 0 and 1. In contrast, every position in a consensus model is represented with one parameter, which can take on one of 15 values. Thus, employing a Position Weight Matrix representation during the motif search frames the problem in more complex terms than employing a consensus representation. This added complexity leads to search strategies that are more prone to local maxima and that often over fit to include noise when learning novel cis-regulatory elements that occur only a handful of times in the group. For instance, Gibbs Sampler (originally developed to search for highly degenerate motifs) is very sensitive to noise. The dilution of ten target sequences containing a planted motif with five random sequences reduces the accuracy of Gibbs Sampler from 90% to 30% [32]. MotifSampler, a derivative of Gibbs Sampler, does not perform well on the SCPD datasets.

Although PRISM outperforms the other programs by a substantial margin on this randomly selected dataset from *S. cerevisiae* (winning in 81% of the cases where there is a clear difference), it is formally possible that a performance comparison on other datasets will lead to a different result. Since motif finders are classifiers, the "no free lunch" theorem of machine learning states that, for any given motif finder, there must exist a dataset for which that motif finder outperforms PRISM [33]. However, such datasets that are also biologically relevant may be rare, as evidenced by the small number of clear losses. Since our test set was fairly large (constituting about 50 to 60% of all published *S. cerevisiae* regulons), we believe that the results reported here will generalize to most yeast regulons. We wish to emphasize that the dataset (and the criteria) presented here have been used in previous published performance comparisons [13, 15]. It is also interesting to note that our comparison of ten motif-finding programs on 28 regulons is larger than any previously published comparison of motif finders except Tompa *et al.* [16], which takes a philosophically different approach.

We wish to place special emphasis on the fact that our algorithm has no nuisance parameters. This is significant as it makes PRISM robust to use by non-experts and enables blind testing to be performed in a fair way on regulons with known binding sites. It is circular to attempt to tune the parameters of motif-finding programs in tests involving *ab initio* motif discovery, unless the tuning is performed on a separate training set of data. To our knowledge, there has been no publication to date involving motif-finding programs with tunable parameters that demonstrates error rates on separate training and test sets. In some cases, performance comparisons have been performed with methods tuned for optimal performance on each individual regulon, clearly violating notions of circularity and overfitting [15]. Thus, the generalizability of tunable parameters in the field of motif-finding remains an open question. We have assumed that the web-based interfaces of the other programs tested here contain reasonable parameter estimates for a naive user interested in motif finding. The fact that PRISM has no tunable parameters enables a fair comparison to be made. However, we acknowledge that it may be possible for expert users running the other programs to obtain higher scores than were obtained here. Such improved performance would best be demonstrated in a rigorous resampling framework.

The chief limitation of the algorithm presented here is that it is not likely to work for cis-regulatory elements that contain widely spaced critical residues. An example of this is the Zn(II)2Cys6 binuclear cluster transcription factor family in yeast and other fungi (see [34] for review). The binding sites of members of this family consist of two sets of critical residues separated by a long spacer region. We are developing a separate algorithmic approach to this problem that leverages the bound shown here (Chakravarty *et al*., in preparation).

Finally, the bound stated in Theorem 1 holds for all (-log)-transformed probability distributions. While overrepresentation has proved to be a useful approximation to biological significance, it clearly has its limitations, as evidenced by the regulons for which all the tested motif finders failed to find a plausible match. By dramatically reducing the search space, we anticipate that PRISM, like its predecessor BEAM [14], will be able to leverage complex statistical measures that more closely approximate biological significance. We are currently exploring such metrics.

## Conclusion

We have shown that the statistical overrepresentation of a collection of binding sites is bounded by the sum of the overrepresentation of each distinct sequence. This bound lead to a simple hill climbing algorithm, which we showed outperforms a wide variety of commonly used motif finding programs. PRISM's success highlights the limitations of assuming independence between nucleotide positions and supports the growing body of evidence that protein-DNA binding is best modeled when dependencies are considered. In this light, PRISM's main contribution is the demonstration that a simple linear approach can account for potential dependencies and can identify a likely set of binding sites from which more descriptive models can be inferred. While the PRISM method is limited in its generality, as it cannot handle gapped binding sites, the theorem proved here is guiding the algorithmic development of a program that identifies such binding sites.

## Methods

### Notation

We define a composite motif *M* = {*m*_{1}, *m*_{2},..., *m*_{
n
}} to be a set of *n* = |*M*| non-degenerate motifs, each of length *l*. We refer to each *m*_{
i
}∈ *M* as an instantiation of *M*. Degenerate consensus motifs over the IUPAC alphabet are special cases of composite motifs for which *n* = 2^{a}3^{b} for some non-negative integers *a* and *b* and each motif *m*_{
i
}∈ *M* differs from *m*_{i+1}by exactly one mismatch. For such motifs, an equivalent notation is given by *M* = *b*_{1}*b*_{2}...*b*_{
n
}, where *b*_{
i
}is an IUPAC symbol describing a subset of A, C, G, T. We write |*b*_{
i
}| to mean the size of that subset. For example, WAS = {AAC, AAG, TAG, TAG}, and |*b*_{1}| = |*b*_{3}| = 2, |*b*_{2}| = 1.

### Overrepresentation

PRISM is given a set *S* = {*s*_{1}, *s*_{2},...,*s*_{
c
}} of DNA sequences of lengths *t*_{1}, *t*_{2},..., *t*_{
c
}, and seeks to return the most overrepresented composite motif *M* in *S*. In this section, we first define overrepresentation for a single motif with respect to *S*, then generalize to composite motifs. We demonstrate that the overrepresentation of a composite motif is bounded by the the sum of the overrepresentation of its instantiations.

#### Single motifs

Let *X* be a non-negative, integer-valued random variable that describes the number of times motif *m* occurs in *S*. Overrepresentation of a motif *m* that occurs *X* = *k* times in *S* is given by

Pr{*X* ≥ *k* | \mathcal{S}}, (1)

where *S* is drawn from some distribution \mathcal{S}. To compute this probability, we assume that each *s*_{
i
}∈ *S* is generated by some generative model *μ* (or equivalently, the distribution of *X* is given by *μ*). For concreteness, we take *μ*, to be an *l* - 1 order Markov model (see Implementation section below), though in general other distributions are feasible. For simplicity, we further assume that the t={\displaystyle {\sum}_{i=1}^{c}({t}_{i}-l+1)} motifs of length *l* generated by *μ* are independent trials. While this simplification ignores the fact that the motif at each position will depend on the *l* - 1 previous motifs and will affect the *l* - 1 following ones, it allows us to compute Probability (1) using a hyper-geometric derived distribution. Previous studies have found that the effects of this independence assumption are negligible except for highly repetitive motifs [8]. Our implementation of BEAM masks out such motifs as a preprocessing step.

While the hyper-geometric distribution is the most accurate model given our assumptions, it is generally too computationally expensive to be of practical use in this context. Instead, an approximation using the binomial [8, 9] or Gaussian [4] has previously been used. We have chosen the Poisson distribution, as it efficiently and accurately approximates the binomial distribution when the number of trials *t* is large and the probability *p*_{
m
}that any given trial results in *m* is small.

The Poisson distribution parameterizes *X* by *λ* = E[*X*] and approximates Probability (1) as

If *λ* ≪ *t* then we can approximate Equation (2) by summing to infinity, which gives us the standard tail probability. We expect binding sites to be rare, so we will use this latter definition.

#### Composite motifs

Now consider the general case of composite motifs. A composite motif can be viewed as an equivalence class over its instantiations. That is, the composite motif *M* describes a set of binding sites and we are interested in the overrepresentation of those motifs as a set, not individually.

**Observation 1.** *Let* *X*_{1}, *X*_{2},..., *X*_{
n
}*be independent, Poisson distributed random variables with expectations* *λ*_{1}, *λ*_{2},...,*λ*_{
n
}. *Then* X={\displaystyle {\sum}_{i=1}^{n}{X}_{i}}*is Poisson distributed with expectation* \lambda ={\displaystyle {\sum}_{i=1}^{n}{\lambda}_{i}}.

*Proof*. The expectation is evident from the interpretation of the parameter *λ* as the expected number of occurrences. That *X* is Poisson distributed can be proved using the generating function of the Poisson distribution [35].□

If we let *X*_{
i
}be the number of observed occurrences of *m*_{
i
}∈ *M* in *S*, then *X* is the number of observed occurrences of *M* and Observation 1 implies that

provided the *X*_{
i
}are independent. This independence assumption is equivalent to the assumption for single motifs that each trial is independent from all other trials. As in the single motif case, if *λ* ≪ *t*, the primary violation of this assumption will occur for auto-correlated motifs. In the composite motif context, auto-correlation occurs when the last *w* letters of *m*_{
i
}are the same as the first *w* letters of *m*_{
j
}. In such cases, the statistical significance will be overestimated. Like the single motif case, this tends to be a problem only with highly repetitive motifs, though the odds of *M* collectively describing a highly repetitive degenerate motif increases with *n*.

#### Bounding composite motif significance

A useful property of Equation (3) is its relationship to the significance of each *X*_{
i
}. If *k* is the number of times *M* occurs in *S*, we can write *k* = ∑_{
i
}*k*_{
i
}, where *k*_{
i
}is the number of times *m*_{
i
}∈ *M* occurs in *S*. In the simple case where *M* = {*m*_{1}, *m*_{2}}, we can make use of the following general bound.

**Lemma 1.** *Given two independent random variables X and Y*,

Pr{*X* + *Y* ≥ *k*_{1} + *k*_{2}} ≥ Pr{*X* ≥ *k*_{1}}Pr{*Y* ≥ *k*_{2}},

*with equality when* *k*_{1} = *k*_{2} = 0.

*Proof*. By definition

The domain of the summation is shown as the dark gray region in Figure 5. We can visualize the event *X* + *Y* = *k*_{1} + *k*_{2} as the line *x* + *y* = *k*_{1} + *k*_{2} in Figure 5. The event *X* + *Y* ≥ *k*_{1} + *k*_{2} is then the area above that line, which must be a superset of the space defined by *X* ≥ *k*_{1} ∧ *Y* ≥ *k*_{2}. Thus, we have

Pr{*X* + *Y* ≥ *k*_{1} + *k*_{2}}

≥ Pr{*X* ≥ *k*_{1} ∧ *Y* ≥ *k*_{2})}

= Pr{*X* ≥ *k*_{1}}Pr{*Y* ≥ *k*_{2})}. □

Lemma 1 extends easily to the general case where *M* has *n* instantiations.

**Corollary 1.** *For the independent random variables* *X*_{1}, *X*_{2},..., *X*_{
n
}, *the composite variable* X={\displaystyle {\sum}_{i=1}^{n}{X}_{i}}, *and* k={\displaystyle {\sum}_{i=1}^{n}{k}_{i}},

### Sig score

Throughout a run of PRISM, *S* remains fixed. It is therefore convenient to write the significance of *M* with respect to *S* as a function in *M* that increases monotonically with *M*'s statistical significance as defined by Equation (1). We therefore define

Sig_{
S
}(*M*) = -log(Pr{*M* | \mathcal{S}}). (4)

When the specific sequence set is not of interest, we simply write Sig(*M*). Corollary 1 easily maps into the Sig domain.

**Lemma 2.** *Given the composite motif* *M* = {*m*_{1}, *m*_{2},...,*m*_{
n
}},

*Proof*. The statement is evident from Corollary 1 and the rules of logarithms. □

Thus, we have

**Theorem 1.** *Given the composite motif* *M* = {*m*_{1}, *m*_{2},...,*m*_{
n
})}, *if* Sig(*M*) = *σ*, *then there exists* *m*_{
i
}∈ *M* *such that* Sig(*m*_{
i
}) ≥ *σ*/*n*.

*Proof*. From Lemma 2 it is evident that the average Sig score of the instantiations is at least *σ*/*n*. So by the Fubini principle, at least one of the instantiations has a Sig score of at least *σ*/*n*. □

Returning to Figure 5, consider the case where *X* and *Y* are independent. Then the joint probability is given by multiplying the probabilities. If *X* and *Y* have the same distribution parameters, then a three dimensional plot over the probability space of Figure 5 would yield maximum values along the line *y* = *x*. Since independently changing *k*_{1} and *k*_{2} moves the origin of the dark gray region along the line *x* + *y* = *k*_{1} + *k*_{2}, *P*(*X* ≥ *k*_{1})*P*(*Y* ≥ *k*_{2}) will be most similar to *P*(*Z* ≥ *k*_{1} + *k*_{2}) when *k*_{1} = *k*_{2}. If the distribution parameters of *X* and *Y* are not equal, the maximum values may not lie along the *y* = *x* line, so *P*(*X* ≥ *k*_{1})*P*(*Y* ≥ *k*_{2}) may not be as good an approximation of *P*(*Z* ≥ *k*_{1} + *k*_{2}). Translated into -log space, these observations explain the results seen in Figure 1A.

### Multiple hypothesis correction

BEAM identifies non-degenerate motifs by heuristically searching the entire space of motifs. Since the number of motifs of a given length increases as 4^{l}, we are more likely to discover high scoring motifs of long lengths simply by chance. To correct for this artifact of multiple hypothesis testing, we applied a Bonferroni correction to Sig to penalize long motifs. The corrected Sig is defined to be

Sig_{
S
}(*M*) = -log(Pr{*M* | \mathcal{S}} × *f*(*M*)), (6)

where *f*(*M*) is the number of motifs considered in the process of selecting *M*. Since this number if difficult to determine, we used the approximation of [8], which defines *f*(*M*) to be the number of possible motifs of length *l*. In the non-degenerate case, this yields *f*(*M*) = 4^{l}. In the degenerate case, we generalize *f*(*M*) to be the number of possible motifs of the same length and degeneracy of *M*:

While adding this definition of *f*(*M*) to Sig means the inequality of Lemma 2 will not always hold, running PRISM on the 28 SCPD regulons with a definition of *f*(*M*) that maintains Lemma 2 yields the same average Φ score as using Equation (6) (data not shown). We chose Equation (6) because it conforms to the intuitive notion that a motif should not be penalized if wildcard N characters are appended to it. It should also be noted that this definition only applies to degenerate consensus motifs, and not generalized composite motifs.

### PRISM

#### Leveraging a bounded Sig

As defined above, a degenerate consensus motif is a special case of composite motif wherein each instantiation *m*_{
i
}∈ *M* differs from *m*_{i+1}by exactly one mismatch. Theorem 1 implies that the search for the most overrepresented degenerate motifs can start with the most overrepresented non-degenerate motifs, provided the number of instantiations is not too large with respect to the level of overrepresentation. Lemma 2 says that Sig({*m*_{1}, *m*_{2}} ≤ Sig(*m*_{1}) + Sig(*m*_{2}). While maximizing Sig(*m*_{2}) does not imply that Sig({*m*_{1}, *m*_{2}} will be maximized, Figure 1 suggests that the bound tends to be tight if *m*_{1} and *m*_{2} are similar. Thus, defining

*m*_{i+1}= argmax_{
m'
}Sig(*m'*), (8)

where argmax_{
x
}*f*(*x*) returns that argument *x* which maximizes *f*(*x*), is a reasonable heuristic. Following our definition of a degenerate consensus motif, the domain of *m*' is constrained to be those motifs that differ from *m*_{
i
}by one mismatch.

#### Algorithm

Equation (8) can be implemented as a simple hill climbing algorithm that starts from a single non-degenerate motif and builds a progressively more degenerate motif by iteratively adding those closely-related motifs that most improve the Sig score. Given *M* = {*m*_{1}, *m*_{2},...,*m*_{
n
}}, let *M*_{
i,j
}= {*m*_{
i
}, *m*_{i+1},...,*m*_{
j
}} for 1 ≤ *i* ≤ *j* ≤ *n*. We can then define the recurrence

*M*_{i,j+1}= *M*_{i,j}∪ {argmax_{
m'
}Sig(*M*_{i,j}∪ {*m'*})} (9)

over all motifs *m*' that differ from *m*_{
j
}by one mismatch (excluding, of course, *m*_{j-1}). Note that the maximization is taken over *M*_{
i,j
}∪ {*m*'} rather than *m*'. While computationally more expensive, this definition lessens the effect that a loose upper bound will have on the recurrence.

As *M*_{
i,j
}grows to include more motifs, {\lambda}_{{M}_{i,j}} and {k}_{{M}_{i,j}} will continue to grow. As they do so, they will continue to diverge from the *k* and *λ* of any non-degenerate motif that is a candidate for addition to *M*_{
i,j
}. As discussed above, this behavior essentially loosens the bound of Lemma 2 to the point where it is possible that Sig(*M*_{i,j+1}) ≤ Sig(*M*_{
i,j
}). In fact, if we start with a motif that occurs more often than expected (*k* > *λ*), then this condition must occur at least before the composite motif includes every possible instantiation of that length, as such a motif would have the property *k* = *λ* = *t*. This provides a natural stopping condition for the recurrence described by Equation (9).

We can now describe a hill climbing algorithm for the identification of *M* = {*m*_{1}, *m*_{2},...,*m*_{
n
}} given *m*_{
i
}as follows.

**HC** (*m*_{1})

*M* ← *m*_{1}

**while** max_{
m'
}Sig(*M* ∪ {*m*'}) > Sig(*M*) **do**

*m*' ← argmax_{
m'
}Sig(*M* ∪ {*m*'})

*M* ← *M* ∪ {*m*'}

**return** *M*

In practice, the binding sites in a regulon of a transcription factor do not necessarily form the complete set of instantiations. That is, it is often the case where two binding sites differ by more than one mismatch, and the intermediate instantiation is not present in the regulon. It is therefore convenient to use the degenerate consensus motif representation of *M*. In this notation, we can implement argmax_{
m'
}Sig(*M* ∪ {*m*'}) by iterating over all *b*_{
i
}to find the IUPAC symbol {{b}^{\prime}}_{i} ⊇ *b*_{
i
}, |{{b}^{\prime}}_{i}| ≤ |*b*_{
i
}| + 1, such that replacing *b*_{
i
}with {{b}^{\prime}}_{i} results in the maximum Sig. For example, if *b*_{
i
}= A, then {{b}^{\prime}}_{i} will be one of {A, R, W, M} (the selection of {{b}^{\prime}}_{i} = A indicates no mismatches at this position increase the Sig score). Since the addition of a degenerate base multiplies the number of instantiations by 2, 3 or 4, this method allows the algorithm to effectively skip instantiations that don't exist in the regulon.

The running time of argmax implemented over the IUPAC alphabet is linear in the length of the motif. In the worst case, we will execute the while loop 3*l* times, resulting in a motif consisting of all N's. Thus, the worst case running time of the hill climbing algorithm is *O*(*l*^{2}*t*(Sig)), where *t*(Sig) is the time it takes to compute Sig. This approach sacrifices guaranteed optimality for a reduction in running time from *O*(*2*^{l}) to *O*(*l*^{2}). It is particularly relevant to note that this algorithm has no adjustable parameters, and hence does not require optimization.

### Implementation

We implemented the hill climbing algorithm in Java (SDK 1.4). The expected number of occurrences *λ* of a motif *m* is computed using maximum likelihood estimation over the set of sequences corresponding to the 800 base pairs upstream of all reported yeast genes. This computation is facilitated by the use of a suffix array (for review, see [36]), which yields a Sig computation running time on a composite motif *M* of *t*(Sig) = *O*(*ln* log *G*), where *l* and *n* are the length and number of instantiations of *M*, and *G* is the total number of bases in the background sequences. While modest computational gains can be achieved using parameterized models (commonly, low-order Markov models are used to estimate background probabilities), the systemic bias of such models in estimating the background probabilities of cis-regulatory elements justifies the increased complexity required to generate unbiased estimates [14].

Non-degenerate motifs are generated using an implementation of the BEAM algorithm, which returns with high confidence the most overrepresented, non-degenerate motifs of all lengths of at least 5 bases [14].

Sig_{
S
}(*M*) can be computed with respect to both strands of *S* by simply including the reverse complements of each *m*_{
i
}∈ *M* in *M*. BEAM attaches a boolean flag to each motif indicating whether the reverse complements should be considered. The top motifs reported by BEAM are independently run on HC(·), and the final motifs are sorted by score. If the minimum score and degeneracy (*N*) of target motifs is known *a priori*, we use only those motifs from BEAM that match the Sig threshold given by Theorem 1. In general, this information is not available; thus, we take the top *C* motifs from BEAM. We have found that the top 3 motifs reported by PRISM tend to be invariant for all values of *C* ≥ 50.

We refer to the combination of BEAM and the hill climbing algorithm as *PRISM* (Pattern Relaxation-based Iterative Search for Motifs). The average running time of this implementation on the data sets described here was 3.5 seconds on a 3 GHz Intel Pentium 4 processor with 512 MB of RAM. The binary files, documentation and the yeast background sequences are available for download at from the project web site [37].

### Metrics

Given a set of binding sites *B* in the upstream sequences *R* of a regulon, we would like to measure the ability of the hill climbing algorithm to take a single instantiation *b* ∈ *B* and generalize it to a composite motif *M* = HC(*b*) that closely approximates the set of all binding sites *B*. To this end, two metrics are employed to compare *b* with HC(*b*). The first metric, ΔSig = Sig(HC(*b*)) - Sig(*b*), quantifies the ability of the hill climbing algorithm to identify more overrepresented (higher scoring) motifs. To quantify the practical similarity between HC(*b*) and the entire set *B* of binding sites, we used a metric defined by Pevzner and Sze [11]. Given two motifs *m*_{1} and *m*_{2}, let *I*(*m*_{
i
}) describe the actual bases in *R* that are part of a sequence described by *m*_{
i
}. The similarity between *m*_{1} and *m*_{2} can then be quantified by

Thus, the Φ score is a direct measure of the nucleotide-level overlap between the set of known sites and the set of sites predicted by a motif-finding program.

## References

Moses AM, Chiang DY, Kellis M, Lander ES, Eisen MB:

**Position specific variation in the rate of evolution in transcription factorbinding sites.***BMC Evol Biol*2003,**3:**19.Wasserman WW, Sandelin A:

**Applied bioinformatics for the identification of regulatory elements.***Nat Rev Genet*2004,**5:**276–287.Bulyk ML:

**Computational prediction of transcription-factor binding site locations.***Genome Biol*2003,**5:**201.Sinha S, Tompa M:

**Discovery of Novel Transcription Factor Binding Sites by Statistical Overrepresentation.***Nucleic Acids Res*2002,**30**(24):5549–5560.Buhler J, Tompa M:

**Finding Motifs Using Random Projections.***J Comput Biol*2002,**9**(2):225–242.Barash Y, Elidan G, Friedman N, Kaplan T:

**Modeling Dependencies in Protein-DNA Binding Sites.***RECOMB03: Proc Seventh Int Conf Comput Mol Biol, Berlin, Germany*2003.King OD, Roth FP:

**A non-parametric model for transcription factor binding sites.***Nucleic Acids Res*2003,**31**(19):e116. [Evaluation Studies] [Evaluation Studies]van Helden J, Andé B, Collado-Vides J:

**Extracting Regulatory Sites from the Upstream Region of Yeast Genes by Computational Analysis of Oligonucleotide Frequencies.***J Mol Biol*1998,**281**(5):827–842.van Helden J, Rios A, Collado-Vides J:

**Discovering regulatory elements in non-coding sequences by analysis of spaced dyads.***Nucleic Acids Res*2000,**28:**1808–1818.Zhu J, Zhang MQ:

**SCPD: a Promoter Database of the Yeast***Saccharomyces cerevisiae***.***Bioinformatics*1999,**15**(7–8):607–611. [http://rulai.cshl.edu/SCPD/]Pevzner P, Sze SH:

**Combinatorial Approaches to Finding Subtle Signals in DNA Sequences.**In*Proc Eighth Int Conf Intell Syst Mol Biol*. San Diego, CA: AAAI Press; 2000:269–278.van Helden J:

**Regulatory sequence analysis tools.***Nucleic Acids Res*2003,**31:**3593–3596.Sinha S, Tompa M:

**Performance Comparison of Algorithms for Finding Transcription Factor Binding Sites.**In*3rd IEEE Symposium on Bioinformatics and Bioengineering*. IEEE Computer Society; 2003:214–220.Carlson JM, Chakravarty A, Gross RH:

**BEAM: A beam search algorithm for the identification of cis-regulatory elements in groups of genes.***J Comput Biol*2006,**13**(3):686–701.Shinozaki D, Akutsu T, Maruyama O:

**Finding optimal degenerate patterns in DNA sequences.***Bioinformatics*2003,**19**(Suppl 2):ii206-ii214.Tompa M, Li N, Bailey TL, Church GM, De Moor B, Eskin E, Favorov AV, Frith MC, Fu Y, Kent WJ, Makeev VJ, Mironov AA, Noble WS, Pavesi G, Pesole G, Regnier M, Simonis N, Sinha S, Thijs G, van Helden J, Vandenbogaert M, Weng Z, Workman C, Ye C, Zhu Z:

**Assessing computational tools for the discovery of transcription factor binding sites.***Nat Biotechnol*2005,**23**(1):137–44.Lee TI, Rinaldi NJ, Robert F, Odom DT, Bar-Joseph Z, Gerber GK, Hannett NM, Harbison CT, Thompson CM, Simon I, Zeitlinger J, Jennings EG, Murray HL, Gordon DB, Ren B, Wyrick JJ, Tagne JB, Volkert TL, Fraenkel E, Gifford DK, Young RA:

**Transcriptional regulatory networks in Saccharomyces cerevisiae.***Science*2002,**298:**799–804.Koch C, Moll T, Neuberg M, Ahorn H, Nasmyth K:

**A role for the transcription factors Mbp1 and Swi4 in progression from G1 to S phase.***Science*1993,**261:**1551–1557.Simon I, Barnett J, Hannett N, Harbison CT, Rinaldi NJ, Volkert TL, Wyrick JJ, Zeitlinger J, Gifford DK, Jaakkola TS, Young RA:

**Serial regulation of transcriptional regulators in the yeast cell cycle.***Cell*2001,**106:**697–708.Ho Y, Costanzo M, Moore L, Kobayashi R, Andrews BJ:

**Regulation of transcription at the Saccharomyces cerevisiae start transition by Stb1, a Swi6-binding protein.***Mol Cell Biol*1999,**19:**5267–5278.Blanchette M, Tompa M:

**Discovery of Regulatory Elementsby a Computational Method for Phylogenetic Footprinting.***Genome Research*2002,**12**(5):739–748.Lenhard B, Sandelin A, Mendoza L, Engstrom P, Jareborg N, Wasserman WW:

**Identification of conserved regulatory elements by comparative genome analysis.***J Biol*2003,**2**(2):13.Li X, Wong WH:

**Samping motifs on phylogenetic trees.***Proc Natl Acad Sci USA*2005,**102**(27):9481–9486.Price A, Ramabhadran S, Pevzner PA:

**Finding subtle motifsby branching from sample strings.***Bioinformatics*2003,**19**(Suppl 2):II149-II155.Benos PV, Bulyk ML, Stormo GD:

**Additivity in protein-DNAinteractions: how good an approximation is it?***Nucleic Acids Res*2002,**30**(20):4442–4451.Benos PV, Lapedes AS, Stormo GD:

**Is there a code for protein-DNA recognition? Probab(ilistical)ly...***Bioessays*2002,**24**(5):466–475.Bulyk ML, Huang X, Choo Y, Church GM:

**Exploring theDNA-binding specificities of zinc fingers with DNA microarrays.***Proc Natl Acad Sci USA*2001,**98**(13):7158–7163.Choo Y, Klug A:

**Physical basis of a protein-DNA recognition code.***Curr Opin Struct Biol*1997,**7:**117–125.Isalan M, Choo Y, Klug A:

**Synergy between adjacent zincfingers in sequence-specific DNA recognition.***Proc Natl Acad Sci USA*1997,**94:**5617–5621.Suzuki M, Brenner SE, Gerstein M, Yagi N:

**DNA recognition code of transcription factors.***Protein Eng*1995,**8:**319–328.Mandel-Gutfreund Y, Margalit H:

**Quantitative parameters for amino acid-base interaction: implications for prediction of protein-DNA binding sites.***Nucleic Acids Res*1998,**26**(10):2306–2312.Lawrence CE, Altschul SF, Boguski MS, Liu JS, Neuwald AF, Wootton JC:

**Detecting Subtle Sequence Signals: a Gibbs Sampling Strategy for Multiple Alignment.***Science*1993,**262:**208–214.Wolpert DH, Macready WG:

**No Free Lunch Theorems forOptimization.***IEEE Trans Evol Comput*1996.Todd RB, Andrianopoulos A:

**Evolution of a fungal regulatory gene family: the Zn(II)2Cys6 binuclear cluster DNA binding motif.***Fungal Genet Biol*1997,**21:**388–405.Weisstein EW:

**Poisson Distribution.***MathWorld – A Wolfram Web Resource*[http://mathworld.wolfram.com/PoissonDistribution.html]Gusfield D:

*Algorithms on Strings, Trees, and Sequences*. Cambridge University Press; 1997.**WebLogo: A sequence logo generator***Genome Research*2004,**14:**1188–1190. [http://weblogo.berkeley.edu/]Eskin E, Pevzner PA:

**Finding composite regulatory patterns in DNA sequences.***Bioinformatics*2002,**18**(Suppl 1):S354-S363.Hughes JD, Estep PW, Tavazoie S, Church GM:

**Computational identification of cis-regulatory elements associated with groups of functionally related genes in Saccharomyces cerevisiae.***J Mol Biol*2000,**296:**1205–1214.Thijs G, Marchal K, Lescot M, Rombauts S, De Moor B, Rouze P, Moreau Y:

**A Gibbs sampling method to detect overrepresented motifs in the upstream regions of coexpressed genes.***J Comput Biol*2002,**9:**447–464.Liu X, Brutlag DL, Liu JS:

**BioProspector: discovering conserved DNA motifs in upstream regulatory regions of co-expressed genes.***Pac Symp Biocomput*2001,**6:**127–138.Bailey TL, Elkan C:

**Unsupervised learning of multiple motifs in biopolymers using expectation maximization.***Machine Learning*1995,**21**(1–2):51–80.Hertz GZ, Hartzell GW III, Stormo GD:

**Identification of Consensus Patterns in Unaligned DNA Sequences Known to be Functionally Related.***Computer Applications in the Biosciences*1990,**6**(2):81–92.Pavesi G, Mereghetti P, Mauri G, Pesole G:

**Weeder Web: discovery of transcription factor binding sites in a set of sequences from co-regulated genes.***Nucleic Acids Res*2004,**32**(Web Server issue):W199-W203.

## Acknowledgements

The authors would like to thank Charles DeZiel for help with the implementation, Nelson Rosa Jr. for help with the automation of test runs of other programs, Chris Langmead for critical reading of and comments on the manuscript, Walter L. Ruzzo for helpful discussions on the proof and its presentation, and the anonymous reviewers whose valuable suggestions strengthened the manuscript. This material is based upon work supported by the National Science Foundation under Grant No. 0445967 to RHG. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Authors' contributions

JMC wrote the proof section, implemented the algorithm, and assisted in the design of the experiments. AC proposed the approach and designed the method and the experiments. RSK wrote the section titled "Using PRISM to generate hypotheses," coordinated the performance comparisons, and helped build the figures. RHG conceived the broader outline of the study, acquired the funding, edited the manuscript, and provided overall guidance. JMC and AC wrote the manuscript. All authors read and approved the final manuscript.

Jonathan M Carlson, Arijit Chakravarty contributed equally to this work.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

**Open Access**
This article is published under license to BioMed Central Ltd. This is an Open Access article is distributed under the terms of the Creative Commons Attribution License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Carlson, J.M., Chakravarty, A., Khetani, R.S. *et al.* Bounded search for de novo identification of degenerate cis-regulatory elements.
*BMC Bioinformatics* **7**, 254 (2006). https://doi.org/10.1186/1471-2105-7-254

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1471-2105-7-254