### Abstract

Formalization decisions in mathematical programming could significantly influence the complexity of the problem, and so the efficiency of the applied solver methods. This widely accepted statement induced investigations for the reformulation of optimization problems in the hope of getting easier to solve problem forms, e.g. in integer programming. These transformations usually go hand in hand with relaxation of some constraints and with the increase in the number of the variables. However, the quick evolution and the widespread use of computer algebra systems in the last few years motivated us to use symbolic computation techniques also in the field of global optimization. We are interested in potential simplifications generated by symbolic transformations in global optimization, and especially in automatic mechanisms producing equivalent expressions that possibly decrease the dimension of the problem. As it was pointed out by Csendes and Rapcsák (J Glob Optim 3(2):213-221, 1993), it is possible in some cases to simplify the unconstrained nonlinear objective function by nonlinear coordinate transformations. That means mostly symbolic replacement of redundant subexpressions expecting less computation, while the simplified task remains equivalent to the original in the sense that a conversion between the solutions of the two forms is possible. We present a proper implementation of the referred theoretical algorithm in a modern symbolic programming environment, and testing on some examples both from the original publications and from the set of standard global optimization test problems to illustrate the capabilities of the method.

Original language | English |
---|---|

Pages (from-to) | 665-684 |

Number of pages | 20 |

Journal | Central European Journal of Operations Research |

Volume | 21 |

Issue number | 4 |

DOIs | |

Publication status | Published - Dec 2013 |

### Fingerprint

### Keywords

- Maple
- Reformulation
- Symbolic computation
- Unconstrained nonlinear optimization

### ASJC Scopus subject areas

- Management Science and Operations Research

### Cite this

*Central European Journal of Operations Research*,

*21*(4), 665-684. https://doi.org/10.1007/s10100-013-0310-y

**Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems.** / Antal, Elvira; Csendes, T.; Virágh, János.

Research output: Contribution to journal › Article

*Central European Journal of Operations Research*, vol. 21, no. 4, pp. 665-684. https://doi.org/10.1007/s10100-013-0310-y

}

TY - JOUR

T1 - Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems

AU - Antal, Elvira

AU - Csendes, T.

AU - Virágh, János

PY - 2013/12

Y1 - 2013/12

N2 - Formalization decisions in mathematical programming could significantly influence the complexity of the problem, and so the efficiency of the applied solver methods. This widely accepted statement induced investigations for the reformulation of optimization problems in the hope of getting easier to solve problem forms, e.g. in integer programming. These transformations usually go hand in hand with relaxation of some constraints and with the increase in the number of the variables. However, the quick evolution and the widespread use of computer algebra systems in the last few years motivated us to use symbolic computation techniques also in the field of global optimization. We are interested in potential simplifications generated by symbolic transformations in global optimization, and especially in automatic mechanisms producing equivalent expressions that possibly decrease the dimension of the problem. As it was pointed out by Csendes and Rapcsák (J Glob Optim 3(2):213-221, 1993), it is possible in some cases to simplify the unconstrained nonlinear objective function by nonlinear coordinate transformations. That means mostly symbolic replacement of redundant subexpressions expecting less computation, while the simplified task remains equivalent to the original in the sense that a conversion between the solutions of the two forms is possible. We present a proper implementation of the referred theoretical algorithm in a modern symbolic programming environment, and testing on some examples both from the original publications and from the set of standard global optimization test problems to illustrate the capabilities of the method.

AB - Formalization decisions in mathematical programming could significantly influence the complexity of the problem, and so the efficiency of the applied solver methods. This widely accepted statement induced investigations for the reformulation of optimization problems in the hope of getting easier to solve problem forms, e.g. in integer programming. These transformations usually go hand in hand with relaxation of some constraints and with the increase in the number of the variables. However, the quick evolution and the widespread use of computer algebra systems in the last few years motivated us to use symbolic computation techniques also in the field of global optimization. We are interested in potential simplifications generated by symbolic transformations in global optimization, and especially in automatic mechanisms producing equivalent expressions that possibly decrease the dimension of the problem. As it was pointed out by Csendes and Rapcsák (J Glob Optim 3(2):213-221, 1993), it is possible in some cases to simplify the unconstrained nonlinear objective function by nonlinear coordinate transformations. That means mostly symbolic replacement of redundant subexpressions expecting less computation, while the simplified task remains equivalent to the original in the sense that a conversion between the solutions of the two forms is possible. We present a proper implementation of the referred theoretical algorithm in a modern symbolic programming environment, and testing on some examples both from the original publications and from the set of standard global optimization test problems to illustrate the capabilities of the method.

KW - Maple

KW - Reformulation

KW - Symbolic computation

KW - Unconstrained nonlinear optimization

UR - http://www.scopus.com/inward/record.url?scp=84884531198&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84884531198&partnerID=8YFLogxK

U2 - 10.1007/s10100-013-0310-y

DO - 10.1007/s10100-013-0310-y

M3 - Article

AN - SCOPUS:84884531198

VL - 21

SP - 665

EP - 684

JO - Central European Journal of Operations Research

JF - Central European Journal of Operations Research

SN - 1435-246X

IS - 4

ER -