Abstract--ZusammenfassungNew Results on Verified Global Optimization. We study the influence of different strategies for selecting the next box for subdivision in an interval branch and bound method for global optimization. A theoretical result establishes the optimality of a 'best-first' strategy. Moreover, we define a multisection algorithm for subdivision of boxes. Different possibilities for the choice of bisection directions and the number of bisections are compared by numerical results showing that multisection is usually superior to bisection. In addition, we identify crucial properties of a division strategy which yield convergence of an algorithm with multisection.
AMS Subject Classification: 65K05.Key words: Global optimization, interval arithmetic, branch and bound principle, best-first strategy, multisection.
Neue Ergebnisse bei der verifizierten globalen