Two metrics on rooted unordered trees with labels.

BACKGROUND: The early development of a zygote can be mathematically described by a developmental tree. To compare developmental trees of different species, we need to define distances on trees. If children cells after a division are not distinguishable, developmental trees are represented by the space [Formula: see text] of rooted trees with possibly repeated labels, where all vertices are unordered. If children cells after a division are partially distinguishable, developmental trees are represented by the space [Formula: see text] of rooted trees with possibly repeated labels, where vertices can be ordered or unordered.
RESULTS: On [Formula: see text], the space of rooted unordered trees with possibly repeated labels, we define two metrics: the best-match metric and the left-regular metric, which show some advantages over existing methods. On [Formula: see text], the space of rooted labeled trees with ordered or unordered vertices, there is no metric, and we define a semimetric, which is a variant of the best-match metric. To compute the best-match distance between two trees, the expected time complexity and worst-case time complexity are both [Formula: see text], where n is the tree size. To compute the left-regular distance between two trees, the expected time complexity is [Formula: see text], and the worst-case time complexity is [Formula: see text].
CONCLUSIONS: For rooted labeled trees with (fully/partially) unordered vertices, we define metrics (semimetric) that have fast algorithms to compute and have advantages over existing methods. Such trees also appear outside of developmental biology, and such metrics can be applied to other types of trees which have more extensive applications, especially in molecular biology.

Background

In developmental biology, the early development of a zygote is a central topic. For most species, the zygote follows a highly deterministic process. For example, consider a zygote of Arabidopsis thaliana. In stage 1, the zygote divides asymmetrically along the apical-basal axis into two cells. In stage 2, the upper (apical) cell undergoes a symmetric horizontal (meridional) division, and the lower (basal) cell undergoes a vertical (equatorial) division. In stage 3, the upper two cells divide asymmetrically, and the lower two cells undergo symmetric vertical divisions. In stage 4, the upper four cells divide asymmetrically, the middle two cells do not divide, and the lower two cells undergo symmetric vertical divisions [1]. See Fig. 1 for illustrations of this process.

Fig. 1

Early development of an Arabidopsis thaliana zygote [1]. Each unit is a cell. A green line between two cells means these two cells were just generated by a symmetric horizontal division. A blue line between two cells means these two cells were just generated by a symmetric vertical division. A red line between two cells means these two cells were just generated by an asymmetric division. An orange circle in a cell means this cell did not divide during the last stage

A mathematical representation of the zygote’s early development is a developmental tree [2]. In this tree, each vertex represents a cell. Each cell has a label, representing the cell event it will perform, such as division (symmetric or asymmetric, horizontal or vertical), growth, and death. The root vertex is the zygote. Parent vertices (cells) and children vertices (cells) are linked by edges. Each level of this tree corresponds to all the cells at a given stage. See Fig. 2 for the developmental tree of Arabidopsis thaliana.

Fig. 2

The developmental tree of Arabidopsis thaliana, , corresponding to Fig. 1. Each vertex represents a cell, and its label represents the cell event it performs. Label X means symmetric horizontal division; label Z means symmetric vertical division; label W means asymmetric division; label S means the cell stays still and does not divide

Zygotes of different species can have different early developments. See Figs. 3 and 4 for the early development of a sea urchin zygote and the corresponding developmental tree [3]. Starting from the zygote, sea urchin and Arabidopsis thaliana are different in division plane and division symmetry, and the cell numbers at stage 4 are already different (16 vs. 14). To quantitatively study the development of different organisms, we need a mathematical method to compare different developmental trees.

Fig. 3

Early development of a sea urchin zygote [3]. Each unit is a cell. A green line between two cells means these two cells were just generated by a symmetric horizontal division. A red line between two cells means these two cells were just generated by an asymmetric division

Fig. 4

The developmental tree of sea urchin, , corresponding to Fig. 3. Each vertex represents a cell, and its label represents the cell event it performs. Label X means symmetric horizontal division; label W means asymmetric division

When we plot and compare developmental trees, we need to embed them in the plane, namely considering their planar embeddings. We put the zygote to the top, and its two children to the next lower level, and so on. An important question is: after a cell division, which child cell should be put to the left, and which to the right? In some situations, we cannot distinguish two children cells, and we can arbitrarily switch the position of these two children cells in the planar embedding. See Fig. 5 for equivalent planar embeddings of the same tree. Notice that when we switch cells in the planar embedding, the corresponding cell events are also switched. In some situations, we can distinguish two children cells from an asymmetric division or by which cell inherits the mother centriole [4]. Then we can set a rule to determine which child cell is the left child in the planar embedding, and we cannot switch these two children cells.

Fig. 5

An equivalent class of ordered trees, consisting of four equivalent ordered trees that differ by exchanging the left and right subtrees of some vertices

We start from the easier situation that we cannot distinguish children cells, so that in the planar embedding of the developmental tree, we can switch two subtrees for each vertex. Notice that a developmental tree has the zygote as its root, and different vertices can have the same label (cell event). The goal is to compare developmental trees.

In the language of graph theory, we need to define a metric on the space of rooted unordered trees with possibly repeated labels. Each tree has a root vertex, and each vertex has a label that is not necessarily unique. All vertices are unordered, meaning that we can switch left and right children in the planar embedding of each tree. Vertices and their labels are always associated, so that we do not distinguish a vertex and the label of a vertex. Therefore, when switching vertices, their labels are also switched. Such trees are not limited to developmental biology, but can be applied in various fields.

There are many metrics defined on trees, which can be roughly classified into three groups by their ideas: (1) Calculate the minimal operations needed to transform one tree into another, such as rearrangement distance [5], tree edit distance [6], edge rotation distance [7], and geodesic distance [8]. (2) Find the largest common structure of two trees, such as bottom-up distance [9] and subtree distance [10]. (3) Compare structures induced by the trees (e.g., splits or triple-vertices subtrees), such as Robinson-Foulds metric [11], matching cluster distance [12], and triples distance [13].

However, many existing methods have specific requirements on trees, so that they are not applicable in our case (rooted unordered trees with possibly repeated labels). Some methods require that different vertices have different labels, and different trees have the same label set [5, 7]. Some methods work for phylogenetic trees: only leaves vertices have labels; different vertices have different labels; different trees have the same label set [8, 11–13]. Some methods require that the trees are ordered [6].

In existing methods, the bottom-up distance [9] and the subtree distance [10] could work on rooted unordered trees with possibly repeated labels. The bottom-up distance between two trees is defined as , where are the tree sizes, and f is the size of the largest common forest of two trees. The subtree distance is defined almost the same as the bottom-up distance, except that f is the size of the largest common subtree of two trees. Both distances could be calculated in linear time [9, 14]. These two methods have some disadvantages. For example, they are not robust under small perturbations on labels, and they do not compare non-common structures. See the next section for detailed discussions.

We develop two new metrics that apply for rooted unordered trees with possibly repeated labels: the best-match metric and the left-regular metric . For two unordered trees, the best-match metric searches all their planar embeddings, and compares the most similar pair. To calculate the left-regular metric for two unordered trees, we apply a procedure to fix one planar embedding for each unordered tree (its “regular form”), and compare the regular forms of these two unordered trees. These two metrics take into account different similarities between labels and different weights concerning their positions. These two metrics, especially the best-match metric, consider any common structures and compare non-common structures. To compute the best-match distance between two trees (binary or general k-ary), the expected time complexity and the worst-case time complexity are both , where n is the tree size. To compute the left-regular distance between two trees (binary or not), the expected time complexity is , and the worst-case time complexity is .

The above discussions are for unordered trees, where all vertices are unordered. In some cases, we can distinguish two children cells, so that certain vertices are ordered. Then the space we need to consider consists of rooted trees with possibly repeated labels, where vertices can be ordered or unordered. This larger space has complicated structures that do not allow the existence of a proper metric. Existing methods and the left-regular metric introduced in this paper are not applicable. Nevertheless, the best-match metric can be slightly modified to become a semimetric that works in this scenario.

The main text consists of the following contents: compare existing methods and our new methods; introduce related terminologies in graph theory; define two metrics on the space of rooted unordered trees with possibly repeated labels; define a semimetric on the space of rooted trees with possibly repeated labels, where vertices can be ordered or unordered.

Comparison of existing methods and new methods

In this section, we compare the performance of existing methods and new methods on rooted unordered trees with possibly repeated labels, so as to explain the motivation to develop new methods. The examples used are illustrated in Figs. 6, 7 and 8. See Table 1 for a summary of these comparisons.

Fig. 6

Three trees , used to compare the bottom-up distance , the subtree distance , the best-match metric , and the left-regular metric

Fig. 7

Three trees , used to compare the bottom-up distance , the subtree distance , the best-match metric , and the left-regular metric

Fig. 8

Five trees , used to compare the bottom-up distance , the subtree distance , the best-match metric , and the left-regular metric

Table 1

Summary of the comparisons in the “Comparison of existing methods and new methods”

	D_BM	D_LR	Size of largest common forest	D_BU	Size of largest common subtree	D_ST
T_1 and T_2	3	3	4	3/7	1	6/7
T_1 and T_3	5	5	4	3/7	1	6/7
T_2 and T_3	5	5	4	3/7	1	6/7
T_4 and T_5	2	2	0	1	0	1
T_4 and T_6	6	6	0	1	0	1
T_5 and T_6	6	6	0	1	0	1
T_7 and T_8	1	1	2	2/3	1	5/6
T_7 and T_9	5	5	3	1/2	1	5/6
T_7 and T_10	1	8	4	1/3	4	1/3
T_7 and T_11	9	9	6	1/7	6	1/7
T_8 and T_9	5	5	2	2/3	1	5/6
T_8 and T_10	2	8	2	2/3	1	5/6
T_8 and T_11	8	8	2	5/7	1	6/7
T_9 and T_10	5	7	2	2/3	1	5/6
T_9 and T_11	7	7	3	4/7	1	6/7
T_10 and T_11	9	10	4	3/7	4	3/7

Performance of , , , and on trees in Figs. 6, 7 and 8 are illustrated

Compared to the left-regular metric , especially to the best-match metric introduced in this paper, the bottom-up distance [9] and the subtree distance [10] have some disadvantages.

In Fig. 6, have the same distribution of leaves labels, while have different distributions of leaves labels. However, , . The reason is that and only consider common structures, but not their detailed patterns. and can recognize the difference: , ; , .

In Fig. 7, have the same tree topology, while have different tree topologies. However, , . The reason is that and do not compare non-common structures. and can recognize the difference: , ; , .

In Fig. 8, only differ by a leaf label, while are much more different. However, , . The reason is that and only consider certain common structures (sub-forest and subtree). and consider any common structures and recognize that are more similar: , ; , .

Besides, for two vertices with different labels, and only know they are different, but not concerning how different they are. In reality, such as in comparing developmental trees, some labels are very different, while some labels are rather similar. The position of vertices can also be concerned. In general, a label difference closer to the root should be more crucial. In and , different distances between labels and different weights on vertices can be introduced naturally.

The above discussion explains our motivation to develop the best-match metric and the left-regular metric . However, and also have disadvantages.

In Fig. 8, only differ by a leaf label. In this case, , , , but . The reason is that is not always robust under small perturbations on labels, similar to and . is robust under small perturbations on labels.

In Fig. 8, inserting one vertex to produces . In this case, , , but , . The reason is that and are not robust under small perturbations on the tree topology, especially perturbations near the roots. and are more robust to the change of tree topology near the roots.

In summary, our methods outperform the existing methods in most cases. In general, we recommend the best-match metric . If time cost is a major concern, the left-regular metric can be applied.

Definitions and notations

Trees

In graph theory, a rooted tree is a connected acyclic undirected graph, where one vertex is designated as the root. Some vertices are linked by edges. For each vertex , there is a unique path (edge sequence) that connects and the root . The number of edges in this path is called the depth of . The depth of the root is stipulated as 0. The depth of a tree is the largest depth of its vertices. The kth level (or level k) of a tree consists of all vertices whose depths are k. If the depth of a tree is m, it is also called an m-level tree. If there is an edge between two vertices , and the depth of is smaller than the depth of , then is the parent vertex of , and is a child vertex of . For and its child vertex , the tree with root is called a subtree of . A vertex without children vertices is called a leaf vertex [15].

In this paper, each vertex has a label, and different vertices might have the same label. The set of possible labels can have infinite elements or even uncountable elements. In the following, we use as an example.

For simplicity, we only consider binary trees, meaning that each vertex has at most two children vertices. However, the methods in this paper also work for general k-ary trees.

For an l-level tree T and any , we construct its level- completion as the following: For a vertex not in level m, if it has less than two children vertices, add children vertices to it until it has two. Newly added vertices have the label “N” (means “null”). Repeat this procedure, until every vertex not in level m has two children vertices, and every vertex in level m has no children vertices. In other words, we construct a perfect binary m-level tree. See Figs. 9 and 10 for two trees and their completions with different levels.

Fig. 9

A 2-level tree (upper left), its level-2 completion (upper right) and its level-3 completion (lower). The level (Lv.) of each vertex is marked on the left

Fig. 10

A 1-level tree (upper left), its level-2 completion (upper right) and its level-3 completion (lower). The level (Lv.) of each vertex is marked on the left

For trees after completion, the label set is , which is in our examples. For now, we just require that there is a metric on . In this paper, for simplicity, we shall apply the trivial metric that different labels always have distance 1. Later, we will also need a total order on .

A vertex is called ordered if in the planar embedding of this tree, we know which of its child vertex is the left child, and which is the right child. Otherwise, it is called unordered, and we can switch its two subtrees in the planar embedding. A tree is ordered if all its vertices are ordered. A tree is unordered if all its vertices are unordered.

Each ordered tree corresponds to a unique planar embedding. In the following, we do not distinguish an ordered tree and its planar embedding. For the space of rooted ordered trees with possibly repeated labels, we define that two trees are equivalent if one tree can transform into the other tree by switching subtrees of some vertices (labels are also switched along with the vertices). Here after transformations, two trees have the same tree topology, and corresponding vertices have the same label. The notation means are equivalent, and means are not equivalent. With this equivalence relationship, the space of ordered trees is divided into different equivalent classes. See Fig. 5 for an equivalent class of ordered trees, where four ordered trees are equivalent.

An unordered tree corresponds to different planar embeddings (ordered trees). Since we can switch two subtrees of an unordered vertex, equivalent ordered trees represent the same unordered tree. Besides, non-equivalent ordered trees represent different unordered trees. Therefore, the space of unordered trees is isomorphic to the space of equivalent classes of ordered trees. The four ordered trees in Fig. 5 represent the same unordered tree.

Metrics

To define a metric on unordered trees, we can switch to equivalent classes of ordered trees. A metric on the space of equivalent classes of ordered trees maps a pair of such trees to a non-negative real number, and it satisfies the following criteria for any trees : A metric that satisfies (A1)–(A3) also has another property: if , then .

;

, and if and only if ;

.

Before introducing metrics on unordered trees, we first need a metric on the space of ordered trees (not equivalent classes). For two ordered trees and , consider their level-m completions, where m is no less than the depths of and . For these two completed m-level trees with the same tree topology, there is a bijection between vertices. We define the ordered tree metric for such completed ordered trees:where is the corresponding vertex of i, is the metric on the label set , and c(i) is the weight coefficient that depends on the depth of i. In some scenarios, we want to emphasize the differences closer to the root (correspond to earlier developmental stages), meaning that we can assign a larger value to c(i) with smaller depth of i. For simplicity, we use for all vertices in this paper. We can see that the value of does not depend on the choice of m. For tree in Fig. 9 and tree in Fig. 10, their distance issince they have 4 pairs of corresponding vertices with different labels. In the rest of this paper, we always consider trees after completion of proper levels. Therefore, the number of vertices (tree size) n and the depth m satisfies .

Best-match metric on unordered trees

Definition

We start to define metrics on the space of unordered trees, namely the equivalent classes of ordered trees. For two ordered trees , (representing their equivalent classes), we can check all pairs of ordered trees that one is equivalent with , the other is equivalent with , and choose the best-match pair with the minimal distance. We define on equivalent classes of ordered trees:This satisfies the criteria (A1)-(A3) for a metric, defined in the previous section. We name the best-match metric. For the tree in Fig. 9 and the tree in Fig. 10, .

From the definition of the best-match metric , we can see that changing one label of will make change by at most 1. Therefore, the best-match metric is robust under small perturbations on labels. This property does not hold for the left-regular metric, the bottom-up distance, and the subtree distance.

A dynamic programming implementation

There are exponentially many trees being equivalent to a given tree. Thus brute-force searching is too expensive. Here we introduce a dynamic programming algorithm [16] for calculating the best-match metric .

See Algorithm 1 for the workflow of calculating the best-match metric . The idea is simple: For the root, we only need to determine whether the left and right subtrees should be switched. In either case, the problem is reduced to minimizing the distance between subtrees. In other words, the vertex correspondence that minimizes the distance between two trees also minimizes the distance between two subtrees.

In the appendix, we illustrate the detailed procedure of calculating for the developmental trees of Arabidopsis thaliana and sea urchin. is also applied to other developmental trees with tree size , and it is discovered that species with similar developmental trees (i.e., smaller ) are more likely to have the same anatomical traits [17]. For more examples, see Figs. 6, 7, 8, and Table 1. The Python code for calculating can be found online (https://github.com/YueWangMathbio/TreeMetric, DOI: 10.5281/zenodo.6400267).

Computational complexity

Assume we need g(m) steps to calculate the best-match distance between two m-level trees. Then we have , . Thus . The number of vertices is , thus the time complexity of computing the best-match metric is . Here the worst-case time complexity and the expected time complexity are equal. The space complexity of computing the best-match metric is trivially . When the trees are not binary, but k-ary, we have . Here the term means that there are pairs of subtrees to compare. The term means that for k! possible subtree correspondences, we need steps to compute the sum of distances, steps to compare them, and 1 step to add . Since , we have . With , the time complexity is still .

Left-regular metric on unordered trees

Preparation

Since the metric is defined on the equivalent classes of ordered trees, we need to guarantee that equivalent trees have the same behavior, namely for . One idea is to transform a given tree into some “regular form”, which is unique to each equivalent class.

We define a total order on the label set , such as . Ideally, similar labels should be closer. With this total order on the label set (alphabet), there is an induced total order, namely the lexicographic order [18], for strings of labels with the same length: for two strings, compare the corresponding labels from the beginning, until there is a difference, and apply the total order for labels. For example, , since , and . For a tree after completion, we can write its labels as a string, in the order of up-down (root-leaf), left-right. This is named its label string. For example, the label string of in Fig. 11 is XYZNNYZ. We can reconstruct a tree from its label string.

Fig. 11

Procedure of left-regularization. A 2-level tree (upper). After left-regularization on level 1 (lower left). Fully left-regularized (lower right)

Now we describe the procedure of left-regularization, through which a tree is transformed into its “regular form”. Consider a tree T after level-l completion. For each vertex in level , if the label string of its left subtree is larger than the label string of its right subtree, switch its left and right subtrees. This procedure is called “left-regularization”. After the left-regularization of level , repeat this procedure for level ,,, 1, 0. When the procedure is finished, we obtain the fully “left-regularized” form of T. The procedure of left-regularization for the tree is shown in Fig. 11.

In a fully left-regularized tree, for each vertex, the label string of its left subtree is no larger than that of its right subtree. Thus each subtree is also fully left-regularized. By induction with the tree depth, we can see that two equivalent ordered trees have the same left-regularization. Two trees with the same left-regularization are obviously equivalent. Therefore, two ordered trees are equivalent if and only if their left-regularizations are the same. With this procedure, each unordered tree (or its corresponding equivalent class of ordered trees) corresponds to a unique left-regularized ordered tree.

Definition and properties

For a tree T, denote its fully left-regularized form as . Now we can define on unordered trees:This satisfies the criteria (A1)-(A3) for a metric, and we name it the left-regular metric. Notice that the choice of total order on might affect the value of . See Algorithm 2 for the workflow of calculating the left-regular metric . The definition of the left-regular metric already implies how to calculate it.

The tree in Fig. 10 is already left-regularized. Thus we can compare it with after left-regularization in Fig. 11 to find . In the appendix, we illustrate the detailed procedure of calculating for the developmental trees of Arabidopsis thaliana and sea urchin. For more examples, see Fig. 6, 7, 8, and Table 1. The Python code for calculating can be found online (https://github.com/YueWangMathbio/TreeMetric, DOI: 10.5281/zenodo.6400267).

Consider an m-level tree. For each vertex in level l, to compare the label strings of its subtrees, we need at most steps. Therefore, the left-regularization on each level needs at most steps, and the total number of steps is no more than . Thus the worst-case time complexity of computing the left-regular metric is , where n is the vertex number. The space complexity of computing the left-regular metric is trivially . If the trees are randomly generated, then the expectation of steps needed to compare two label strings is bounded by a constant C, regardless of string length. Thus the expected total number of steps is no more than , and the expected time complexity is . When the trees are not binary, but k-ary, the orders of the worst-case time complexity and the expected time complexity are not changed.

Both the best-match metric and the left-regular metric transform two trees by switching subtrees, and compare the trees after transformation. The best-match metric switches subtrees for two trees cooperatively, so as to find the pair that has the minimal distance. The left-regular metric just switches subtrees independently, and the final pair might not be the best match. Thus we can see that for any two unordered trees , . Thus is an upper bound of .

A semimetric on trees with ordered and unordered vertices

In some situations, for a developmental tree, we know the order of children cells for some cells, but not other cells. Therefore, in this section, we consider the space of rooted trees with possibly repeated labels, where vertices can be ordered or unordered. This space contains all ordered trees and unordered trees. To represent this space, we consider ordered trees, where some non-leaves vertices have “lock marks”, denoted by circles surrounding the labels. See Fig. 12 for some examples. For trees possibly with lock marks, if we can switch subtrees of some vertices without lock marks in , so that is transformed into (comparing both labels and lock marks), then we define that are equivalent, and denote it by . Under this equivalence relation, the space of ordered trees with lock marks is divided into different equivalent classes, and the space of such equivalent classes is isomorphic to the space of trees where vertices can be ordered or unordered. If a tree with lock marks belongs to an equivalent class that represents T, then a vertex in has a lock mark if and only if the corresponding vertex in T is ordered. We will define a distance on the equivalent classes of ordered trees with lock marks (not a metric, but a semimetric).

Fig. 12

Three ordered trees possibly with lock marks (circles): , ,

If we try to define a metric on the space of such equivalent classes, we shall meet a problem. Consider two ordered trees with the same tree topology and labels, but different lock marks, then . If we have a metric , then . However, have the same labels for corresponding vertices, and we argue that their distance should be 0. Due to this reason, we need to define another relation between ordered trees with lock marks.

For an ordered tree that could have lock marks, and a normal ordered tree T without lock marks, if we can switch subtrees of some vertices without lock marks in , so that is transformed into T (only comparing labels, but not lock marks), then we say . For two ordered trees that possibly have lock marks, if there exists an ordered tree T without lock marks, so that and , then we define that are semi-equivalent, denoted by . means are not semi-equivalent. The semi-equivalence relation is reflexive () and symmetric ( means ), but not transitive: in Fig. 12, , , but . Thus semi-equivalence is not an equivalence relation, and the space of ordered trees with lock marks cannot be divided into different equivalent classes by this relation. Equivalence is stronger than semi-equivalence: implies , but not vice versa. Besides, if , , , then .

If , then after certain transformations, they have the same labels, and their distance should be 0. If , then they are essentially different, and their distance should be positive. Therefore, to define a distance on the space of ordered trees that could have lock marks, we need to satisfy the following criteria for any trees :

(B1) ;

(B2) , and if and only if .

However, the triangular inequality does not hold. Consider in Fig. 12. Since , , , we have . Therefore, we cannot define a metric with respect to the semi-equivalence relation. Besides, does not imply . Nevertheless, we could require that

(B3): implies .

We seek a distance that satisfies (B1)-(B3), which is a semimetric.

For the space of ordered trees that could have lock marks, existing methods and the left-regular metric are not applicable with respect to the semi-equivalence relation. Nevertheless, the best-match metric can be slightly modified to work in this scenario. On the space of ordered trees that could have lock marks, is defined asThis satisfies the criteria (B1)-(B3) for a semimetric, and we name it the best-match semimetric. For the trees in Fig. 12, , , . See Algorithm 3 for the workflow of calculating the best-match semimetric . It is only slightly different from Algorithm 1 that calculates .

The time complexity of computing the best-match semimetric is also , where n is the number of vertices. The space complexity of computing is .

Conclusions

To study the early development of zygotes by comparing developmental trees, we define different distances on trees. On the space of rooted unordered trees with possibly repeated labels, we introduce two metrics: the best-match metric and the left-regular metric. For the same pair of trees, the best-match metric is no larger than the left-regular metric. They consider any common structures and compare non-common structures. Besides, different distances between labels and different weights on vertices can be introduced naturally. The best-match metric has an extra advantage: it is robust under small perturbations on labels. To compute the best-match metric, the time complexity is quadratic, and the left-regular metric has linear expected time complexity. In general, we recommend the best-match metric. If time cost is a major concern, the left-regular metric can be applied.

On the space of rooted trees with possibly repeated labels, where vertices might be ordered or unordered, most methods are not applicable, and we introduce the best-match semimetric. The properties of the best-match semimetric are almost the same as the best-match metric.

The methods introduced in this paper (possibly with modifications) can be applied to more commonly treated scenarios, e.g., unrooted trees, unlabeled or leaf-labeled trees, or trees with unique labels on vertices. Since our methods are not developed for such scenarios, the performance might not be as satisfactory as existing methods. Nevertheless, the ideas of our methods might inspire new methods in such scenarios.