Monte Carlo algorithms for the detection of necessary linear matrix inequality constraints

We reduce the size of large semidefinite programming problems by identifying necessary linear matrix inequalities (LMI's) using Monte Carlo techniques. We describe three algorithms for detecting necessary LMI constraints that extend algorithms used in linear programming to semidefinite programming. We demonstrate that they are beneficial and could serve as tools for a semidefinite programming preprocessor. A necessary LMI is one whose removal changes the feasible region defined by all the LMI constraints. The general problem of checking whether or not a particular LMI is necessary is NP-complete. However, the methods we describe are polynomial in each iteration, and the number of iterations can be limited by stopping rules. This provides a practical method for reducing the size of some large Semidefinite Programming problems before one attempts to solve them. We demonstrate the applicability of this approach to solving instances of the Lowner ellipsoid problem. We also consider the problem of classification of all the constraints of a semidefinite programming problem as redundant or necessary

Robust optimization with incremental recourse

In this paper, we consider an adaptive approach to address optimization problems with uncertain cost parameters. Here, the decision maker selects an initial decision, observes the realization of the uncertain cost parameters, and then is permitted to modify the initial decision. We treat the uncertainty using the framework of robust optimization in which uncertain parameters lie within a given set. The decision maker optimizes so as to develop the best cost guarantee in terms of the worst-case analysis. The recourse decision is ``incremental"; that is, the decision maker is permitted to change the initial solution by a small fixed amount. We refer to the resulting problem as the robust incremental problem. We study robust incremental variants of several optimization problems. We show that the robust incremental counterpart of a linear program is itself a linear program if the uncertainty set is polyhedral. Hence, it is solvable in polynomial time. We establish the NP-hardness for robust incremental linear programming for the case of a discrete uncertainty set. We show that the robust incremental shortest path problem is NP-complete when costs are chosen from a polyhedral uncertainty set, even in the case that only one new arc may be added to the initial path. We also address the complexity of several special cases of the robust incremental shortest path problem and the robust incremental minimum spanning tree problem