arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2107.04262math.OC
收藏

一种通用二次曲线内点算法的性能改进

Performance enhancements for a generic conic interior point algorithm

Chris Coey, Lea Kapelevich, Juan Pablo Vielma

摘要:

在最近的工作中,我们提供了计算参数来扩展二次曲线优化求解器识别的真锥类,以允许更简单、更小、更自然的二次曲线公式。我们定义一个奇异的锥作为一个适当的锥,我们可以实现一个小的一套易于处理的(即快速,数值稳定,分析)预言机的一个congrumically齐次自洽障碍的锥或其对偶锥。我们的可扩展的开源圆锥内点求解器Hypatia允许对奇异圆锥的笛卡儿积上的任何圆锥最优化问题进行建模和求解。本文介绍Hypatia的内点算法。我们的算法基于Skajaa和Ye [2015]的算法,我们通过处理没有易处理的原始预言机的奇异锥来推广该算法。为了在实践中提高迭代次数和求解时间,我们对Skajaa和Ye [2015]的内点步进过程提出了一系列四个增强:(1)放松中心路径邻近条件,(2)使用三阶方向导数障碍预言调整方向,(3)在曲线上执行回溯搜索,以及(4)将预测方向与定心方向相结合。我们在Hypatia中实现了23个有用的外来锥体。我们总结了计算这些圆锥体的预言机的复杂性,表明我们的新的三阶预言机是不是一个瓶颈,我们得到有效的和数值稳定的几个圆锥体的预言机实现。我们从37个不同的应用实例中生成了379个圆锥曲线问题的不同基准集。我们的计算测试表明,每个步进增强提高Hypatia的迭代计数和解决时间。总的来说,增强减少了移位的几何平均的迭代计数和求解时间分别超过80%和70%。

英文摘要:

In recent work, we provide computational arguments for expanding the class of proper cones recognized by conic optimization solvers, to permit simpler, smaller, more natural conic formulations. We define an exotic cone as a proper cone for which we can implement a small set of tractable (i.e. fast, numerically stable, analytic) oracles for a logarithmically homogeneous self-concordant barrier for the cone or for its dual cone. Our extensible, open source conic interior point solver, Hypatia, allows modeling and solving any conic optimization problem over a Cartesian product of exotic cones. In this paper, we introduce Hypatia's interior point algorithm. Our algorithm is based on that of Skajaa and Ye [2015], which we generalize by handling exotic cones without tractable primal oracles. With the goal of improving iteration count and solve time in practice, we propose a sequence of four enhancements to the interior point stepping procedure of Skajaa and Ye [2015]: (1) loosening the central path proximity condition, (2) adjusting the directions using a third order directional derivative barrier oracle, (3) performing a backtracking search on a curve, and (4) combining the prediction and centering directions. We implement 23 useful exotic cones in Hypatia. We summarize the complexity of computing oracles for these cones, showing that our new third order oracle is not a bottleneck, and we derive efficient and numerically stable oracle implementations for several cones. We generate a diverse benchmark set of 379 conic problems from 37 different applied examples. Our computational testing shows that each stepping enhancement improves Hypatia's iteration count and solve time. Altogether, the enhancements reduce the shifted geometric means of iteration count and solve time by over 80% and 70% respectively.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑