A Rewriting System for Convex Optimization Problems

09/13/2017
by   Akshay Agrawal, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/21/2017

CVXR: An R Package for Disciplined Convex Optimization

CVXR is an R package that provides an object-oriented modeling language ...
research
11/22/2022

OptiRica: Towards an Efficient Optimizing Horn Solver

This paper describes an ongoing effort to develop an optimizing version ...
research
10/17/2014

Convex Optimization in Julia

This paper describes Convex, a convex optimization modeling framework in...
research
05/31/2019

GENO -- GENeric Optimization for Classical Machine Learning

Although optimization is the longstanding algorithmic backbone of machin...
research
05/02/2019

Disciplined Quasiconvex Programming

We present a composition rule involving quasiconvex functions that gener...
research
08/07/2019

Domain-Driven Solver (DDS) Version 2.0: a MATLAB-based Software Package for Convex Optimization Problems in Domain-Driven Form

Domain-Driven Solver (DDS) is a MATLAB-based software package for convex...
research
03/14/2020

Graph Profiling for Vertex Cover: Targeted Reductions in a Branch and Reduce Solver

Akiba and Iwata [TCS, 2016] demonstrated that a branch and reduce (B R...

Please sign up or login with your details

Forgot password? Click here to reset