Showing 1–5 of 5 results for author: Ralphs, T K

On the Relationship Between the Value Function and the Efficient Frontier of a Mixed Integer Linear Optimization Problem

Authors: Samira Fallah, Ted K. Ralphs, Natashia L. Boland

Abstract: In this study, we investigate the connection between the efficient frontier (EF) of a general multiobjective mixed integer linear optimization problem (MILP) and the so-called restricted value function (RVF) of a closely related single-objective MILP. In the first part of the paper, we detail the mathematical structure of the RVF, including characterizing the set of points at which it is different… ▽ More In this study, we investigate the connection between the efficient frontier (EF) of a general multiobjective mixed integer linear optimization problem (MILP) and the so-called restricted value function (RVF) of a closely related single-objective MILP. In the first part of the paper, we detail the mathematical structure of the RVF, including characterizing the set of points at which it is differentiable, the gradients at such points, and the subdifferential at all nondifferentiable points. We then show that the EF of the multiobjective MILP is comprised of points on the boundary of the epigraph of the RVF and that any description of the EF suffices to describe the RVF and vice versa. Because of the close relationship of the RVF to the EF, we observe that methods for constructing the so-called value function (VF) of an MILP and methods for constructing the EF of a multiobjective optimization problem are effectively interchangeable. Exploiting this observation, we propose a generalized cutting-plane algorithm for constructing the EF of a multiobjective MILP that arises from an existing algorithm for constructing the classical MILP VF. The algorithm identifies the set of all integer parts of solutions on the EF. We prove that the algorithm converges finitely under a standard boundedness assumption and comes with a performance guarantee if terminated early. △ Less

Submitted 8 July, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Report number: Laboratory for Computational Optimization @ Lehigh Technical Report 22T-005-R3 MSC Class: 90C29; 90C46

A Branch-and-Cut Algorithm for Mixed Integer Bilevel Linear Optimization Problems and Its Implementation

Authors: Sahar Tahernejad, Ted K. Ralphs, Scott T. DeNegre

Abstract: In this paper, we describe a comprehensive algorithmic framework for solving mixed integer bilevel linear optimization problems (MIBLPs) using a generalized branch-and-cut approach. The framework presented merges features from existing algorithms (for both traditional mixed integer linear optimization and MIBLPs) with new techniques to produce a flexible and robust framework capable of solving a w… ▽ More In this paper, we describe a comprehensive algorithmic framework for solving mixed integer bilevel linear optimization problems (MIBLPs) using a generalized branch-and-cut approach. The framework presented merges features from existing algorithms (for both traditional mixed integer linear optimization and MIBLPs) with new techniques to produce a flexible and robust framework capable of solving a wide range of bilevel optimization problems. The framework has been fully implemented in the open-source solver MibS. The paper describes the algorithmic options offered by MibS and presents computational results evaluating the effectiveness of the various options for the solution of a number of classes of bilevel optimization problems from the literature. △ Less

Submitted 18 April, 2021; originally announced April 2021.

Report number: Laboratory for Computational Optimization Research @ Lehigh (COR@L) Technical Report 16T-015-R6 MSC Class: 90C26; 91A68

Journal ref: Mathematical Programming Computation, vol. 12, p. 529-568, 2020

A Unified Framework for Multistage and Multilevel Mixed Integer Linear Optimization

Authors: Suresh Bolusani, Stefano Coniglio, Ted. K. Ralphs, Sahar Tahernejad

Abstract: We introduce a unified framework for the study of multilevel mixed integer linear optimization problems and multistage stochastic mixed integer linear optimization problems with recourse. The framework highlights the common mathematical structure of the two problems and allows for the development of a common algorithmic framework. Focusing on the two-stage case, we investigate, in particular, the… ▽ More We introduce a unified framework for the study of multilevel mixed integer linear optimization problems and multistage stochastic mixed integer linear optimization problems with recourse. The framework highlights the common mathematical structure of the two problems and allows for the development of a common algorithmic framework. Focusing on the two-stage case, we investigate, in particular, the nature of the value function of the second-stage problem, highlighting its connection to dual functions and the theory of duality for mixed integer linear optimization problems, and summarize different reformulations. We then present two main solution techniques, one based on a Benders-like decomposition to approximate either the risk function or the value function, and the other one based on cutting plane generation. △ Less

Submitted 18 April, 2021; originally announced April 2021.

Report number: Laboratory for Computational Optimization Research @ Lehigh (COR@L) Technical Report 20T-005 MSC Class: 90C26; 90C15; 91A68

Journal ref: Bilevel optimization: advances and next challenges, S. Dempe and A. Zemkoho, Eds., Springer, 2020, p. 513-560

On the Complexity of Inverse Mixed Integer Linear Optimization

Authors: Aykut Bulut, Ted K. Ralphs

Abstract: Inverse optimization is the problem of determining the values of missing input parameters for an associated forward problem that are closest to given estimates and that will make a given target vector optimal. This study is concerned with the relationship of a particular inverse mixed integer linear optimization problem (MILP) to both the forward problem and the separation problem associated with… ▽ More Inverse optimization is the problem of determining the values of missing input parameters for an associated forward problem that are closest to given estimates and that will make a given target vector optimal. This study is concerned with the relationship of a particular inverse mixed integer linear optimization problem (MILP) to both the forward problem and the separation problem associated with its feasible region. We show that a decision version of the inverse MILP in which a primal bound is verified is coNP-complete, whereas primal bound verification for the associated forward problem is NP-complete, and that the optimal value verification problems for both the inverse problem and the associated forward problem are complete for the complexity class D^P. We also describe a cutting-plane algorithm for solving inverse MILPs that illustrates the close relationship between the separation problem for the convex hull of solutions to a given MILP and the associated inverse problem. The inverse problem is shown to be equivalent to the separation problem for the radial cone defined by all inequalities that are both valid for the convex hull of solutions to the forward problem and binding at the target vector. Thus, the inverse, forward, and separation problems can be said to be equivalent. △ Less

Submitted 18 November, 2021; v1 submitted 18 April, 2021; originally announced April 2021.

Report number: Laboratory for Computational Optimization Research @ Lehigh (COR@L) Technical Report 15T-001 MSC Class: 90C11; 68Q25

Journal ref: SIAM Journal on Optimization, vol. 31, p. 3014-3043, 2021

A Framework for Generalized Benders' Decomposition and Its Application to Multilevel Optimization

Authors: Suresh Bolusani, Ted K. Ralphs

Abstract: We describe a framework for reformulating and solving optimization problems that generalizes the well-known framework originally introduced by Benders. We discuss details of the application of the procedures to several classes of optimization problems that fall under the umbrella of multilevel/multistage mixed integer linear optimization problems. The application of this abstract framework to this… ▽ More We describe a framework for reformulating and solving optimization problems that generalizes the well-known framework originally introduced by Benders. We discuss details of the application of the procedures to several classes of optimization problems that fall under the umbrella of multilevel/multistage mixed integer linear optimization problems. The application of this abstract framework to this broad class of problems provides new insights and a broader interpretation of the core ideas, especially as they relate to duality and the value functions of optimization problems that arise in this context. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Report number: Laboratory for Computational Optimization Research @ Lehigh (COR@L) Technical Report 20T-004 MSC Class: 90C26; 91A68

Journal ref: Mathematical Programming Series B, vol. 196, p. 389-426, 2022