arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2006.01718math.OC
收藏

凹二次二次规划的近似性

Proximity in Concave Integer Quadratic Programming

Alberto Del Pia, Mingchen Ma

摘要:

Cook、Gerards、Schrijver和Tardos的一个经典结果提供了一个关于可解线性规划问题最优解的接近度的$n Δ$的上界及其标准线性松弛。在该界限中,$n$是变量的数量,并且$Δ$表示约束矩阵的子行列式的绝对值的最大值。Hochbaum和Shanthikumar,以及Werman和Magagnosc表明,如果更一般的凸函数被最小化,而不是线性函数,则相同的上界是有效的。当目标函数是非凸的时,不知道这种类型的邻近结果。事实上,如果我们最小化一个凹二次函数,没有上限可以作为$n$和$Δ$的函数给出。我们的关键观察是,在这种情况下,邻近现象仍然发生,但只有当我们考虑近似解,而不是最优解。在我们的主要结果中,我们提供了近似(分别为,最优)解决方案的凹二次规划问题和最优(分别,近似)解的连续松弛。我们的边界是$n, Δ$的函数,以及控制近似质量的参数$ε$。此外,我们讨论了如何远离最佳的是我们的邻近边界。

英文摘要:

A classic result by Cook, Gerards, Schrijver, and Tardos provides an upper bound of $n Δ$ on the proximity of optimal solutions of an Integer Linear Programming problem and its standard linear relaxation. In this bound, $n$ is the number of variables and $Δ$ denotes the maximum of the absolute values of the subdeterminants of the constraint matrix. Hochbaum and Shanthikumar, and Werman and Magagnosc showed that the same upper bound is valid if a more general convex function is minimized, instead of a linear function. No proximity result of this type is known when the objective function is nonconvex. In fact, if we minimize a concave quadratic, no upper bound can be given as a function of $n$ and $Δ$. Our key observation is that, in this setting, proximity phenomena still occur, but only if we consider also approximate solutions instead of optimal solutions only. In our main result we provide upper bounds on the distance between approximate (resp., optimal) solutions to a Concave Integer Quadratic Programming problem and optimal (resp., approximate) solutions of its continuous relaxation. Our bounds are functions of $n, Δ$, and a parameter $ε$ that controls the quality of the approximation. Furthermore, we discuss how far from optimal are our proximity bounds.

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

↑