Skip to main content
Top

2017 | OriginalPaper | Chapter

4. Presolve Methods

Authors : Nikolaos Ploskas, Nikolaos Samaras

Published in: Linear Programming Using MATLAB®

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Presolve methods are important in solving LPs, as they reduce the size of the problem and discover whether an LP is unbounded or infeasible. Presolve methods are used prior to the application of an LP algorithm in order to: (i) eliminate redundant constraints, (ii) fix variables, (iii) transform bounds of single structural variables, and (iv) reduce the number of variables and constraints by eliminations. This chapter presents eleven presolve methods used prior to the execution of an LP algorithm: (i) eliminate zero rows, (ii) eliminate zero columns, (iii) eliminate singleton equality constraints, (iv) eliminate kton equality constraints, (v) eliminate singleton inequality constraints, (vi) eliminate dual singleton inequality constraints, (vii) eliminate implied free singleton columns, (viii) eliminate redundant columns, (ix) eliminate implied bounds on rows, (x) eliminate redundant rows, and (xi) make coefficient matrix structurally full rank. Each method is presented with: (i) its mathematical formulation, (ii) a thorough numerical example, and (iii) its implementation in MATLAB. In addition, we discuss how to transform a solution back in terms of the original variables and constraints of the problem (postsolve). Finally, a computational study on benchmark LPs is performed. The aim of the computational study is twofold: (i) compare the execution time and the reduction to the problem size of the aforementioned presolve methods, and (ii) investigate the impact of preprocessing prior to the application of LP algorithms. The execution time and the number of iterations with and without preprocessing are presented.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Literature
1.
go back to reference Adler, I., Resende, M. G., Veiga, G., & Karmarkar, N. (1989). An implementation of Karmarkar’s algorithm for linear programming. Mathematical Programming, 44(1–3), 297–335.MathSciNetCrossRef Adler, I., Resende, M. G., Veiga, G., & Karmarkar, N. (1989). An implementation of Karmarkar’s algorithm for linear programming. Mathematical Programming, 44(1–3), 297–335.MathSciNetCrossRef
2.
go back to reference Andersen, E. D., & Andersen, K. D. (1995). Presolving in linear programming. Mathematical Programming, 71(2), 221–245.MathSciNetCrossRef Andersen, E. D., & Andersen, K. D. (1995). Presolving in linear programming. Mathematical Programming, 71(2), 221–245.MathSciNetCrossRef
3.
go back to reference Baricelli, P., Mitra, G., & Nygreen, B. (1998). Modelling of augmented makespan assignment problems (AMAPs): Computational experience of applying integer presolve at the modelling stage. Annals of Operations Research, 82, 269–288.MathSciNetCrossRef Baricelli, P., Mitra, G., & Nygreen, B. (1998). Modelling of augmented makespan assignment problems (AMAPs): Computational experience of applying integer presolve at the modelling stage. Annals of Operations Research, 82, 269–288.MathSciNetCrossRef
4.
go back to reference Brearley, A. L., Mitra, G., & Williams, H. P. (1975). Analysis of mathematical programming problems prior to applying the simplex algorithm. Mathematical Programming, 8(1), 54–83.MathSciNetCrossRef Brearley, A. L., Mitra, G., & Williams, H. P. (1975). Analysis of mathematical programming problems prior to applying the simplex algorithm. Mathematical Programming, 8(1), 54–83.MathSciNetCrossRef
5.
go back to reference Chang, S. F., & McCormick, S. T. (1992). A hierarchical algorithm for making sparse matrices sparser. Mathematical Programming, 56(1–3), 1–30.MathSciNetCrossRef Chang, S. F., & McCormick, S. T. (1992). A hierarchical algorithm for making sparse matrices sparser. Mathematical Programming, 56(1–3), 1–30.MathSciNetCrossRef
6.
go back to reference Cosnard, M., Marrakchi, M., Robert, Y., & Trystram, D. (1986). Gauss elimination algorithms for MIMD computers. In Proceeding of CONPAR 86 (pp. 247–254). Berlin/Heidelberg: Springer.CrossRef Cosnard, M., Marrakchi, M., Robert, Y., & Trystram, D. (1986). Gauss elimination algorithms for MIMD computers. In Proceeding of CONPAR 86 (pp. 247–254). Berlin/Heidelberg: Springer.CrossRef
7.
go back to reference Douglas, A. (1971). Examples concerning efficient strategies for gaussian elimination. Computing, 8(3–4), 382–394.MathSciNetCrossRef Douglas, A. (1971). Examples concerning efficient strategies for gaussian elimination. Computing, 8(3–4), 382–394.MathSciNetCrossRef
8.
go back to reference Elble, J. M. (2010). Computational experience with linear optimization and related problems. Doctoral dissertation, University of Illinois at Urbana-Champaign, Chicago, USA. Elble, J. M. (2010). Computational experience with linear optimization and related problems. Doctoral dissertation, University of Illinois at Urbana-Champaign, Chicago, USA.
9.
go back to reference Gondzio, J. (1997). Presolve analysis of linear programs prior to applying an interior point method. INFORMS Journal on Computing, 9(1), 73–91.MathSciNetCrossRef Gondzio, J. (1997). Presolve analysis of linear programs prior to applying an interior point method. INFORMS Journal on Computing, 9(1), 73–91.MathSciNetCrossRef
10.
go back to reference Gould, N., & Toint, P. L. (2004). Preprocessing for quadratic programming. Mathematical Programming, 100(1), 95–132.MathSciNetMATH Gould, N., & Toint, P. L. (2004). Preprocessing for quadratic programming. Mathematical Programming, 100(1), 95–132.MathSciNetMATH
11.
go back to reference Hall, J. A., & McKinnon, K. I. (2005). Hyper-sparsity in the revised simplex method and how to exploit it. Computational Optimization and Applications, 32(3), 259–283.MathSciNetCrossRef Hall, J. A., & McKinnon, K. I. (2005). Hyper-sparsity in the revised simplex method and how to exploit it. Computational Optimization and Applications, 32(3), 259–283.MathSciNetCrossRef
12.
go back to reference Ioslovich, I. (2001). Robust reduction of a class of large-scale linear programs. SIAM Journal on Optimization, 12(1), 262–282.MathSciNetCrossRef Ioslovich, I. (2001). Robust reduction of a class of large-scale linear programs. SIAM Journal on Optimization, 12(1), 262–282.MathSciNetCrossRef
13.
go back to reference Lustig, I. J. (1989). An analysis of an available set of linear programming test problems. Computers & Operations Research, 16(2), 173–184.CrossRef Lustig, I. J. (1989). An analysis of an available set of linear programming test problems. Computers & Operations Research, 16(2), 173–184.CrossRef
14.
go back to reference Lustig, I. J., Marsten, R. E., & Shanno, D. F. (1994). Interior point methods for linear programming: Computational state of the art. ORSA Journal on Computing, 6(1), 1–14.MathSciNetCrossRef Lustig, I. J., Marsten, R. E., & Shanno, D. F. (1994). Interior point methods for linear programming: Computational state of the art. ORSA Journal on Computing, 6(1), 1–14.MathSciNetCrossRef
15.
go back to reference McCormick, S. T. (1990). Making sparse matrices sparser: Computational results. Mathematical Programming, 49(1–3), 91–111.MathSciNetCrossRef McCormick, S. T. (1990). Making sparse matrices sparser: Computational results. Mathematical Programming, 49(1–3), 91–111.MathSciNetCrossRef
16.
go back to reference Mészáros, C., & Suhl, U. H. (2003). Advanced preprocessing techniques for linear and quadratic programming. OR Spectrum, 25(4), 575–595.MathSciNetCrossRef Mészáros, C., & Suhl, U. H. (2003). Advanced preprocessing techniques for linear and quadratic programming. OR Spectrum, 25(4), 575–595.MathSciNetCrossRef
17.
go back to reference Swietanowski, A. (1995). A modular presolve procedure for large scale linear programming. Working paper WP 95–113, International Institute for Applied Systems Analysis, Laxenburg, Austria. Swietanowski, A. (1995). A modular presolve procedure for large scale linear programming. Working paper WP 95–113, International Institute for Applied Systems Analysis, Laxenburg, Austria.
18.
go back to reference Tomlin, J. A., & Welch, J. S. (1983). Formal optimization of some reduced linear programming problems. Mathematical Programming, 27(2), 232–240.MathSciNetCrossRef Tomlin, J. A., & Welch, J. S. (1983). Formal optimization of some reduced linear programming problems. Mathematical Programming, 27(2), 232–240.MathSciNetCrossRef
19.
go back to reference Urdaneta, A. J., Perez, L. G., Gomez, J. F., Feijoo, B., & Gonzalez, M. (2001). Presolve analysis and interior point solutions of the linear programming coordination problem of directional overcurrent relays. International Journal of Electrical Power & Energy Systems, 23(8), 819–825.CrossRef Urdaneta, A. J., Perez, L. G., Gomez, J. F., Feijoo, B., & Gonzalez, M. (2001). Presolve analysis and interior point solutions of the linear programming coordination problem of directional overcurrent relays. International Journal of Electrical Power & Energy Systems, 23(8), 819–825.CrossRef
20.
go back to reference Weispfenning, V. (2004). Solving constraints by elimination methods. In Proceedings of the International Joint Conference on Automated Reasoning (pp. 336–341). Berlin/Heidelberg: Springer.CrossRef Weispfenning, V. (2004). Solving constraints by elimination methods. In Proceedings of the International Joint Conference on Automated Reasoning (pp. 336–341). Berlin/Heidelberg: Springer.CrossRef
21.
go back to reference Ye, Y. (1989). Eliminating columns in the simplex method for linear programming. Journal of Optimization Theory and Applications, 63(1), 69–77.MathSciNetCrossRef Ye, Y. (1989). Eliminating columns in the simplex method for linear programming. Journal of Optimization Theory and Applications, 63(1), 69–77.MathSciNetCrossRef
Metadata
Title
Presolve Methods
Authors
Nikolaos Ploskas
Nikolaos Samaras
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-65919-0_4

Premium Partner