- Methodology article
- Open Access
- Published:

# A depth-first search algorithm to compute elementary flux modes by linear programming

*BMC Systems Biology*
**volume 8**, Article number: 94 (2014)

## Abstract

### Background

The decomposition of complex metabolic networks into elementary flux modes (EFMs) provides a useful framework for exploring reaction interactions systematically. Generating a complete set of EFMs for large-scale models, however, is near impossible. Even for moderately-sized models (<400 reactions), existing approaches based on the Double Description method must iterate through a large number of combinatorial candidates, thus imposing an immense processor and memory demand.

### Results

Based on an alternative elementarity test, we developed a depth-first search algorithm using linear programming (LP) to enumerate EFMs in an exhaustive fashion. Constraints can be introduced to directly generate a subset of EFMs satisfying the set of constraints. The depth-first search algorithm has a constant memory overhead. Using flux constraints, a large LP problem can be massively divided and parallelized into independent sub-jobs for deployment into computing clusters. Since the sub-jobs do not overlap, the approach scales to utilize all available computing nodes with minimal coordination overhead or memory limitations.

### Conclusions

The speed of the algorithm was comparable to *efmtool*, a mainstream Double Description method, when enumerating all EFMs; the attrition power gained from performing flux feasibility tests offsets the increased computational demand of running an LP solver. Unlike the Double Description method, the algorithm enables accelerated enumeration of all EFMs satisfying a set of constraints.

## Background

The elementary flux mode (EFM) framework is an approach to express reaction pathways contained in metabolic networks [1]. An EFM is a minimal set of reactions carrying non-zero fluxes in the correct direction at steady-state. EFMs provide a systematic and rigorous platform to evaluate functional structures contained in metabolic networks and their link to metabolic phenotypes [2]. EFMs are also used in metabolic engineering to improve product yield [3],[4]. The definition and applications of EFMs have been extensively reviewed elsewhere [2],[5]. Most computational approaches formally generate extreme currents due to the common practice of treating reversible reactions as two separate irreversible reactions [6],[7]. For convenience, “EFM” will be used here to refer to both extreme currents and elementary flux modes.

Current computation frameworks for enumerating EFMs are variants of the Double Description method [1],[8]–[10]. Generating EFMs is a hard task [11], and for any large metabolic network requires very (to impossibly) large processor and/or memory capacities. While complete sets of EFMs have been generated for central carbon metabolism, this is not the case for larger metabolic models. High performance computing clusters become the only viable platform for generating EFMs. The deployment on computing clusters is made possible through several recent advances in EFM computation, namely the *combinatorial parallelization* and *divide-and-conquer* approach [12], and the *bit pattern trees* and *born/die* approach [7],[13]. These approaches are based on the classical *Nullspace* approach [9],[14]. Recent elegant strategies for problem sub-division [15],[16] have lessened the physical memory load from an explosion of intermediate flux modes. Load balancing across and the coordination of computing nodes remain to be significant issues, which limit scalability by problem sub-division.

It has been suggested that only a small subset of EFMs carry significant physiologically fluxes, and it would be more sensible to focus on these [17]. Often we are only interested in enumerating a set of EFMs that satisfies a particular set of criteria, e.g., maximum yield of a product and/or biomass. Using conventional algorithms, all EFMs must be enumerated before selecting those that satisfy the criteria. Alternative EFM generation algorithms based on Linear Programming (LP) can incorporate flux criteria directly during EFM generation [18]–[21]. EFMs are generated by constraining reactions to zero flux; *EFMEvolver* utilizes a genetic algorithm [18], while the *k-shortest EFM* utilizes a binary solver [21] for this purpose. Current LP-based algorithms can produce a relatively small sample of EFMs satisfying certain flux criteria but would struggle to generate the complete set. Identifying new EFMs becomes increasingly difficult as every solution is appended to an ever-growing constraint matrix to avoid repeated outcomes.

This paper describes the generation of EFMs using a depth-first search strategy, which is exhaustive, has a constant and low memory load, and can be massively parallelized into independent sub-problems to take full advantage of loosely coupled grid computing infrastructures. With the depth-first search strategy, the enumeration of EFMs becomes a CPU-limited problem. Five sub-models of increasing size (260 to 379 reactions) extracted from the *E. coli* genome-scale model iAF1260 [22] were used for benchmarking against a Double Description method, *efmtool* (Elementary Flux Mode tool, v4.7.1) [7]. The algorithm employs an LP-based termination criterion for branch searching and is the first algorithm that is capable of determining the complete subset of EFMs satisfying a set of criteria without first enumerating all EFMs.

## Methods

### An alternative elementarity test

Consider a reaction network represented by a stoichiometric matrix *S* with *M* metabolites and *R* irreversible reactions, and a flux vector *v* satisfying the pseudo-steady state condition *S* ⋅ *v* = 0, *v* ≥ 0. The flux vector can be expressed using the null space matrix *NS* of *S* as *v* = *NS* ⋅ *t*, where the length of the coefficient vector *t* is equal to the rank of *NS* and to the nullity *DoF* (degrees-of-freedom) of *S*[23]. Any set of *DoF* independent fluxes will fix the flux vector and the individual members of such a set are called free fluxes [24].

Elementarity is normally tested using either the adjacency [25] or the rank test [26]. Both consider the set of active fluxes, \overline{Z}\left(v\right)=\left\{i:{v}_{i}\ne 0,1\le i\le R\right\}. For example, the rank test states that the flux vector *v* : *Sv* = 0, *v* ≥ 0 is elementary, if

Alternatively, we can consider the set of inactive fluxes *Z*(*v*) = {*i* : *v*
_{
i
} = 0, 1 ≤ *i* ≤ *R*}. Since the nullity of *S* is *DoF*, it follows from Eq. 1 that an alternative test would be to establish that an elementary flux vector has exactly *DoF–1* inactive free fluxes. This property was demonstrated in the first *Nullspace* approach paper [9]. While this test is not applied in existing EFM algorithms, it does suggest an alternative algorithm to generate EFMs.

### Depth-first search strategy and implementation

By simple reaction indexing, every EFM in a network can be made to have a unique set of *DoF-1* “**I** nactive **F** ree **F** luxes” (IFF). This is illustrated with a toy network (*R* = 14, *DoF* = 6) in Figure 1, where the IFF set for each EFM is indicated by the shaded cells. A systematic search for EFMs by reaction knock-out only needs to test combinations involving exactly *DoF-1* reactions at a time. While there is a maximum of {C}_{\mathit{DoF}-1}^{R} combinations, a depth-first search strategy can exploit the uniqueness property (see Additional file 1), where the next EFM in the search has one or more “**F** ixed to **A** ctive **F** lux” (FAF) from the current EFM’s IFF. This feature is marked by the arrows in Figure 1B. Furthermore, the depth-first search can reuse determined network constraints such as linear dependencies and *v* ≥ 0 to further reduce the workload.

The depth-first search algorithm consists of an alternating pair of forward-tracking and backtracking subroutines (Figure 2). Briefly, forward-tracking finds more downstream IFF (black arrows in Figure 2) by evaluating the feasibility of constraining potential free fluxes to zero. Backtracking finds the terminal (highest index) IFF that can be converted to FAF (the grey arrow in Backtracking A of Figure 2) by testing the feasibility of the new FAF constraint.

The pseudocode for the depth-first search algorithm is provided in Figure 3. During pre-processing, empty FAF and IFF vectors are created, with the IFF vector preset to the leading *DoF-1* pivot rows in a reduced-row echelon form *NS*
_{
rref
} of the null space. An EFM may exist for the initial FAF/IFF constraint configuration, which is checked by testing the feasibility of constraining fluxes downstream of the terminal IFF to be a FAF, one reaction at a time.

The main program begins with backtracking. Backtracking consists of a series of feasibility tests that evaluates new constraint configurations where the terminal IFF is sequentially removed from the IFF vector and added to the FAF vector, while all downstream FAF are cleared. The algorithm is switched to forward-tracking if an FAF/IFF constraint configuration is found that produces a feasible solution, otherwise backtracking continues to test the preceding IFF. In forward-tracking, a series of alternating rank and feasibility tests is performed on fluxes downstream of the previous terminal IFF. A candidate flux is added to the IFF vector if it passes both rank and feasibility tests. When the last flux is reached or an EFM is found (i.e., *DoF-1* IFF obtained), the algorithm is switched to backtracking. The search is terminated when there are insufficient downstream fluxes to achieve *DoF-1* IFF.

Two examples of the search sequences are shown in Figure 1C. Between finding EFM_{3} and EFM_{4}, four sets of backtracking and forward-tracking were performed. The IFF for EFM_{3} are fluxes 1, 2, 3, 9 and 10. While the conversion of fluxes 10 and 9 into FAF during backtracking each produced a feasible solution, only the conversion of flux 1 into FAF led to EFM_{4}.The feasibility test is achieved by solving an LP problem with a blank objective function

subjected to:

N{S}_{\mathit{rref}}\cdot t\ge \overline{0} for unconstrained fluxes

N{S}_{\mathit{rref}}\cdot t>\overline{0} for FAF

N{S}_{\mathit{rref}}\cdot t=\overline{0} for IFF

The values in vector *t* are by default zero or greater because *v* ≥ 0 and the coefficients contained in the pivot rows of *NS*
_{
rref
} are either zero or one.

### Search speed-up

It is possible to reduce traversal down search trees that cannot yield any EFMs due to insufficient downstream fluxes to form *DoF-1* IFF. Every new IFF introduced may force other fluxes to be active, and flux variability analysis (FVA) can be used to identify these fluxes for the current IFF/FAF constraint configuration. In the toy network (Figure 1), for example, if R01 is an FAF, then R04 must be active when R02 becomes the new IFF.

A recording matrix *M*
_{
record
} of *R* rows and *DoF-1* columns is created to register fluxes that are dependently constrained to be active for every new IFF added. Namely, the *j*
^{th} column of *M*
_{
record
} is a {0, 1} vector, with “1” to mark new reactions that are permanently active as the result of introducing *j*
^{th} IFF during forward-tracking. Marked fluxes are no longer candidates for IFF, and are bypassed during forward-tracking. During backtracking, all entries in the *j*
^{th} column of *M*
_{
record
} are reset to 0 when the *j*
^{th} IFF is converted to FAF.

Progress check-points are implemented to evaluate whether there are sufficient downstream fluxes to reach *DoF-1* IFF. Forward-tracking can only proceed if (1) the number of existing and candidate IFF is equal to or greater than *DoF-1*, (2) there are still *DoF-1* free fluxes among the set of reactions comprised of existing and candidate IFF, and (3) a nullity of zero is obtained for the sub-stoichiometric matrix comprised of columns corresponding to the marked reactions in *M*
_{
record
} and the FAF (Additional file 1). For the third check-point, if the nullity is determined to be one, then forward-tracking has found an EFM and can be terminated without finding *DoF-1* IFF. The search algorithm is terminated when backtracking has removed all IFF and forward-tracking has failed at the second check-point (Figure 3).

### Problem parallelization and yield constraints

The flux space can be divided into exclusive subspaces to be separately searched by controlling the participation of all or a subset of basis vectors in *NS*
_{
rref
}. Each search thread generates EFMs that have a specific configuration of active and inactive fluxes among the pivot reactions. The LP formulation is similar to Eq. 2, except that the parameters contained in the vector *t* are segregated into three types

where {t}_{\mathit{free}}\ge \overline{0},\phantom{\rule{0.25em}{0ex}}{t}_{\mathit{inactive}}=\overline{0}\phantom{\rule{0.25em}{0ex}}\mathrm{and}\phantom{\rule{0.25em}{0ex}}{t}_{\mathit{active}}>\overline{0}

It is also straightforward to introduce yield or flux constraints into Eq. 2, such as product flux and growth rate for a fixed substrate uptake. The depth-first search would only generate EFMs satisfying these constraints. For example, a flux constraint where the flux of reaction *r* is to be greater or equal to the value *k* can be added to the LP problem as

### Metabolic sub-models

Five metabolic sub-models of increasing size derived from iAF1260 were used to evaluate the computation time required by our approach and *efmtool* to enumerate the full EFM set [7],[22]. The different model sizes were obtained by manipulating the number of biosynthetic outputs from glucose. First, a reduced version of iAF1260 was obtained by extracting, using FVA [27], a subset of reactions (486 out of 2382) that can carry fluxes when biomass yield on glucose is constrained to the maximum. Next, reversible reactions were decomposed into an opposing pair of irreversible reactions and the single biomass equation in the reduced iAF1260 was replaced by 63 individual biomass component drains. The final reduced model has 561 reactions. Five sub models were spawned from this reduced model by increasing the number of allowable biomass drains from 10 to 32 (Table 1). All five models were compressed prior to EFM computation (Additional file 2).

### Hardware and software

The depth-first search algorithm to generate EFMs was tested on The University of Queensland’s Barrine Linux High Performance Computing Cluster. The computer nodes used were equipped with Intel Xeon L5520 dual socket quad core processors (8 × 2.26GHz) and with 24GB memory. Each job was allocated one CPU and 1GB memory.

All algorithms were scripted in MATLAB (R2011a) (The MathWorks Inc., MA), and could be run entirely on a local computer. For parallel computation, the MATLAB scripts were compiled using MATLAB Compiler Runtime (MCR) v7.15 (Linux version) as a standalone application and subsequently deployed on the Barrine cluster. Pre- and post-processing were carried out in a local Linux computer with an Intel Core i7 860 processor (2.93GHz) and 8GB memory. LP optimizations were performed using Cplex Class API provided in IBM ILOG CPLEX Optimization Studio (v12.3) (IBM Corp., NY) for MATLAB, or Gurobi Optimizer (version 5.0). The depth-first search algorithm is provided as Additional file 3.

Computation time was compared against *efmtool*[7]. *efmtool* was implemented within *CellNetAnalyzer* using MATLAB [28]. Since *efmtool* is a multi-threaded program, an entire Barrine node (8 2.26GHz CPUs, 24GB memory, 20GB maximum JAVA heap memory) was allocated to *efmtool* for each run.

The performance of *efmtool* and the depth-first search strategy was benchmarked using the cumulative CPU time (tCPU) obtained using Linux’s *top* command, which is equivalent to real-world time for a processor core working at 100% capacity. For the depth-first search algorithm, the deployed sub-jobs consistently ran at 100% processor capacity, and since only a single processor was allocated to each sub-job, the real-world time recorded in the MATLAB environment is the same as tCPU. This was manually verified. Only the time spent searching the modes is recorded, i.e., pre- and post-processing time was excluded, and the tCPU reported for a given sub-model (in Table 2) is the sum of computation times for the sub-jobs.

*efmtool* variably uses a few to all processor cores. In order to exclude pre- and post-processing computation time, the iteration “window” was identified using %CPU given by the *top* command (Additional file 4). The *efmtool* tCPU observations may be inaccurate for model *subaa* and *aa* because their enumerations were completed within seconds, making the iteration window narrow and difficult to identify. Ideally, tCPU would be the same regardless of the number of processor cores used, but a standard deviation of 10% of the average tCPU was observed when we separately processed the sub-model *aarna* using 3, 4 5, 6, 7 and 8 cores (Additional file 4). This variation, however, is small in comparison to the observed tCPU differences between the depth-first search strategy and *efmtool*.

## Results

### Heuristics to reduce computation time

The order in which reactions are processed greatly affects the performance of the Double Description method. A common strategy is to sort reaction rows according to the number of possible combination between the positive and negative elements presented within rows of the null space matrix [16],[29]. In 100 randomly ordered networks based on the (smallest) model *subaa*, computation time using the depth-first algorithm ranged from 310 seconds to almost 5000 seconds (Figure 4A). Row sorting improved computation time for the slowest networks (Figure 4B), whereas several other heuristics failed (Additional file 5).

We also investigated the possibility of using a sparse null space matrix, based on the hypothesis that faster computation can be achieved by minimizing the combinatorial possibilities between the positive and negative elements contained in *NS*. The sparse null space matrix, *NS*
_{
EFM
}, was made to contain a full independent set of short EFMs (see Additional file 5 for method). Unlike *NS*
_{
rref
}, *NS*
_{
EFM
} is not expressed in a reduced-row echelon form and does not contain *DoF* pivot rows unless the network contains exactly *DoF* EFMs. This means that some EFM basis vectors in *NS*
_{
EFM
} can have negative activity coefficients and these basis vectors can be used to parallelize the depth-first search.

The *subaa* model has eight EFM basis vectors that can have negative activity coefficients. We ran all 256 (2^{8}) possible combinations of constraining none, some or all of these, and found that tCPU ranged from 270 s to 950 s (Figure 4A). Importantly, the slowest configuration with sparse matrix setup was significantly faster than more than half of the 100 random tests in basic setup. Moreover, parallelization only moderately increased tCPU (Figure 4A); the unparallelized *subaa* model was solved in ~400 s (no basis vector constrained), whereas the fully parallelized model was solved in ~600 s (all 8 basis vectors constrained). The effectiveness of the strategy was confirmed in tests performed on the *aa* model, and was incorporated into the depth-first search algorithm (Additional file 5).

### Performance comparison against *efmtool* using sub-models

The performance of the algorithm was tested using five different metabolic growth models with increasing size derived from a reduced iAF1260 (Table 1). The smallest model *subaa* had 209 reactions and a nullity of 57; the largest model *aantpe* had 379 reactions and a nullity of 90. Network compression removed up to 80% of the original reactions. The observed reduction in the models’ *DoF* was between 43% and 60%. These reductions were attributed primarily to the removal of isolated metabolic pathways (i.e., independent conservation relations), and secondarily to the lumping of duplicated reactions.

The speed of the depth-first search algorithm using Gurobi as the solver was compared against the speed of *efmtool*. For the smaller sub-models *subaa*, *aa*, *aarna*, *efmtool* was found to be faster by 2 to 111 fold, but the depth-first search algorithm was at least 2 fold faster for larger sub-models *aant* and *aantpe* (Table 2). For the largest model *aantpe*, *efmtool* failed at the 27th row iteration (out of 39 steps) due to physical memory limitations, whereas the depth-first search algorithm was able to generate the full set of EFMs within the time it took *efmtool* to fail (31.9 days versus 80.2 days). Gurobi was 10-fold faster than CPLEX, indicating that solver performance is a significant determinant of the computation speed for the depth-first search algorithm. The sets of EFMs generated by either approach were identical in terms of number and form.

The depth-first search algorithm, which was executed using MATLAB Compiler Runtime, showed resident memory usages between 94 to 97 MB. Increase in memory usage as individual searches progressed was negligible because solutions were stored in a bit-matrix and written to hard-drive in batches. The computation time increased exponentially with model *DoF* (Figure 5). By interpolation, the search algorithm (using Gurobi solver) would have matched *efmtool*’s speed for a model with a *DoF* of 42. While it was unexpected to find that the test model *aa* showed the poorest time ratio despite it not being the smallest model (Table 2), the trend suggested that the anomaly actually resides in *efmtool*. It is unclear why test model *aa* was more efficiently processed by *efmtool* than other test models, since all models were derived from the same source.

### EFMs for producing valine from glucose

The largest test model *aantpe* was used to demonstrate the potential of generating a complete subset of EFMs satisfying a certain set of flux constraints. Conversion of glucose to valine was used for illustration and, based on the maximum calculated theoretical yield of valine of 0.857 mol per mol glucose, four yield intervals were applied as constraints (Table 3). There is a total of 118,140 EFMs describing the conversion of glucose to valine in the set of EFMs from the full model (Additional file 6). The EFMs and the number of EFMs generated at a given yield interval was found to be the same as the subset extracted from the full EFMs set (using the yield interval as filters). The time required to generate these subsets of EFMs decreased with increasing yield stringency.

## Discussion

The classical Double Description method generates a massive number of intermediate modes before arriving at the final set of EFMs. Existing elementarity tests, the *Adjacency test* and the free-standing rank test [12],[14], provide some attrition power, but neither is sufficient when applied on larger metabolic models. Meeting physical memory requirements to accommodate the combinatorial explosion of intermediate modes is challenging even when using shared or distributed memory system in a computing cluster [7],[12]. Recent elegant strategies for problem sub-division [15],[16] has lessened the physical memory load, though the concomitant increase in computation load [15] limits the potential of how many nodes can be used.

Our depth-first search strategy developed based on an alternative elementarity test: a flux vector is elementary if it has *DoF-1* inactive free fluxes. In fact, all modes surviving the *Adjacency test* in the *Nullspace* approach have this feature [14] (Additional file 1). This EFM feature is the basis for the depth-first search strategy, and crucially mitigates the need for large memory requirements. Unlike existing LP-based approaches, the depth-first search strategy can be exhaustive, since it does not require an ever-expanding constraint matrix. Moreover, the algorithm is readily parallelized using a divide-and-conquer strategy to split the problem into exclusive sub-problems using flux constraints and subsequently enumerate EFMs using as many computing nodes as available with minimal coordination effort. Sub-division of the *subaa* problem into 256 sub-problems, did not significantly increase computation time (Figure 4A). Additionally, the algorithm is robust and running jobs can be interrupted, resumed and/or further sub-divided as desired.

We demonstrated that the LP-based depth-first search strategy is at least comparable in speed to the mainstream *efmtool* (Table 2). Using the Gurobi solver, 86% of the computation time was spent on feasibility testing. The flux constraints *v* ≥ 0, *v* = 0 and *v* > 0, combined with the speed-up strategies, were effective at preventing the search algorithm from traversing down tree branches that did not yield any EFM. Furthermore, finding the next EFM involved only a few enumeration steps because EFM solutions occurred very densely in the search tree. An average yield of 3 solutions per 1000 optimizations was observed. It appears that the attrition power achieved outweigh the additional processor penalty of running an LP optimization compared to approaches based purely on arithmetic operations, particularly for the larger models.

The rank test contributes to a more efficient use of the LP solver. The rank test ensures that flux constraints are only applied to non-redundant reactions, therefore constraints are guaranteed to reduce the flux solution space. Despite the frequency of rank testing, the time spent on calculating matrix rank was only 5% of the total computation time. Matrix rank computation was quick because the matrices evaluated were small—the largest matrix would be a square matrix with the dimension of *DoF-1*—and were largely invariant. In essence, the rank and the LP feasibility tests work synergistically to generate EFMs. In theory, a pure rank or pure feasibility approach could have been used to generate EFMs, but either approach would have required significantly larger number of enumerations than the concurrent use of both.

Our depth-first search approach has not been optimized to reduce computation time. The main component that still requires improvement is the solver performance. The significant speed gained from switching the solver from CPLEX to Gurobi drew our attention to the possibility of stripping down an LP solver to just performing a feasibility test by detecting the presence of an irreducible infeasible set. The optimality criterion is irrelevant here. Additionally, our approach may benefit from more efficient methods to calculate matrix rank [7],[12], rather than MATLAB’s convenient but inefficient *rank* function based singular value decomposition. However, considering the time spent on rank test was only 5% of the total computation time, the benefits would be minor. Lastly, there may be an additional speed gain if our algorithms were to be re-scripted in a native programming language like C++, particularly for large-scale deployment onto computing clusters.

Although this algorithm is suited for large-scale deployment, genome scale enumeration of EFMs in *E. coli* remains impossible with the irreversible version of iAF1260 having a nullity of 985 even after network compression. The smallest, reduced iAF1260 still capable of producing all biomass components has 80 DoF (Table 1) and is projected to require 130 million CPU hours to solve using our setup (Figure 5). The largest number of EFMs enumerated to date is for 227 million for *E. coli* and 2 billion EFMs for *P. triconutum*, respectively [15],[30]. The *P. triconutum* model [15], which has 106 irreversible reactions and a *DoF* of 52 after compression (from 318 reactions). The size of our largest test model (82 reactions, 51 *DoF*) is significantly smaller in comparison to these achieved scales. The preliminary speed results nonetheless demonstrated that the depth-first search strategy is a viable alternative.

Of greater practical importance, this LP approach can generate a complete subset of EFMs satisfying certain flux criteria without enumerating all EFMs first. The potential time saving is very significant as illustrated with the valine example; the time required to generate all EFMs with a yield greater than 75% of the theoretical yield was only 1% of the computation time required to generate a full set of EFMs (Table 3). Constraints derived from thermodynamics and regulation can be incorporated as well [30]–[32]. Instead of a holistic approach, metabolic pathway analysis may benefit from first establishing a narrower, targeted, well-defined metabolic hypothesis, and subsequently generating EFMs that are pertinent to the investigation.

## Conclusions

A depth-first search algorithm to generate EFMs based on linear programming and rank test was developed. The speed is comparable to the conventional approaches based on the Double Description method and the algorithm is scalable, has a low and constant memory load, and can incorporate additional flux constraints to generate a full subset of EFMs of interest.

## Additional files

## References

Schuster S, Fell DA, Dandekar T:

**A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks.***Nat Biotechnol*2000,**18**(3):326-332. 10.1038/73786Trinh CT, Wlaschin A, Srienc F:

**Elementary mode analysis: a useful metabolic pathway analysis tool for characterizing cellular metabolism.***Appl Microbiol Biotechnol*2009,**81**(5):813-826. 10.1007/s00253-008-1770-1Song HS, Ramkrishna D:

**Reduction of a set of elementary modes using yield analysis.***Biotechnol Bioeng*2009,**102**(2):554-568. 10.1002/bit.22062Trinh CT, Srienc F:

**Metabolic engineering of Escherichia coli for efficient conversion of glycerol to ethanol.***Appl Environ Microbiol*2009,**75**(21):6696-6705. 10.1128/AEM.00670-09Papin JA, Price ND, Wiback SJ, Fell DA, Palsson BO:

**Metabolic pathways in the post-genome era.***Trends Biochem Sci*2003,**28**(5):250-258. 10.1016/S0968-0004(03)00064-1von Kamp A, Schuster S:

**Metatool 5.0: fast and flexible elementary modes analysis.***Bioinformatics*2006,**22**(15):1930-1931. 10.1093/bioinformatics/btl267Terzer M, Stelling J:

**Large-scale computation of elementary flux modes with bit pattern trees.***Bioinformatics*2008,**24**(19):2229-2235. 10.1093/bioinformatics/btn401Motzkin TS, Raiffa H, Thompson GL, Thrall RM:

**The Double Description Method.**In*Contributions to the Theory of Games II, Vol. 8*. Edited by: Kuhn HW, Tucker AW. Princeton University Press, New Jersey; 1953:51-73.Wagner C:

**Nullspace approach to determine the elementary modes of chemical reaction systems.***J Phys Chem B*2004,**108**(7):2425-2431.Machado D, Soons Z, Patil KR, Ferreira EC, Rocha I:

**Random sampling of elementary flux modes in large-scale metabolic networks.***Bioinformatics*2012,**28**(18):i515-i521. 10.1093/bioinformatics/bts401Acuna V, Marchetti-Spaccamela A, Sagot MF, Stougie L:

**A note on the complexity of finding and enumerating elementary modes.***Biosystems*2010,**99**(3):210-214. 10.1016/j.biosystems.2009.11.004Jevremovic D, Trinh CT, Srienc F, Sosa CP, Boley D:

**Parallelization of nullspace algorithm for the computation of metabolic pathways.***Parallel Comput*2011,**37**(6–7):261-278. 10.1016/j.parco.2011.04.002Terzer M, Stelling J:

**Parallel Extreme Ray and Pathway Computation.**In*Parallel Processing and Applied Mathematics, Vol. 6068*. Edited by: Wyrzykowski R, Dongarra J, Karczewski K, Wasniewski J, Wyrzykowski R, Dongarra J, Karczewski K, Wasniewski J. Springer Berlin/Heidelberg, Berlin; 2010:300-309. 10.1007/978-3-642-14403-5_32Gagneur J, Klamt S:

**Computation of elementary modes: a unifying framework and the new binary approach.***BMC Bioinformatics*2004,**5:**175. 10.1186/1471-2105-5-175Hunt KA, Folsom JP, Taffs RL, Carlson RP:

**Complete enumeration of elementary flux modes through scalable demand-based subnetwork definition.***Bioinformatics*2014,**30:**1569-1578. 10.1093/bioinformatics/btu021Jevremovic D, Boley D, Sosa CP:

**Divide-and-Conquer Approach to the Parallel Computation of Elementary Flux Modes in Metabolic Networks.***Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW), 2011 IEEE International Symposium*2011, 502-511. 10.1109/IPDPS.2011.188Schwartz JM, Kanehisa M:

**Quantitative elementary mode analysis of metabolic pathways: the example of yeast glycolysis.***BMC Bioinformatics*2006,**7:**186. 10.1186/1471-2105-7-186Kaleta C, de Figueiredo LF, Behre J, Schuster S:

**EFMEvolver: computing elementary flux modes in genome-scale metabolic networks.***Lect Notes Informat*2009,**P-157:**179-189.Gebauer J, Schuster S, de Figueiredo LF, Kaleta C:

**Detecting and investigating substrate cycles in a genome-scale human metabolic network.***FEBS J*2012,**279**(17):3192-3202. 10.1111/j.1742-4658.2012.08700.xBohl K, de Figueiredo LF, Hädicke O, Klamt S, Kost C, Schuster S, Kaleta C:

**CASOP GS: Computing Intervention Strategies Targeted at Production Improvement in Genome-scale Metabolic Networks.***2010*2010, 71-80.de Figueiredo LF, Podhorski A, Rubio A, Kaleta C, Beasley JE, Schuster S, Planes FJ:

**Computing the shortest elementary flux modes in genome-scale metabolic networks.***Bioinformatics*2009,**25**(23):3158-3165. 10.1093/bioinformatics/btp564Feist AM, Henry CS, Reed JL, Krummenacker M, Joyce AR, Karp PD, Broadbelt LJ, Hatzimanikatis V, Palsson BO:

**A genome-scale metabolic reconstruction for***Escherichia coli***K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information.***Mol Syst Biol*2007,**3:**121. 10.1038/msb4100155Schilling CH, Palsson BO:

**The underlying pathway structure of biochemical reaction networks.***Proc Natl Acad Sci U S A*1998,**95**(8):4193-4198. 10.1073/pnas.95.8.4193Wiechert W, de Graaf AA:

**Bidirectional reaction steps in metabolic networks: I. Modeling and simulation of carbon isotope labeling experiments.***Biotechnol Bioeng*1997,**55**(1):101-117. 10.1002/(SICI)1097-0290(19970705)55:1<101::AID-BIT12>3.0.CO;2-PUrbanczik R, Wagner C:

**An improved algorithm for stoichiometric network analysis: theory and applications.***Bioinformatics*2005,**21**(7):1203-1210. 10.1093/bioinformatics/bti127Jevremovic D, Trinh CT, Srienc F, Boley D:

**On algebraic properties of extreme pathways in metabolic networks.***J Comput Biol*2010,**17**(2):107-119. 10.1089/cmb.2009.0020Mahadevan R, Schilling CH:

**The effects of alternate optimal solutions in constraint-based genome-scale metabolic models.***Metab Eng*2003,**5**(4):264-276. 10.1016/j.ymben.2003.09.002Klamt S, von Kamp A:

**An application programming interface for CellNetAnalyzer.***Biosystems*2011,**105**(2):162-168. 10.1016/j.biosystems.2011.02.002Klamt S, Gagneur J, von Kamp A:

**Algorithmic approaches for computing elementary modes in large biochemical reaction networks.***Syst Biol (Stevenage)*2005,**152**(4):249-255. 10.1049/ip-syb:20050035Jungreuthmayer C, Ruckerbauer DE, Zanghellini J:

**regEfmtool: speeding up elementary flux mode calculation using transcriptional regulatory rules in the form of three-state logic.***Biosystems*2013,**113**(1):37-39. 10.1016/j.biosystems.2013.04.002Jol SJ, Kümmel A, Terzer M, Stelling J, Heinemann M:

**System-level insights into yeast metabolism by thermodynamic analysis of elementary flux modes.***PLoS Comput Biol*2012,**8**(3):1553-7358. 10.1371/journal.pcbi.1002415Boghigian BA, Shi H, Lee K, Pfeifer BA:

**Utilizing elementary mode analysis, pathway thermodynamics, and a genetic algorithm for metabolic flux determination and optimal metabolic network design.***BMC Syst Biol*2010,**4:**49. 10.1186/1752-0509-4-49

## Acknowledgements

We are grateful for the resources provided the High Performance Computing Support Group at the University of Queensland, and we thank David Green and Edan Scriven for their continuous technical support. We thank the Gurobi team for kindly providing a temporary Virtual license to enable the use of Gurobi on the Barrine cluster.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that there are no competing interests.

### Authors’ contributions

LEQ conceived and designed the method, generated the results and drafted the manuscript. LKN revised the manuscript. Both authors have read the manuscript and approved the final version.

## Electronic supplementary material

### 12918_2014_94_MOESM1_ESM.docx

Additional file 1:**A brief example to demonstrate that modes passing the** *Adjacency test***always contain** *DoF-1***independent zero fluxes.** Also contains demonstration using the toy network that the selection of inactive free fluxes can be made unique if the leading reactions are chosen. (DOCX 990 KB)

### 12918_2014_94_MOESM5_ESM.docx

Additional file 5:**Results to show the effectiveness of different heuristics at reducing tCPU.** Details on the method used to generate EFM basis vectors, which are then used to generate all others EFMs. (DOCX 139 KB)

## Authors’ original submitted files for images

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

## Rights and permissions

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. 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.

## About this article

### Cite this article

Quek, LE., Nielsen, L.K. A depth-first search algorithm to compute elementary flux modes by linear programming.
*BMC Syst Biol* **8, **94 (2014). https://doi.org/10.1186/s12918-014-0094-2

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s12918-014-0094-2

### Keywords

- Elementary mode
- Extreme pathway
- Linear programming
- Rank
- Parallel
- Memory