Abstract
We study the optimum correction of infeasible systems of linear inequalities through making minimal changes in the coefficient matrix and the right-hand side vector by using the Frobenius norm. It leads to a special structured unconstrained nonlinear and nonconvex problem, which can be reformulated as a one-dimensional parametric minimization problem such that each objective function corresponds to a trust region subproblem. We show that, under some assumptions, the parametric function is differentiable and strictly unimodal. We present optimally conditions, propose lower and upper bounds on the optimal value and discuss attainability of the optimal value. To solve the original problem, we propose a binary search method accompanied by a type of Newton–Lagrange method for solving the subproblem. The numerical results illustrate the effectiveness of the suggested method.
Similar content being viewed by others
References
Alves, C.J.S., Pardalos, P.M., Vicente, L.N.: Optimization in Medicine. Springer Optimization and Its Applications, vol. 12. Springer, Berlin (2008)
Amaral, P., Barahona, P.: Connections between the total least squares and the correction of an infeasible system of linear inequalities. Linear Algebra Appl. 395, 191–210 (2005)
Amaral, P., Barahona, P.: A framework for optimal correction of inconsistent linear constraints. Constraints 10(1), 67–86 (2005)
Amaral, P., Fernandes, L.M., Júdice, J., Sherali, H.D.: On optimal zero-preserving corrections for inconsistent linear systems. J. Glob. Optim. 45(4), 645–666 (2009)
Amaral, P., Júdice, J., Sherali, H.D.: A reformulation–linearization–convexification algorithm for optimal correction of an inconsistent system of linear constraints. Comput. Oper. Res. 35(5), 1494–1509 (2008)
Beck, A., Ben-Tal, A.: On the solution of the Tikhonov regularization of the total least squares problem. SIAM J. Optim. 17(1), 98–118 (2006)
Censor, Y.: Mathematical optimization for the inverse problem of intensity-modulated radiation therapy. In: Palta, J.R., Mackie, T.R. (eds.) Intensity-Modulated Radiation Therapy: The State of the Art, pp. 25–49. Medical Physics Publishing, Madison (2003)
Censor, Y., Ben-Israel, A., Xiao, Y., Galvin, J.M.: On linear infeasibility arising in intensity-modulated radiation therapy inverse planning. Linear Algebra Appl. 428(5–6), 1406–1420 (2008)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Classics in Applied Mathematics, vol. 5. SIAM, Philadelphia (1990)
Conn, A.R., Gould, N.I.M., Toint, P.L.: Trust Region Methods, MPS-SIAM Series on Optimization, vol. 1. SIAM, Philadelphia (2000)
Luenberger, D.G., Ye, Y.: Linear and Nonlinear Programming. Springer, New York (2008)
Fortin, C., Wolkowicz, H.: The trust region subproblem and semidefinite programming. Optim. Methods Softw. 19(1), 41–67 (2004)
Gauvin, J., Dubeau, F.: Differential properties of the marginal function in mathematical programming. In: Guignard, M. (ed.) Optimality and Stability in Mathematical Programming. Mathematical Programming Studies, vol. 19, pp. 101–119. Springer, Berlin (1982)
Hiriart-Urruty, J.B., Strodiot, J.J., Nguyen, V.H.: Generalized Hessian matrix and second-order optimality conditions for problems with \(C^{1,1}\) data. Appl. Math. Optim. 11(1), 43–56 (1984)
Hladík, M., Rohn, J.: Radii of solvability and unsolvability of linear systems. Linear Algebra Appl. 503, 120–134 (2016)
Kanzow, C., Qi, H., Qi, L.: On the minimum norm solution of linear programs. J. Optim. Theory Appl. 116(2), 333–345 (2003)
Ketabchi, S., Moosaei, H.: An efficient method for optimal correcting of absolute value equations by minimal changes in the right hand side. Comput. Math. Appl. 64(6), 1882–1885 (2012)
Ketabchi, S., Moosaei, H.: Optimal error correction and methods of feasible directions. J. Optim. Theory Appl. 154(1), 209–216 (2012)
Ketabchi, S., Salahi, M., BehboodiKahoo, M.: On the solution of a nonconvex fractional quadratic problem. J. Math. Ext. 9, 27–38 (2015)
Mangasarian, O.: A Newton method for linear programming. J. Optim. Theory Appl. 121(1), 1–18 (2004)
Mangasarian, O.L.: Nonlinear Programming. SIAM, Philadelphia (1994)
Mangasarian, O.L.: A finite newton method for classification. Optim. Methods Softw. 17(5), 913–929 (2002)
Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)
Moosaei, H., Ketabchi, S., Pardalos, P.M.: Tikhonov regularization for infeasible absolute value equations. Optimization 65(8), 1531–1537 (2016)
Moré, J.J., Sorensen, D.C.: Computing a trust region step. SIAM J. Sci. Stat. Comput. 4(3), 553–572 (1983)
Pardalos, P.M., Ketabchi, S., Moosaei, H.: Minimum norm solution to the positive semidefinite linear complementarity problem. Optimization 63(3), 359–369 (2014)
Salahi, M.: A short note on \(\min _{x\in R^n}\frac{\Vert Ax-b\Vert ^2}{1+\Vert x\Vert ^2}\). Appl. Math. Comput. 212(1), 270–272 (2009)
Salahi, M., Ketabchi, S.: Correcting an inconsistent set of linear inequalities by the generalized Newton method. Optim. Methods Softw. 25(3), 457–465 (2010)
Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Chichester (1998)
Tao, P.D., An, L.T.H.: A DC optimization algorithm for solving the trust-region subproblem. SIAM J. Optim. 8(2), 476–505 (1998)
Vatolin, A.: An LP-based algorithm for the correction of inconsistent linear equation and inequality systems. Optimization 24(1–2), 157–164 (1992)
Vavasis, S.A.: Nonlinear Optimization: Complexity Issues. Oxford University Press, New York (1991)
Acknowledgements
This work was supported by the Czech Science Foundation Grant P403-18-04735S.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Florian Potra.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Moosaei, H., Hladík, M. On the Optimal Correction of Infeasible Systems of Linear Inequalities. J Optim Theory Appl 190, 32–55 (2021). https://doi.org/10.1007/s10957-021-01868-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-021-01868-1
Keywords
- Systems of linear inequalities
- Infeasible problems
- Fractional programming problem
- Lower and upper bounds
- SQP