Montanher Tiago, Neumaier Arnold, Domes Ferenc
Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria.
J Glob Optim. 2018;71(4):915-934. doi: 10.1007/s10898-018-0649-7. Epub 2018 Apr 12.
One of the relevant research topics to which Chris Floudas contributed was quadratically constrained quadratic programming (QCQP). This paper considers one of the simplest hard cases of QCQP, the two trust region subproblem (TTRS). In this case, one needs to minimize a quadratic function constrained by the intersection of two ellipsoids. The Lagrangian dual of the TTRS is a semidefinite program (SDP) and this result has been extensively used to solve the problem efficiently. We focus on numerical aspects of branch-and-bound solvers with three goals in mind. We provide (i) a detailed analysis of the ability of state-of-the-art solvers to complete the global search for a solution, (ii) a quantitative approach for measuring the cluster effect on each solver and (iii) a comparison between the branch-and-bound and the SDP approaches. We perform the numerical experiments on a set of 212 challenging problems provided by Kurt Anstreicher. Our findings indicate that SDP relaxations and branch-and-bound have orthogonal difficulties, thus pointing to a possible benefit of a combined method. The following solvers were selected for the experiments: , , , and .
克里斯·弗洛达斯所涉及的相关研究主题之一是二次约束二次规划(QCQP)。本文探讨了QCQP中最简单的难题之一,即双信赖域子问题(TTRS)。在这种情况下,需要在两个椭球相交所构成的约束条件下,使一个二次函数最小化。TTRS的拉格朗日对偶是一个半定规划(SDP),这一结果已被广泛用于高效地解决该问题。我们着眼于三个目标,关注分支定界求解器的数值方面。我们提供:(i)对当前最先进的求解器完成全局解搜索能力的详细分析;(ii)一种用于衡量每个求解器聚类效应的定量方法;(iii)分支定界法和SDP方法之间的比较。我们针对库尔特·安斯特赖歇尔提供的一组212个具有挑战性的问题进行了数值实验。我们的研究结果表明,SDP松弛法和分支定界法存在相互正交的困难,因此这表明了一种组合方法可能具有的优势。以下求解器被选用于实验: , , , 以及 。