Abstract
Systems biologists are developing increasingly large models of metabolism and integrated models of metabolism and macromolecular expression. These Metabolic Expression (ME) models lead to sequences of multiscale linear programs for which small solution values of order 10−6 to 10−10 are meaningful. Standard LP solvers do not give sufficiently accurate solutions, and exact simplex solvers are extremely slow. We investigate whether double-precision and quadruple-precision simplex solvers can together achieve reliability at acceptable cost.
A double-precision LP solver often provides a reasonably good starting point for a Quad simplex solver. On a range of multiscale examples we find that 34-digit Quad floating-point achieves exceptionally small primal and dual infeasibilities (of order 10−30) when no more than 10−15 is requested. On a significant ME model we also observe robustness in almost all (even small) solution values following relative perturbations of order 10−6 to non-integer data values.
Double and Quad Fortran 77 implementations of the linear and nonlinear optimization solver MINOS are available upon request.
A double-precision LP solver often provides a reasonably good starting point for a Quad simplex solver. On a range of multiscale examples we find that 34-digit Quad floating-point achieves exceptionally small primal and dual infeasibilities (of order 10−30) when no more than 10−15 is requested. On a significant ME model we also observe robustness in almost all (even small) solution values following relative perturbations of order 10−6 to non-integer data values.
Double and Quad Fortran 77 implementations of the linear and nonlinear optimization solver MINOS are available upon request.
Original language | English |
---|---|
Title of host publication | Numerical Analysis and Optimization |
Editors | Mehiddin Al-Baali, Lucio Grandinetti, Anton Purnama |
Publisher | Springer International Publishing |
Pages | 223–235 |
ISBN (Electronic) | 9783319176895 |
ISBN (Print) | 9783319176888 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
Event | 3rd International Conference on Numerical Analysis and Optimization (NAO-III 2014) - Muscat, Oman Duration: 5 Jan 2014 → 9 Jan 2014 |
Publication series
Name | Springer Proceedings in Mathematics & Statistics |
---|---|
Volume | 134 |
ISSN (Print) | 2194-1009 |
ISSN (Electronic) | 2194-1017 |
Conference
Conference | 3rd International Conference on Numerical Analysis and Optimization (NAO-III 2014) |
---|---|
Abbreviated title | NAO-III 2014 |
Country/Territory | Oman |
City | Muscat |
Period | 5/01/14 → 9/01/14 |
Research Keywords
- Flux balance analysis
- Metabolic expression model
- Multiscale linear program
- Simplex method
- Quadruple precision
- Gfortran libquadmath
- MINOS