Parallelization of enumerating tree-like chemical compounds by breadth-first search order

Abstract

Enumeration of chemical compounds greatly assists designing and finding new drugs, and determining chemical structures from mass spectrometry. In our previous study, we developed efficient algorithms, BfsSimEnum and BfsMulEnum for enumerating tree-like chemical compounds without and with multiple bonds, respectively. For many instances, our previously proposed algorithms were able to enumerate chemical structures faster than other existing methods.

Latest processors consist of multiple processing cores, and are able to execute many tasks at the same time. In this paper, we develop three parallelized algorithms BfsEnumP1-3 by modifying BfsSimEnum in simple manners to further reduce execution time. BfsSimEnum constructs a family tree in which each vertex denotes a molecular tree. BfsEnumP1-3 divide a set of vertices with some given depth of the family tree into several subsets, each of which is assigned to each processor.

For evaluation, we perform experiments for several instances with varying the division depth and the number of processors, and show that BfsEnumP1-3 are useful to reduce the execution time for enumeration of tree-like chemical compounds. In addition, we show that BfsEnumP3 achieves more than 80% parallelization efficiency using up to 11 processors, and reduce the execution time using 12 processors to about 1/10 of that by BfsSimEnum.

Introduction

Enumerating chemical compounds assists designing drugs and determining chemical structures from mass spectrometry. Hence, algorithms and mathematical models for the enumeration have been developed. A chemical compound is often represented as a molecular graph for the enumeration, which is defined as a connected graph with vertices labeled by atomic symbols and multi-edges labeled by chemical bonds. Here, the degree of a vertex means the valence of the atom and the multiplicity of a multiedge means the bond type. Given chemical formula and some restrictions, chemical structures desired for a biological system are enumerated by constructing all distinct graph structures. MOLGEN has been developed over two decades [1, 2], and becomes a popular enumeration tool. EnuMol enumerates tree-like chemical compounds, or molecular tree graphs, by depth-first search (DFS) order [3–5]. In our previous study, we developed efficient algorithms BfsSimEnum and BfsMulEnum for enumeration of tree-like chemical compounds by breadth-first search (BFS) order [6]. For many instances, execution times by BfsSimEnum and BfsMulEnum were shorter than or comparable to those by the DFS-type method.

Latest processors consist of multiple cores even for personal use, and are able to execute many tasks at the same time. For further reducing execution time and providing better enumeration tools using web servers and stand-alone systems, in this paper, we make use of parallel computing and propose three parallelized algorithms BfsEnumP1-3 by modifying BfsSimEnum, which enumerates molecular tree graphs without addition of multi-edges. BfsMulEnum receives the output of BfsSimEnum, and enumerates chemical compounds with multiple bonds by changing single edges to multi-edges so that the restrictions are satisfied.

BfsSimEnum constructs a family tree in which each vertex corresponds to a molecular tree and is generated by DFS order. Several parallel algorithms for depth-first search have been developed [7, 8]. Freeman introduced parallel algorithms and combined them with randomized algorithms for performing a depth-first search of a given graph [9]. Rao and Kumar developed parallel algorithms for depth-first search [10] and applied their algorithms to depth-first branch-and-bound and iterative-deepening A* (IDA*) [11], in which some cost function is defined and the algorithm tries to find optimal solutions. In the search, the parts not leading to an optimal solution are eliminated. Each processor has a stack that stores state space to be searched because it searches in a depth-first manner. In their algorithm, if a processor receives a request from another processor, then it splits its own stack into two sets of states and transfers one, where equally split, called \frac{1}{2}-split, is considered to be ideal in the paper. These parallel algorithms, however, are still complicated and require extra communication between processors and extra processes for polling. Our proposed algorithms BfsEnumP1-3 are simple, each of which divides a set of vertices at some given depth d of a family tree into several subsets, and each subset is assigned to one processor. We assume that d is large enough because the number of subtrees is more than the number of processors, that is, one processor executes the enumeration for at least one subtree. In addition, we assume that d is not too large so that execution time of generating the vertices with up to depth d of a family tree can be ignored. However, the number of generated molecular trees in such a subtree of a family tree often varies a lot. Therefore, we develop three types of assignment methods in BfsEnumP1-3. BfsEnumP1 and BfsEnumP2 take static assignment methods, whereas BfsEnumP3 takes a dynamic assignment method depending on the computational environment during execution. We perform computational experiments for C₂₆H₅₄, C₁₆O₄H₃₄, and C₁₀N₃O₂H₂₅ with varying the division depth d and the number of processors, and show that BfsEnumP1-3 are useful to reduce the execution time for enumeration of tree-like chemical compounds. In addition, we show that BfsEnumP3 achieves more than 80% parallelization efficiency using up to 11 processors, and reduce the execution time using 12 processors to about 1/10 of that by BfsSimEnum.

Preliminaries

Enumeration problem

A molecular tree can be represented as a rooted ordered tree T (V, E) with a set V of vertices and a set E of single and multiple edges, where each vertex corresponds to an atom, and each edge corresponds to a covalent bond. Let Σ = {l₁, l₂,..., l _s } be a set of labels representing distinct atoms. Let val(l _i ) be the valence of the atom corresponding to l _i . Let num _T (l _i ) be the number of vertices labeled as l _i in T . Let parent(v) denote the parent vertex of v. Let l(v) and degree(v) be the label, and degree of vertex v in T , respectively. Then, we define the tree-like chemical compound enumeration problem as follows.

Problem 1 Given a set Σ of labels, the valence val(l _i ) and number n _{l i} of each label l _i , enumerate all molecular trees T without any redundancy such that num _T (l _i ) = n _{l i} for all l _i (∈ Σ) and degree(v) = val(l(v)) for all v (∈ T).

Family tree

Our approach searches a special tree structure called family tree, in which each vertex corresponds to a molecular tree. The root is an empty tree. A family tree is grown by adding an atom to some vertex. Figure 1 shows a family tree for C₂O₂H₂ by BfsSimEnum and BfsMulEnum, where hydrogen atoms are added at the end of enumeration. In this example, BfsSimEnum constructs the family tree up to depth 4 by adding atoms, and BfsMulEnum constructs the rest by adding multiplicity to edges.

Figure 1

Example of a family tree by BfsSimEnum and BfsMulEnum for C ₂ O ₂ H ₂ and its separation by BfsEnumP1-3 with division depth 2. Molecular trees in gray color are regarded as invalid by the algorithms. It should be noted that hydrogen atoms are added as leaves at last.

In the previous study, to reduce the search space (i.e., the size of a family tree), we utilized two constraints for molecular trees, center-rooted, and left-heavy [6]. Bfs-SimEnum outputs only center-rooted and left-heavy molecular trees. If a molecular tree that does not satisfy both properties of center-rooted and left-heavy is generated in a family tree, it is eliminated. Thus, the size of a family tree is reduced. We call a molecular tree center-rooted if its root is the center vertex or an endpoint of the center edge of a path with the maximum length, where the path does not include the same vertex more than once.

We introduce a total order to Σ, for example, C > N > O > H for Σ = {C, N, O, H}, and two inequalities > _s and > _m for rooted and ordered trees. Let T (v) denote the subtree rooted at vertex v in T . We call a molecular tree T left-heavy if for each vertex v (∈ T ) and its children v₁,..., v _k , T (v _i ) ≥ _m T (v_i+1) holds for all i = 1,..., k − 1. We also say that T (u) is heavier than T (v) for vertices u and v if T (u) > _s T (v) or T (u) > _m T (v) holds. Here, inequalities > _s and > _m are recursively defined as follows. Let u₁, u₂,...,u _h and v₁, v₂,..., v _k be the children of u and v, respectively. We define T (u) > _s T (v) if l(u) >l(v) holds, or l(u) = l(v) and there exists i such that for all j ≤ i T (u _j ) = _s T (v _j ), and i < min{h, k}, T (u_i+1) > _s T (v_i+1), or i = k <h. In particular, we recursively define T (u) = _s T (v) if l(u) = l(v) and for all j ≤ h = k, T (u _j ) = _s T (v _j ) hold.

Let mul(e) be the multiplicity of edge e in T . We define T (u) > _m T (v) if T (u) > _s T (v) holds, or T (u) = _s T (v) and there exists i such that for all j ≤ i mul(e _j ) = mul(e′ _j ) and mul(e_i+1) >mul(e′_i+1), where e₁, e₂,..., e _m and e′₁, e′₂ ,..., e′ _m denote the edges in the BFS order in T (u) and T (v), respectively. In particular, we define T (u) = _m T (v) if T (u) = _s T (v) and for all j ≤ m, mul(e _j ) = mul(e′ _j ) hold.

Then, BfsSimEnum always generates left-heavy and center-rooted trees with labeled vertices to reduce the search space. Finally, a generated molecular tree is discarded if it is not in normal form [6]. We say that a molecular tree T is in normal form if T is center-rooted and left-heavy, and the center of T is a single vertex, or the center is an edge (r, v) and T (v) ≥ _m T _v (r) holds, where r is the root of T , and T _v (r) denotes the subtree rooted at r obtained by subtracting T (v) from T . It is proved that if two rooted and ordered trees are different in normal form, these trees represent distinct molecular trees. It should be noted that molecular trees themselves are generated by BFS order while a family tree having molecular trees as vertices is searched by DFS order.

Methods

We propose three parallelized algorithms BfsEnumP1-3 for enumeration of tree-like chemical compounds by modifying BfsSimEnum in simple manners. Let N be the number of processors. In growing a family tree, BfsSimEnum adds an atom to a molecular tree by BFS order. BfsEnumP1-3 take a parameter d, grow a family tree up to depth d as BfsSimEnum does, and assign numbers to the vertices (molecular trees) in depth d by BFS order. Figure 1 shows an example of the family tree for C₂O₂H₂ and numbers, #0, ..., #3, in depth 2. All N processors independently construct the family tree up to depth d and assign numbers one by one. Each vertex in depth d is assigned to exactly one processor, and the processor generates its descendants, the subtree rooted at the vertex of the family tree. However, we observe that the number of generated molecular trees in the descendants is often different. In the example of Figure 1, the number of generated molecular trees for vertex '#0' is eight, and on the other hand, that for '#1' is one. Hence, we develop three types of assignment methods in BfsEnumP1-3 for the sake of distributing the load equally to each processor. BfsEnumP1-2 take static assignment methods, and BfsEnumP3 takes a dynamic method depending on computational environment during execution.

By modifying the previous single algorithm BfsSimEnum, we propose the following parallelized algorithm.

Input: numbers n _{l i} of atoms for l _i (∈ Σ), division depth d, processor identifier p, number N of processors,

Output: all molecular trees in normal form

BfsEnumP(p, N )

   c := 0

   for each l _j ∈ Σ such that val(l _j ) >1, n_{l_j} > 0 do

      T := a tree consisted of a root with l _j

      AddAtom(T , p, N )

end

AddAtom(T , p, N )

   if |T| = n _a then

      if T is in normal form then

         BfsMulEnum(T )

   else

      flag := true

      if |T| = d then

         flag := IsAssigned(c, p, N)

         c := c + 1

      if flag then

         v _k := the deepest rightmost vertex in T

         v _l := the deepest leftmost vertex in T

         if v _k and v _l are included in the same subtree then

            v _e := v_l−1

         else v _e := v _k

         for each v _i from parent(v _k ) to v _e in BFS order do

            if degree(v _i ) < val(l(v _i )) then

            for each l _j ∈ Σ such that val(l _j ) >1 do

               if num _T (l _j ) <n_{l_j}and

                  l _j does not violate left-heavy then

                  T′ := T

                  add an atom l _j as the last child of v _i in T′

                  AddAtom(T′, p, N)

end

It should be noted that this pseudocode describes the common part of BfsEnumP1-3, and function 'IsAssigned' provides an assignment method according to BfsEnumP1-3. c means the identifier number for each vertex in depth d of the family tree. All processors execute the same algorithm with distinct identifier number p among N processors, and BfsMulEnum(T) sequentially outputs molecular trees by adding multiplicity to edges of T if needed. Thus, N processors output all tree-like chemical compounds without redundancy.

BfsEnumP1

We define the assignment method of BfsEnumP1 as follows.

IsAssigned(c, p, N )

      return p = c mod N

end

'IsAssigned' returns whether or not the processor with identifier p is assigned to vertex c. For instance, in the case of enumeration using 3 processors and division depth d = 2 for C₂O₂H₂, vertices 0, 1, 2, 3 are assigned to processors 0, 1, 2, 0, respectively by BfsEnumP1 (see Figure 1).

BfsEnumP2

We define the assignment method of BfsEnumP2 as follows. First, we initialize weights w _i = 0 for i = 0,..., N − 1.

IsAssigned(T , p, {w _i })

      i := argmin_{i = 0,...,N − 1wi}

      w _i := w _i + cost(T)

      return p = i

end

In BfsEnumP2, the number of molecular trees generated from T is estimated by cost(T ), which is accumulated to w _i . One processor having the minimum of w _i is selected to execute the enumeration from T . It should be noted that any communication between processors does not occur during the construction of a family tree as well as BfsEnumP1, and w _i is calculated independently in each processor. In this paper, we define cost(T ) by

\begin{array}{c}{\displaystyle \sum _{v_i\in \left\{parent\left(v_k\right),\dots ,v_k\right\}}}val\left(l\left(v_i\right)\right)-degree\left(v_i\right)\\ +{\displaystyle \sum _{l_i\in \sum }}{c}_{l_i}\left(n_{l_i}-nu{m}_T\left(l_i\right)\right),\end{array}

where v _k denotes the deepest rightmost vertex in T , and c _{l i} is a positive constant for l _i , (c _C , c _N , c _O , c _H ) = (1.4, 1.2, 1.0, 0.0). Here the valence of each atom is taken into account. cost(T ) is large if the number of positions that atoms bond and/or the number of remaining atoms are large.

BfsEnumP3

BfsEnumP3 requires an extra processor to manage the assignment, which receives requests from other processors, and replies an assigned number to each processor. It should be noted that such a manager is not needed if we use shared memory. In this paper, we implement the algorithm using MPI (message passing interface) for avoiding inconsistency of cache memory. On the other hand, processor p receives an assigned number as r from the manager, and executes the enumeration from vertex r.

Finally, BfsEnumP3 in processor p sends an end-signal to the manager. Thus, we have the following pseudo-codes.

Manage(N )

   globalc := 0

   n _e := 0

   while n _e < N

      if receive a request from processor p then

         send globalc to p

         globalc := globalc + 1

       else if receive an end-signal from p then

      n _e := n _e + 1

end

IsAssigned(c, r, p)

   if c >r then

      send a request to the manager

      receive globalc as r

   return c = r

end

   Here, r is initialized as some negative integer.

Results

For evaluation of our proposed methods, we employed a computer with two Xeon E5 processors under Linux operating system, where hyper-threading was enabled and each processor contains 12 logical processing cores. BfsEnumP1-3 were implemented in C++ using MPI library.

We first examined three instances (n _C , n _N , n _O , n _H ) = (26, 0, 0, 54), (16, 0, 4, 34), (10, 3, 2, 25), that is, C₂₆H₅₄, C₁₆O₄H₃₄, C₁₀N₃O₂H₂₅, each of which has only single bonds, using multiple processors. The numbers of enumerated molecular trees for C₂₆H₅₄, C₁₆O₄H₃₄, and C₁₀N₃O₂H₂₅ were 93839412, 278960984, and 29105924, respectively. Figure 2 shows the results on execution times (seconds) by BfsEnumP1-3 with division depth d = 4,..., 8 using 1,..., 12 processors for the instances, C₂₆H₅₄, C₁₆O₄H₃₄, and C₁₀N₃O₂H₂₅. We can see that in all cases, the execution time decreased by using multiple processors. For C₂₆H₅₄, the execution time by BfsEnumP3 with d = 8 using 12 processors was 2.54 seconds, which was about 11% of the execution time using one processor. For C₁₆O₄H₃₄, the execution time by BfsEnumP3 with d = 7 using 12 processors was 6.23 seconds, which was about 10% of the execution time using one processor. For C₁₀N₃O₂H₂₅, the execution time by BfsEnumP3 with d = 5 using 12 processors was 0.60 seconds, which was about 9.3% of the execution time using one processor.

Figure 2

Result on execution time by BfsEnumP1-3. 1,..., 12 processors and division depth d = 4,..., 8 were examined for (a) C₂₆H₅₄ (b) C₁₆O₄H₃₄ (c) C₁₀N₃O₂H₂₅, where the number of processors for BfsEnumP3 does not include one processor running the manager.

In the case of C₂₆H₅₄ with division depth d = 4, the execution times using more than 3 processors were about 9 seconds, and were not reduced unlike in the cases of C₁₆O₄H₃₄, and C₁₀N₃O₂H₂₅ (see Figure 2). Hence, we investigated the number of vertices in depth d of a family tree.

Table 1 shows the numbers of vertices in depth d = 4,...,8 for C₂₆H₅₄, C₁₆O₄H₃₄, and C₁₀N₃O₂H₂₅. The number of vertices in depth 4 for C₂₆H₅₄ is only 4. It means that if we use more than 4 processors, any task is not assigned to N − 4 processors. Hence, we need division depth of more than 5 for 12 processors. Furthermore, we can see from the figure that the execution time with larger division depth had tendency to be shorter for C₂₆H₅₄. On the other hand, the execution time with division depth d = 5 was often shorter than others for C₁₀N₃O₂H₂₅. It may suggest that about 1000 vertices in division depth are suitable to be assigned to about 10 processors. If we use larger division depth, we cannot ignore the parallelization overhead. For example, the execution time by BfsEnumP3 with division depth d = 8 for C₁₀N₃O₂H₂₅ was longer than those by BfsEnumP1-2 (see Figure 2(c)). It is considered that the overhead of communication between the manager and enumerating processors was large.

Table 1 Number of vertices in division depth d = 4,⋯,8 of a family tree for C₂₆H₅₄, C₁₆O₄H₃₄, and C₁₀N₃O₂H₂₅.

Table 2 shows the results on execution times (seconds) and parallelization efficiencies of BfsEnumP1-3 with division depth d = 8 for C₂₆H₅₄ using up to 12 processors, where one processor for the manager of BfsEnumP3 is excluded. The parallelization efficiency is defined as

Table 2 Result on execution time (seconds) and parallelization efficiency of BfsEnumP1-3 with division depth d = 8 for C₂₆H₅₄ using 1,...,12 processors, where one processor for the manager of BfsEnumP3 is excluded.

\frac{T_1}{N\cdot T_N},

where T _N denotes the execution time by N processors. The execution time by BfsEnumP2 was shorter than that by BfsEnumP1 except using 5, 7 processors. It means that the estimation of the number of generated molecular trees from a vertex worked well for C₂₆H₅₄. The execution time by BfsEnumP3 was shorter than those by BfsEnumP1-2. Since BfsEnumP2 does not need any communication between processors during the construction of a family tree, BfsEnumP2 can be faster than BfsEnumP3. It, however, is difficult to accurately estimate the number of generated molecular trees. BfsEnumP3 using up to 11 processors achieved more than 80% parallelization efficiency. The parallelization efficiency of BfsEnumP3 decreased especially in using more than 10 processors. It implies that BfsEnumP1-3 using more processors may cause inconsistency of cache memory and decrease the parallelization efficiency. In BfsEnumP1-3, distinct processors do not use the same region of memory. It is considered that if two processors use close regions of memory, inconsistency of cache memory may occur. More processors can decrease the efficiency because the probability of inconsistency increases.

In addition, we examined three other instances (n _C , n _N , n _O , n _H ) = (20, 0, 0, 40), (12, 0, 4, 16), (11, 3, 2, 21), that is, C₂₀H₄₀, C₁₂O₄H₁₆, C₁₁N₃O₂H₂₁, each of which includes several multiple bonds. The numbers of enumerated molecular trees for C₂₀H₄₀, C₁₂O₄H₁₆, and C₁₁N₃O₂H₂₁ were 4224993, 282338151, and 7268812476, respectively. In almost all cases using division depth d = 4,..., 8 and 1,..., 12 processors, the execution time by BfsEnumP3 was shorter than those by BfsEnumP1-2. For C₂₀H₄₀, C₁₂O₄H₁₆, C₁₁N₃O₂H₂₁, the execution times by BfsEnumP3 with d = 8 using 12 processors were 0.0606, 6.93, 83.2 seconds, and 11, 9.1, 9.3 % of the execution time using one processor, respectively. In our previous study, BfsSimEnum and BfsMulEnum were much faster than MOLGEN, and faster or comparable to Enu-Mol. The execution times by BfsSimEnum and BfsMulEnum for C₂₆H₅₄, C₁₆O₄H₃₄, C₁₀N₃O₂H₂₅, C₂₀H₄₀, C₁₂O₄H₁₆, and C₁₁N₃O₂H₂₁ were 22.48, 62.70, 6.61, 0.47, 77.33, and 924.10 seconds, respectively, which were close to those by BfsEnumP1-3 using one processor, and were much longer than those by BfsEnumP1-3 using two processors, respectively.

Conclusion

In this paper, we proposed three parallelized algorithms BfsEnumP1-3 for enumerating tree-like chemical compounds by modifying our previous method BfsSimEnum. We performed experiments for several instances with varying the parameter of division depth and the number of processors. The execution time by BfsEnumP3 was shorter than those by BfsEnumP1-2 in almost all cases. BfsEnumP3 achieved more than 80% parallelization efficiency using up to 11 processors. In addition, BfsEnumP3 reduced the execution time using 12 processors to about 10% of that by the previous algorithm BfsSimEnum. The results suggest that the division depth should be given so that the number of vertices in the depth is about 1000 for 10 processors.

BfsEnumP1-2 statically assign tasks to processors without communication between processors during the construction of a family tree, whereas BfsEnumP3 dynamically makes the assignment depending on computational environment during execution. BfsEnumP2 can be faster than BfsEnumP3 by accurately estimating the number of generated molecular trees from a vertex in a family tree when we use more processors. The execution time by BfsEnumP2 was not always shorter than that by BfsEnumP1. It is needed to improve the cost function of BfsEnumP2 under the condition that the function is calculated in a very quick way.

It is important to deal with more complex structures including cycles such as benzene and aromatic rings. Extensions toward enumerating general compounds and combination with biological properties should be another future work.