Groupe d’études et de recherche en analyse des décisions


Comparison between Baumann and Admissible Simplex Forms in Interval Analysis

, et

Two ways for bounding n-variables functions over a box, based on interval evalu- ations of first order derivatives, are compared. The optimal Baumann form gives the best lower bound using a center within the box. The "admissible simplex form", pro- posed by the two last authors, uses point evaluations at n + 1 vertices of the box. We show that the Baumann center is within any "admissible simplex" and can be repre- sented as a linear convex combination of its vertices with coefficients equal to the dual variables of the linear program used to compute the corresponding admissible simplex lower bound. This result is applied in a branch-and-bound global optimization and computational results are reported.

, 19 pages