On the Conversion of Optimization Problems with Max-Min Constraints to Standard Optimization Problems

We consider the problem of minimizing a real-valued function f 0(x)subject to max-min constraints, i.e., constraints of the form ${\rm max}_{k\in{\bf r}}{\rm min}_{j\in{\bf q}_k} f_k^j(x) \le 0$, where for any integer r, ${\bf r} \mathrel{\buildrel\Delta\over={1,,...,r}, so that for any k \in {\bf r,\, q}_k ={1,...,qk}. Problems with this kind of constraint arise in a variety of applications, such as design of electronic circuits subject to manufacturing tolerances and postmanufacturing tuning and optimal steering of mobile robots in the presence of obstacles. An optimization problem with max-min constraints is equivalent to a collection of optimization problems with smooth inequality constraints. This collection can be very large, and hence solving an optimization problem with max-min constraints by solving each member of the collection can be exorbitantly expensive. We present a transcription of problems of this type into a single inequality constrained nonlinear programming problem with smooth constraints, which can be solved using readily available software. The transcription is based on the fact that a set of real numbers contains a nonpositive element if and only if its convex hull contains a nonpositive element. While this fact is fairly obvious, establishing a correspondence between the global and local minimizers of the original problem and those of the problem resulting from our transcription turned out to be quite difficult. The significant advantages of using our transcription are demonstrated by the numerical examples that are included in the paper to illustrate the effectiveness of our approach.

[1]  John W. Bandler,et al.  A nonlinear programming approach to optimal design centering, tolerancing, and tuning , 1976 .

[2]  E. Polak,et al.  Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem , 1979 .

[3]  L. Shepp,et al.  OPTIMAL PATHS FOR A CAR THAT GOES BOTH FORWARDS AND BACKWARDS , 1990 .

[4]  Jerome Bracken,et al.  Defense Applications of Mathematical Programs with Optimization Problems in the Constraints , 1974, Oper. Res..

[5]  Michael A. Saunders,et al.  User''s guide for NPSOL (Ver-sion 4.0): A FORTRAN package for nonlinear programming , 1984 .

[6]  Algorithms for optimization problems with exclusion constraints , 1986 .

[7]  Elijah Polak,et al.  Effective diagonalization strategies for the solution of a class of optimal design problems , 1990 .

[8]  Efstratios N. Pistikopoulos,et al.  Simultaneous incorporation of flexibility and economic risk in operational planning under uncertainty , 1994 .

[9]  Jorge J. Moré,et al.  Testing Unconstrained Optimization Software , 1981, TOMS.

[10]  Elijah Polak,et al.  Optimization: Algorithms and Consistent Approximations , 1997 .

[11]  E. Polak An implementable algorithm for the optimal design centering, tolerancing, and tuning problem , 1982 .

[12]  Elmer G. Gilbert,et al.  Distance functions and their application to robot path planning in the presence of obstacles , 1985, IEEE J. Robotics Autom..

[13]  Elijah Polak,et al.  On the use of consistent approximations in the solution of semi-infinite optimization and optimal control problems , 1993, Math. Program..

[14]  Elijah Polak,et al.  On the Use of Consistent Approximations for the Optimal Design of Beams , 1996 .

[15]  Ignacio E. Grossmann,et al.  Optimal process design under uncertainty , 1983 .

[16]  G. M. Ostrovsky,et al.  Flexibility analysis and optimization of chemical plants with uncertain parameters , 1994 .

[17]  D. Mayne,et al.  Outer approximation algorithm for nondifferentiable optimization problems , 1984 .

[18]  K. C. Li,et al.  Circuit design with post-fabrication tuning , 1992, [1992] Proceedings of the 35th Midwest Symposium on Circuits and Systems.

[19]  On the optimal design centering, tolerancing, and tuning problem , 1985 .

[20]  Chung-Kuan Cheng,et al.  Symbolic layout compaction under conditional design rules , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..