Abstract
Background
Identifying structurally similar proteins with different chain topologies can aid studies in homology modeling, protein folding, protein design, and protein evolution. These include circular permuted protein structures, and the more general cases of noncyclic permutations between similar structures, which are related by nontopological rearrangement beyond circular permutation. We present a method based on an approximation algorithm that finds sequenceorder independent structural alignments that are close to optimal. We formulate the structural alignment problem as a special case of the maximumweight independent set problem, and solve this computationally intensive problem approximately by iteratively solving relaxations of a corresponding integer programming problem. The resulting structural alignment is sequence order independent. Our method is also insensitive to insertions, deletions, and gaps.
Results
Using a novel similarity score and a statistical model for significance pvalue, we are able to discover previously unknown circular permuted proteins between nucleoplasmincore protein and auxin binding protein, between aspartate rasemase and 3dehydrogenate dehydralase, as well as between migration inhibition factor and arginine repressor which involves an additional strandswapping. We also report the finding of noncyclic permuted protein structures existing in nature between AML1/core binding factor and ribofalvin synthase. Our method can be used for large scale alignment of protein structures regardless of the topology.
Conclusion
The approximation algorithm introduced in this work can find good solutions for the problem of protein structure alignment. Furthermore, this algorithm can detect topological differences between two spatially similar protein structures. The alignment between MIF and the arginine repressor demonstrates our algorithm's ability to detect structural similarities even when spatial rearrangement of structural units has occurred. The effectiveness of our method is also demonstrated by the discovery of previously unknown circular permutations. In addition, we report in this study the finding of a naturally occurring noncyclic permuted protein between AML1/Core Binding Factor chain F and riboflavin synthase chain A.
Background
The classification of protein structures often rely on the topology of secondary structural elements. For example, the Structural Classification of Proteins (SCOP) system classifies proteins structures into common folds using the topological arrangement of secondary structural units [1]. Most protein structural alignment methods can reliably classify proteins into similar folds given the structural units from each protein are in the same sequential order. However, the evolutionary possibility of proteins with different structural topology but with similar spatial arrangement of their secondary structures pose a problem. One such possibility is the circular permutation.
A circular permutation is an evolutionary event that results in the N and C terminus transferring to a different position on a protein. Figure 1[2] shows a simplified example of circular permutation. There are three proteins, all consist of three domains (A, B, and C). Although the spatial arrangement of the three domains are very similar, the ordering of the domains in the primary sequence has been circularly permuted. Lindqvist et. al. observed the first natural occurrence of a circular permutation between jackbean concanavalin A and favin [3]. Although the jackbeanfavin permutation was the result of posttranslational ligation of the N and C terminus and cleavage elsewhere in the chain, a circular permutation can arise from events at the gene level through gene duplication and exon shuffling.
Figure 1. Circular permutation example. The cartoon illustration of three protein structures whose domains are similarly arranged in space but appear in different order in primary sequences. The location of domains A, B, C in primary sequences are shown in a layout below each structure. Their orderings are related by circular permutation [2].
Permutation by duplication [4,5] is a widely accepted model where a gene first duplicates and fuses. After fusion, a new start codon is inserted into one gene copy while a new stop codon is inserted into the second copy. Peisajovich et al. demonstrated the evolutionary feasibility of permutation via duplication by creating functional intermediates at each step of the permutation by duplication model for DNA methyltransferases [6]. Identifying structurally similar proteins with different chain topologies, including circular permutation, can aid studies in homology modeling, protein folding, and protein design. An algorithm that can structurally align two proteins independent of their backbone topologies would be an important tool.
The biological implications of thermodynamically stable and biologically functional circular permutations, both natural and artificial, has resulted in much interest in detecting circular permutations in proteins [3,711]. The more general problem of detecting nontopological structural similarities beyond circular permutation has received less attention. We refer to these as noncyclic permutations from now on. Tabtiang et al. were able to create a thermodynamically stable and biologically functional noncyclic permutation, indicating that noncyclic permutations may be as important as circular permutations [12]. In this study, we present a novel method that detects spatially similar structures that can identify structures related by circular and more complex noncyclic permutations. Detection of noncyclic permutation is possible by our algorithm by virtue of a recursive combination of a localratio approach with a global linearprogramming formulation. This paper is organized as follows. We first show that our algorithm is capable of finding known circular permutations with sensitivity and specificity. We then report the discovery of three new circular permutations and one example of a noncyclic permutation that to our knowledge have not been reported in literature. We conclude with remarks and discussions.
Results and discussion
For availability of our alignment software please see [13].
Detection of known circular permutations
We first demonstrate the ability of our algorithm to detect circular permutations by examining known examples of circular permutations. The results are summarized in Table 1 and Table 2.
In Table 1 we compare results against DaliLite and K2. As expected, DaliLite returned the largest sequential alignment. K2 did not find circular permutations even when the option to ignore sequence order constraints was selected.
In Table 2 we compare our alignment results to the methods of MASS [14], OPAAS [15], SAMO [7], and Topofit [16]. Each method is able to detect circular permutations. However, Table 2 shows that our method normally finds more equivalent residues with a lower RMSD. Compared with SAMO our method found less aligned residues in 4 of the 5 shown alignments. However, our cRMSD values are considerably better. At the time of this writing, SAMO only outputs the cRMSD and the number of equivalent residues (N) of the alignment, without specifying the residue equivalence relationships between the two aligned protein structures. This makes it difficult to compare the quality of the alignments. Table 2 shows that our method finds better alignments in terms of cRMSD than other structural alignment methods when the two proteins are related by a circular permutation.
The GANSTA method by Kolbeck et al [17] can also align similar structures independent of the connectivity. The approach is somewhat similar to the Blast method in sequence alignment, where a set of seeds of highsimilarity pairs of secondary structural elements (SSE) are first identified, and are then aligned through a genetic algorithm, regardless of the connectivity.
The SCALI method by Yuan and Bystroff [18] assembles from a library of gapless alignment of fragments of local sequencestructure hierarchically, enforcing compactness and conserved contacts, but disregard the sequence ordering of the fragments. The aligned local fragments are then incremented by adding a new fragment pair. This process is organized as a tree, where nodes corresponds to the addition of new fragments. A breadthfirst tree search method was then carried out, with a number of heuristic conditions to limit the search space.
Instead of only aligning regular SSE fragments, our method differs from GANSTA and has no restriction on spatial patterns belonging to a regular SSE, and therefore is also applicable to loop regions. Our method differs from SCALI in that our fragments are not prebuilt, but are exhaustive fragments ranging from size 4–7. Compared to both methods, our method provides a guaranteed optimal ratio of aligned structures, whereas the heuristics employed by GANSTA and SCALI cannot guarantee that a good alignment can be found, and when an alignment is found, there is no guarantee that it will be within a certain ratio of the best possible alignment. In practice, we find that GANSTA often requires 3–5 hours for aligning a pair of proteins, and sometimes no results are returned. In contrast, our method usually terminates between 30 seconds – 5 minutes. The SCALI website consists of precomputed results of aligned structures and does not allow user input for a customized alignment, therefore it is difficult to compare performance of our method with SCALI on the examples reported in Table 2.
Discovery of novel circular permutations and a novel noncyclic permutation
The effectiveness of our method is also demonstrated by the discovery of previously unknown circular permutations. In an attempt to test our algorithm's ability to discover new circular permutations, we structurally aligned a subset of 3,336 structures from PDBSELECT 90% [19]. We first selected proteins from PDBSELECT90 (sequences have less than 90% identities) whose N and C termini were no further than 30Å apart. From this subset of 3,336 proteins, we aligned two proteins if they met the following conditions: the difference in their lengths was no more than 75 residues, and they had approximately the same secondary structure content. To compare secondary structure content, we determined the percentage of the residues labeled as helix, strand, and other for each structure. Two structures were considered to have the same secondary structure content if the difference between each secondary structure label was less than 10%. Within the approximately 200,000 alignments, we found 426 candidate circular permutations. Of these circular permutations, 312 were symmetric proteins that can be aligned with or without a circular permutation. Of the 114 nonsymmetric circular permutations, 112 were already known in literature, and 3 are novel. We describe these three novel circular permutations as well as a novel noncyclic permutation in some details.
Nucleoplasmincore and auxin binding protein
The first novel circular permutation we found was between the nucleoplasmincore protein in Xenopu laevis (PDB ID 1k5j, chain E) [20] and the auxin binding protein in maize (PDB ID 1lrh, chain A, residues 37 through 127) [21]. The overall structural alignment between 1k5jE (Figure 2a, top) and 1lrhA (Figure 2a, bottom) has an RMSD value of 1.36Å with an alignment length of 68 residues and a significant pvalue of 2.7 × 10^{5 }after Bonferroni correction. These proteins are related by a circular permutation. The short loop connecting two antiparallel strands in nucleoplasmincore protein (in ellipse, top of Fig 2b) becomes disconnected in auxin binding protein 1 (in ellipse, bottom of Fig 2b), and the N and C termini of the nucleoplasmincore protein (in square, top of Fig 2b) are connected in auxin binding protein 1 (square, bottom of Fig 2b).
Figure 2. Nucleoplasmincore and auxin binding protein 1. A new circular permutation discovered between nucleoplasmincore (1k5j, chain E, top panel), and the fragment of residues 37–127 of auxin binding protein 1 (1lrh, chain A, bottom panel). a) These two proteins superimpose well spatially, with an RMSD value of 1.36Å for an alignment length of 68 residues and a significant pvalue of 2.7 × 10^{5 }after Bonferroni correction. b) These proteins are related by a circular permutation. The short loop connecting strand 4 and strand 5 of nucleoplasmincore (in rectangle, top) becomes disconnected in auxin binding protein 1. The N and C termini of nucleoplasmincore (in ellipse, top) become connected in auxin binding protein 1 (in ellipse, bottom). For visualization, residues in the NtoC direction before the cut in the nucleoplasmincore protein are colored red, and residues after the cut are colored blue. c) The topology diagram of these two proteins. In the original structure of nucleoplasmincore, the electron density of the loop connecting strand 4 and strand 5 is missing.
Aspartate racemase and type II 3dehydrogenate dehyrdalase
Another circular permutation we found is between the aspartate racemase (PDB ID 1iu9, chain A) [22] and type II 3dehydrogenate dehydralase (PDB ID 1h0r, chain A) [23]. The overall structural alignment between 1iu9A (Figure 3a, top) and 1h0rA (Figure 3a, bottom) has an RMSD value of 1.49Å with an alignment length of 59 residues and a significant pvalue of 4.7 × 10^{4 }after Bonferroni correction. These proteins are related by a circular permutation. The loop connecting the first helix with the first strand in aspartate racemase (in rectangle, top of Figure 3b) becomes disconnected in 3dehydrogenate dehydralase (in rectangle, bottom), while the N and Ctermini of the aspartate racemase (in ellipse, top) are connected in the dehydralase by an insertion (shown in green) (Figure 3b, bottom). Figure 3c depicts the topology of these two proteins.
Figure 3. Aspartate racemase and type II 3deydrogenate dehyralase. A new circular permutation discovered between a) aspartate racemase (1iu9, chain A, top) and type II 3dehydrogenate dehydralase (1h0r, chain A, bottom) superimpose well spatially with an RMSD of 1.49Å between 59 residues, with a significant pvalue of 4.7 × 10^{4}. b) These proteins are related by a circular permutation. The loop connecting helix 1 with strand 1 in aspartate racemase (in rectangle, top) becomes disconnected in type II 3dehydrogenate dehydralase (in rectangle, bottom), but the N and C termini of aspartate racemase (in ellipse, top) becomes connected in dehydrogenate dehydralase (in ellipse, bottom) with an insertion (shown in green). For visualization, residues of aspartate racemase in the NtoC direction before the cut in the dehydrogenate dehydralase are colored red, and residues after the cut are colored blue. c) The topology diagram of these two proteins. Here an ellipse represents a helix and a block arrow represents a strand.
Migration inhibition factor and arginine repressor
The majority of circular permutations maintain their overall three dimensional structures. However, it is possible that additional structural changes may occur beyond circular permutation. We have discovered a novel circular permutation between the microphage migration inhibition factor (MIF, PDB ID 1uiz, chain A, from Xenopus laevis) and the Cterminal domain of arginine repressor (AR, 1xxa, chain C, from Escherichia coli) [24,25], which contains in addition to circular permutation a spatial swapping of two antiparallel strands, and a change in the orientation of a helix. The overall folds of these two protein are different by the SCOP definition. The MIF factor belongs to the tautomerase fold, and the Cterminal domain of arginine repressor belongs to the DCoHlike fold. The overall structural alignment between 1uiz chain A (Figure 4a, top) and 1xxa chain C (Figure 4a, bottom) has an RMSD value of 1.74Å between 24 residues, with a pvalue of 1.3 × 10^{2 }after Bonferroni correction. They are related by a circular permutation. The short loop of MIF (Figure 4b, top, in rectangle) connecting the first helix and the second strand from the Nterminus becomes disconnected in arginine repressor (AR, Figure 4a, bottom, in rectangle). The relaxing of spatial constraints imposed by the connection allows strand 1 of MIF to swap positions with strand 4 of MIF. This can also be clearly seen in Figure 4a, where a strand colored in red (strand 2' in AR, corresponding to strand 4 in MIF) swaps position with the strand colored in blue (strand 4' in AR, corresponding to strand 1 in MIF). Although the strands have changed positions spatially, their topology remains the same (Figure 4c and 4d). The circular permutation and strand swapping cause additional structural changes. In MIF, helix 1 was connected with a short loop to strand 2 (Figure 4b, top, in rectangle). With the creation of the new N and Ctermini replacing the original short loop (Figure 4b, bottom, rectangle), helix 1 loses the spatial constraints imposed by the connection, and was pulled over when strand 1 and strand 4 swap positions. The net results for helix 1 is that its orientation in arginine repressor (Figure 4b, bottom) is almost perpendicular to its original orientation in MIF (Figure 4b, top).
Figure 4. Microphage migration inhibition factor and Cterminal domain of arginine repressor. A new circular permutation discovered between a) the microphage migration inhibition factor (MIF, PDB ID 1uiz, chain A, top) and the Cterminal domain of arginine repressor (AR, 1xxa, chain C, bottom). a) These two proteins superimpose well spatially, with a RMSD of 1.74Å for an alignment length of 24 residues, and a pvalue of 1.3 × 10^{2}. b.) These proteins are related by a circular permutation. The loop connecting helix 1 with strand 2 of MIF (in rectangle, top) becomes disconnected in arginine repressor, the N and C termini of MIF (in ellipse, top) becomes connected in arginine repressor (in ellipse, bottom). The disconnection of helix 1 from strand 2 of MIF removes some spatial constraints, allowing strand 1' in AR to swap places with strand 4'. c) The topology diagram of these two proteins. d.) The artificial topology diagram for arginine repressor, where strand 2' and strand 4' are spatially swapped back. The diagram for AR in (c) has the same topology as the diagram in (d).
Beyond circular permutation
The information that naturally occurring circular permutations contain about the folding mechanism of proteins has led to a lot of interest in their detection. Another interesting class of permuted proteins is the noncyclic permutation. Although there has been previous work on the detection of noncyclic permutations [1416,26], compared to cyclicpermutations there has been relatively little research of noncyclicpermutations. As an example of this important class of topologically permuted proteins, Tabtiang et al (2004) were able to artificially create a noncyclic permutation of the Arc repressor that was thermodynamically stable, refolds on the submillisecond time scale, and binds operator DNA with nanomolar affinity [12]. This raises the question of whether or not these noncyclic permutations can arise naturally. Here we report the discovery of a possibly naturally occurring noncyclic permutation between chain F of AML1/Core Binding Factor (AML1/CBF, PDB ID 1e50, Figure 5, top) and chain A of riboflavin synthase (PDB ID 1pkv, Figure 5a, bottom) [27,28]. The two structures align well with a RMSD of 1.23 Å with an alignment length of 42 residues, and a significant pvalue of 2.8 × 10^{4 }after Bonferroni correction. The topology diagram of AML1/CBF (Figure 5b) can be transformed into the topology diagram of riboflavin synthase (Figure 5f) by the following steps: Remove the the loops connecting strand 1 to helix 2, strand 4 to strand 5, and strand 5 to strand 6 (Figure 5c). Connect the Cterminal end of strand 4 to the original Ntermini (Figure 5d). Connect the Cterminal end of strand 5 to the Nterminal end of helix 2 (Figure 5e). Connect the original Ctermini to the Nterminal end of strand 5. The Nterminal end of strand 6 becomes the new Ntermini and the Cterminal end of strand 1 becomes the new Ctermini (Figure 5f).
Figure 5. A noncyclic permutation. A novel noncyclic permutation discovered between AML1/Core Binding Factor (AML1/CBF, PDB ID 1e50, Chain F, top) and riboflavin synthase (PDBID 1pkv, chain A, bottom) a) These two proteins superimpose well spatially, with an RMSD of 1.23 Å and an alignment length of 42 residues, with a significant pvalue of 2.8 × 10^{4 }after Bonferroni correction. Aligned residues are colored blue. b) These proteins are related by multiple permutations. The steps to transform the topology of AML1/CBF (top) to riboflavin (bottom) are as follows: c) Remove the the loops connecting strand 1 to helix 2, strand 4 to strand 5, and strand 5 to helix 6; d) Connect the Cterminal end of strand 4 to the original Ntermini; e) Connect the Cterminal end of strand 5 to the Nterminal end of helix 2; f) Connect the original Ctermini to the Nterminal end of strand 5. The Nterminal end of strand 6 becomes the new Ntermini and the Cterminal end of strand 1 becomes the new Ctermini. We now have the topology diagram of riboflavin synthase.
Algorithm comparison
Zhu et al (2005) demonstrated the quality of their structural alignment algorithm (FAST [29]) by comparing their alignments with manually curated alignments in the HOMSTRAD database [30]. As of March 2007, HOMSTRAD contains 3,454 proteins structures in 1,032 families. We randomly chose 10 structures from families that consisted of more than 20 protein structures. Within each family, we compared the structures using our alignment method to determine accuracy. Within alignments, our method's predicted equivalent residues agreed with HOMSTRAD 93% of the time. Discrepancies occur normally when our method would shift a fragment pair by one or two residues along the backbone. Zhu et al. chose 11 representatives from different structural classes as examples (Table IV of [29]). Table 3 is a representation of Table IV from [29] comparing our results with that of FAST [29] and DaliLite [31]. In all alignments, our method found sequentially ordered alignments, therefore, there is no bias in favor of our sequence order independent method. It can be seen from Table 3 that the equivalent residues that our method predicts are consistent with the manually determined residues of HOMSTRAD.
Table 3. Alignment quality
Conclusion
The approximation algorithm introduced in this work can find good solutions for the problem of protein structure alignment. Furthermore, this algorithm can detect topological differences between two spatially similar protein structures. The alignment between MIF and the arginine repressor demonstrates our algorithm's ability to detect structural similarities even when spatial rearrangement of structural units has occurred. In addition, we report in this study the finding of a naturally occurring noncyclic permuted protein between AML1/Core Binding Factor chain F and riboflavin synthase chain A.
In our method, the scoring function plays a pivotal role in detecting substructure similarity of proteins. We expect future experimentation on optimizing the parameters used in our similarity scoring system can improve detection of topologically independent structural alignment. In this study, we were able to fit our scoring system to an Extreme Value Distribution (EVD), which allowed us to perform an automated search for circular permuted proteins. Although the pvalue obtained from our EVD fit is sufficient for determining the biological significance of a structural alignment, the structural change between the microphage migration inhibition factor and the Cterminal domain of arginine repressor (Figure 3) indicates a need for a similarity score that does not bias heavily towards cRMSD measure for scoring circular permutations.
Whether naturally occurring circular permutations are frequent events in the evolution of protein genes is currently an open question. Lindqvist et al. (1997) pointed out that when the primary sequences have diverged beyond recognition, circular permutations may still be found using structural methods [3]. In this study, we discovered three examples of novel circularly permuted protein structures and a noncyclic permutation among 200,000 protein structural alignments for a set of nonredundant 3,336 proteins. This is an incomplete study, as we restricted our studies to proteins whose N and C termini distance were less than 30Å. We plan to relax the N to C distance and include more proteins in future work to expand the scope of the investigation.
Methods
Approach
In this study, we describe a new algorithm that can align two protein structures or substructures independent of the connectivity of their secondary structure elements. We first exhaustively fragment the two proteins separately. An approximation algorithm based on a fractional version of the localratio approach for scheduling splitinterval graphs [32] is then used to search for the combination of peptide fragments from both structures that will optimize the global alignment of the two structures.
The methods discussed here do resemble the methods in our previous conference paper [2]. However, they are similar because they both use the same approximation algorithm used for scheduling split interval graphs that appears in [32]. Beyond the approximation algorithm for scheduling splitinterval graphs, the methods are different. Figure 1 does appear in our previous conference paper [2]. However, Figure 6 and Table 4 are different due to errors in the corresponding figure and table in that previous paper. Also, note that the previous conference version [2] had a recursive formulation of the algorithm as opposed to the nonrecursive formulation as described in this paper. There are other differences too, including significant improvements/corrections of notations.
Figure 6. Implementation example with vertex sweep. An illustration of the first iteration of our algorithmic approaches for BSSI_{Λ, σ}: a) The cartoon representation of circularly permuted proteins S_{a }and S_{b}; b) The problem represented as a graph where each node χ_{i }∈ Λ represents an aligned fragment pair and each edge represents two inconsistent pairs; c) An illustration how sweep lines (dashed) can identify inconsistent aligned pairs as required to generate the interval clique inequalities. A rectangle is an ordered fragment pair (e.g., the solid green rectangle is the pair χ_{5 }= ()).
Table 4. Constraints
Basic Definitions and Notations
The following definitions/notations are used uniformly throughout the paper unless otherwise stated:
• Protein structures are denoted by S_{a}, S_{b},....
• A substructure of a protein structure S_{a }is a continuous fragment , where i is the residue index of the beginning of the substructure and k is the length (number of residues) of the substructure. We will denote such a substructure simply by λ^{a }if i and k are clear from the context or irrelevant.
• A residue a_{t }∈ S_{a }is a part of a substructure if i ≤ t ≤ i + k  1.
• Λ_{a }is the set of all continuous substructures or fragments of protein structure S_{a }that is under consideration in our algorithm.
• χ_{i, j, k }(or simply χ when the other parameters are understood from the context) denotes an ordered pair () of equal length substructures of two protein structures S_{a }and S_{b}.
• Two ordered pairs of substructures () and () are called inconsistent if and only if at least one of the pairs of substructures {} and {} are not disjoint.
We are now ready to formalize our substructure similarity identification problem as below:
Problem name: Basic Substructure Similarity Identification (BSSI_{Λ, σ}).
Instance: a set Λ = {χ_{i, j, k}i, j, k ∈ ℕ} ⊂ Λ_{a }× Λ_{b }of ordered pairs of equal length substructures of S_{a }and S_{b }and a similarity function σ : Λ ↦ ℝ^{+ }mapping each pair of substructures to a positive similarity value.
Valid Solutions: a set of substructure pairs {} that are mutually consistent.
Objective: maximize the total similarity of the selection .
An Algorithm Based on the LocalRatio Approach
The BSSI_{Λ, σ }problem is a special case of the wellknown maximum weight independent set problem in graph theory [33]. In fact, BSSI_{Λ, σ }itself is MAXSNPhard (i. e., there is a constant 0 <ε < 1 such that no polynomialtime algorithm can return a solution with a value of the objective function that is within 1  ε times the optimum [34] unless P = NP) even when all the substructures are restricted to have lengths at most 2 [32, Theorem 2.1]. Our approach is to adopt the approximation algorithm for scheduling splitinterval graphs [32] which itself is based on a fractional version of the localratio approach. For ease in description of our algorithm, we introduce the following definitions.
Definition 1 For any subset, Δ ⊆ Λ the conflict graph G_{Δ }= (V_{Δ}, E_{Δ}) is the graph in which V_{Δ }= {χχ ∈ Δ} and E_{Δ }= {{χ, χ'}χ, χ', ∈ Δ and the pair {χ, χ'} is not consistent}
Definition 2 The closed neighborhood Nbr_{Δ }[χ] of a vertex χ of G_{Δ }is {χ'  {χ, χ' } ∈ E_{Δ}} ∪ {χ}.
For an instance of BSSI_{Λ,σ }with Δ ⊆ Λ we introduce three types of indicator variables as follows. For every χ = (λ_{a}, λ_{b}) ∈ Δ, we introduce three indicator variables x_{χ}, and ∈ {0,1}. x_{χ }indicates whether the substructure pair should be used (x_{χ }= 1) or not (x_{χ }= 0) in the final alignment. and are artificial selection variables for λ_{a }and λ_{b }that allows us to encode consistency in the selected substructures in a way that guarantees good approximation bounds. Our algorithm for solving an instance of BSSI_{Λ,σ }can now be described as follows. We initialize Δ = Λ. Then, the following algorithm is executed:
1. Solve a linear programming (LP) formulation of BSSI_{Λ,σ }by relaxing a corresponding integer programming version of the BSSI_{Λ,σ }problem.
maximize
Subject to
2. For every vertex χ ∈ V_{Δ }of G_{Δ}, compute its local conflict number . Let χ_{min }be the vertex with the minimum local conflict number. Define a new similarity function σ_{new }from σ as follows:
3. Create Δ_{new }⊆ Δ by removing from Δ every substructure pair χ such that σ_{new}(χ) ≤ 0. Push each removed substructure on to a stack in arbitrary order.
4. If Δ_{new }≠ ∅ then repeat from step 1 setting Δ = Δ_{new }and σ = σ_{new}. Otherwise, continue to step 5.
5. Repeatedly pop the stack, adding the substructure pair to the alignment as long as the following conditions are met:
(a) The substructure pair is consistent with all other substructure pairs that already exist in the selection.
(b) The cRMSD of the alignment does not change by a threshold. This condition bridges the gap between optimizing a local similarity between substructures and optimizing the tertiary similarity of the alignment by guaranteeing that each substructure from a substructure pair is in the same spatial arrangement in the global alignment.
A brief intuitive explanation of the various inequalities in the LP formulation as described above in terms of their original integer programming formulation is as follows:
• The "interval clique" inequalities in Equation (2) (resp. Equation (3)) ensure that the various substructures of S_{a }(resp. S_{b}) in the selected substructure pairs from Δ are mutually disjoint.
• Inequalities in Equation 4 and Equation 5 ensure consistencies between the indicator variable for each substructure pair χ and its two substructures λ_{a }and λ_{b}.
• Inequalities in Equation 6 relax the 0–1 values of the indicator variables to any fractional value between 0 and 1.
In implementation, the graph G_{Δ }is considered implicitly via intersecting intervals. The interval clique inequalities can be generated via a sweepline approach (see Figure 6c). The running time depends on the number of iterations needed to solve the LP formulations. Let LP(n, m) denote the time taken to solve a linear programming problem on n variables and m inequalities. Then the worst case running time of the above algorithm is O(Λ·LP(3Λ, 5Λ + Λ_{a} + Λ_{b})). However, the worstcase time complexity happens under the excessive pessimistic assumption that each iteration removes exactly one vertex of G_{Λ}, namely χ_{min }only, from consideration, which is unlikely to occur in practice as our computational results show. A theoretical pessimistic estimate of the performance ratio of our algorithm can be obtained as follows. Let α be the maximum of all the 's over all iterations. Proofs in [32] translate to the fact that the algorithm returns a solution whose total similarity is at least times that of the optimum and, if Step 5(b) is omitted from the algorithm, then α ≤ 4. The value of α even with Step 5(b) is much smaller than 4 in practice (e.g. α = 2.89).
Simple example
We present a simplified example to illustrate the first iteration of our algorithmic approach for two protein structures S_{a }and S_{b }(Figure 6a) selected for alignment. Here S_{b }is the structure to be aligned to the reference structure S_{a}. We systematically cut S_{b }into fragments of length 4–7 and exhaustively compute a similarity score of each fragment from S_{b }to all possible fragments of equal length in S_{a}. Each fragment pair can be thought of as a vertex in a graph (Figure 6b). Abusing notations slightly for ease of understanding, let the vertices be denoted by vertex corresponds to a rectangle in Figure 6c. Suppose we have the following similarity scores for aligned substructures: σ (χ_{1}) = 8, σ (χ_{2}) = 5, σ(χ_{3}) = 7, σ (χ_{4}) = 3 and σ(χ_{5}) = 6. Then, our objective function is to maximize . Figure 6b shows the conflict graph for the set of fragments. A sweep line (shown as dashed lines in Figure 6c) is implicitly constructed (O (n) time after sorting) to determine which vertices of fragment pairs overlap. A conflict is shown in Figure 6b as edges between vertices. χ_{1 }and χ_{5 }do not conflict with any other substructure pairs, while χ_{2 }and χ_{4 }conflict with χ_{3}. For this graph, the constraints in the linear programming formulation are shown in Table 4. The linear programming problem is solved using the BPMPD package [35].
Similarity Score σ
The similarity score σ(χ_{i, j, k}) between two aligned substructures and is a weighted sum of a shape similarity measure derived from the cRMSD value, which is then modified for the secondary structure content of the aligned substructure pairs, and a sequence composition score (SCS). Here cRMSD values are the coordinate root mean square distance, which are the square root of the mean of squares of Euclidean distances of coordinates of corresponding C_{α }atoms. Formally, for two sets of n points v and w, the cRMSD is defined as .
cRMSD scaling by secondary structure content
We scale the cRMSD according to the secondary structure composition of the two substructures (λ^{a }and λ^{b}) that compose the substructure pair χ. We extracted 1,000 αhelices of length 4–7 (250 of each length) at random from protein structures contained in PDBSELECT 25% [19]. We exhaustively aligned helices of equal length and obtained the cRMSD distributions shown in Figure 7(a–d). We then exhaustively aligned equal length βstrands (length 4–7) from a set of 1,000 (250 of each length) strands randomly extracted from protein structures in PDBSELECT 25% [19] and obtained the distributions shown in Figure 7(e–h). For each length, the mean cRMSD value of the strands is approximately two times larger than the mean RMSD of the helices. Therefore, we introduce the following empirical scaling factor
Figure 7. Secondary Structure cRMSD distributions. The cRMSD distributions of a) helices of length 4 b) helices of length 5 c) helices of length 6 d) helices of length 7 e) strands of length 4 f) strands of length 5 g) strands of length 6 and h) strands of length 7.
, where
to modify the cRMSD of the aligned substructure pairs to remove bias due to different secondary structure content. We use DSSP [36] to assign secondary structure to the residues of each protein.
Sequence composition
The score for sequence composition SCS is defined as:
where A_{a, i }and A_{b, i }are the amino acid residue types at aligned position i. B(A_{a, i}, A_{b, i}) is the similarity score between A_{a, i }and A_{b, i }based on a modified BLOSUM50 matrix, in which a constant is added to all entries such that the smallest entry is 1.0.
Combined similarity score
The combined similarity score σ (χ) of two aligned substructures is calculated as follows:
In current implementation, the values of α and C are empirically set to 100 and 2, respectively.
Similarity score for aligned molecules
The output of the above algorithm is a set of aligned substructure pairs X = {χ_{1}, χ_{2}, ... χ_{m}} that maximize Equation (1).
The alignment X of two structures is scored following Equation (7) by treating X as a single discontinuous fragment pair:
In this case k = N_{X}, where N_{X }is the total number of aligned residues.
To investigate the effect that the size of each the proteins being aligned has on our similarity score, we randomly aligned 200,000 protein pairs from PDBSELECT 25% [19]. Figure 8a shows the similarity scores σ (X) (equation 8) as a function of the geometric mean of two aligned structure lengths . Where N_{a }and N_{b }are the number of residues in S_{a }and S_{b}, respectively. The regression line (grey line) has a slope of 0.314, indicating that σ (X) is not ideal for determining the significance of the alignment because larger proteins produce higher similarity scores. This is corrected by a simple normalization scheme:
Figure 8. Similarity Score versus length. a) Linear fit between raw similarity score σ (X) (equation 8) as a function of the geometric mean of the length of the two aligned proteins (N_{a }and N_{b }are the number of residues in the two protein structures S_{a }and S_{b}). The linear regression line (grey line) has a slope of 0.314. b) Linear fit of the normalized similarity score (X) (equation 9) as a function of the geometric mean of the length of the two aligned proteins. The linear regression line (grey line) has a slope of 0.0004.
where N is the number of equivalent residues in the alignment is used. Figure 8b shows the normalized similarity score as a function of the geometric mean of the aligned protein lengths. The regression line (grey line) has a negligible slope of 4.0 × 10^{4}. In addition, the distribution of the normalized score (X) can be approximated by an extreme value distribution (EVD) (Figure 9). This allows us to compute the statistical significance given the score of an alignment [37,38].
Figure 9. Similarity Score Distribution. The distribution of the normalized similarity scores obtained by aligning 200,000 pairs of proteins randomly selected from PDBSELECT 25% [19]. The distribution can be fit to an Extreme Value Distribution, with parameters α = 14.98 and β = 3.89.
Authors' contributions
All authors contributed equally to this paper. All authors read and approved the final manuscript.
Acknowledgements
A shorter preliminary version of this paper was presented at the 7^{th }Workshop on Algorithms in Bioinformatics (WABI) during September 2007. Bhaskar DasGupta was supported by NSF grants IIS0346973, IIS0612044 and DBI0543365. Joe Dundas was partially supported by NSF grant IIS0612044. Jie Liang was supported by NSF grant DBI0133856 and NIH grants GM68958 and GM079804.
References

Murzin AG, Brenner SE, Hubbard T, Chothia C: SCOP: a structural classification of proteins database for the investigation of sequences and structure.
J Mol Biol 1995, 247:536540. PubMed Abstract  Publisher Full Text

Binkowski TA, DasGupta B, Liang J: Order independent structural alignment of circularly permuted proteins.
Conf Proc IEEE Eng Med Biol Soc 2004, 4:27812784. PubMed Abstract  Publisher Full Text

Lindqvist Y, Schneider G: Circular permutations of natural protein sequences: structural evidence.
Curr Opinions Struct Biol 1997, 7:422427. Publisher Full Text

Ponting CP, Russell RB: Swaposins: circular permutations within genes encoding saposin homologues.
Trends Biochem Sci 1995, 20:179180. PubMed Abstract  Publisher Full Text

Jeltsch A: Circular permutations in the molecular evolution of DNA methyltransferase.
J Mol Evol 1999, 49:161164. PubMed Abstract  Publisher Full Text

Peisajovich SG, Rockah L, Tawfik DS: Evolution of new protein topologies through multistep gene rearrangements.
Nature Genetics 2006, 38:168173. PubMed Abstract  Publisher Full Text

Chen L, Wu LY, Wang Y, Zhang S, Zhang XS: Revealing divergent evolution, identifying circular permutations and detecting activesites by protein structure comparison.
BMC Struct Biol 2006, 6:18. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Chen L, Zhou T, Tang Y: Protein structure alignment by deterministic annealing.
Bioinformatics 2005, 21:5162. PubMed Abstract  Publisher Full Text

Szustakowski JD, Weng Z: Protein structure alignment using a genetic algorithm.
Proteins: Structure, Function, and Genetics 2000, 38:428440. Publisher Full Text

Jung J, Lee B: Protein structure alignment using environmental profiles.
Prot Eng 2000, 13:535543. Publisher Full Text

Uliel S, Fliess A, Amir A, Unger R: A simple algorithm for detecting circular permutations in proteins.
Bioinformatics 1999, 15:930936. PubMed Abstract  Publisher Full Text

Tabtiang RK, Cezairliyan BO, Grant RA, Cochrane JC, Sauer RT: Consolidating critical binding determinants by noncyclic rearrangement of protein secondary structure.

CPalign: Software for topology independent protein structural alignment [http://gila.bioengr.uic.edu/lab/] webcite

Dror O, Benyamini H, Nussinov R, Wolfson HJ: MASS: multiple structural alignment by secondary structures.
Bioinformatics 2003, 19:i95i104. PubMed Abstract  Publisher Full Text

Shih ES, Hwang MJ: Alternative alignments from comparison of protein structures.
Proteins 2004, 56:519527. PubMed Abstract  Publisher Full Text

Ilyin VA, Abyzov A, Leslin CM: Structural alignment of proteins by a novel TOPOFIT method, as a superimposition of common volumes at a topomax point.
Protein Science 2004, 13:18651874. PubMed Abstract  Publisher Full Text

Kolbeck B, May P, SchmidtGoenner T, Steinke T, Knapp EW: Connectivity independent proteinstructure alignment: a hierarchical approach.
BMC Bioinformatics 2006, 7:510. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Yuan X, Bystroff C: Nonsequential structurebased alignments reveal topology independent core packing arrangements in proteins.
Bioinformatics 2005, 21(7):10101019. PubMed Abstract  Publisher Full Text

Hobohm U, Sander C: Enlarged representative set of protein structures.
Protein Science 1994, 3:522. PubMed Abstract  Publisher Full Text

Dutta S, Akey IV, Dingwall C, Hartman KL, Laue T, Nolte RT, Head JF, Akey CW: The crystal structure of nucleoplasmincore implication for histone binding and nucleosome assembly.
Mol Cell 2001, 8:841853. PubMed Abstract  Publisher Full Text

Woo EJ, Marshall J, Bauly J, Chen JG, Venis M, Napier RM, Pickersgill RW: Crystal structure of the auxinbinding protein 1 in complex with auxin.
EMBO J 2002, 21:28772885. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Liu L, Iwata K, Yohda M, Miki K: Structural insight into gene duplication, gene fusion and domain swapping in the evolution of PLPindependent amino acid racemases.
FEBS LETT 2002, 528:114118. PubMed Abstract  Publisher Full Text

Hermoso JA, Monterroso B, Albert A, Galan B, Ahrazem O, Garcia P, MartinezRipoll M, Garcia JL, Menendez M: Structural basis for selective recognition of pneumococcal cell wall by modular endolysin from phage Cp1.
Structure 2003, 11:1239. PubMed Abstract  Publisher Full Text

Suzuki M, Takamura Y, Maeno M, Tochinai S, Iyaguchi D, Tanaka I, Nishihira J, Ishibashi T: Xenopus laevis macrophage migration inhibitory factor is essential for axis formation and neural development.
J Biol Chem 2004, 279:2140621414. PubMed Abstract  Publisher Full Text

Van Duyne GD, Ghosh G, Maas WK, Sigler PB: Structure of the oligomerization and Larginine binding domain fo the arginine repressor of Escherichia Coli.
J Mol Biol 1996, 256:377391. PubMed Abstract  Publisher Full Text

Alexandrov NN, Fischer D: Analysis of topological and nontopological structural similarities in the PDB: New examples with old structures.
Proteins 1996, 25:354365. PubMed Abstract  Publisher Full Text

Warren AJ, Bravo J, Williams RL, Rabbitts TH: Structural basis for the heterodimeric interaction betweeen the acute leukemiaassociated transcription factors AML1 and CBFbeta.
EMBO J 2000, 19:30043015. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Meining W, Eberhardt S, Bacher A, Ladenstein R: The structure of the Nterminal domain of riboflavin synthase in complex with riboflavin at 2.6A resolution.
J Mol Biol 2003, 331:10531063. PubMed Abstract  Publisher Full Text

Zhu J, Weng Z: FAST: A novel protein structure alignment algorithm.
PROTEINS: Structure, Function, and Bioinformatics 2005, 58:618627. Publisher Full Text

Mizuguchi K, Deane CM, Blundell TL, Overington JP: HOMSTRAD: a database of protein structure alignments for homologous families.
Protein Science 1998, 7:24692471. PubMed Abstract  Publisher Full Text

Holm L, Park J: DaliLite workbench for protein structure comparison.
Bioinformatics 2000, 16:566567. PubMed Abstract  Publisher Full Text

BarYehuda R, Halldorsson MM, Naor J, Shacknai H, Shapira I: Scheduling split intervals.
14th ACMSIAM Symposium on Discrete Algorithms 2002, 732741.

Alon N, Feige U, Wigderson A, Zuckerman D: Derandomized graph products.
Computational Complexity 1995, 5:6075. Publisher Full Text

Arora S, Lund C, Motwani R, Sudan M, Szegedy M: Proof verification and hardness of approximation problems.
Journal of ACM 1998, 45:501555. Publisher Full Text

Meszaros C: Fast Cholesky factorization for interior point methods of linear programming.
Comp Math Appl 1996, 31:4951. Publisher Full Text

Kabsch W, Sander C: Dictionary of protein secondary structure: pattern recognition of hydrogenbonded and geometrical features.
Biopolymers 1983, 22:25772637. PubMed Abstract  Publisher Full Text

Altschul SF, Madden TL, Schaffer AA, Zhang J, Zhang Z, Miller W, Lipman DJ: Gapped BLAST and PSIBLAST: a new generation of protein database search programs.
Nucleic Acids Res 1997, 25:33893402. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Binkowski TA, Adamian L, Liang J: Inferring functional relationship of proteins from local sequence and spatial surface patterns.
J Mol Biol 2003, 332:505526. PubMed Abstract  Publisher Full Text