 Research article
 Open access
 Published:
Probabilistic strain optimization under constraint uncertainty
BMC Systems Biology volume 7, Article number: 29 (2013)
Abstract
Background
An important step in strain optimization is to identify reactions whose activities should be modified to achieve the desired cellular objective. Preferably, these reactions are identified systematically, as the number of possible combinations of reaction modifications could be very large. Over the last several years, a number of computational methods have been described for identifying combinations of reaction modifications. However, none of these methods explicitly address uncertainties in implementing the reaction activity modifications. In this work, we model the uncertainties as probability distributions in the flux carrying capacities of reactions. Based on this model, we develop an optimization method that identifies reactions for flux capacity modifications to predict outcomes with high statistical likelihood.
Results
We compare three optimization methods that select an intervention set comprising up or downregulation of reaction flux capacity: CCOpt (Chance constrained optimization), DetOpt (Deterministic optimization), and MCOpt (Monte Carlobased optimization). We evaluate the methods using a Monte Carlo simulationbased method, MCEval (Monte Carlo Evaluations). We present two case studies analyzing a CHO cell and an adipocyte model. The flux capacity distributions required for our methods were estimated from maximal reaction velocities or elementary mode analysis. The intervention set selected by CCOpt consistently outperforms the intervention set selected by DetOpt in terms of tolerance to flux capacity variations. MCEval shows that the optimal flux predicted based on the CCOpt intervention set is more likely to be obtained, in a probabilistic sense, than the flux predicted by DetOpt. The intervention sets identified by CCOpt and MCOpt were similar; however, the exhaustive sampling required by MCOpt incurred significantly greater computational cost.
Conclusions
Maximizing tolerance to variable engineering outcomes (in modifying enzyme activities) can identify intervention sets that statistically improve the desired cellular objective.
Background
In recent years, increasingly sophisticated computational methods have been developed to identify optimal genetic modifications to achieve a desired metabolic engineering objective. The problem of identifying optimal genetic modifications can be expressed in terms of operating state variables such as reaction flux, and control (decision) variables such as the presence or absence of gene expression. The optimal design “tunes” these variables such that the solution meets the engineering objective while satisfying several constraints reflecting physicochemical considerations, experimental observations and assumptions about the physiology of the cell or organism. Due to biological variability [1, 2], stochastic effects associated with gene expression, and imprecision in engineering implementation, it is questionable that enzyme levels can be precisely tuned to exactly match the target values calculated using computational design tools. More likely, the target enzyme levels, and thus the corresponding reaction flux capacities, can only be achieved with a finite degree of uncertainty. Addressing uncertainty at the design stage is a challenging issue that has become increasingly important not only for engineering biological systems, but also manmade systems such as electronic devices. Indeed, the past decade has witnessed a paradigm shift in design of electronics and computational design tools, where all modern electronic circuits are now designed to maximize tolerance to manufacturing and operational variations or to include tuning circuitry for postmanufacturing recalibration. As metabolic engineering efforts progress from proofofprinciple to scaledup manufacturing, computational methods to effectively address biological and engineering uncertainties at the design stage will become increasingly important in ensuring the identification of the most robustly optimal gene modifications.
The uncertainty in achieving targeted enzyme values suggests that the enzyme levels, and hence the corresponding flux carrying capacities (bounds), could be considered statistical distributions rather than fixed value parameters. In this statistical interpretation, a flux constraint in a conventional deterministic optimization problem represents the most conservative point in the flux capacity distribution, since a deterministic problem enforces all constraints with zero uncertainty. Although the deterministic approach affords relatively straightforward problem formulation and is most commonly practiced [3–5], this approach might lead to choosing an intervention set that may be far from optimal in a statistical sense. Alternatively, a samplingbased optimization approach (e.g. Monte Carlo sampling [6]), with the obvious caveat of being computationally intensive, probabilistically explores a possible space of enzyme activities, i.e. flux capacity distributions, and solves for an optimal intervention set for each sampled instance of flux capacities. Repeated sampling produces multiple intervention sets and a corresponding distribution of objective function values. Another alternative for incorporating uncertainties in an optimization problem is chanceconstrained programming (CCP), which selects an optimal solution with a userdefined degree of probabilistic confidence in meeting constraints. Chanceconstrained programming was first introduced in [7] to solve the problem of temporal planning when uncertainty is present. Since then, CCP has been utilized in numerous applications, including circuit sizing [8], soil conservation [9], ground water management [10], energy management [11], and molecular property optimization [12].
Current strain optimization methods generally seek to identify combinations of genelevel modifications that will result in an improvement of the desired cellular objective. These modifications are commonly gene deletions, but may be also up or downregulations of gene expression. A notable example of a computational method to identify gene knockouts is OptKnock [4]. This method uses bilevel programming to identify gene deletions that satisfy the coupled objectives of metabolite overproduction and biomass formation. Another gene deletion strategy is Genetic Design through Local Search (GLDS) [5], which employs a heuristic and flux balance analysis (FBA) to iteratively find sets of zero flux reactions (corresponding to gene deletions) that would result in the maximization of the target reaction flux. Other, related methods for largescale problems involve metaheuristic approaches to iteratively improve a candidate set of gene deletions by generating and selecting variants of the candidate set via assessment of the objective function. An example of this approach is OptGene, which uses an evolutionary algorithm to improve the set of gene deletions with respect to an objective function [13].
Optimization methods have also been described to identify targets for gene expression modification. OptReg [3] is a constraintbased method that uses bilevel programming to determine which sets of genes should be amplified or downregulated to satisfy a coupled pair of engineering and cellular objectives. Another class of computational strain design methods utilizes elementary mode (EM) analysis. One recent example is Computational Approach for Strain Optimization aiming at high Productivity (CASOP), which ranks reactions based on their contributions to the yield of desired product [14]. Another example is Flux Design, which selects reactions for upregulation or deletion based on their correlation with the objective flux computed from EMs that contribute to the target product [15, 16]. Despite increasing sophistication, these and other current computational strain design methods implicitly assume that reaction flux changes can be implemented precisely, and thus do not consider uncertainties as part of the problem formulation.
In this paper, we investigate three computational methods to address uncertainty in strain optimization. Specifically, we compare two probabilistic methods, CCP based optimization (CCOpt) and sampling based optimization (MCOpt), against deterministic optimization (DetOpt). The performance of each method is tested on two metabolic models for which enzyme level changes and corresponding flux capacity distributions are estimated either from kinetic parameters or steadystate flux data. The performance of the solutions, i.e. predicted target fluxes and corresponding intervention sets, is evaluated using Monte Carlo simulations (MCEval) designed to simulate the variable outcomes resulting from experimental implementation of the modifications specified by the optimization solutions.
Methods
Chanceconstrained optimization (CCOpt)
Figure 1 illustrates the difference between a deterministic and probabilistic interpretation of an uncertain upperbound constraint on the flux of reaction j. In the deterministic interpretation, the value of flux v_{ j } of any feasible solution is enforced to be strictly less than all of the values in the upperbound (flux capacity) distribution \mathit{Ca}{p}_{j}^{u}. This yields the constraint:
In the probabilistic interpretation, the constraint is not always satisfied, i.e. there is a nonzero probability that flux v_{ j } will be equal to or larger than some of the values in the distribution \mathit{Ca}{p}_{j}^{u}. In the case of CCP, the constraint is relaxed by introducing a parameter ε, which reflects the confidence level for the probability that the solution satisfies the constraint:
To generalize the previous inequality to also consider the effects of up or downregulating the activity of an enzyme (e.g. through an adjustment in the expression of the gene that encodes the enzyme), we introduce two sets of binary decision variables {y}_{j}^{u} and {y}_{j}^{d}. In this paper, we use the phrasing “up or downregulation” to describe engineering modifications that result in expression level changes of enzymes or groups of enzymes regardless of the method. A value of 1 indicates that the corresponding enzyme is up or downregulated, whereas a value of 0 indicates the corresponding enzyme expression is unchanged.
where 3, SSU_{ j } denotes the reference (unmodified) state upper bound for reaction j. The fact that there are two random variables (\mathit{Ca}{p}_{j}^{u} and \mathit{Ca}{p}_{j}^{d}) does not pose a challenge in solving such an inequality, as at most one of them will have a nonzero coefficient at a time. Mathematically, the sum of the two decision variables must be less than or equal to one ({y}_{j}^{u}+{y}_{j}^{d}\le 1), which simplifies the above inequality into the following:
A graphical illustration of the probabilistic constraints is shown in Figure 2. Downregulating a reaction decreases the upper bound, or the flux capacity. It could also decrease the lower bound to zero. The capacity change could leave the flux unchanged or decrease it below the level of the reference (unmodified) state lower bound. Upregulating a reaction increases the flux capacity, but does not affect the lower bound. The flux value could remain the same or rise above the reference state upper bound. In this study, we model the capacity change resulting from a gene expression modification as a probabilistic (rather than deterministic) event, which leads to a flux capacity distribution (dashed red lines).
Various approaches have been developed to solve CCP problems based on properties such as the distribution of random variables, linearity, and type (individual or joint) of the chance constraints [11]. One method to solve a CCP problem is to convert the probabilistic constraints (here, equation (4)) into their deterministic equivalents at their specified confidence level ε. This approach requires that the random variables of the problem are independent, and appear only in an exclusive linear form, such that the coefficients of all but one are always zero [17]. Our formulation meets all of these conditions; therefore, the chance constraints can be converted into their deterministic equivalents. Using the inverse of the cumulative distribution functions (CDF) for \mathit{Ca}{p}_{j}^{u} and \mathit{Ca}{p}_{j}^{d}, inequality (4) can be reformulated as:
where {F}_{j,u}^{1} and {F}_{j,d}^{1} denote the inverse CDFs of \mathit{Ca}{p}_{j}^{u} and \mathit{Ca}{p}_{j}^{d} respectively, which can be numerically calculated if needed.
Recasting the chance constraints into the equivalent deterministic constraints, the uncertain optimization problem of maximizing the flux of a desired product through gene up/downregulation operations can be formulated for a system of arbitrary size consisting of N metabolites and M reactions. Without loss of generality, reversible reactions are split into forward and backward components such that the reaction set comprises only irreversible reactions. The chanceconstrained cell optimization problem has the following constraints:
s.t.
The main objective of the problem is to maximize the target reaction flux v_{ target }. It is expected that the optimal value of v_{ target } will increase monotonically with L, the number of allowed interventions (enzyme up/downregulation operations). On the other hand, the engineering cost is also expected to increase with the number of interventions. Therefore, the objective function in (6) also includes the term \alpha {\displaystyle \sum _{j=1}^{M}\left({y}_{j}^{u}+{y}_{j}^{d}\right)}, which imposes a small penalty α for each added intervention, and balances the optimal flux of the target reaction against the number of required interventions. Constraint (7) represents the steady state assumption that the rate of production of each intracellular metabolite is equal to its rate of consumption. Constraint (8) guarantees a minimal growth rate equaling at least 1% of the theoretical maximum of the wildtype (unmodified) organism. A minimal growth rate constraint is required to guarantee that the cell remains viable. This parameter can be adjusted by the user based on the metabolic model, available data and expectations for cell viability, which does not alter the optimization algorithm. To maximize the growth rate while simultaneously maximizing a certain target metabolite, a bilevel optimization with two objectives (maximizing biomass and a target flux) can be applied in place of the constraints (6) and (8). However, linear bilevel programs are NPhard [18] and there are no efficient algorithms to solve largescale problems [19]. Constraint (9) sets the upper bound flux capacity for each reaction j. Constraint (10) sets the lower bound flux for each reaction j to SSL_{ j } (an observed reference state lower bound, if the observation data is available) or zero, based on the value of the binary variable {y}_{j}^{d}. Constraint (11) sets an upper bound on the number of allowed interventions. Inequality (12) ensures that enzyme manipulations are exclusive, i.e. a reaction can be either up or downregulated in a solution, but not both. Similarly, constraint (13) guarantees that the forward and backward directions of a reversible reaction are not both up and downregulated at the same time. Constraint (14) specifies that the decision variables {y}_{j}^{u} and {y}_{j}^{d} can only be 0 or 1.
Deterministic optimization (Detopt)
The deterministic formulation (DetOpt) can be derived from the CCP formulation by setting ε = 0 in (9), i.e. v_{ j } is strictly less than all possible values the random variables \mathit{Ca}{p}_{j}^{u} or \mathit{Ca}{p}_{j}^{d} can take.
Monte Carlobased optimization (MCOpt)
Chanceconstrained optimization can be emulated by repeatedly solving the fixed constraint (deterministic) optimization problem in which the constraint parameters (\mathit{Ca}{p}_{j}^{u} or \mathit{Ca}{p}_{j}^{d}) are set to randomly drawn values using a MC sampling procedure for each instance of the problem. The MC sampling requires a priori knowledge of the distributions for the flux capacities (\mathit{Ca}{p}_{j}^{u}/\mathit{Ca}{p}_{j}^{d}). The procedure for computing the distributions is described below. Using the randomly drawn set of flux capacities, the capacity constraints become fixed constraints. Effectively, we replace the inequality in (9) with the constraint below:
where {X}_{j}^{u} and {X}_{j}^{d} are the randomly drawn set of flux capacities. Each MC sample, i.e. set of randomly drawn flux capacities, defines an instance of an optimization problem. The solution to this optimization problem is a set of interventions and a corresponding optimal flux value for the target reaction. Repeating the process (sampling and optimization) many times, we obtain a distribution of optimal target flux values.
Computing capacity distributions
Traditionally, a gene up/downregulation operation has been modeled as a deterministic event leading to a foldchange in the level of the corresponding enzyme, and hence a foldchange in the flux capacity of the reaction catalyzed by the enzyme. Here, we model enzyme level modification as an uncertain event using a probability distribution. We assume a normal distribution [20] with an average foldchange of μ = 6 following gene upregulation and a spread of δ = 6σ = 8, where σ denotes the standard deviation. The average foldchange value reflects experimental data reported in gene overexpression studies involving mammalian cells, specifically adipocytes [21]. We note that the average foldchange value is a userspecified parameter that can be adjusted to reflect different cell types and experimental data, and thus does not lead to loss of generality. The spread δ is chosen so that μ  δ/2 > 1, which ensures that the flux capacity after upregulating the enzyme level is higher than the unmodified state. A decrease in enzyme level, and hence reaction flux capacity, is modeled by a normal distribution N_{ d }(μ, σ^{2}) with an average foldchange of μ = 0.5 and a spread of δ = 1.
Based on the probabilistic interpretation of foldchanges in enzyme levels resulting from gene modifications, we also estimate the resulting reaction flux capacities as probability distributions. We use two different estimation methods depending on whether the model is kinetic or stoichiometric. In the case of a kinetic model, a foldchange in enzyme level is assumed to directly correlate with a foldchange in the maximal reaction velocity (v_{j,max}). Here, the maximal reaction velocity has the same units as reaction flux. Therefore, flux capacity distributions were calculated by simply multiplying the enzyme foldchange distributions with v_{j,max}. In the case of a stoichiometric model, the distributions of flux capacities are approximated using enzyme control flux (ECF) analysis [22]. Briefly, ECF analysis calculates the effect of enzyme level changes on flux distribution based on elementary mode analysis [23] and a power law model for the relationship between reaction flux and enzyme activity. Typically, the ECF problem is underdetermined, and the solution is obtained as a range of minimal and maximal flux for each reaction. We use the maximal flux value as the corresponding reaction flux capacity. The maximal flux values, calculated using sample points from the distributions of enzyme level modifications (N_{ u }(μ, σ^{2}) and N_{ d }(μ, σ^{2})), form a capacity distribution.
Monte Carlobased evaluation (MCEval) framework
We evaluate CCOpt, DetOpt, and MCOpt using Monte Carlo (MCEval) simulations designed to mimic the expected variations in outcomes when the intervention sets identified by the three different optimization methods are experimentally implemented. For CCOpt and DetOpt, each solution is a single optimal flux of the target reaction and a corresponding set of interventions. The MCOpt solution comprises a distribution of maximal fluxes and their corresponding sets of interventions. To compare these solutions, we perform separate MCEval simulations using the interventions obtained from CCOpt, DetOpt, and MCOpt, and apply flux balance analysis (FBA) [24] with the objective function of maximizing the target flux.
s.t.
In the FBA problem, the flux capacity constraints are drawn from the capacity distributions ({X}_{j}^{u} and {X}_{j}^{d} in equation (19)) if the corresponding reaction (enzyme) belongs to the optimized set of interventions. Otherwise, the capacity constraints are set to maximal steady state value (SSU_{ j }) calculated for the unmodified reference state. Similar to MCOpt, MCEval repeatedly solves a series of optimization problems to generate a distribution of optimal target flux values. Unlike MCOpt, MCEval does not seek to identify an intervention set reflecting decisions on enzyme activity modification. Rather, each instance of MCEval simply solves for the optimal flux and the corresponding flux distribution based on capacity constraints specified by the CCOpt, DetOpt, or MCOpt solution that is to be evaluated.
Results and discussion
To assess the benefits and limitations of the optimization methods, we compare their performance using test cases involving both a kinetic and a stoichiometric model. The kinetic model describes the metabolism of Chinese hamster ovary (CHO) cells in fedbatch culture [25]. The stoichiometric model describes the metabolism of adipocytes undergoing differentiation and growth [26].
CHO cell model
The CHO cell model comprises 24 metabolites and 47 irreversible reactions. The kinetic parameters of the model were previously estimated by fitting the model equations to experimentally obtained metabolite time course data [25]. These parameters are used to estimate the effects of enzyme activity increases and decreases on the corresponding reaction flux capacity distributions. The flux capacity distributions for the adipocyte model are estimated from steady state metabolic flux data obtained in previous studies [27]. Additional details of the model including reaction definitions are provided as Additional file 1. The test objective is the synthesis of a recombinant protein product, a therapeutic antibody.
We first estimate the steady state flux values of a nominal reference state and the corresponding capacity distributions. The reference state fluxes (SSU, SSL) are estimated through a linear programming formulation that maximizes/minimizes each reaction flux subject to
where v_{j,max} is the maximal velocity of reaction j and MeasuredData is a set of measured exchange flux values for glucose, glutamine, glycine, glutamate and ammonia. The maximal velocities (v_{j,max}) are reported in [25] for only 16 of the 47 reactions in the model that explicitly defined with rate expressions. To calculate the v_{j,max} values for the remaining reactions, we solve a series of flux maximization problems subject to the 16 predefined maximum velocities. The capacities reflecting up/downregulations of enzyme activities \mathit{Ca}{p}_{j}^{u}/\mathit{Ca}{p}_{j}^{d} are obtained by multiplying the maximum velocities with the assumed enzyme activity distributions:
We compare the intervention sets obtained from CCOpt with ε = 0.1 and ε = 0.25 (representing two choices of conservative and relaxed confidence levels respectively) and those from DetOpt, and evaluate the intervention sets using Monte Carlo simulations (MCEval). In Figure 3, the intervention sets (U for the upregulation set) identified by each optimization method are shown above their corresponding optimal target flux values. Empty sets represent no identified interventions. For L = 1, DetOpt and CCOpt at ε = 0.1 and ε = 0.25 all select reaction 17, which is the lumped antibody synthesis reaction. For L = 2, CCOpt adds reaction 13 to form an intervention set of {13, 17}. Upregulating reaction 13 increases the synthesis of cysteine, which could be a limiting reactant. As reported in [28], one of the ratelimiting steps of antibody production in CHO cells is the folding and assembly of polypeptides in the endoplasmic reticulum, which requires cysteine residues. For L = 3, CCOpt further adds reaction 1, which lumps together several steps in glycolysis. Upregulating the flux through glycolysis increase the supply of pyruvate for oxidation in the tricarboxylic acid (TCA) cycle, which in turn could provide additional energy for antibody synthesis [29]. For L = 4, CCOpt adds reaction 2, which acts to balance the cytosolic redox by oxidizing NADH and possibly relieves feedback inhibition of glycolysis.
Compared to CCOpt, DetOpt predicts smaller maximal antibody synthesis rates (~1000 nmol/10^{6}cells/day) due to the conservative choice of reaction flux capacities. The maximal synthesis rate predicted using CCOpt is more than twice the flux predicted by DetOpt (~2200 nmol/10^{6}cells/day). The intervention set identified by DetOpt consists of only a single reaction even when the maximal number allowed interventions is raised, indicating that the deterministic method does not fully utilize the degree of freedom available in the problem.
Figure 4 shows the distribution of maximum antibody production rates obtained using MCEval for the intervention sets reported in Figure 3. In all cases, the maximum flux predicted by DetOpt falls outside the probable (5^{th} to 95^{th} percentile) range calculated by MCEval, whereas the maximal flux predicted by CCOpt falls within this range. When only one intervention is allowed (L = 1), the selected reaction is the same for CCOpt and DetOpt. However, the flux predicted by CCOpt is higher, and is also more reliable in a probabilistic sense. When the degree of freedom is higher (L = 2, 3 and 4), and different intervention sets are selected, MCEval calculates higher probable ranges for the intervention sets identified by CCOpt compared to DetOpt. For example, for L = 4, the probable range for CCOpt lies between 1805 and 2870 nmol/10^{6}cells/day whereas both the 5^{th} and 95^{th} percentile values for DetOpt are at 1079.
Figure 5 shows the distribution of solutions resulting from 10^{6} iterations of the Monte Carlo optimization method (MCOpt). MCOpt generates the same solution as CCOpt and DetOpt for L = 1 and CCOpt for L = 2. For L = 3, MCOpt identifies four sets of interventions: {1, 13, 17}, {5, 13, 17}, {13, 17}, and {17}. The first set is dominant at a frequency of 99.86%, and matches the CCOpt solution. For L = 4, the trend is the same as L = 3, with one dominant solution (frequency > 99%) that matches the corresponding CCOpt solution. This set also corresponds to the highest predicted target flux among all intervention sets comprising four reactions.
In the case of L = 4, the aggregate effect of uncertainties in flux capacities is to result in a normally distributed target flux. However, this is not the case for L < 4, where the dominant target flux values generated by MCOpt distribute narrowly with nearly zero spread. Moreover, the mean target flux values rise only incrementally from L = 1 to 3, suggesting that the probabilistic outcomes accumulate at the lower bound of the probable range due to one or more bottlenecks in the network that are not relieved until all 4 reaction flux capacity modifications are introduced.
Similar to the CCOpt and DetOpt solutions, the MCOpt solutions are evaluated using MCEval (Figure 6). The MCEval results for L = 1 and 2 are identical to the MCOpt results for L = 1 and 2 shown in Figure 5, respectively. For L = 3, MCOpt generates two sets of interventions, where one dominant set is identified with 99.9% frequency. Results of MCEval confirm that this solution ({1, 13, 17}) indeed has a higher probable target flux value. A similar trend is observed for L = 4. The set with the highest probable target flux values is identical to the CCOpt solution and the dominant (most frequently identified) MCOpt solution. The probable ranges (5^{th} and 95^{th} percentile values) calculated by MCEval for the MCOpt intervention sets {1, 2, 13, 17}, {4, 13, 14, 17} and {13, 17} are (1805, 2870), (1375, 1389) and (1175, 1175) nmol/10^{6}cells/day, respectively. The MCEval simulations produce a normal distribution of target fluxes only for the solution {1, 2, 13, 17}, presumably because only this set of interventions sufficiently relieves the flux capacity bottlenecks in the network. The results of these evaluations indicate that CCOpt and MCOpt essentially identify the same best intervention sets, where CCOpt arrives at the results without requiring the sampling runtime cost of MCOpt.
Adipocyte model
In the second case study using the adipocyte model [26], we maximize the production of tripalmitoylglycerol as a representative triacylglycerol (TAG) in adipocyte lipid droplets [30]. This model includes 66 irreversible reactions and 38 metabolites. The details of the model are provided as Additional file 1. Unlike the CHO cell case study, we did not use v_{j,max} values to estimate the flux capacities and reference state fluxes. Instead, the reference state flux values are calculated by maximizing each reaction subject to a set of measured untreated control data reported in [27]. To estimate the flux capacity distributions, enzyme control flux (ECF) analysis [22] is used, where the analysis calculates the impact of a change in an enzyme’s activity on the steady state flux distribution of the metabolic network. The first step in calculating the distributions is to generate all elementary modes (EMs). For the base adipocyte model, 16,818 EMs were identified using efmtool [31]. In the second step, EM coefficients (EMCs) are calculated through an iterative process. The third step is to estimate the EMCs for a change in enzyme activity. An increase or decrease in enzyme activity is modeled by a normal distribution N_{ u }(μ, σ^{2}) or N_{ d }(μ, σ^{2}) as described in Methods (Computing capacity distributions). The fourth step is to calculate the flux distributions using the adjusted EMC vectors. Since the enzyme activity change is described by a distribution, multiple flux distributions are calculated. For each reaction in the network, the reaction flux capacity is the set to the maximal flux value of the reaction from the flux distributions. Repeating the third and fourth steps for all reactions generates a statistical distribution of flux capacities for the network. The maximum TG production rate and intervention sets obtained from CCOpt and DetOpt are shown in Figure 7. For both CCOpt and DetOpt, the maximal predicted target flux increases with the number of allowed interventions. As was the case for the CHO cell model, CCOpt predicts a larger maximal flux and generates a more diverse set of solutions compared to DetOpt. In general, DetOpt underutilizes the degrees of freedom available at larger L values. For example, the DetOpt solution comprises only 2 interventions when up to 3 interventions are allowed, whereas the CCOpt solution utilizes all 3 allowed interventions. A second general trend is that the smaller sets of interventions are subsets of the larger sets. An interesting observation is that a single intervention (L = 1) yields no change in the predicted maximal flux. This is expected, as reactions 17 and 24 are in series, and both are required for TG synthesis. A change in one without a change in the other merely shifts the limiting capacity to the unchanged reaction.
Reaction 17 is a part of the TCA cycle. Reactions 24 and 26 are palmitate biosynthesis and tripalmitoylglycerol biosynthesis, respectively. All three reactions directly impact synthesis of TG, which is formed from esterification of palmitate with glycerol phosphate, with the latter derived from glycerone phosphate. Previous reports [32], including our own work [27], have shown that the addition of longchain fatty acids stimulates cellular TG accumulation. At first glance, the intervention targets selected by CCOpt appear trivially intuitive. However, other, equally intuitive alternatives also exist, which were not selected. For example, another intuitive intervention to increase net TG accumulation is to downregulate lipolysis (reaction 27). This intervention was not selected, because the reference (unmodified) state lower bound for reaction 27 is already zero, and a further reduction would have no impact on TG production. In this regard, the optimization results depend not only on the model, but also on the observed reference state.
As was the case for the CHO cell model, the results of CCOpt more closely match the results of MCEval simulations compared to DetOpt (Figure 8). Since neither DetOpt nor CCOpt identified any solutions for L = 1, MCEval simulations are not shown. For L = 2 and 3, the maximal fluxes predicted by DetOpt (13 mmol/gDNA/2 days, shown as solid lines) lie at the lower end of the distributions generated by MCEval. In contrast, the maximal fluxes predicted by CCOpt consistently fall in the probable (5^{th}95^{th} percentile) range (shown as dashed lines) of the MCEval distributions. For L = 3, the 95^{th} percentile value obtained from MCEval simulations of the CCOpt intervention set is significantly larger than the 95^{th} percentile value obtained from MCEval simulations of the DetOpt intervention set. Additionally, the flux values predicted by CCOpt with and are both in the probable range as calculated by MCEval.
Applying MCOpt to the adipocyte model generates one solution for L = 1 and 2 and two solutions for L = 3 (Figure 9). The solutions with the highest frequency are identical to the CCOpt solutions. These solutions are {}, {17, 24} and {17, 24, 26} for L = 1, 2, and 3, respectively, and occur with 100%, 100% and 89.2% frequency. Of the two MCOpt solutions for L = 3, the dominant solution has the higher probable target flux values, which is consistent with the results of MCEval simulations (Figure 10).
Computational complexity and scalability of methods
Our optimization problems (CCOpt, MCOpt and DetOpt) are formulated as mixed integer linear programming (MILP). A MILP problem requires a subset of variables to take on integer values, while the other variables can take on noninteger values. This problem is NPhard [33], and thus it is unlikely that there exists an efficient (polynomialtime in the size of the model) algorithm to obtain a globally optimal solution. In the present study, we implemented our optimization methods (CCOpt, MCOpt and DetOpt) using the GNU Linear Programming Kit (GLPK) [34] in MATLAB. The runtime of our computational experiments solving the MILP problems was on the order of a few seconds on a Core i5 2.53 GHz CPU.
In addition to the scalability issue inherent to MILP problems, another computational challenge lies in estimating the flux capacity distributions. For the stoichiometric model of this study, we used enzyme control flux analysis (ECF) [22] to obtain these distributions. The ECF method in turn relies on elementary mode (EM) analysis, which can be applied to metabolic models comprising < ~100 reactions, but remains intractable for genomescale models. An alternative strategy is to model the foldchange in flux capacity, i.e. enzyme activity, resulting from a gene expression modification using a probability distribution, e.g. a normal distribution. This strategy requires knowledge of maximal enzyme velocities (v_{max}). If these parameters are not known, they may be estimated from FBA, which has been demonstrated on genomescale models.
These types of limitations, while not trivial, are comparable to other computational strain design methods. For example, bilevel optimization, used in OptKnock [4], is also NPhard [35], and thus can be intractable for largescale problems. As an NPhard problem, the runtime grows exponentially with the number of allowed reaction modifications [5]. Methods that rely on EM analysis [14–16, 36] face a similar limitation as our capacity estimation problem, as the analysis is generally only practical for small to midscale models. Methods based on local search [5] or metaheuristics [13, 37] are computationally less prohibitive than MILP, and likely offer the best alternative for largescale problems. On the other hand, these methods cannot guarantee global solution optimality, and may arrive at solutions that are far from exact.
Conclusions
This study investigates three distinct ways of capturing uncertainty about parameter values when formulating an optimization problem with the objective of identifying targets for enzyme activity adjustments that maximize the production of a desired molecule. The three approaches are chanceconstrained programming (CCOpt), Monte Carlo samplingbased solution of the uncertain problem (MCOpt), and deterministic optimization based on worstcase assumptions (DetOpt). Evaluation of the approaches for two test cases (CHO cell and adipocyte models) using Monte Carlo simulations (MCEval) shows that a more sophisticated probabilistic approach such as CCOpt has several advantages compared to a conservative conventional approach like DetOpt. Chanceconstrained programming explores a larger portion of the solution space and is able to find a more diverse set of options. Additionally, CCOpt consistently outperforms DetOpt in terms of predicting the more likely maximum of the objective function value. Comparisons of the intervention sets from CCOpt and DetOpt using MCEval shows that the maximal fluxes predicted by CCOpt was always in the probable (5^{th}95^{th} percentile) range calculated by MCEval, whereas the maximal fluxes predicted by DetOpt typically lies outside of this range. When compared to the samplingbased optimization approach (MCOpt), CCOpt consistently finds the solution most frequently selected by MCOpt, but at a fraction of the computational cost (seconds vs. days).
The CCOpt formulation can be readily extended to capture other types of uncertainties, such as biological variability in measured data and cell transfection efficiency, making CCOpt an effective technique for probabilistic strain optimization.
Abbreviations
 CCOpt:

ChanceConstrained optimization
 DetOpt:

Deterministic optimization
 MCOpt:

Monte Carlobased optimization
 MCEval:

Monte Carlo Evaluations
 CCP:

Chanceconstrained programming
 CDF:

Cumulative distribution functions
 ECF:

Enzyme control flux
 EM:

Elementary modes
 FBA:

Flux balance analysis
 CHO:

Chinese hamster ovary
 TCA:

Tricarboxylic acid
 TG:

Tripalmitoylglycerol
 GLPK:

GNU Linear Programming Kit
 MILP:

Mixed integer linear programming.
References
Hamm A, Krott N, Breibach I, Blindt R, Bosserhoff A: Efficient transfection method for primary cells. Tissue Eng. 2002, 8 (2): 235245. 10.1089/107632702753725003.
Florea B, Meaney C, Junginger H, Borchard G: Transfection efficiency and toxicity of polyethylenimine in differentiated Calu3 and nondifferentiated COS1 cell cultures. AAPS PharmSci. 2002, 4 (3): E1210.1208/ps040313.
Pharkya P, Maranas CD: An optimization framework for identifying reaction activation/inhibition or elimination candidates for overproduction in microbial systems. Metab Eng. 2006, 8 (1): 113. 10.1016/j.ymben.2005.08.003.
Burgard AP, Pharkya P, Maranas CD: Optknock, A bilevel programming framework for identifying gene knockout strategies for microbial strain optimization. Biotechnol Bioeng. 2003, 84 (6): 647657. 10.1002/bit.10803.
Lun DS, Rockwell G, Guido NJ, Baym M, Kelner JA, Berger B, Galagan JE, Church GM: Largescale identification of genetic design strategies using local search. Mol Syst Biol. 2009, 5:http://www.nature.com/msb/journal/v5/n1/full/msb200957.html,
Ahmed S, Shapiro A: Solving chanceconstrained stochastic programs via sampling and integer programming. Tutorials in Operations Research. Edited by: Anonymous INFORMS. 2008, 261269.
Charnes A, Cooper WW: Chanceconstrained programming. Management Science. 1959, 6 (1): 7379. 10.1287/mnsc.6.1.73.
Mani M, Orshansky M:A new statistical optimization algorithm for gate sizing. Computer Design, VLSI in Computers and Processors, 2004 ICCD 2004 Proceedings IEEE International Conference on 2004. 2004, 272277.http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1347933,
Zhu M, Taylor DB, Sarin SC, Kramer R:Chance Constrained Programming Models for RiskBased Economic and Policy Analysis of Soil Conservation. Agric Resour Econ Rev. 1994, 23 (1):
YeouKoung Tung AM: Groundwater management by chanceconstrained model. J Water Resour Plann Manage. 1986, 112: 110.1061/(ASCE)07339496(1986)112:1(1).
Ackooij W, Zorgati R, Henrion R, Möller A: Chance Constrained Programming and Its Applications to Energy Management, Stochastic Optimization. Edited by: Anonymous InTech. 2011,http://cdn.intechweb.org/pdfs/13877.pdf,
Maranas CD: Optimal molecular design under property prediction uncertainty. AIChE J. 1997, 43 (5): 12501264. 10.1002/aic.690430514.
Patil K, Rocha I, Forster J, Nielsen J: Evolutionary programming as a platform for in silico metabolic engineering. BMC Bioinformatics. 2005, 6 (1): 30810.1186/147121056308.
Hädicke O, Klamt S: CASOP, a computational approach for strain optimization aiming at high productivity. J Biotechnol. 2010, 147 (2): 88101. 10.1016/j.jbiotec.2010.03.006.
Melzer G, Esfandabadi M, FrancoLara E, Wittmann C: Flux design, in silico design of cell factories based on correlation of pathway fluxes to desired properties. BMC Syst Biol. 2009, 3 (1): 12010.1186/175205093120.
Driouch H, Melzer G, Wittmann C: Integration of in vivo and in silico metabolic fluxes for improvement of recombinant protein production. Metab Eng. 2012, 14 (1): 4758. 10.1016/j.ymben.2011.11.002.
Liu B: Theory and Practice of Uncertain Programming. 2009, Incorporated: Springer Publishing Company, 2
Marcotte P, Savard G: Bilevel Programming, A Combinatorial Perspective. 2005, 191217.http://link.springer.com/chapter/10.1007%2F0387255923_7?LI=true,
Colson B, Marcotte P, Savard G: Bilevel programming, A survey. 4OR, A Quarterly Journal of Operations Research. 2005, 3 (2): 87107. 10.1007/s1028800500710.
Deng X, Xu J, Hui J, Wang C: Probability fold change, A robust computational approach for identifying differentially expressed gene lists. Comput Methods Programs Biomed. 2009, 93 (2): 124139. 10.1016/j.cmpb.2008.07.013.
Wang HC, Ko YH, Mersmann HJ, Chen CL, Ding ST: The expression of genes related to adipocyte differentiation in pigs. J Anim Sci. 2006, 84 (5): 10591066.
Kurata H, Zhao Q, Okuda R, Shimizu K: Integration of enzyme activities into metabolic flux distributions by elementary mode analysis. BMC Syst Biol. 2007, 1 (1): 3110.1186/17520509131.
Schuster S, Dandekar T, Fell DA: Detection of elementary flux modes in biochemical networks, a promising tool for pathway analysis and metabolic engineering. Trends Biotechnol. 1999, 17 (2): 5360. 10.1016/S01677799(98)012906.
Varma A, Palsson BO: Metabolic flux balancing, basic concepts. Scientific and practical Use. Nat Biotech. 1994, 12 (10): 994998. 10.1038/nbt1094994.
Nolan RP, Lee K: Dynamic model of CHO cell metabolism. Metab Eng. 2011, 13 (1): 108124. 10.1016/j.ymben.2010.09.003.
Si Y, Yoon J, Lee K: Flux profile and modularity analysis of timedependent metabolic changes of de novo adipocyte formation. American Journal of Physiology  Endocrinology And Metabolism. 2007, 292 (6): E1637E1646. 10.1152/ajpendo.00670.2006.
Si Y, Shi H, Lee K: Impact of perturbed pyruvate metabolism on adipocyte triglyceride accumulation. Metab Eng. 2009, 11 (6): 382390. 10.1016/j.ymben.2009.08.001.
Davies SL, James DC: Engineering Mammalian Cells for Recombinant Monoclonal Antibody Production. 2009, 6: 153173.http://link.springer.com/chapter/10.1007%2F9789048122455_8?LI=true,
Lee MS, Kim KW, Kim YH, Lee GM: Proteome analysis of antibodyexpressing CHO cells in response to hyperosmotic pressure. Biotechnol Prog. 2003, 19 (6): 17341741. 10.1021/bp034093a.
Fujimoto T, Ohsaki Y, Cheng J, Suzuki M, Shinohara Y: Lipid droplets, a classic organelle with new outfits. Histochemistry and Cell Biology. 2008, 130 (2): 263279. 10.1007/s0041800804490.
Terzer M, Stelling J: Largescale computation of elementary flux modes with bit pattern trees. Bioinformatics. 2008, 24 (19): 22292235. 10.1093/bioinformatics/btn401.
Han CY, Kargi AY, Omer M, Chan CK, Wabitsch M, O’Brien KD, Wight TN, Chait A: Differential effect of saturated and unsaturated free fatty acids on the generation of Monocyte adhesion and chemotactic factors by adipocytes. Diabetes. 2010, 59 (2): 386396. 10.2337/db090925.http://diabetes.diabetesjournals.org/content/59/2/386.long, 10.2337/db090925
Conforti M, Cornuéjols G, Zambelli G: 50 Years of Integer Programming 1958–2008. Polyhedral approaches to mixed integer linear programming. 2010, 343385.
GLPK (GNU linear programming kit).http://www.gnu.org/software/glpk,
Deng X: Complexity issues in bilevel linear programming. Multilevel optimization, algorithms and applications. 1998, 20: 149164. 10.1007/9781461303077_6.
Neuner A, Heinzle E: Mixed glucose and lactate uptake by Corynebacterium glutamicum through metabolic engineering. Biotechnology Journal. 2011, 6 (3): 318329. 10.1002/biot.201000307.
Rocha M, Maia P, Mendes R, Pinto J, Ferreira E, Nielsen J, Patil K, Rocha I: Natural computation metaheuristics for the in silico optimization of microbial strains. BMC Bioinformatics. 2008, 9 (1): 49910.1186/147121059499.
Acknowledgement
This work was supported by the National Science Foundation under Grant no. 0829899 and the Wittich Family Foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
SH and KL conceived the idea of applying probabilistic methods to gene modifications. MO provided probabilistic expertise. All authors participated in formulating the problem. MY implemented the methods, generated all the figures and drafted the manuscript. All authors read and approved the final manuscript.
Electronic supplementary material
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is published under license to BioMed Central Ltd. This is an Open Access article is distributed under the terms of the Creative Commons Attribution License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yousofshahi, M., Orshansky, M., Lee, K. et al. Probabilistic strain optimization under constraint uncertainty. BMC Syst Biol 7, 29 (2013). https://doi.org/10.1186/17520509729
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/17520509729