Scaling Up Generic Optimization

优化问题在科学、工程和经济学中普遍存在。因此，优化问题有许多不同的形式也就不足为奇了。在我们的建议中，我们专注于大规模的凸优化问题。另一个重要的类别是离散优化问题，例如计算最短路径，最小或最大割，网络流或图算法中的顶点覆盖。许多离散问题具有线性或半定规划的松弛，甚至可以转换为凸优化问题。松弛算法是求解组合优化问题的近似算法的重要组成部分。因此，离散和组合大数据优化问题可以从通用，并行和分布式凸优化软件中受益匪浅。这样的软件将提供通用优化代码生成器（GENO），我们要建立在这个项目。在开发GENO时，我们将密切关注算法工程开发周期，其中包括对我们将设计和实现的算法进行彻底的理论分析。凸优化发挥重要作用的另一个领域是大数据分析，即，从大量数据中学习结构，以实现可靠的预测。机器学习关注的是从数据中学习的方法的设计和分析。在其算法的核心，这些方法往往归结为凸优化问题。 GENO可以生成的并行和分布式代码将允许解决大规模的数据分析问题，这些问题比通用优化软件目前可以处理的问题大几个数量级。

Optimization problems are ubiquitous in science, engineering and economics. Thus, it is not surprising that optimization problems come in many different flavors. In our proposal we focus on large-scale convex optimization problems. Another important class are discrete optimization problems, like for instance computing shortest paths, minimum or maximum cuts, network flows, or vertex covers in the context of graph algorithms. Many discrete problems have relaxations as linear or semidefinite programs, or can even be cast as convex optimization problems. Relaxations are often an essential part of approximation algorithms for combinatorial optimization problems. Hence, discrete and combinatorial Big Data optimization problems can greatly benefit from generic, parallel and distributed convex optimization software. Such software will be provided by the generic optimization code generator (GENO) that we want to build within this project. When developing GENO we will closely follow the algorithms engineering development cycle which includes a thorough theoretical analysis of the algorithms that we will design and implement. Another area where convex optimization plays an important role is Big Data analytics, i.e., learning structure from massive amounts of data for enabling reliable predictions. Machine learning is concerned with the design and analysis of methods for learning from data. At its algorithmic core these methods often boil down to convex optimization problems. The parallel and distributed code that can be generated by GENO will allow to tackle large-scale data analytics problems that are orders of magnitude larger than what currently can be handled by generic optimization software.