 Research
 Open Access
 Published:
Approximation algorithm for rearrangement distances considering repeated genes and intergenic regions
Algorithms for Molecular Biology volumeÂ 16, ArticleÂ number:Â 21 (2021)
Abstract
The rearrangement distance is a method to compare genomes of different species. Such distance is the number of rearrangement events necessary to transform one genome into another. Two commonly studied events are the transposition, which exchanges two consecutive blocks of the genome, and the reversal, which reverts a block of the genome. When dealing with such problems, seminal works represented genomes as sequences of genes without repetition. More realistic models started to consider gene repetition or the presence of intergenic regions, sequences of nucleotides between genes and in the extremities of the genome. This work explores the transposition and reversal events applied in a genome representation considering both gene repetition and intergenic regions. We define two problems called Minimum Common Intergenic String Partition and Reverse Minimum Common Intergenic String Partition. Using a relation with these two problems, we show a \(\Theta \left( k \right)\)approximation for the Intergenic Transposition Distance, the Intergenic Reversal Distance, and the Intergenic Reversal and Transposition Distance problems, where k is the maximum number of copies of a gene in the genomes. Our practical experiments on simulated genomes show that the use of partitions improves the estimates for the distances.
Introduction
In the field of Computational Biology, when analyzing the relationship between two genomes, one can estimate the evolutionary distance by calculating the number of mutations necessary to transform one genome into another. These mutations can be nonconservative (i.e., affect the quantity of genetic material), which is the case of insertion, deletion, duplication, or substitution of individual nucleotides [1,2,3], or the mutations can be conservative (i.e., do not insert or remove genetic material), which is the case of the conservative genome rearrangement events [4], which affect only the order and orientation of genes in the genome.
Some conservative events affect a single chromosome, such as the reversal, which inverts a sequence of genes, and the transposition, which exchanges the position of two consecutive sequences of genes. There are also events that may affect more than one chromosome, such as translocation, which swaps extremities of two chromosomes. The translocation and reversal events can be simulated by the DoubleCutandJoin (DCJ) [5] operation, which cuts the genome at two positions and creates two new adjacencies by joining the four extremities affected by these cuts. This work focuses on the reversal and transposition events, consequently, we only consider genomes with a single chromosome.
When comparing genomes with a rearrangementbased distance, one must select a rearrangement model (i.e., the set of allowed rearrangement events) and find a representation for the genomes suitable to the selected model. With a given model, a rearrangement distance problem aims at finding the minimum number of allowed rearrangement events necessary to transform one genome into another.
Genomes can be represented by a string, where each character represents a gene. There may be multiple genes represented by the same characters, those genes constitute a gene family.
If we assume that there are no replicated characters, the characters are usually represented by integer numbers, and a string of size n corresponds to a permutation of numbers from 1 to n. In this case, when comparing two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\) of size n, one of them is represented by the identity permutation \(\iota = (1~2~\ldots ~n)\) and the other by a permutation \(\pi\). Consequently, finding the rearrangement distance is equivalent to finding the minimum number of allowed rearrangement events necessary to sort the permutation \(\pi\).
A string (or a permutation) may also include information regarding gene orientation, and such information is encoded as signs, \(+\) or âˆ’, associated with each character. In this case, we have a signed string (or a signed permutation).
When there are replicated characters, two common approaches are adopted to transform the strings into permutations. The first selects an exemplar of each gene family [6], and the second establishes a correspondence between characters of both strings [7, 8], which allows us to discriminate between multiple copies of the same character. The second approach has the advantage of losing less information but can only be applied when such correspondence can be established. In the presence of nonconservative events, the correspondence between genes may not be possible, and a preprocessing step is required to eliminate genes present in only one of the genomes.
In biological terms, this correspondence is called an orthologous assignment. The distance between permutations resulting from an orthologous assignment gives us a valid upper bound for the distance between the original strings. As there are multiple possible assignments, there are some strategies to find assignments that lead to lower distances [7, 8].
Recent works [9, 10] argue that considering the size of intergenic regions (i.e., number of nucleotides between genes and in the extremities of the genome) improves the estimated distances. When the sizes of intergenic regions are taken into account, the genome representation includes a string representing the gene sequence and a sequence of integers corresponding to the size of each intergenic region.
Each combination of genome representation and rearrangement model defines a different rearrangement distance problem. TableÂ 1 shows a summary of results from the literature, considering different rearrangement distance problems and the contributions of the present work (last three rows). For each problem, we mention whether there is a known polynomialtime algorithm or an NPhardness proof and, in the last case, what is the best known approximation factor for that problem.
It is worth mentioning that, to ensure an approximation, the distance between strings takes into account the result of the string partition problems [26]. Such problems seek to split two strings into substrings that can be concatenated in different orders to form the original strings. The way in which the substrings appear in each original string defines the problem. If the substrings must appear in the same orientation in both original strings, we have the minimum common string partition problem. If the substrings can appear inverted in the original strings, we have the signed minimum common string partition problem when considering signed strings, and the reverse minimum common string partition problem when considering unsigned strings.
If there is an \(\ell\)approximation for the minimum common string partition problem, then there exists a \(3\ell\)approximation for the transposition distance on strings problem [21]. Similarly, if there is an \(\ell\)approximation for the signed minimum common string partition problem, then there exists a \(2\ell\)approximation for the reversal distance on signed strings problem [7]. The same relation can be applied to the reversal distance on strings and the reverse minimum common string partition problems [26].
The best known approximation algorithms for the partition problems have factors in \(O(\log n \log ^* n)\) [27], where n is the size of the string, and in \(\Theta (k)\) [20], where k is the maximum number of copies of a character in the string.
This work describes approximation algorithms for the intergenic transposition distance, intergenic reversal distance, and intergenic reversal and transposition distance problems, where the representation of the genomes takes into account both repeated genes and intergenic regions. Initially, we present some definitions and formalize the problems. Next, we generalize the minimum common string partition and the reverse minimum common string partition problems to consider intergenic regions. We also present relations between the partitions and distance problems that consider intergenic regions and describe a \(\Theta (k)\)approximation algorithm for the partition problems ensuring a \(\Theta (k)\)approximation for the distance problems. Finally, we performed some practical tests on simulated genomes to evaluate the improvement in the estimates for the distances caused by the partition algorithms.
Definitions
In the following definitions we use ordered sequences of elements (lists). The number of elements in a list X is denoted by X, and an element at the ith position of a list X is denoted by \(X_i\). The list \(Y = rev(X)\) is equal to the list X in the reverse order (i.e., \(X = Y\) and \(Y_i\) = \(X_{Xi+1}, \forall 1 \le i \le X\)). A list of characters is called a string.
Given a string S, the set \(\Sigma _S\) of distinct elements of S is the alphabet of S and each element of \(\Sigma _S\) is called label. The occurrence of a label \(\alpha\) in a string S is the number of characters of S with label \(\alpha\), and is denoted by \(occ(\alpha ,S)\). The maximum occurrence of any character in S is \(occ(S) = \max _{\alpha \in \Sigma _S}(occ(\alpha ,S))\). A character whose label has occurrence one is called a singleton, and a character whose label has occurrence at least two is called a replica. Two strings S and P are balanced if \(\Sigma _S = \Sigma _P\) and \(occ(\alpha ,S) = occ(\alpha ,P), \forall \alpha \in \Sigma _S\). In other words, balanced strings are formed by the same characters in possibly different orders.
When modeling genomes, we consider the intergenic regions between genes represented by their sizes. Usually, an actual genome starts and ends with intergenic regions but, to construct our representation, we include two artificial genes in the beginning and end of the genome. In this process, usually called extension or capping, we use the same pair of genes for any genome.
Formally, a genome \({\mathcal {G}}= (g_1,\breve{g}_1,g_2,\ldots ,\breve{g}_{n1},g_n)\) with size n is an interleaved sequence of n genes (\(g_1,\ldots ,g_n\)) and \(n1\) intergenic regions (\(\breve{g}_1,\ldots ,\breve{g}_{n1}\)). We represent a genome \({\mathcal {G}}= (S,\breve{S})\) with a string S and a list of integers \(\breve{S}\), such that:

The gene \(g_i\) is represented by the character \(S_i\) of S, for \(1 \le i \le n\).

The intergenic region \(\breve{g}_i\) is represented by the integer \(\breve{S}_i\) of \(\breve{S}\), for \(1 \le i \le n1\).
Two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) are called cotailed if they have the same initial and final gene (i.e., \(S_1 = P_1\) and \(S_n = P_n\)). Note that, any two genomes resulting from an extension are cotailed.
The reverse of a genome \({\mathcal {G}}= (S,\breve{S})\), denoted by \(rev({\mathcal {G}})\), is a genome represented by the lists rev(S) and \(rev(\breve{S})\). We say that two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\) are equal (\({\mathcal {G}}= {\mathcal {H}}\)) if their correspondent strings and their correspondent integer lists are equal. Additionally, we say that two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\) are congruent (\({\mathcal {G}}\cong {\mathcal {H}}\)) if \({\mathcal {G}}= {\mathcal {H}}\) or \({\mathcal {G}}= rev({\mathcal {H}})\). FigureÂ 1 shows an example of a genome and its reverse.
Given a genome \({\mathcal {G}}= (S,\breve{S})\), the subgenome \({\mathcal {G}}^{i,j} = (S^{i,j}, \breve{S}^{i,j})\) is the portion of genome \({\mathcal {G}}\) between the genes \(g_i\) and \(g_j\). Consequently, the subgenome \({\mathcal {G}}^{i,j}\) is represented by lists \(S^{i,j}\) and \(\breve{S}^{i,j}\), such that:
A genome \({\mathcal {G}}\) contains another genome \({\mathcal {H}}\) if \({\mathcal {H}}\) is equal to some subgenome of \({\mathcal {G}}\). We denote that relation by \({\mathcal {H}}\subset {\mathcal {G}}\). We also use \({\mathcal {H}}\not \subset {\mathcal {G}}\) to indicate that \({\mathcal {G}}\) does not contain \({\mathcal {H}}\).
Let us define an operation of a combination of genomes (exemplified in Fig.Â 2). We say that a genome \({\mathcal {K}}= (Q,\breve{Q})\) is a combination of two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) if:

Q is the concatenation of the strings S and P.

\(\breve{Q}\) is formed by the list \(\breve{S}\) followed by an integer (representing the size of the intergenic region between the two genomes) and then followed by the list \(\breve{P}\).
Two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) of size n are balanced if:

The strings S and P are balanced.

The sum of the integers correspondent to intergenic regions are the same, i.e., \(\sum _{i=1}^{n} \breve{S}_i = \sum _{i=1}^{n} \breve{P}_i\)
Given two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\), an orthologous assignment \(\xi\) between them is a mapping between genes, i.e., for each gene \(S_i\) of S there is a correspondent gene \(\xi (S_i)\) in P. We denote the intergenic region after the gene \(\xi (S_i)\) by \(\xi (\breve{S}_i)\). Each singleton from S is associated with the singleton of same label from P. Each replica from S must be associated with a replica of same label from P. Note that there are multiple ways to perform the association for a replica. FigureÂ 3 shows an orthologous assignment between two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\).
Consider a genome \({\mathcal {G}}= (S,\breve{S})\) of size n and the numbers i,Â j,Â k,Â x,Â y,Â z, with \(2 \le i< j < k \le n\), \(0 \le x \le \breve{S}_{i1}\), \(0 \le y \le \breve{S}_{j1}\), and \(0 \le z \le \breve{S}_{k1}\). The intergenic transposition \(\tau ^{\small (i,j,k)}_{\small (x,y,z)}\) is an operation that transforms \({\mathcal {G}}\) into a genome \({\mathcal {G}}. \tau ^{\small (i,j,k)}_{\small (x,y,z)} = (S',\breve{S}')\), where:
with \(x' = \breve{S}_{i1}  x\), \(y' = \breve{S}_{j1}  y\), and \(z' = \breve{S}_{k1}  z\). FigureÂ 4 shows a generic intergenic transposition and an example of an intergenic transposition applied in a genome \({\mathcal {G}}\).
Consider a genome \({\mathcal {G}}= (S,\breve{S})\) of size n and the numbers i,Â j,Â x,Â y, with \(2 \le i < j \le n1\), \(0 \le x \le \breve{S}_{i1}\), and \(0 \le y \le \breve{S}_j\). The intergenic reversal \(\rho ^{\small (i,j)}_{\small (x,y)}\) is an operation that transforms \({\mathcal {G}}\) into a genome \({\mathcal {G}}. \rho ^{\small (i,j)}_{\small (x,y)} = (S',\breve{S}')\), where:
with \(x' = \breve{S}_{i1}  x\) and \(y' = \breve{S}_{j}  y\). FigureÂ 5 shows a generic reversal and an example of a reversal applied in a genome \({\mathcal {G}}\).
As shown in the following problem statements, we are interested in finding the minimum number of intergenic operations necessary to transform one genome into another. We assume that the genomes come from the extension process and, consequently, they are cotailed.
Theorem 1
The ITR, IRD and IRTD problems belong to the NPhard class.
Proof
Directly from the fact that the correspondent problems on permutations are in the NPhard class [23, 24]. \(\square\)
The minimum number of intergenic transpositions necessary to transform one genome \({\mathcal {G}}\) into another genome \({\mathcal {H}}\) is called the intergenic transposition distance, and it is denoted by \(d_{{{\mathcal {IT}}}}({\mathcal {G}},{\mathcal {H}})\). Similarly, the minimum number of intergenic reversals necessary to transform one genome \({\mathcal {G}}\) into another genome \({\mathcal {H}}\) is called the intergenic reversals distance, and it is denoted by \(d_{{{\mathcal {IR}}}}({\mathcal {G}},{\mathcal {H}})\). Also, the minimum number of operations that are either intergenic reversals or intergenic transpositions necessary to transform one genome \({\mathcal {G}}\) into another genome \({\mathcal {H}}\) is called the intergenic reversals and transposition distance, and it is denoted by \(d_{\mathcal {IRT}}({\mathcal {G}},{\mathcal {H}})\).
Intergenic Partition
In order to develop a solution for the ITD, IRD, and IRTD problems we studied two related problems called minimum common intergenic string partition and reverse minimum common intergenic string partition. To define those problems, we consider the following two types of intergenic partitions of two balanced genomes.
An direct intergenic partition between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) is a pair of genome sequences \(({\mathbb {S}},{\mathbb {P}})\) such that:

1
The genomes of \({\mathbb {S}}\) when combined correspond to the genome \({\mathcal {G}}\).

2
The genomes of \({\mathbb {P}}\) when combined correspond to the genome \({\mathcal {H}}\).

3
It is possible to change the order of the genomes of \({\mathbb {S}}\) to obtain the genomes of \({\mathbb {P}}\) (i.e., there is at least one permutation \(\phi\), from the numbers 1 to \({\mathbb {S}}\), such that \({\mathbb {P}}_i = {\mathbb {S}}_{\phi _i}\), \(\forall ~{1 \le i \le {\mathbb {S}}}\)).
A reverse intergenic partition between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) is a pair of genome sequences \(({\mathbb {S}},{\mathbb {P}})\) such that:

1
The genomes of \({\mathbb {S}}\) when combined correspond to the genome \({\mathcal {G}}\).

2
The genomes of \({\mathbb {P}}\) when combined correspond to the genome \({\mathcal {H}}\).

3
It is possible to change the order and orientation of the genomes of \({\mathbb {S}}\) to obtain the genomes of \({\mathbb {P}}\) (i.e., there is at least one permutation \(\phi\), from the numbers 1 to \({\mathbb {S}}\), such that \({\mathbb {P}}_i \cong {\mathbb {S}}_{\phi _i}\), \(\forall ~{1 \le i \le {\mathbb {S}}}\)).
In both intergenic partitions, the genomes correspondent to elements of \({\mathbb {S}}\) and \({\mathbb {P}}\) are called blocks, and are subgenomes of \({\mathcal {G}}\) and \({\mathcal {H}}\), respectively. As the blocks of \({\mathbb {S}}\) must be combined to form \({\mathcal {G}}\), the blocks must follow the order in which they appear in \({\mathcal {G}}\). Additionally, every gene must appear in some block. Some intergenic regions, on the other hand, do not appear in \({\mathbb {S}}\), those are the regions that must be included during the combination of the blocks. As these regions mark the points where the genome \({\mathcal {G}}\) is split into blocks, we call them breakpoints of \({\mathbb {S}}\). The breakpoints of \({\mathbb {P}}\) have a similar definition. Two breakpoints \(\breve{X}_i\) and \(\breve{Y}_j\) are called equivalent if the surrounding genes are equal, i.e., \(X_{i} = Y_{i}\) and \(X_{i+1} = Y_{i+1}\). Additionally, two breakpoints \(\breve{X}_i\) and \(\breve{Y}_j\) are called congruent if they have the same surrounding genes in possibly different positions, i.e., \(X_{i} = Y_{i}\) and \(X_{i+1} = Y_{i+1}\), or \(X_{i} = Y_{i+1}\) and \(X_{i+1} = Y_{i}\).
The \(cost({\mathbb {S}},{\mathbb {P}})\) of an intergenic partition \(({\mathbb {S}},{\mathbb {P}})\) is the number of breakpoints of \({\mathbb {S}}\). The cost can also be calculated by the number of blocks in \({\mathbb {S}}\) minus one. Note that, as a consequence of the third condition, both sequences \({\mathbb {S}}\) and \({\mathbb {P}}\) must have the same number of blocks and, consequently, the cost would be the same if we consider \({\mathbb {P}}\) instead of \({\mathbb {S}}\).
An intergenic partition is minimal if no two consecutive blocks can be combined to form an intergenic partition with smaller cost. An orthologous assignment between two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\) associates genes of \({\mathcal {G}}\) with genes of \({\mathcal {H}}\) and, consequently, induces a unique minimal intergenic partition between \({\mathcal {G}}\) and \({\mathcal {H}}\).
Given a orthologous assignment \(\xi\) between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\), and the minimal intergenic partition \(({\mathbb {S}},{\mathbb {P}})\) between \({\mathcal {G}}\) and \({\mathcal {H}}\) induced by \(\xi\), we can distinguish between two types of breakpoint from \({\mathbb {S}}\). A breakpoint \(\breve{S}_i\) is called hard if the genes \(\xi (S_i)\) and \(\xi (S_{i+1})\) are adjacent in P. A breakpoint is called soft if it is not hard, and a hard breakpoint is called overcharged, if \(\breve{S}_i > \xi (\breve{S}_i)\), or undercharged, if \(\breve{S}_i < \xi (\breve{S}_i)\). Additionally, we say that an intergenic transposition \(\tau ^{\small (i,j,k)}_{\small (x,y,z)}\) applied to \({\mathcal {G}}\) removes b breakpoints of \({\mathbb {S}}\) if \(cost({\mathbb {R}},{\mathbb {Q}}) = cost({\mathbb {S}},{\mathbb {P}})  b\), where \(({\mathbb {R}},{\mathbb {Q}})\) is the partition between \(\tau ^{\small (i,j,k)}_{\small (x,y,z)}.{\mathcal {G}}\) and \({\mathcal {H}}\) induced by the assignment \(\xi\).
Example 1
An direct intergenic partition \(({\mathbb {S}}, {\mathbb {P}})\) of two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) of cost 3. FigureÂ 6 shows a graphical representation of the partition \(({\mathbb {S}},{\mathbb {P}})\) and a possible orthologous assignment capable of inducing that partition.
Example 2
A reverse intergenic partition \(({\mathbb {S}}, {\mathbb {P}})\) of two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) of cost 3. FigureÂ 7 shows a graphical representation of the partition \(({\mathbb {S}},{\mathbb {P}})\) and a possible orthologous assignment capable of inducing that partition.
We are interested in the minimum cost direct intergenic partition and in the minimum cost reverse intergenic partition, as shown in the following problem statements.
When we do not consider intergenic regions, the genomes may be represented only by the strings. In that case, there are analogous definitions for partitions.
A direct partition of two balanced strings S and P is a pair of string sequences \(({\mathbb {S}},{\mathbb {P}})\) such that:

1
The strings of \({\mathbb {S}}\) when concatenated correspond to the string S.

2
The strings of \({\mathbb {P}}\) when concatenated correspond to the string P.

3
It is possible to change the order of the strings of \({\mathbb {S}}\) to obtain the strings of \({\mathbb {P}}\) (i.e., there is at least one permutation \(\phi\), from the numbers 1 to \({\mathbb {S}}\), such that \({\mathbb {P}}_i = {\mathbb {S}}_{\phi _i}\), \(\forall ~{1 \le i \le {\mathbb {S}}}\)).
A reverse partition of two balanced strings S and P is a pair of string sequences \(({\mathbb {S}},{\mathbb {P}})\) such that:

1
The strings of \({\mathbb {S}}\) when concatenated correspond to the string S.

2
The strings of \({\mathbb {P}}\) when concatenated correspond to the string P.

3
It is possible to change the order and orientation of the strings of \({\mathbb {S}}\) to obtain the strings of \({\mathbb {P}}\) (i.e., there is at least one permutation \(\phi\), from the numbers 1 to \({\mathbb {S}}\), such that \({\mathbb {P}}_i = {\mathbb {S}}_{\phi _i}\) or \({\mathbb {P}}_i = rev({\mathbb {S}}_{\phi _i})\), \(\forall ~{1 \le i \le {\mathbb {S}}}\)).
In both cases, the cost of a partition is \({\mathbb {S}}  1\) and there are problems focused on minimizing that cost.
The MCSP and RMCSP problems belong to the NPhard class [28].
Theorem 2
Â The MCISP problem belongs to the NPhard class.
Proof
Given an integer p, the decision version of the problems MCSP and MCISP aim at finding a direct partition and direct intergenic partition, respectively, of cost p. Considering the decision versions, let us reduce the MCSP problem to the MCISP problem.
Let the strings S and P be an instance of the MCSP problem. We construct an instance of the MCISP problem by adding the integer list \(\breve{S}\) and \(\breve{P}\), of size \(S1\), composed only by zeros. Note that, there is a partition of size p between S and P if and only if there is a direct intergenic partition of size p between \((S,\breve{S})\) and \((P,\breve{P})\). \(\square\)
Theorem 3
Â The RMCISP problem belongs to the NPhard class.
Proof
Analogous to the proof of TheoremÂ 2 considering the RMCSP problem instead of MCSP. \(\square\)
Correspondence between partition and distance problems
This section presents a correspondence between the partition and distance problems. Such correspondence allows us to adapt an approximation for the MCISP problem to obtain an approximation for the ITD problem, and to adapt an approximation for the RMCISP problem to obtain approximations for the IRD and IRTD problems. The following lemmas establish lower bounds for the distances based on partitions cost.
Lemma 1
Â Let \(({\mathbb {S}},{\mathbb {P}})\) be a minimal direct intergenic partition induced by an orthologous assignment between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). For any intergenic transposition \(\tau ^{\small (i,j,k)}_{\small (x,y,z)}\), the minimal direct intergenic partition \(({\mathbb {R}},{\mathbb {Q}})\) between the genomes \({\mathcal {G}}.\tau ^{\small (i,j,k)}_{\small (x,y,z)}\) and \({\mathcal {H}}\), induced by the same orthologous assignment, respects the restriction \(cost({\mathbb {R}},{\mathbb {Q}}) \ge cost({\mathbb {S}},{\mathbb {P}})  3\).
Proof
As the direct intergenic partition \(({\mathbb {R}},{\mathbb {Q}})\) must be induced by the same assignment of \(({\mathbb {S}},{\mathbb {P}})\), we can only reduce the cost of the direct intergenic partition by moving the blocks to allow their combination. The intergenic transposition may be able to combine three pairs of blocks: the block ending in \(S_{i1}\) with the block starting in \(S_{j}\); the block ending in \(S_{k1}\) with the block starting in \(S_{i}\); and the block ending in \(S_{j1}\) with the block starting in \(S_{k}\). In the best case, if all three combinations occur, we have \(cost({\mathbb {R}},{\mathbb {Q}}) = cost({\mathbb {S}},{\mathbb {P}})  3\). \(\square\)
Lemma 2
Â Let \(({\mathbb {S}},{\mathbb {P}})\) be a minimal reverse intergenic partition induced by an orthologous assignment between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). For any intergenic transposition \(\tau ^{\small (i,j,k)}_{\small (x,y,z)}\), the minimal reverse intergenic partition \(({\mathbb {R}},{\mathbb {Q}})\) between the genomes \({\mathcal {G}}.\tau ^{\small (i,j,k)}_{\small (x,y,z)}\) and \({\mathcal {H}}\), induced by the same orthologous assignment, respects the restriction \(cost({\mathbb {R}},{\mathbb {Q}}) \ge cost({\mathbb {S}},{\mathbb {P}})  3\).
Proof
Analogous to the proof of LemmaÂ 1. \(\square\)
Lemma 3
Â Let \(({\mathbb {S}},{\mathbb {P}})\) be a minimal reverse intergenic partition induced by an orthologous assignment between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). For any intergenic reversal \(\rho ^{\small (i,j)}_{\small (x,y)}\), the minimal reverse intergenic partition \(({\mathbb {R}},{\mathbb {Q}})\) between the genomes \({\mathcal {G}}.\rho ^{\small (i,j)}_{\small (x,y)}\) and \({\mathcal {H}}\), induced by the same orthologous assignment, respects the restriction \(cost({\mathbb {R}},{\mathbb {Q}}) \ge cost({\mathbb {S}},{\mathbb {P}})  2\).
Proof
Similar to the proof of LemmaÂ 1, considering that the intergenic reversal \(\rho ^{(i,j)}_{(x,y)}\) can combine up to two pairs of blocks: the block ending in \(S_{i1}\) with the block ending in \(S_{j}\) and the block starting in \(S_{j+1}\) with the block starting in \(S_{i}\). \(\square\)
Lemma 4
Â Let \(({\mathbb {S}},{\mathbb {P}})\) be a direct intergenic partition of minimum cost between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). Any sequence of intergenic transpositions that transforms S into P must have size at least \(\frac{cost({\mathbb {S}},{\mathbb {P}})}{3}\).
Proof
Consider a sequence of k intergenic transpositions capable of transforming \({\mathcal {G}}\) into \({\mathcal {H}}\). Such sequence establishes an orthologous assignment between \({\mathcal {G}}\) and \({\mathcal {H}}\). The assignment is recovered by verifying, for each character of S, the new position in P, after the intergenic transpositions are applied.
Let \(({\mathbb {R}},{\mathbb {Q}})\) be the minimal direct intergenic partition induced from the orthologous assignment. We know that \(\frac{cost({\mathbb {R}},{\mathbb {Q}})}{3} \le k\), because each intergenic transposition can remove at most 3 breakpoints (LemmaÂ 1) and k intergenic transpositions are sufficient to turn \({\mathbb {R}}\) into \({\mathbb {Q}}\) (i.e., k intergenic transpositions can remove all breakpoints). As \(({\mathbb {S}},{\mathbb {P}})\) is a minimum cost direct intergenic partition, we have \(\frac{({\mathbb {S}},{\mathbb {P}})}{3} \le \frac{({\mathbb {R}},{\mathbb {Q}})}{3} \le k\). \(\square\)
Lemma 5
Â Let \(({\mathbb {S}},{\mathbb {P}})\) be a reverse intergenic partition of minimum cost between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). Any sequence of intergenic reversals that transforms S into P must have size at least \(\frac{cost({\mathbb {S}},{\mathbb {P}})}{2}\).
Proof
Analogous to the proof of LemmaÂ 4, but using LemmaÂ 3 instead of LemmaÂ 1. \(\square\)
Lemma 6
Â Let \(({\mathbb {S}},{\mathbb {P}})\) be a reverse intergenic partition of minimum cost between two balanced genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). Any sequence composed of intergenic reversals and intergenic transpositions that transforms S into P must have size at least \(\frac{cost({\mathbb {S}},{\mathbb {P}})}{3}\).
Proof
Analogous to the proof of LemmaÂ 4, but using lemmasÂ 2 andÂ 3 instead of LemmaÂ 1. \(\square\)
The next lemmas show upper bounds for the distances based on the cost of the partitions.
Lemma 7
(Brito et al. [24]) Let \({\mathcal {G}}= (S,\breve{S})\) be a genome. Given a sequence of two intergenic transpositions \(\tau ^{\small (i+1,j+1,k+1)}_{\small (\phi _i, \phi _j, \phi _k)},\) \(\tau ^{\small (i+1,i+kj+1,k+1)}_{\small (\phi '_i, \phi '_{i+kj}, \phi '_k)}\), applied in this order, it is possible to find values for \(\phi _i, \phi _j, \phi _k, \phi '_i,\) \(\phi '_{i+kj}, \phi '_k\) to perform any redistribution of nucleotides within regions \(\breve{S}_i\), \(\breve{S}_j\), and \(\breve{S}_k\).
Note that, after the two intergenic transpositions describe in LemmaÂ 7, the string S remains the same.
Lemma 8
Given two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\), and an orthologous assignment \(\xi\) between them. Let \(({\mathbb {S}},{\mathbb {P}})\) be the minimal direct partition derived from the orthologous assignment \(\xi\). If \({\mathbb {S}}\) has a soft breakpoint \(\breve{S}_i\) such that \(\breve{S}_i \ge \xi (\breve{S}_i)\), then we can apply an intergenic transposition in \({\mathcal {G}}\) that removes at least one breakpoint from \({\mathbb {S}}\). Furthermore, if \({\mathbb {S}}\) has at least 4 soft breakpoints and there is no breakpoint \(\breve{S}_r\), \(r \ne i\), such that \(\breve{S}_r \ge \xi (\breve{S}_r)\), we can choose an intergenic transposition that does not create overcharged breakpoints.
Proof
Consider the gene \(S_j\) of S, such that the genes \(\xi (S_i)\) and \(\xi (S_j)\) are adjacent in P and the position of \(\xi (S_j)\) in P is greater than the position of \(\xi (S_i)\). Note that \(S_j \ne S_{i+1}\), otherwise this would be a hard breakpoint. Besides, note that \(\breve{S}_{j1}\) is a breakpoint.
Initially, suppose that \(j > i\). Let \(\breve{S}_k\) be a breakpoint such that \(k < i\) or \(k \ge j\). Such breakpoint must exist, otherwise \((\breve{S}_1,\ldots , \breve{S}_i)\) and \((\breve{S}_j,\ldots ,\breve{S}_{n})\) would have no breakpoints and, since \(\xi (S_i)\) and \(\xi (S_j)\) are adjacent and \(S_j \ne S_{i+1}\), there is no valid value for \(S_{i+1}\).
If \(k < i\), an intergenic transposition \(\tau ^{(k+1,i+1,j)}_{(x,y,z)}\) turns the pairs \((S_k, S_{i+1}),\) \((S_{j1}, S_{k+1})\), and \((S_{i}, S_{j})\) adjacent in the new genome. Also, we can set x, y, and z to ensure that the intergenic region between \(S_i\) and \(S_j\) is not a breakpoint, since \(\breve{S_i} \ge \xi (\breve{S}_i)\). Note that no breakpoints are introduced, since the affected pairs are all breakpoints. Additionally, let us assume that the region between \(S_k\) and \(S_{i+1}\) would become an overcharged breakpoint, that \({\mathbb {S}}\) has at least 4 breakpoints, and that there is no breakpoint \(\breve{S}_r\), \(r \ne i\), such that \(\breve{S}_r \ge \xi (\breve{S}_r)\). In that case, let \(\breve{S}_{\ell }\) be a breakpoint with \(\ell \ne i\), \(\ell \ne j1\), and \(\ell \ne k\). We can replace the intergenic transposition \(\tau ^{(k+1,i+1,j)}_{(x,y,z)}\) to ensure that no overcharged breakpoints are added. Each case leads to an intergenic transposition choice as follows:

If \(\ell < k\), we can use the intergenic transposition \(\tau ^{\small (\ell +1,i+1,j)}_{\small (x,y,z)}\) to turn the pairs \((S_{\ell }, S_{i+1})\), \((S_{j1},S_{\ell +1})\), and \((S_{i},S_{j})\) adjacent in the new genome. Note that the region between \(S_{\ell }\) and \(S_{i+1}\) is not a hard breakpoint, because \(S_{k}\) already comes before \(S_{i+1}\) in P.

If \(\ell \ge j\), we can use the intergenic transposition \(\tau ^{\small (i+1,j,\ell +1)}_{\small (x,y,z)}\) to turn the pairs \((S_{i}, S_{j})\), \((S_{\ell },S_{i+1})\), and \((S_{j1},S_{\ell +1})\) adjacent in the new genome.

If \(\ell > k\) and \(\ell < i\), we can use the intergenic transposition \(\tau ^{\small (\ell +1,i+1,j)}_{\small (x,y,z)}\) to turn the pairs \((S_{\ell }, S_{i+1})\), \((S_{j1},S_{\ell +1})\), and \((S_{i},S_{j})\) adjacent in the new genome.

If \(\ell > i\) and \(\ell < j  1\), we can use the intergenic transposition \(\tau ^{\small (k+1,i+1,\ell +1)}_{\small (x,y,z)}\) to turn the pairs \((S_{k}, S_{i+1})\), \((S_{\ell },S_{k+1})\), and \((S_{i},S_{\ell +1})\) adjacent in the new genome. In that case, we do not have \((S_{i}, S_{j})\), but we can set x, y, and z to ensure that the intergenic region between \(S_{k}\) and \(S_{i+1}\) is not a breakpoint. We also ensure that the region between \(S_{i}\) and \(S_{\ell +1}\) is not a hard breakpoint, because \(S_{j}\) already comes after \(S_{i}\) in P.
Note that, if the region between \(S_{j1}\) and \(S_{k+1}\), \(S_{j1}\) and \(S_{\ell +1}\), or \(S_{\ell }\) and \(S_{k+1}\) becomes a hard breakpoint, we can choose the values of x, y, and z to ensure that it becomes an undercharged breakpoint.
If \(k \ge j\), an intergenic transposition \(\tau ^{\small (i+1, j, k+1)}_{\small (x,y,z)}\) turns the pairs \((S_i, S_j)\), \((S_k, S_{i+1})\), and \((S_{j1}, S_{k+1})\) adjacent in the new genome. Also, we can set x,Â y,Â and z to ensure that the intergenic region between \(S_i\) and \(S_j\) is not a breakpoint, since \(\breve{S_i} \ge \xi (\breve{S}_i)\). Additionally, if \({\mathbb {S}}\) has at least 4 breakpoints and there is no breakpoint \(\breve{S}_r\), \(r \ne i\), such that \(\breve{S}_r \ge \xi (\breve{S}_r)\), we may replace the intergenic transposition, as in the previous case, to ensure that it does not create overcharged breakpoints.
Now, suppose that \(i > j\). Let \(\breve{S}_k\) be a breakpoint such that \(k < i\) and \(k \ge j\). Such breakpoint must exist, otherwise \((\breve{S}_j,\ldots , \breve{S}_i)\) would have no breakpoints, which is a contradiction because the position of \(\xi (S_j)\) in P is greater than the position of \(\xi (S_i)\). An intergenic transposition \(\tau ^{\small (j,k+1,i+1)}_{\small (x,y,z)}\) turns the pairs \((S_{j1}, S_{k+1}),\) \((S_{i}, S_{j})\), and \((S_{k}, S_{i+1})\) adjacent in the new genome. Also, we can set x,Â y,Â and z to ensure that the intergenic region between \(S_i\) and \(S_j\) is not a breakpoint, since \(\breve{S_i} \ge \xi (\breve{S}_i)\). Additionally, if \({\mathbb {S}}\) has at least 4 breakpoints and there is no breakpoint \(\breve{S}_r\), \(r \ne i\), such that \(\breve{S}_r \ge \xi (\breve{S}_r)\), we may replace the intergenic transposition, as in the previous case, to ensure that it does not create overcharged breakpoints. \(\square\)
Lemma 9
Given two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\), and an orthologous assignment \(\xi\) between them, it is possible to turn \({\mathcal {G}}\) into \({\mathcal {H}}\) using at most \(cost({\mathbb {S}},{\mathbb {P}}) + 1\) intergenic transpositions, where \(({\mathbb {S}},{\mathbb {P}})\) is the minimal direct partition derived from the orthologous assignment \(\xi\).
Proof
We will describe how to apply at most \(cost({\mathbb {S}},{\mathbb {P}}) + 1\) intergenic transpositions in \({\mathcal {G}}\) to remove all breakpoints from \({\mathbb {S}}\) and, consequently, to turn \({\mathcal {G}}\) into \({\mathcal {H}}\). The intergenic transpositions are applied according to the following cases:

1
If there are two or more overcharged breakpoints in \({\mathbb {S}}\): Let \(\breve{S}_i\) and \(\breve{S}_j\) be two overcharged breakpoints and let \(\breve{S}_k\) be another breakpoint in \({\mathbb {S}}\) (such breakpoint must exist since there are overcharged breakpoints). We can use two intergenic transpositions (LemmaÂ 7) to move the exceeding nucleotides from \(\breve{S}_i\) and \(\breve{S}_j\) to the intergenic region \(\breve{S}_k\).

2
If there exists a soft breakpoint \(\breve{S}_i\) in \({\mathbb {S}}\) such that \(\breve{S}_i \ge \xi (\breve{S}_i)\): We can use one intergenic transposition (LemmaÂ 8) to remove at least one breakpoint from \({\mathbb {S}}\). Note that if there is no overcharged breakpoint this case must occur, otherwise the amount of intergenic region in \(\breve{S}\) would be greater than the amount of intergenic region in \(\breve{P}\), which is not possible.

3
If there exists only one overcharged breakpoint \(\breve{S}_j\) in \({\mathbb {S}}\) and there exists no soft breakpoint \(\breve{S}_i\) in \({\mathbb {S}}\) such that \(\breve{S}_i \ge \xi (\breve{S}_i)\): In that case \(\breve{S}_j\) must have \(\xi (\breve{S}_j) + \sum _{b \in B} \xi (b)  b\) nucleotides, where B is the set of breakpoints distinct from \(\breve{S}_j\), otherwise the amount of intergenic region in \(\breve{S}\) would be different from the amount of intergenic region in \(\breve{P}\). We consider two subcases:

(a)
If there is an undercharged breakpoint \(\breve{S}_k\): From the quantity of nucleotides on \(\breve{S}_j\), we have \(\breve{S}_j + \breve{S}_k \ge \xi (\breve{S}_j) + \xi (\breve{S}_k)\). If there exists another breakpoint \(\breve{S}_\ell\), then we can use two intergenic transpositions (Lemma Â 7) to move the necessary number of nucleotides from \(\breve{S}_j\) to \(\breve{S}_k\) and the exceeding number of nucleotides from \(\breve{S}_j\) to \(\breve{S}_\ell\). Otherwise, since these are the only breakpoints, we have \(\breve{S}_j + \breve{S}_k = \xi (\breve{S}_j) + \xi (\breve{S}_k)\). We can use two intergenic transpositions to redistribute the number of nucleotides between these two regions and remove these two breakpoints as well.

(b)
If there is no undercharged breakpoint: There exist at least 3 soft breakpoints, because there must exist a soft breakpoint to ensure the correct quantity of nucleotides and there is no direct intergenic partition with only 1 or 2 soft breakpoints. In that case, we can use two intergenic transpositions (Lemma Â 7) to move the exceeding number of nucleotides from \(\breve{S}_j\) to a soft breakpoint. Afterwards, we can apply intergenic transpositions from LemmaÂ 8 to remove all soft breakpoints and ensure that no overcharged breakpoint is inserted while there are at least 4 breakpoints. When there are 3 breakpoints, at least one will be removed and the others will become hard breakpoints. As there are no longer soft breakpoints the remaining breakpoints will be removed by cases 1 and 3(a).

(a)
With one exception, we remove at least one breakpoint per intergenic transposition. In this way, we can transform \({\mathcal {G}}= (S, \breve{S})\) into \({\mathcal {H}}= (P, \breve{P})\) using at most \(cost({\mathbb {S}},{\mathbb {P}}) + 1\) intergenic transpositions. \(\square\)
Lemma 10
(Brito et al. [24]) Given two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\), and an orthologous assignment \(\xi\) between them, it is possible to turn \({\mathcal {G}}\) into \({\mathcal {H}}\) using at most \(2 cost({\mathbb {S}},{\mathbb {P}})\) intergenic reversals, where \(({\mathbb {S}},{\mathbb {P}})\) is the minimal reverse partition derived from the orthologous assignment \(\xi\).
Lemma 11
(Brito et al. [24]) Given two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\), and an orthologous assignment \(\xi\) between them, it is possible to turn \({\mathcal {G}}\) into \({\mathcal {H}}\) using at most \(\frac{3}{2} cost({\mathbb {S}},{\mathbb {P}})\) intergenic reversals or intergenic transpositions, where \(({\mathbb {S}},{\mathbb {P}})\) is the minimal reverse partition derived from the orthologous assignment \(\xi\).
With the bounds presented on the previous lemmas, we can establish a relation between partition and distance problems.
Theorem 4
Â An \(\ell\)approximation for the MCISP problem ensures an asymptotic \(3\ell\)approximation for the ITD problem.
Proof
Let \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) be two cotailed genomes and let p be the size of the minimum direct intergenic partition between \({\mathcal {G}}\) and \({\mathcal {H}}\). An algorithm for the MCISP problem with approximation factor \(\ell\) returns a direct intergenic partition \(({\mathbb {S}},{\mathbb {P}})\), such that \(p \le cost({\mathbb {S}},{\mathbb {P}}) \le \ell p\).
By LemmaÂ 9, it is always possible to transform \({\mathcal {G}}\) into \({\mathcal {H}}\) with k intergenic transpositions, such that \(k \le cost({\mathbb {S}},{\mathbb {P}}) + 1\). Additionally, by LemmaÂ 4, we know that \(d_{{{\mathcal {IT}}}}({\mathcal {G}},{\mathcal {H}}) \ge \frac{p}{3}\). Consequently, we have \(d_{{{\mathcal {IT}}}}({\mathcal {G}},{\mathcal {H}}) \le k \le 3 \ell d_{{{\mathcal {IT}}}}({\mathcal {G}},{\mathcal {H}}) + 1\). \(\square\)
As a consequence of lemmasÂ 4 andÂ 9, we have an asymptotic 3approximation for the intergenic transposition distance when there are no repeated genes. The best approximation factor known in the literature for that problem is 3.5 [23].
Theorem 5
Â An \(\ell\)approximation for the RMCISP problem ensures a \(4\ell\)approximation for the IRD problem.
Proof
Let \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) be two cotailed genomes and let p be the size of the minimum reverse intergenic partition between \({\mathcal {G}}\) and \({\mathcal {H}}\). An algorithm for the RMCISP problem with approximation factor \(\ell\) returns a reverse intergenic partition \(({\mathbb {S}},{\mathbb {P}})\), such that \(p \le cost({\mathbb {S}},{\mathbb {P}}) \le \ell p\).
By LemmaÂ 10, it is always possible to transform \({\mathcal {G}}\) into \({\mathcal {H}}\) with k intergenic reversals, such that \(k \le 2cost({\mathbb {S}},{\mathbb {P}})\). Additionally, by LemmaÂ 5, we know that \(d_{{{\mathcal {IR}}}}({\mathcal {G}},{\mathcal {H}}) \ge \frac{p}{2}\). Consequently, we have \(d_{{{\mathcal {IR}}}}({\mathcal {G}},{\mathcal {H}}) \le k \le 4 \ell d_{{{\mathcal {IR}}}}({\mathcal {G}},{\mathcal {H}})\). \(\square\)
Theorem 6
Â An \(\ell\)approximation for the RMCISP problem ensures a \(4.5\ell\)approximation for the IRTD problem.
Proof
Let \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) be two cotailed genomes and let p be the size of the minimum reverse intergenic partition between \({\mathcal {G}}\) and \({\mathcal {H}}\). An algorithm for the RMCISP problem with approximation factor \(\ell\) returns a reverse intergenic partition \(({\mathbb {S}},{\mathbb {P}})\), such that \(p \le cost({\mathbb {S}},{\mathbb {P}}) \le \ell p\).
By LemmaÂ 11, it is always possible to transform \({\mathcal {G}}\) into \({\mathcal {H}}\) with k intergenic reversals or intergenic transpositions, such that \(k \le \frac{3}{2} cost({\mathbb {S}},{\mathbb {P}})\). Additionally, by LemmaÂ 6, we know that \(d_{\mathcal {IRT}}({\mathcal {G}},{\mathcal {H}}) \ge \frac{p}{3}\). So, we have \(d_{\mathcal {IRT}}({\mathcal {G}},{\mathcal {H}}) \le k \le 4.5 \ell d_{\mathcal {IRT}}({\mathcal {G}},{\mathcal {H}})\). \(\square\)
2kapproximation for MCISP
This section presents an algorithm for the MCISP problem between two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\) with an approximation factor of 2k, where \(k = occ(S)\). The algorithm was partially inspired by the Kolman and WaleÅ„ algorithm [20] that does not consider intergenic regions.
In order to describe the algorithm we need two functions:

\(\texttt {subgen}({\mathcal {G}},{\mathcal {X}})\): the number of subgenomes of \({\mathcal {G}}\) equal to \({\mathcal {X}}\) (each of these subgenomes is an occurrence of \({\mathcal {X}}\)).

\(\texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}}) = \texttt {subgen}({\mathcal {G}},{\mathcal {X}})  \texttt {subgen}({\mathcal {H}},{\mathcal {X}})\): a value indicating how many occurrences of \({\mathcal {X}}\) are in excess in \({\mathcal {G}}\) or in \({\mathcal {H}}\). If the value is positive \({\mathcal {G}}\) has more occurrences of \({\mathcal {X}}\) than \({\mathcal {H}}\). If the value is negative \({\mathcal {H}}\) has more occurrences of \({\mathcal {X}}\) than \({\mathcal {G}}\).
The function \(\texttt {weight}\) can be generalized to work on two sequences \({\mathbb {S}}\) and \({\mathbb {P}}\) of genomes:
Lemma 12
Â Given two genomes \({\mathcal {G}}= (S,\breve{S})\), \({\mathcal {H}}= (P,\breve{P})\), and a pair \(({\mathbb {S}}, {\mathbb {P}})\) of genome sequences, such that it satisfies the conditions 1 and 2 of direct intergenic partition, we have that \(({\mathbb {S}}, {\mathbb {P}})\) satisfies the condition 3 if and only if \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\) for all genomes \({\mathcal {X}}\) contained in \({\mathcal {G}}\) or in \({\mathcal {H}}\).
Proof
First, we argue that if the third condition is satisfied then \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\). Assuming the third condition is satisfied, we have a permutation \(\phi\), from the numbers 1 to \({\mathbb {S}}\), such that \({\mathbb {P}}_i = {\mathbb {S}}_{\phi _i}\), \(\forall ~{1 \le i \le {\mathbb {S}}}\).
Let \({\mathcal {X}}\) be a genome such that \({\mathcal {X}}\subset {\mathcal {G}}\) or \({\mathcal {X}}\subset {\mathcal {H}}\). In \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}})\), we are only going to count an occurrence of \({\mathcal {X}}\) in \({\mathcal {G}}\) if it is a subgenome of some block of \({\mathbb {S}}\). Similarly, we are only going to count an occurrence of \({\mathcal {X}}\) in \({\mathcal {H}}\) if it is a subgenome of some block of \({\mathbb {P}}\).
Note that, the counted occurrences of \({\mathcal {X}}\) in \({\mathcal {G}}\) are in a onetoone correspondence with the counted occurrences of \({\mathcal {H}}\). More precisely, for a subgenome \({\mathbb {S}}_k^{i,j}\) of a block \({\mathbb {S}}_k\), such that \({\mathbb {S}}_k^{i,j} = {\mathcal {X}}\) there is a subgenome \({\mathbb {P}}_{\phi _k}^{i,j}\) of a block \({\mathbb {P}}_{\phi _k}\), such that \({\mathbb {P}}_{\phi _k}^{i,j} = {\mathcal {X}}\). Conversely, for a subgenome \({\mathbb {P}}_{\phi _k}^{i,j}\) of a block \({\mathbb {P}}_{\phi _k}\), such that \({\mathbb {P}}_{\phi _k}^{i,j} = {\mathcal {X}}\), there is a subgenome \({\mathbb {S}}_{k}^{i,j}\) of a block \({\mathbb {S}}_{k}\), such that \({\mathbb {S}}_{k}^{i,j} = {\mathcal {X}}\). Consequently, \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\), for every genome \({\mathcal {X}}\), such that \({\mathcal {X}}\subset {\mathcal {G}}\) or \({\mathcal {X}}\subset {\mathcal {H}}\).
Now we prove that if \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\) then the third condition is satisfied. By contradiction let us assume that there is no onetoone correspondence between blocks of \({\mathbb {S}}\) and blocks of \({\mathbb {P}}\).
The impossibility of a correspondence may happen by four reasons: (i) there is a block in \({\mathbb {S}}\) that is not equal to any block of \({\mathbb {P}}\); (ii) there is a genome \({\mathcal {X}}\) correspondent to r blocks of \({\mathbb {S}}\), but \(\ell < r\) blocks of \({\mathbb {P}}\); (iii) there is a block in \({\mathbb {P}}\) not equal to any block of \({\mathbb {S}}\); (iv) there is a genome \({\mathcal {X}}\) correspondent to r blocks of \({\mathbb {P}}\), but \(\ell < r\) blocks of \({\mathbb {S}}\). Without loss of generality, we consider only the first two cases.
In case (i), assume that \({\mathbb {S}}_j\) is the biggest block of \({\mathbb {S}}\) not equal to any block of \({\mathbb {P}}\). As \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathbb {S}}_j) = 0\), we have \(\sum _{i = 1}^{{\mathbb {S}}} \texttt {subgen}({\mathbb {S}}_i,{\mathbb {S}}_j) = \sum _{i = 1}^{{\mathbb {P}}} \texttt {subgen}({\mathbb {P}}_i,{\mathbb {S}}_j)\). Consequently, \({\mathbb {P}}\) must have a copy of \({\mathbb {S}}_j\) in one of its blocks. Let \({\mathbb {P}}_s\) be a block with such copy, i.e., \({\mathbb {S}}_j \subset {\mathbb {P}}_s\). If \({\mathbb {P}}_s \ne {\mathbb {S}}_j\), then \({\mathbb {S}}\) must have a copy of \({\mathbb {P}}_s\), because \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathbb {P}}_s) = 0\). This means that \({\mathbb {S}}\) has at least two copies of \({\mathbb {S}}_j\) and we must have another copy of \({\mathbb {S}}_j\) in \({\mathbb {P}}\). Following that argument eventually \({\mathbb {P}}\) must have a block equal to \({\mathbb {S}}_j\), contradicting the assumption of case (i).
In case (ii) we can establish a correspondence between the \(\ell\) blocks of \({\mathbb {P}}\) and some of the r blocks of \({\mathbb {S}}\). We have at least one block of \({\mathbb {S}}\) without a correspondent in \({\mathbb {P}}\). If we ignore the blocks with correspondences when calculating the weights, the same argument of case (i) leads to a contradiction. \(\square\)
Given two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\), we can easily construct a pair of genomes sequences \(({\mathbb {S}}, {\mathbb {P}})\) satisfying the first two conditions of direct intergenic partition. We just have to choose which intergenic regions of \({\mathcal {G}}\) and \({\mathcal {H}}\) will be the breakpoints of \({\mathbb {S}}\) and \({\mathbb {P}}\), respectively. By LemmaÂ 12, to ensure that \(({\mathbb {S}}, {\mathbb {P}})\) is a direct intergenic partition of \({\mathcal {G}}\) and \({\mathcal {H}}\), we must choose the breakpoints such that \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\) for all genomes \({\mathcal {X}}\) of \({\mathcal {G}}\) or \({\mathcal {H}}\).
Let \({\mathbf {T}}_{{\mathcal {G}},{\mathcal {H}}}\) be the set of all genomes \({\mathcal {X}}\), such that \({\mathcal {X}}\subset {\mathcal {G}}\) or \({\mathcal {X}}\subset {\mathcal {H}}\), and \(\texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}}) \ne 0\) and consider the subset \({{\mathbf{T}}_{{{\mathcal{G}}},{{\mathcal{H}}}}^{{{\mathbf{min}}}}} = \{ {\mathcal{X}} \in {{\mathbf{T}}_{{{\mathcal{G}}},{\mathcal{H}}}} {\mathcal{Y}\,\not\subset \mathcal{X}},\forall {\mathcal{Y}} \in {{\mathbf{T}}_{{{\mathcal{G}}},{\mathcal{H}}}} ,{\mathcal{Y}} \ne {\mathcal{X}}\}\). Note that, to include a breakpoint in some occurrence of a genome \({\mathcal {Y}}\in {\mathbf {T}}_{{\mathcal {G}},{\mathcal {H}}} \setminus {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\), it suffices to include a breakpoint in the correspondent occurrence of a genome \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}, {\mathcal {X}}\subset {\mathcal {Y}}\). For that reason, we start by including breakpoints in elements of \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\). In fact, the following lemma ensures that we must include at least one breakpoint for each element of \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\).
Lemma 13
In order to construct a direct intergenic partition \(({\mathbb {S}}, {\mathbb {P}})\) of two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\), we must include a breakpoint in at least one copy of every element \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\).
Proof
For a genome \({\mathcal {X}}\in {\mathbf {T}}_{{\mathcal {G}},{\mathcal {H}}}\), let \(k = \texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}})\). To ensure that \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\), if \(k > 0\) then we must include breakpoints in at least k copies of \({\mathcal {X}}\) in \({\mathcal {G}}\), otherwise, if \(k < 0\), we must include breakpoints in at least \(k\) copies of \({\mathcal {X}}\) in \({\mathcal {H}}\). As \(\texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}}) \ne 0\), we must include at least one breakpoint in \({\mathcal {G}}\) or in \({\mathcal {H}}\), and the lemma follows. \(\square\)
It may be necessary to include a breakpoint in more than one occurrence of a genome \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\). We define \(\texttt {break}({\mathcal {X}})\) as the breakpoint associated with the genome \({\mathcal {X}}\), and when we include a breakpoint in an occurrence of \({\mathcal {X}}\) we always select a breakpoint equivalent to \(\texttt {break}({\mathcal {X}})\).
To include the breakpoints, we not only must know the genomes contained in \({\mathcal {G}}\) or \({\mathcal {H}}\) with initially nonzero weight, but also keep track of genomes that acquire a nonzero weight after the inclusion of a breakpoint. For that, we generalize the sets \({\mathbf {T}}_{{\mathcal {G}},{\mathcal {H}}}\) and \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) to consider genome sequences. Given two genome sequences \({\mathbb {S}}\) and \({\mathbb {P}}\), the set \({\mathbf {T}}_{{\mathbb {S}},{\mathbb {P}}}\) comprises of genomes \({\mathcal {X}}\), such that \({\mathcal {X}}\subset {\mathbb {S}}_i\), for \(1 \le i \le {\mathbb {S}}\), or \({\mathcal {X}}\subset {\mathbb {P}}_j\), for \(1 \le j \le {\mathbb {P}}\), and \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) \ne 0\). Additionally, we have the set \({\mathbf {T}}^{\mathbf {min}}_{{\mathbb {S}},{\mathbb {P}}} = \{{\mathcal {X}}\in {\mathbf {T}}_{{\mathbb {S}},{\mathbb {P}}} {\mathcal {Y}}\not \subset {\mathcal {X}}, \forall {\mathcal {Y}}\in {\mathbf {T}}_{{\mathbb {S}},{\mathbb {P}}}, {\mathcal {Y}}\ne {\mathcal {X}}\}\).
Let us define \(\texttt {break}({\mathcal {X}})\) for a genome \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathbb {S}},{\mathbb {P}}}\). If \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\), \(\texttt {break}({\mathcal {X}})\) is already defined, otherwise, there must be at least one breakpoint included in some occurrence of \({\mathcal {X}}\) in \({\mathcal {G}}\) or \({\mathcal {H}}\), so \(\texttt {break}({\mathcal {X}})\) is equivalent to the first breakpoint included in some occurrence of \({\mathcal {X}}\).
The algorithm that selects the breakpoints (AlgorithmÂ 1) works as follows. Initially we consider two sequences \({\mathbb {S}}^0 = [{\mathcal {G}}]\) and \({\mathbb {P}}^0 = [{\mathcal {H}}]\), each with a single block. At the ith step, we produce the sequences \({\mathbb {S}}^i\) and \({\mathbb {P}}^i\) including a breakpoint in the sequences \({\mathbb {S}}^{i1}\) and \({\mathbb {P}}^{i1}\) based on the following rules:

The breakpoint is included in an occurrence of a genome \({\mathcal {X}}\in \mathbf {T}^{\mathbf {min}}_{{\mathbb {S}}^{\mathbf {i1}},{\mathbb {P}}^{\mathbf {i1}}}\).

If \(\texttt {weight}({\mathbb {S}}^{i1},{\mathbb {P}}^{i1},{\mathcal {X}}) > 0\), the selected occurrence of \({\mathcal {X}}\) must come from \({\mathcal {G}}\).

If \(\texttt {weight}({\mathbb {S}}^{i1},{\mathbb {P}}^{i1},{\mathcal {X}}) < 0\), the selected occurrence of \({\mathcal {X}}\) must come from \({\mathcal {H}}\).

The selected breakpoint must be equivalent to \(\texttt {break}({\mathcal {X}})\).
The algorithm continues until \(\texttt {weight}({\mathbb {S}}^{i},{\mathbb {P}}^{i},{\mathcal {X}}) = 0\) for all genomes \({\mathcal {X}}\) of \({\mathcal {G}}\) or \({\mathcal {H}}\), i.e., until \(({\mathbb {S}}^{i},{\mathbb {P}}^{i})\) becomes a direct intergenic partition.
Let us briefly discuss the time complexity of AlgorithmÂ 1. Let n be the size of the input strings. First, we consider the complexity to build \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\). Using the suffix tree data structure [29] (constructed in time O(n)), \(\texttt {subgen}({\mathcal {G}},{\mathcal {X}})\) is computed in O(n) time, and, consequently, so is \(\texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}})\). Similarly, for a genome \({\mathcal {Y}}\), we can recover the genomes \({\mathcal {X}}\) contained in \({\mathcal {G}}\) or \({\mathcal {H}}\), such that \({\mathcal {Y}}\subset {\mathcal {X}}\), in O(n) time. Since there are \(2n^2\) subgenomes of \({\mathcal {G}}\) and \({\mathcal {H}}\), the set \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) can be constructed in \(O(n^3)\) time. We can also store which subgenomes belong to the set \({\mathbf {T}}^{\mathbf {min}}_{{\mathbb {S}}^{\mathbf {i}},{\mathbb {P}}^{\mathbf {i}}}\) in a suffix tree allowing the update of \(\mathbf {T}^{\mathbf {min}}_{{\mathbb {S}}^{\mathbf {i}},{\mathbb {P}}^{\mathbf {i}}}\) in O(n) time. Additionally, we can store the known breakpoints in a binary search tree so it is possible to recover \(\texttt {break}({\mathcal {X}})\) in \(O(n\log n)\) time. The initialization of AlgorithmÂ 1 (lines 1 to 4) takes \(O(n^3)\) time, the loop from lines 5 to 16 is repeated at most O(n) times, because there are at most 2n breakpoints, and each iteration takes at most \(O(n \log n)\) time, since searching the breakpoint takes time \(O(n \log n)\) and updating \(\mathbf {T}^{\mathbf {min}}_{{\mathbb {S}}^{\mathbf {i}},{\mathbb {P}}^{\mathbf {i}}}\) takes linear time. Consequently, AlgorithmÂ 1 has time complexity \(O(n^3)\).
Example 3
Execution of AlgorithmÂ 1 with genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P,\breve{P})\). In a genome \({\mathcal {X}}\), the intergenic region correspondent to \(\texttt {break}({\mathcal {X}})\) is marked in bold.
Lemma 14
AlgorithmÂ 1 produces a direct intergenic partition of two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P, \breve{P})\), including at most \(2k{\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) breakpoints, where \(k = occ(S)\).
Proof
Initially, we show that the algorithm stops producing a direct intergenic partition, i.e., eventually \(\texttt {weight}({\mathbb {S}}^{i},{\mathbb {P}}^{i},{\mathcal {X}}) = 0\). At every step we reduce the occurrence of at least one genome in \({\mathbb {S}}^{i}\) or in \({\mathbb {P}}^{i}\) and, while \(\texttt {weight}({\mathbb {S}}^{i},{\mathbb {P}}^{i},{\mathcal {X}}) \ne 0\), there is an element in \({\mathbf {T}}^{\mathbf {min}}_{{\mathbb {S}}^{\mathbf {i}},{\mathbb {P}}^{\mathbf {i}}}\) where we can insert a breakpoint. As the number of occurrences of genomes in \({\mathbb {S}}^{i}\) and in \({\mathbb {P}}^{j}\) is finite, integer, nonnegative, and always decreasing, eventually the algorithm stops with \(\texttt {weight}({\mathbb {S}}^{i},{\mathbb {P}}^{i},{\mathcal {X}}) = 0\).
Now, we show that we include at most \(2k{\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) breakpoints. Every breakpoint is included in an occurrence of a genome from \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) or is equivalent to an already included breakpoint. Consequently, every breakpoint is equivalent to \(\texttt {break}({\mathcal {X}})\) for some \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\). As there is a maximum of k copies for each gene in \({\mathcal {G}}\) and a maximum of k copies for each gene in \({\mathcal {H}}\), every breakpoint is equivalent to a maximum of \(2k1\) other breakpoints, so we include at most \(2k{\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) breakpoints. \(\square\)
Theorem 7
Â AlgorithmÂ 1 has an approximation factor of 2k for the MCISP problem between the genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P, \breve{P})\), where \(k = occ(S)\).
Proof
Directly from lemmasÂ 13 andÂ 14. \(\square\)
Corollary 1
AlgorithmÂ 1 has an approximation factor of 2k for the MCSP problem between the string S and P, where \(k = occ(S)\).
Proof
Using the same reduction presented in TheoremÂ 2, but considering the optimization versions of the problems, we can apply AlgorithmÂ 1 to the MCSP problem and ensure the approximation factor 2k. \(\square\)
It is worth noting that we improve the previously known \(\Theta (k)\) approximation of MCSP [20] from 4k to 2k.
Corollary 2
AlgorithmÂ 1, in combination with the algorithm described in LemmaÂ 9, ensures an asymptotic approximation factor of 6k for the ITD problem between the genomes \(\mathcal{G} = (S,\breve{S})\ and \ \mathcal{H} = (P,\breve{P})\), where \(k = occ(S)\).
Proof
2kapproximation for RMCISP
We can adapt AlgorithmÂ 1 to approximate the RMCISP problem. The main point of the adaptation is to use congruence of genomes instead of equality and substitute the relation \({\mathcal {X}}\subset {\mathcal {G}}\) with a new relation \({\mathcal {X}}\sqsubset {\mathcal {G}}\), such that \({\mathcal {X}}\sqsubset {\mathcal {G}}\) if \({\mathcal {X}}\subset {\mathcal {G}}\) or \(rev({\mathcal {X}}) \subset {\mathcal {G}}\). Using this relation, the functions and sets from the previous section must be adapted:

\(\texttt {subgen}({\mathcal {G}},{\mathcal {X}})\) is now the number of subgenomes of \({\mathcal {G}}\) congruent to \({\mathcal {X}}\) (i.e., equal to \({\mathcal {X}}\) or to \(rev({\mathcal {X}})\)). Consequently, \(\texttt {weight}\) considers now this new \(\texttt {subgen}\) function.

\({\mathbf {T}}_{{\mathcal {G}},{\mathcal {H}}}\) is now the set of all genomes \({\mathcal {X}}\), such that \({\mathcal {X}}\sqsubset {\mathcal {G}}\) or \({\mathcal {X}}\sqsubset {\mathcal {H}}\), and \(\texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}}) \ne 0\). Additionally, \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}} = \{{\mathcal {X}}\in {\mathbf {T}}_{{\mathcal{G}},{\mathcal {H}}} {\mathcal{Y}}/ \!\!\kern7pt \sqsubset {\mathcal {X}}, \forall {\mathcal {Y}}\in \mathbf{T}_{{\mathcal {G}},{\mathcal {H}}, {\mathcal {Y}}\ne{\mathcal {X}}} \}\) (\({\mathbf {T}}^{\mathbf {min}}_{{\mathbb {S}},{\mathbb {P}}}\) is adapted in a similar manner).
Some other adaptations must be made on AlgorithmÂ 1. Line 5 must check if \(({\mathbb {S}},{\mathbb {P}})\) is a reverse intergenic partition instead of a direct intergenic partition. In lines 9 and 13, the block must contain an occurrence of \({\mathcal {X}}\) or \(rev({\mathcal {X}})\), and the breakpoint in lines 10 and 14 must be congruent to \(\texttt {break}({\mathcal {X}})\) instead of equivalent to \(\texttt {break}({\mathcal {X}})\). Next, we show analogous results to the ones presented in the previous section.
Lemma 15
Â Given two genomes \({\mathcal {G}}= (S,\breve{S})\), \({\mathcal {H}}= (P,\breve{P})\), and a pair \(({\mathbb {S}}, {\mathbb {P}})\) of genome sequences, such that it satisfies conditions 1 and 2 of reverse intergenic partition, we have that \(({\mathbb {S}}, {\mathbb {P}})\) satisfies condition 3 if and only if \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\) for all genomes \({\mathcal {X}}\), such that \({\mathcal {X}}\sqsubset {\mathcal {G}}\) or \({\mathcal {X}}\sqsubset {\mathcal {H}}\).
Proof
First, we argue that if the third condition is satisfied then \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\). Assuming the third condition is satisfied, we have a permutation \(\phi\), from the numbers 1 to \({\mathbb {S}}\), such that \({\mathbb {P}}_i \cong {\mathbb {S}}_{\phi _i}\), \(\forall ~{1 \le i \le {\mathbb {S}}}\).
Let \({\mathcal {X}}\) be a genome such that \({\mathcal {X}}\sqsubset {\mathcal {G}}\) or \({\mathcal {X}}\sqsubset {\mathcal {H}}\). In \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}})\), we are only going to count an occurrence of \({\mathcal {X}}\) or \(rev({\mathcal {X}})\) in \({\mathcal {G}}\) if it is a subgenome of some block of \({\mathbb {S}}\). Similarly, we are only going to count an occurrence of \({\mathcal {X}}\) or \(rev({\mathcal {X}})\) in \({\mathcal {H}}\) if it is a subgenome of some block of \({\mathbb {P}}\).
Note that the counted occurrences of \({\mathcal {X}}\) or \(rev({\mathcal {X}})\) in \({\mathcal {G}}\) are in a onetoone correspondence with the counted occurrences in \({\mathcal {H}}\). More precisely, for a subgenome \({\mathbb {S}}_k^{i,j}\) of a block \({\mathbb {S}}_k\) such that \({\mathbb {S}}_k^{i,j} \cong {\mathcal {X}}\), there is a subgenome \({\mathbb {P}}_{\phi _k}^{i,j}\) of a block \({\mathbb {P}}_{\phi _k}\), such that \({\mathbb {P}}_{\phi _k}^{i,j} \cong {\mathcal {X}}\). Conversely, for a subgenome \({\mathbb {P}}_{\phi _k}^{i,j}\) of a block \({\mathbb {P}}_{\phi _k}\), such that \({\mathbb {P}}_{\phi _k}^{i,j} \cong {\mathcal {X}}\) there is a subgenome \({\mathbb {S}}_{k}^{i,j}\) of a block \({\mathbb {S}}_{k}\), such that \({\mathbb {S}}_{k}^{i,j} \cong {\mathcal {X}}\). Consequently, \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\) for every genome \({\mathcal {X}}\), such that \({\mathcal {X}}\sqsubset {\mathcal {G}}\) or \({\mathcal {X}}\sqsubset {\mathcal {H}}\).
Now we prove that if \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\) then the third condition is satisfied. By contradiction let us assume that there is no onetoone correspondence between blocks of \({\mathbb {S}}\) and blocks of \({\mathbb {P}}\).
The impossibility of a correspondence may happen by four reasons: (i) there is a block in \({\mathbb {S}}\) that is not congruent to any block of \({\mathbb {P}}\); (ii) there is a genome \({\mathcal {X}}\) congruent to r blocks of \({\mathbb {S}}\), but it is congruent to \(\ell < r\) blocks of \({\mathbb {P}}\); (iii) there is a block in \({\mathbb {P}}\) not congruent to any block of \({\mathbb {S}}\); (iv) there is a genome \({\mathcal {X}}\) congruent to r blocks of \({\mathbb {P}}\), but it is congruent to \(\ell < r\) blocks of \({\mathbb {S}}\). Without loss of generality, we consider only the first two cases.
In case (i), assume that \({\mathbb {S}}_j\) is the biggest block of \({\mathbb {S}}\) not congruent to any block of \({\mathbb {P}}\). As \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathbb {S}}_j) = 0\), we have \(\sum _{i = 1}^{{\mathbb {S}}} \texttt {subgen}({\mathbb {S}}_i,{\mathbb {S}}_j) = \sum _{i = 1}^{{\mathbb {P}}} \texttt {subgen}({\mathbb {P}}_i,{\mathbb {S}}_j)\). Consequently, \({\mathbb {P}}\) must have a copy of \({\mathbb {S}}_j\) or \(rev({\mathbb {S}}_j)\) in one of its blocks. Let \({\mathbb {P}}_s\) be a block with such copy, i.e., \({\mathbb {S}}_j \sqsubset {\mathbb {P}}_s\). If \({\mathbb {P}}_s \not \cong {\mathbb {S}}_j\), then \({\mathbb {S}}\) must have a copy of \({\mathbb {P}}_s\) or \(rev({\mathbb {P}}_s\)), because \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathbb {P}}_s) = 0\). This means that \({\mathbb {S}}\) has at least two copies of \({\mathbb {S}}_j\) or \(rev({\mathbb {S}}_j)\) and we must have another copy of \({\mathbb {S}}_j\) or \(rev({\mathbb {S}}_j)\) in \({\mathbb {P}}\). Following that argument, eventually \({\mathbb {P}}\) must have a block equal to \({\mathbb {S}}_j\) or \(rev({\mathbb {S}}_j)\), contradicting the assumption of case (i).
In case (ii) we can establish a correspondence between the \(\ell\) blocks of \({\mathbb {P}}\) and some of the r blocks of \({\mathbb {S}}\). We have at least one block of \({\mathbb {S}}\) without a correspondent in \({\mathbb {P}}\). If we ignore the blocks with correspondences when calculating the weights, the same argument of case (i) leads to a contradiction. \(\square\)
Lemma 16
In order to construct a reverse intergenic partition \(({\mathbb {S}}, {\mathbb {P}})\) of two genomes \({\mathcal {G}}\) and \({\mathcal {H}}\), we must include a breakpoint in at least one copy of every element \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\).
Proof
For a genome \({\mathcal {X}}\in {\mathbf {T}}_{{\mathcal {G}},{\mathcal {H}}}\), let \(k = \texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}})\). To ensure that \(\texttt {weight}({\mathbb {S}},{\mathbb {P}},{\mathcal {X}}) = 0\), if \(k > 0\), then we must include breakpoints in at least k copies of \({\mathcal {X}}\) or \(rev({\mathcal {X}})\) in \({\mathcal {G}}\), otherwise, if \(k < 0\), we must include breakpoints in at least \(k\) copies of \({\mathcal {X}}\) or \(rev({\mathcal {X}})\) in \({\mathcal {H}}\). As \(\texttt {weight}({\mathcal {G}},{\mathcal {H}},{\mathcal {X}}) \ne 0\), we must include at least one breakpoint in \({\mathcal {G}}\) or in \({\mathcal {H}}\), and the lemma follows. \(\square\)
Lemma 17
The adaptation of AlgorithmÂ 1 produces a direct intergenic partition of two genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P, \breve{P})\), including at most \(2k{\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) breakpoints, where \(k = occ(S)\).
Proof
We know the algorithm stops producing a reverse intergenic partition for the same reason stated in LemmaÂ 14. Additionally, every breakpoint is included in an occurrence of a genome from \({\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) or is congruent to an already included breakpoint. Consequently, every breakpoint is congruent to \(\texttt {break}({\mathcal {X}})\) for some \({\mathcal {X}}\in {\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\). As there is a maximum of k copies for each gene in \({\mathcal {G}}\) and a maximum of k copies for each gene in \({\mathcal {H}}\), every breakpoint is congruent to a maximum of \(2k1\) other breakpoints, so we include at most \(2k{\mathbf {T}}^{\mathbf {min}}_{{\mathcal {G}},{\mathcal {H}}}\) breakpoints. \(\square\)
Theorem 8
The adaptation of AlgorithmÂ 1 has an approximation factor of 2k for the RMCISP problem between the genomes \({\mathcal {G}}= (S,\breve{S})\) and \({\mathcal {H}}= (P, \breve{P})\), where \(k = occ(S)\).
Proof
Directly from lemmasÂ 16 andÂ 17. \(\square\)
Corollary 3
The adaptation of AlgorithmÂ 1 has an approximation factor of 2k for the RMCSP problem between the string S and P, where \(k = occ(S)\).
Proof
Applying a reduction, as in CorollaryÂ 1, we can apply the adaptation of AlgorithmÂ 1 to the RMCSP problem and ensure the approximation factor 2k. \(\square\)
It is worth noting that we improve the previously known \(\Theta (k)\) approximation of RMCSP [20] from 8k to 2k.
Corollary 4
The adaptation of AlgorithmÂ 1 combined with the algorithm described by Brito et al. [24] for the Sorting Permutations by Intergenic Reversals problem ensures an approximation factor of 8k for the IRD problem between the strings S and P, where \(k = occ(S)\).
Proof
Directly from theoremsÂ 5 andÂ 8. \(\square\)
Corollary 5
The adaptation of AlgorithmÂ 1 combined with the algorithm described by Brito et al. [24] for the Sorting Permutations by Intergenic Reversals and Transpositions problem ensures an approximation factor of 9k for the IRTD problem between the genomes \(\mathcal{G} = (S,\breve{S})\ and \ \mathcal{H} = (P,\breve{P})\), where \(k = occ(S)\).
Proof
Experimental results
This section presents the results of our algorithms applied in databases of simulated genomes. Our partition algorithm was implemented in Haskell and the experiments were conducted on a PC equipped with a 2.3GHz IntelÂ® XeonÂ® CPU E52470 v2, with 40 cores and 32 GB of RAM, running Ubuntu 18.04.2. We constructed one database for each rearrangement model: TRANS for intergenic transpositions, REV for intergenic reversals, and REVTRANS for intergenic reversals and transpositions. Each database has 40 sets of 100 genome pairs, and each set is defined by the size m of its correspondent alphabet and a number o of applied operations. Each pair of genomes was constructed as follows:

1
For the source genome \({\mathcal {G}}= (S,\breve{S})\), we constructed the string S by selecting 100 characters from a uniform distribution of m characters (correspondent to an alphabet \(\Sigma\), such that \(\Sigma _S \subset \Sigma\)), each character could be selected more than once. Afterwards, we constructed the list \(\breve{S}\) by randomly choosing each intergenic region from integers in the interval [0,Â 100], each integer had the same probability of being chosen.

2
For the target genome \({\mathcal {H}}= (P,\breve{P})\), we apply o operations in S. The type of operation depends on the database. In the TRANS database, we applied o intergenic transpositions \(\tau ^{(i,j,k)}_{(x,y,z)}\), where the values of i, j, k, x, y, and z were randomly chosen. In the REV database, we applied o intergenic reversals \(\rho ^{(i,j)}_{(x,y)}\), where the values i, j, x, and y were randomly chosen. In the REVTRANS database we applied \(\left\lfloor \frac{o}{2} \right\rfloor\) intergenic reversals and \(\left\lceil \frac{o}{2} \right\rceil\) intergenic transpositions. These operations were aplied in a random order and the parameters of each one were randomly chosen.

3
We performed the extension process by adding two extra characters in the extremities of the source and target genomes to ensure that they are cotailed. Note that both genomes have a final size of 102.
In these tests, for each pair of genomes from the TRANS database, we computed the direct intergenic partition from our algorithm, and for each pair of genomes from REV and TRANSREV databases, we computed the reverse intergenic partition from our algorithm. Afterwards, we produced 100 orthologous assignments capable of inducing each partition. We ensured that each possible assignment had the same probability of being chosen.
For each assignment, we computed the distance between the genomes using the assignment. The distances are computed by a different algorithm for each database: for the TRANS database, we used the algorithm described in LemmaÂ 9 (implemented in C++); for the REV and REVTRANS databases, we used the algorithms for reversals and reversals and transpositions from Brito et al. [24] (implemented in Python), respectively.
To compare with the distances that do not consider the partitions, we also produced, for each genome pair, 100 assignments that do not take into account the partitions. We computed the distances for each of these assignments as well.
TablesÂ 2,Â 3, andÂ 4 show the distances for the TRANS, REV, and REVTRANS databases, respectively. Each line corresponds to a set of 100 genome pairs; the first two columns indicate, respectively, the number of operations and the size of the alphabet used to generated the set. The following seven columns present the results considering the partitions. For each genome pair, we consider the minimum and average distance from all 100 assignments. For each set, we report the minimum (Min.), average (Avg.), and maximum (Max.) for those two values. We also report the average time, in seconds, necessary to produce the partition and compute the 100 distances. The last seven columns present the same values for the distances that do not consider the partitions. In that case, the time reported refers only to calculating the distances.
FiguresÂ 8,Â 9, andÂ 10 show box plots with the average distances for the TRANS, REV, and REVTRANS databases, respectively.
From TableÂ 2 and Fig.Â 8, we see that in the TRANS database the distances considering the partitions are lower than the distances that do not take the partitions into account. For sets generated with 25 transpositions, the minimum distances without partition are, on average, at least \(39\%\) higher than the minimum distances with partition. For the average distance, the difference is at least \(60\%\) on average. The difference between the distances decreases as the number of operations or the size of the alphabet increases. For sets generated with 100 transpositions and alphabet of size 10, the minimum and average distances without partition are on average \(8\%\) higher than the minimum or average distances with partition. For sets generated with 100 transpositions and alphabet of size 100, the minimum distances without partition are on average \(3\%\) higher than the minimum distances with partition. For the average distance, the difference is \(5\%\) on average. It is worth mentioning that with 100 operations we have an extreme case, where each origin genome is considerably shuffled to produce the corresponding target genome of the pair. It is also interesting that with smaller alphabets, when the number of replicas increases, the advantage of using the partitions also increases. Looking at the running times, we see that, for the transposition model, we must pay a small cost to produce better distances using the partitions.
From TableÂ 3 and Fig.Â 9, we see that in the REV database the distances considering the partitions are still lower than the distances that do not take the partitions into account, and the differences between distances are higher for this database. For sets generated with 25 reversals, the minimum distances without partition are, on average, at least \(149\%\) higher than the minimum distances with partition. For the average distance, the difference is at least \(173\%\) on average. Again, the difference between the distances decreases as the number of operations or the size of the alphabet increases, however, even in sets generated with 100 reversals and alphabet of size 100, the minimum distances with partition are on average \(14\%\) higher than the minimum distances with partition. For the average distance, the difference is \(16\%\) on average. In the REV database, we see that the running time considering the partition was lower than the running time without the partition. This happened because the 100 runs of the distance algorithm were slower than the partition algorithm, and using assignments that consider the partition tends to reduce the running time of the distance algorithm as the number of breakpoints tends to be smaller than the number of breakpoints considering a random assignment.
From TableÂ 4 and Fig.Â 10, we see that in the REVTRANS database the distances considering the partitions are still lower than the distances that do not take the partitions into account. The differences were higher than those from the TRANS database, but smaller than those from the REV database. For sets generated with 25 operations, the minimum distances without partition are, on average, at least \(90\%\) higher than the minimum distances with partition. For the average distance, the difference is at least \(105\%\) on average. Again, the difference between the distances decreases as the number of operations or the size of the alphabet increases. In sets generated with 100 operations and alphabet of size 100, the minimum distances with partition are on average \(7\%\) higher than the minimum distances with partition. For the average distance, the difference is \(10\%\) on average. For the set generated with at most 75 operations, the running time considering the partition was lower than the running time without the partition.
Considering all results, we see that the partitions improve the distances and the improvement is higher for smaller alphabets or closer genomes (genomes that can be turned into one another with fewer operations). We can also see that with partitions, we have either a small cost in the running time, when the distance algorithm takes less time than the partition algorithm, or a large gain in running time, when the distance algorithm takes more time than the partition algorithm.
Conclusion
We defined the intergenic transposition distance (ITD), the intergenic reversal distance (IRD), the intergenic reversal and transposition distance (IRTD), the minimum common intergenic string partition (MCISP), and the reverse minimum common intergenic string partition (RMCISP) problems. Next, we described a relation between the partition and distance problems and a \(\Theta (k)\)approximation for the MCISP and RMCISP problems ensuring a \(\Theta (k)\)approximation for the ITD, IRD, and IRTD problems. Our algorithm for the MCISP and RMCISP problems may also be applied to the MCSP and RMCSP problems, which do not consider intergenic regions, improving a previously known approximation. We also performed practical tests on simulated genomes, showing that the distances calculated considering the partitions were lower than the distances calculated without taking partitions into account.
As future works, one can extend our approach by considering the orientation of the genes. Additionally, one possible approach to overcome the balanced genome restriction is to consider nonconservative events, such as insertion and deletion, similarly to the work of Alexandrino et al. [30] with the Intergenic Reversal Distance without gene repetition.
Availability of data and materials
The algorithms and datasets generated during the current study are available in the following public repository: https://github.com/compbiogroup/ApproximationAlgorithmforRearrangementDistancesConsideringRepeatedGenesandIntergenicRegion.
References
Willing E, Stoye J, Braga MD. Computing the InversionIndel Distance. IEEE/ACM transactions on computational biology and bioinformatics. 2020.
Kahn C, Raphael B. Analysis of segmental duplications via duplication distance. Bioinformatics. 2008;24(16):i133â€“8.
Abdullah T, Faiza M, Pant P, Rayyan Akhtar M, Pant P. An analysis of single nucleotide substitution in genetic codonsâ€“probabilities and outcomes. Bioinformation. 2016;12(3):98â€“104.
Fertin G, Labarre A, Rusu I, Tannier Ã‰, Vialette S. Combinatorics of genome rearrangements. Computational molecular biology. London: The MIT Press; 2009.
Bergeron A, Mixtacki J, Stoye J. A Unifying View of Genome Rearrangements. In: International Workshop on Algorithms in Bioinformatics. Springer; 2006. p. 163â€“73.
Sankoff D. Genome rearrangement with gene families. Bioinformatics. 1999;15(11):909â€“17.
Chen X, Zheng J, Fu Z, Nan P, Zhong Y, Lonardi S, et al. Assignment of orthologous genes via genome rearrangement. IEEE/ACM Trans Comput Biol Bioinform. 2005;2(4):302â€“15.
Siqueira G, Brito KL, Dias U, Dias Z. Heuristics for Genome Rearrangement Distance with Replicated Genes. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 2021; p. 1.
Biller P, GuÃ©guen L, Knibbe C, Tannier E. Breaking good: accounting for fragility of genomic regions in rearrangement distance estimation. Genome Biol Evol. 2016;8(5):1427â€“39.
Biller P, Knibbe C, Beslon G, Tannier E. Comparative Genomics on Artificial Life. In: Pursuit of the Universal. Springer International Publishing; 2016. p. 35â€“44.
Bulteau L, Fertin G, Rusu I. Sorting by transpositions is difficult. SIAM J Discrete Math. 2012;26(3):1148â€“80.
Elias I, Hartman TA. 1.375approximation algorithm for sorting by transpositions. IEEE/ACM Trans Comput Biol Bioinfor. 2006;3(4):369â€“79.
Caprara A. Sorting permutations by reversals and eulerian cycle decompositions. SIAM J Discrete Math. 1999;12(1):91â€“110.
Berman P, Hannenhalli S, Karpinski M. 1.375Approximation Algorithm for Sorting by Reversals. In: Proceedings of the 10th Annual European Symposium on Algorithms (ESAâ€™2002). vol. 2461 of Lecture Notes in Computer Science. SpringerVerlag Berlin Heidelberg New York; 2002. p. 200â€“210.
Hannenhalli S, Pevzner PA. Transforming cabbage into turnip: polynomial algorithm for sorting signed permutations by reversals. J ACM. 1999;46(1):1â€“27.
Oliveira AR, Brito KL, Dias U, Dias Z. On the complexity of sorting by reversals and tanspositions problems. J Comput Biol. 2019;26:1223â€“9.
Rahman A, Shatabda S, Hasan M. An approximation algorithm for sorting by reversals and transpositions. J Discrete Algorithms. 2008;6(3):449â€“57.
Chen X. On sorting unsigned permutations by doublecutandjoins. J Combinatorial Optim. 2013;25(3):339â€“51.
Walter MEMT, Dias Z, Meidanis J. Reversal and Transposition Distance of Linear Chromosomes. In: Proceedings of the 5th International Symposium on String Processing and Information Retrieval (SPIREâ€™1998). Los Alamitos, CA, USA: IEEE Computer Society; 1998. p. 96â€“102.
Kolman P, WaleÅ„ T. Reversal Distance for Strings with Duplicates: Linear Time Approximation Using Hitting Set. In: Proceedings of the 4th International Workshop on Approximation and Online Algorithms (WAOAâ€™2006). Springer Berlin Heidelberg; 2007. p. 279â€“289.
Shapira D, Storer JA. Edit distance with move operations. Journal of Discrete Algorithms. 2007;5(2):380â€“92.
Radcliffe AJ, Scott AD, Wilmer EL. Reversals and transpositions over finite alphabets. SIAM J Discrete Math. 2005;19(1):224â€“44.
Oliveira AR, Jean G, Fertin G, Brito KL, Dias U, Dias Z. A 3.5Approximation Algorithm for Sorting by Intergenic Transpositions. In: Algorithms for Computational Biology. Springer International Publishing; 2020. p. 16â€“28.
Brito KL, Jean G, Fertin G, Oliveira AR, Dias U, Dias Z. Sorting by genome rearrangements on both gene order and intergenic sizes. J Comput Biol. 2020;27(2):156â€“74.
Oliveira AR, Jean G, Fertin G, Brito KL, Dias U, Dias Z. Sorting Permutations by Intergenic Operations. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 2021; p. 1.
Kolman P, WaleÅ„ T. Approximating reversal distance for strings with bounded number of duplicates. Discrete Appl Math. 2007;155(3):327â€“36.
Cormode G, Muthukrishnan S. The string edit distance matching problem with moves. ACM Trans Algorithms. 2007;3(1):1â€“19.
Goldstein A, Kolman P, Zheng J. Minimum Common String Partition Problem: Hardness and Approximations. In: Proceedings of the 15th International Symposium on Algorithms and Computation (ISAACâ€™2004). Springer Berlin Heidelberg; 2005. p. 484â€“495.
Crochemore M, Lecroq T. Suffix Tree. In: Encyclopedia of Database Systems. US: Springer; 2009. p. 2876â€“80.
Alexandrino AO, Brito KL, Oliveira AR, Dias U, Dias Z. Reversal Distance on Genomes with Different Gene Content and Intergenic Regions Information. In: Algorithms for Computational Biology. vol. 12715. Springer International Publishing; 2021. p. 121â€“133.
Acknowledgements
This work was supported by the National Council of Technological and Scientific Development, CNPq (Grant 425340/20163), the CoordenaÃ§Ã£o de AperfeiÃ£oamento de Pessoal de NÃvel Superior  Brasil (CAPES)  Finance Code 001, and the SÃ£o Paulo Research Foundation, FAPESP (Grants 2013/082937, 2015/119379, 2017/126463, and 2019/273313).
Author information
Authors and Affiliations
Contributions
First draft: GS. Proofs: GS, AOA, and ARO. Final manuscript: GS, AOA, ARO, and ZD. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated in a credit line to the data.
About this article
Cite this article
Siqueira, G., Alexandrino, A.O., Oliveira, A.R. et al. Approximation algorithm for rearrangement distances considering repeated genes and intergenic regions. Algorithms Mol Biol 16, 21 (2021). https://doi.org/10.1186/s1301502100200w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1301502100200w
Keywords
 Genome rearrangement
 Intergenic regions
 Reversal