Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

The ANALYZE rulebase for supporting LP analysis


This paper describes how to design rules to support linear programming analysis in three functional categories: postoptimal sensitivity, debugging, and model management. The ANALYZE system is used to illustrate the behavior of the rules with a variety of examples. Postoptimal sensitivity analysis answers not only the paradigmWhat if …? question, but also the more frequently askedWhy …? question. The latter is static, asking why some solution value is what it is, or why it is not something else. The former is dynamic, asking how the solution changes if some element is changed. Debugging can mean a variety of things; here the focus is on diagnosing an infeasible instance. Model management includes documentation, verification, and validation. Rules are illustrated to provide support in each of these related functions, including some that require reasoning about the linear program's structure. Another model management function is to conduct a periodic review, with one of the goals being to simplify the model, if possible. The last illustration is how to test new rule files, where there is a variety of ways to communicate a result to someone who is not expert in linear programming.

This is a preview of subscription content, log in to check access.


  1. [1]

    T.E. Baker, Integrating AI/OR/DATABASE technology for production planning and scheduling, Technical Report, Chesapeake Decision Sciences, Inc., New Providence, NJ, 1990.

  2. [2]

    Chesapeake Decision Sciences,MIMI/E/LP User Manual, New Providence, NJ, 1988.

  3. [3]

    J.W. Chinneck, Viability analysis: A formulation aid for all classes of network models, Naval Research Logistics 39, 1992, 531–543.

  4. [4]

    J.W. Chinneck, MINOS(IIS): Infeasibility analysis using MINOS, Computers and Operations Research 21, 1994, 1–9.

  5. [5]

    H.G. Daellenbach and E.J. Bell,User's Guide to Linear Programming, Prentice-Hall, Englewood Cliffs, NJ, 1970.

  6. [6]

    H.J. Greenberg, A new approach to analyze information contained in a model, in:Energy Models Validation and Assessment, S.I. Gass, ed., NBS Pub. 569, National Bureau of Standards, Gaithersburg, MD, 1978, pp. 517–524.

  7. [7]

    H.J. Greenberg, Implementation aspects of model management: A focus on computer-assisted analysis, in:Energy Policy Planning, B.A. Bayraktar, E.A. Cherniavsky, M.A. Laughton and L.E. Ruff, eds., Plenum Press, 1981, pp. 443–459.

  8. [8]

    H.J. Greenberg, A tutorial on computer-assisted analysis, in:Advanced Techniques in the Practice of Operations Research, H.J. Greenberg, F.H. Murphy and S.H. Shaw, eds., American Elsevier, 1982, pp. 212–249.

  9. [9]

    H.J. Greenberg, A functional description of analyze: A computer-assisted analysis system for linear programming models, ACM Transactions on Mathematical Software 9, 1983, 18–56.

  10. [10]

    H.J. Greenberg, Computer-assisted analysis for diagnosing infeasible or unbounded linear programs, Mathematical Programming Studies 31, 1987, 79–97.

  11. [11]

    H.J. Greenberg, A natural language discourse model to explain linear programs, Decision Support Systems 33, 1987, 333–342

  12. [12]

    H.J. Greenberg, Diagnosing infeasibility for min-cost network flow models, Part I: Dual infeasibility, IMA Journal of Mathematics in Management 1, 1987, 99–110.

  13. [13]

    H.J. Greenberg,Analyze: A computer-assisted analysis system for linear programming models, Operations Research Letters 6, 1987, 249–255.

  14. [14]

    H.J. Greenberg,Analyze rulebase, in:Mathematical Models for Decision Support, G. Mitra, H.J. Greenberg, F.A. Lootsma, M.J. Rijckaert and H.-J. Zimmermann, eds., Proceedings ofNato asi, July 26–August 6, Springer, Berlin, 1988, pp. 229–238.

  15. [15]

    H.J. Greenberg, Diagnosing infeasibility for min-cost network flow models, Part II: Primal infeasibility, IMA Journal of Mathematics in Business and Industry 4, 1988, 39–50.

  16. [16]

    H. J. Greenberg, Intelligent user interfaces for mathematical programming, Proceedings of Shell Conference:Logistics: Where Ends have to Meet, C. Van Rijgn, ed., Pergamon Press, 1989, pp. 198–223.

  17. [17]

    H. J. Greenberg, Neural networks for an intelligent mathematical programming system, Proceedings of CSTS Symposium:Impacts of Recent Computer Advances on Operations Research, R. Sharda, B.L. Golden, E. Wasil, O. Balci and W. Stewart, eds., Elsevier Science, 1989, pp. 313–320.

  18. [18]

    H.J. Greenberg, An empirical analysis of infeasibility diagnosis for instances of linear programming blending models, IMA Journal of Mathematics in Business and Industry 4, 1992, 163–210.

  19. [19]

    H.J. Greenberg, Intelligent analysis support for linear programs, Computers and Chemical Engineering 16, 1992, 659–674.

  20. [20]

    H.J. Greenberg, Enhancements of ANALYZE: A computer-assisted analysis system for mathematical programming models and solutions, ACM Transactions on Mathematical Software 19, 1993, 233–256.

  21. [21]

    H.J. Greenberg, Rule-based intelligence to support linear programming analysis, Decision Support Systems 9, 1993, 425–448.

  22. [22]

    H.J. Greenberg,A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User's Guide for ANALYZE, Kluwer, Boston, MA, 1993.

  23. [23]

    H.J. Greenberg,Modeling by Object-Driven Linear Elemental Relations: A User's Guide for MODLER, Kluwer, Boston, MA, 1993.

  24. [24]

    H.J. Greenberg, How to analyze results of linear programs — Part 1: Preliminaries, Interfaces 23, 1993, 56–67.

  25. [25]

    H.J. Greenberg, How to analyze results of linear programs — Part 2: Price interpretation, Interfaces 23, 1993, 97–114.

  26. [26]

    H.J. Greenberg, How to analyze results of linear programs — Part 3: Infeasibility diagnosis, Interfaces 23, 1993, 120–139.

  27. [27]

    H.J. Greenberg, How to analyze results of linear programs — Part 4: Forcing substructures, Interfaces 24, 1994, 121–130.

  28. [28]

    H.J. Greenberg, Syntax-directed report writing in linear programming, European Journal of Operational Research 72, 1994, 300–311.

  29. [29]

    H.J. Greenberg, The use of the optimal partition in a linear programming solution for postoptimal analysis, Operations Research Letters 15, 1994, 179–185.

  30. [30]

    H.J. Greenberg, A bibliography for the development of an intelligent mathematical programming system, Annals of Operations Research, 1996, this volume.

  31. [31]

    H.J. Greenberg, Quantitative sensitivity analysis in linear programming, Technical Report, Center for Computational Mathematics, University of Colorado, Denver, CO, 1995.

  32. [32]

    H.J. Greenberg, Consistency, redundancy, and implied equalities in linear systems, Mathematics and Artificial Intelligence, 1995 (to appear).

  33. [33]

    H.J. Greenberg and J.S. Maybee (eds.),Computer-Assisted Analysis and Model Simplification, Academic Press, New York, 1980.

  34. [34]

    H.J. Greenberg and F.H. Murphy, Approaches to diagnosing infeasibility for linear programs, ORSA Journal on Computing 3, 1991, 253–261.

  35. [35]

    H.J. Greenberg and F.H. Murphy, Views of mathematical programming models and their instances, Decision Support Systems 13, 1995, 3–34.

  36. [36]

    B. Jansen, J.J. de Jong, C. Roos and T. Terlaky, Sensitivity snalysis in linear programming: Just be careful!, Shell Report AMER 93.022, Shell International Oil Company, Amsterdam, The Netherlands, 1993.

  37. [37]

    C.V. Jones, Visualization in mathematical programming, ORSA Journal on Computing 6, 1994, 221–257.

  38. [38]

    C. Roos, Interior point methods for linear programming: Theory, algorithms and sensitivity analysis,Proceedings of the Symposium on Engineering Mathematics, T.F. Bewley, ed., Kluwer Academic, Dordrecht, The Netherlands, 1995.

  39. [39]

    B. Jansen, C. Roos, T. Terlaky and J.-Ph. Vial, Interior-point methodology for linear programming, in:Optimization in Planning and Operation of Electric Power Systems (Lecture Notes of the SVOR/ASRO Tutorial), K. Frauendorfer, H. Glavitsch and R. Bacher, eds., Springer, Heidelberg, 1993, pp. 57–123.

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Greenberg, H.J. The ANALYZE rulebase for supporting LP analysis. Ann Oper Res 65, 91–126 (1996). https://doi.org/10.1007/BF02187328

Download citation


  • Linear programming
  • large-scale systems
  • computer-assisted analysis
  • computational economics
  • sensitivity analysis
  • model management