IDEAS home Printed from https://ideas.repec.org/a/eee/ejores/v310y2023i2p495-510.html
   My bibliography  Save this article

Revisiting degeneracy, strict feasibility, stability, in linear programming

Author

Listed:
  • Im, Haesol
  • Wolkowicz, Henry

Abstract

Currently, the simplex method and the interior point method are indisputably the most popular algorithms for solving linear programs, LPs. Unlike general conic programs, LPs with a finite optimal value do not require strict feasibility in order to establish strong duality. Hence strict feasibility is seldom a concern, even though strict feasibility is equivalent to stability and a compact dual optimal set. This lack of concern is also true for other types of degeneracy of basic feasible solutions in LP. In this paper we discuss that the specific degeneracy that arises from lack of strict feasibility necessarily causes difficulties in both simplex and interior point methods. In particular, we show that the lack of strict feasibility implies that every basic feasible solution, BFS, is degenerate; thus conversely, the existence of a nondegenerate BFS implies that strict feasibility (regularity) holds. We prove the results using facial reduction and simple linear algebra. In particular, the facially reduced system reveals the implicit non-surjectivity of the linear map of the equality constraint system. As a consequence, we emphasize that facial reduction involves two steps where, the first guarantees strict feasibility, and the second recovers full row rank of the constraint matrix. This illustrates the implicit singularity of problems where strict feasibility fails, and also helps in obtaining new efficient techniques for preproccessing. We include an efficient preprocessing method that can be performed as an extension of phase-I of the two-phase simplex method. We show that this can be used to avoid the loss of precision for many well known problem sets in the literature, e.g., the NETLIB problem set.

Suggested Citation

  • Im, Haesol & Wolkowicz, Henry, 2023. "Revisiting degeneracy, strict feasibility, stability, in linear programming," European Journal of Operational Research, Elsevier, vol. 310(2), pages 495-510.
  • Handle: RePEc:eee:ejores:v:310:y:2023:i:2:p:495-510
    DOI: 10.1016/j.ejor.2023.03.021
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S037722172300228X
    Download Restriction: Full text for ScienceDirect subscribers only

    File URL: https://libkey.io/10.1016/j.ejor.2023.03.021?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Maria Gonzalez-Lima & Hua Wei & Henry Wolkowicz, 2009. "A stable primal–dual approach for linear programming under nondegeneracy assumptions," Computational Optimization and Applications, Springer, vol. 44(2), pages 213-247, November.
    2. Robert M. Freund & Fernando Ordóñez, 2005. "On an Extension of Condition Number Theory to Nonconic Convex Optimization," Mathematics of Operations Research, INFORMS, vol. 30(1), pages 173-194, February.
    3. Jacek Gondzio, 1997. "Presolve Analysis of Linear Programs Prior to Applying an Interior Point Method," INFORMS Journal on Computing, INFORMS, vol. 9(1), pages 73-91, February.
    4. Robert G. Bland, 1977. "New Finite Pivoting Rules for the Simplex Method," Mathematics of Operations Research, INFORMS, vol. 2(2), pages 103-107, May.
    5. Robert E. Bixby, 2002. "Solving Real-World Linear Programs: A Decade and More of Progress," Operations Research, INFORMS, vol. 50(1), pages 3-15, February.
    6. BLAND, Robert G., 1977. "New finite pivoting rules for the simplex method," LIDAM Reprints CORE 315, Université catholique de Louvain, Center for Operations Research and Econometrics (CORE).
    7. Gábor Pataki, 1998. "On the Rank of Extreme Matrices in Semidefinite Programs and the Multiplicity of Optimal Eigenvalues," Mathematics of Operations Research, INFORMS, vol. 23(2), pages 339-358, May.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Liu, Yanwu & Tu, Yan & Zhang, Zhongzhen, 2021. "The row pivoting method for linear programming," Omega, Elsevier, vol. 100(C).
    2. Omer, Jérémy & Soumis, François, 2015. "A linear programming decomposition focusing on the span of the nondegenerate columns," European Journal of Operational Research, Elsevier, vol. 245(2), pages 371-383.
    3. Csizmadia, Zsolt & Illés, Tibor & Nagy, Adrienn, 2012. "The s-monotone index selection rules for pivot algorithms of linear programming," European Journal of Operational Research, Elsevier, vol. 221(3), pages 491-500.
    4. Filippi, Carlo & Romanin-Jacur, Giorgio, 2002. "Multiparametric demand transportation problem," European Journal of Operational Research, Elsevier, vol. 139(2), pages 206-219, June.
    5. Fabio Vitor & Todd Easton, 2018. "The double pivot simplex method," Mathematical Methods of Operations Research, Springer;Gesellschaft für Operations Research (GOR);Nederlands Genootschap voor Besliskunde (NGB), vol. 87(1), pages 109-137, February.
    6. Adrienn Csizmadia & Zsolt Csizmadia & Tibor Illés, 2018. "Finiteness of the quadratic primal simplex method when s-monotone index selection rules are applied," Central European Journal of Operations Research, Springer;Slovak Society for Operations Research;Hungarian Operational Research Society;Czech Society for Operations Research;Österr. Gesellschaft für Operations Research (ÖGOR);Slovenian Society Informatika - Section for Operational Research;Croatian Operational Research Society, vol. 26(3), pages 535-550, September.
    7. Jean Bertrand Gauthier & Jacques Desrosiers & Marco E. Lübbecke, 2016. "Tools for primal degenerate linear programs: IPS, DCA, and PE," EURO Journal on Transportation and Logistics, Springer;EURO - The Association of European Operational Research Societies, vol. 5(2), pages 161-204, June.
    8. Pan, Ping-Qi, 2008. "A largest-distance pivot rule for the simplex algorithm," European Journal of Operational Research, Elsevier, vol. 187(2), pages 393-402, June.
    9. Magnanti, Thomas L. & Orlin, James B., 1953-., 1985. "Parametric linear programming and anti-cycling pivoting rules," Working papers 1730-85., Massachusetts Institute of Technology (MIT), Sloan School of Management.
    10. Levent Tunçel & Henry Wolkowicz, 2012. "Strong duality and minimal representations for cone optimization," Computational Optimization and Applications, Springer, vol. 53(2), pages 619-648, October.
    11. Michael J. Best & Xili Zhang, 2011. "Degeneracy Resolution for Bilinear Utility Functions," Journal of Optimization Theory and Applications, Springer, vol. 150(3), pages 615-634, September.
    12. K. O. Kortanek & Zhu Jishan, 1988. "New purification algorithms for linear programming," Naval Research Logistics (NRL), John Wiley & Sons, vol. 35(4), pages 571-583, August.
    13. Konstantinos Paparrizos & Nikolaos Samaras & Angelo Sifaleras, 2015. "Exterior point simplex-type algorithms for linear and network optimization problems," Annals of Operations Research, Springer, vol. 229(1), pages 607-633, June.
    14. Osman Ou{g}uz, 2002. "Generalized Column Generation for Linear Programming," Management Science, INFORMS, vol. 48(3), pages 444-452, March.
    15. Illes, Tibor & Terlaky, Tamas, 2002. "Pivot versus interior point methods: Pros and cons," European Journal of Operational Research, Elsevier, vol. 140(2), pages 170-190, July.
    16. P. M. Dearing & Pietro Belotti & Andrea M. Smith, 2016. "A primal algorithm for the weighted minimum covering ball problem in $$\mathbb {R}^n$$ R n," TOP: An Official Journal of the Spanish Society of Statistics and Operations Research, Springer;Sociedad de Estadística e Investigación Operativa, vol. 24(2), pages 466-492, July.
    17. Issmail Elhallaoui & Abdelmoutalib Metrane & Guy Desaulniers & François Soumis, 2011. "An Improved Primal Simplex Algorithm for Degenerate Linear Programs," INFORMS Journal on Computing, INFORMS, vol. 23(4), pages 569-577, November.
    18. Xiaoyin Hu & Jianshu Li & Xiaoya Li & Jinchuan Cui, 2020. "A Revised Inverse Data Envelopment Analysis Model Based on Radial Models," Mathematics, MDPI, vol. 8(5), pages 1-17, May.
    19. Zhang, Shuzhong, 1999. "New variants of finite criss-cross pivot algorithms for linear programming," European Journal of Operational Research, Elsevier, vol. 116(3), pages 607-614, August.
    20. John W. Mamer & Richard D. McBride, 2000. "A Decomposition-Based Pricing Procedure for Large-Scale Linear Programs: An Application to the Linear Multicommodity Flow Problem," Management Science, INFORMS, vol. 46(5), pages 693-709, May.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:ejores:v:310:y:2023:i:2:p:495-510. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: http://www.elsevier.com/locate/eor .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.