arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1709.04494math.OCcs.MS
收藏

凸最优化问题的重写系统

A Rewriting System for Convex Optimization Problems

Akshay Agrawal, Robin Verschueren, Steven Diamond, Stephen Boyd

摘要:

我们描述了一个模块化的重写系统翻译最优化问题写在一个特定领域的语言,以兼容的形式与低级别的求解器接口。归约可以促进翻译,它接受一类问题,并将该类别的实例转换为另一类的等价实例。我们的系统在两个关键阶段进行:分析,在此过程中,我们试图找到一个合适的解决方案提供的问题,和规范化,在此过程中,我们重写选定的解决方案的标准式的问题。我们在CVXPY的1.0版本中实现了所描述的系统,CVXPY是一种用于数学尤其是凸优化的领域特定语言。通过将约简视为第一类对象,我们的方法可以轻松地将问题与适合它们的求解器相匹配,并支持具有各种标准式的求解器。

英文摘要:

We describe a modular rewriting system for translating optimization problems written in a domain-specific language to forms compatible with low-level solver interfaces. Translation is facilitated by reductions, which accept a category of problems and transform instances of that category to equivalent instances of another category. Our system proceeds in two key phases: analysis, in which we attempt to find a suitable solver for a supplied problem, and canonicalization, in which we rewrite the problem in the selected solver's standard form. We implement the described system in version 1.0 of CVXPY, a domain-specific language for mathematical and especially convex optimization. By treating reductions as first-class objects, our method makes it easy to match problems to solvers well-suited for them and to support solvers with a wide variety of standard forms.

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

↑