It has been well established that first order optimization methods can converge to the maximal objective value of concave functions and provide constant factor approximation guarantees for (non-convex/non-concave) continuous submodular functions. In this work, we initiate the study of the maximization of functions of the form $F(x) = G(x) +C(x)$ over a solvable convex body $P$, where $G$ is a smooth DR-submodular function and $C$ is a smooth concave function. This class of functions is a strict extension of both concave and continuous DR-submodular functions for which no theoretical guarantee is known. We provide a suite of Frank-Wolfe style algorithms, which, depending on the nature of the objective function (i.e., if $G$ and $C$ are monotone or not, and non-negative or not) and on the nature of the set $P$ (i.e., whether it is downward closed or not), provide $1-1/e$, $1/e$, or $1/2$ approximation guarantees. We then use our algorithms to get a framework to smoothly interpolate between choosing a diverse set of elements from a given ground set (corresponding to the mode of a determinantal point process) and choosing a clustered set of elements (corresponding to the maxima of a suitable concave function). Additionally, we apply our algorithms to various functions in the above class (DR-submodular + concave) in both constrained and unconstrained settings, and show that our algorithms consistently outperform natural baselines.
翻译:已经明确确定, 第一顺序优化方法可以与 concave 函数的最大目标值趋同, 并为连续的子模式函数( 非convex/ non- concave) 提供恒定要素近似保证。 在这项工作中, 我们开始研究使窗体$F( x) = G(x) +C(x) 的函数最大化, 在一个可以溶解的 convex 正方块$P$, 其中$G$是一个平稳的DR- 子模式函数, $C$是一个平稳的调和函数。 这个功能类别是调和连续的 DR- Submodal 函数的严格扩展, 而对于这些功能尚不为理论保证。 我们提供一套 Frank- Wolfe 风格算法的算法, 取决于目标函数的性质( 例如, 如果$和 $是单调或不是单调的, 而不是非负负负的), 以及 设定的 $Plational( orve) ( 不论我们当时是否向下调, 向下还是向下调的调的调的), 美元, 美元, 或向下调的调的调的调值的调值的调值的值值的值的值的值, 向一个基值值值值的值值值值的值的值的值的值的值值值值值值, 至一个基值的值的值的值的值的值的值,, 的值的值的值的值的值的值的值的值的值, 的值, 的值, 和值的值的值的值的值的值的值的值的值的值的值的值, 的值, 。的值的值的值的值的值的值的值的值, 的值, 至的值的值的值的值的值的值的值的值的值的值, 的值的值, 的值的值的值的值的值的值, 的值, 的值的值的值的值的值的值的值的值的值的值, 的值的值的值, 的值的值的值的值的值, 的值的值的值