四程序IP swMATH ID: 36327 软件作者： 夏伟；胡安·维拉（Juan C.Vera）。；路易斯·祖卢亚加（Luis F.Zuluaga）。 描述： 通过线性整数规划技术全局求解非凸二次规划。我们将（不定）二次规划（QP）重新表述为混合整数线性规划（MILP）问题，方法是首先将QP重新表述为线性互补问题，然后使用二元变量和big-M约束对其互补约束进行建模。为了获得这样的重新表述，我们使用关于摄动线性系统解的基本结果，在不消除其（全局）最优原始解的情况下，对QP的对偶变量施加边界。将非凸QP重新定义为MILP问题，可以使用当前最先进的MILP求解器来找到其全局最优解。为了说明这一点，我们将这种基于MILP的解决方案方法（标记为quadprogIP）与quadprogBB、BARON和CPLEX的性能进行了比较。实际上，在标准QP上，四程序IP的表现通常优于四程序BB、BARON和CPLEX数量级。此外，与quadprogBB不同，quadprog IP能够解决对偶可行集无界的QP实例。MATLAB代码quadprogIP和用于执行所报告数值实验的实例可在url上公开获取{https://github.com/xiawei918/quadprogIP}. 主页： https://github.com/xiawei918/quadprogIP 源代码： https://github.com/xiawei918/quadprogIP 依赖项： Matlab公司 关键词： 非凸二次规划;全局优化;混合整数线性规划;KKT条件;分支和绑定;霍夫曼边界 相关软件： 四重编程BB;github;BARON公司;QPLIB公司;CPLEX公司;古罗比;库恩;艾根;全球图书馆;切割机;GloMIQO公司;GLIS公司;蜻蜓;CMA-ES公司;椰子;EGO公司;多最小值;贝叶斯选项;coco_gop_ex公司;PESC公司 引用于： 15文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 通过线性整数规划技术全局求解非凸二次规划。 Zbl 07284452号夏，魏;胡安·维拉（Juan C.Vera）。;路易斯·祖卢亚加（Luis F.Zuluaga）。 2020 全部的 前5名33位作者引用 三 马可·罗泰利 2 Giampaolo Liuzzi 2 穆尼奥斯，冈萨罗 2 维罗妮卡·皮夏利 1 Kurt M.Anstreicher。 1 莱利·巴登布鲁克 1 本杰明·比奇 1 莫汉德·本特杆菌 1 丹尼尔·宾斯托克 1 伊曼纽尔·博姆泽（Immanuel M.Bomze）。 1 陈，陈 1 艾蒂安·德克勒克 1 天，桑塔努·苏巴斯 1 马西娅·海伦娜·C·芬帕。 1 马库斯·加布尔 1 雅塞克·冈齐奥 1 阿拉什·古尔塔尼 1 罗伯特·希尔德布兰德 1 乔伊·休切特 1 Aleksandr M.哈萨克科夫。 1 Lee，Jon（乔恩·李） 1 安德烈·洛迪 1 阿卜杜勒卡德尔·莫赫塔里 1 阮，Tri-Dung 1 彭波 1 斯特凡·拉斯斯 1 法比奥·肖恩 1 穆罕默德·泰利 1 胡安·卡洛斯·维拉 1 夏，魏 1 徐惠福 1 埃姆雷·阿尔珀·伊尔迪里姆 1 路易斯·费尔南多·祖卢亚加 全部的 前5名9篇连载文章中引用 4 全球优化杂志 三 EURO计算优化期刊 2 信息计算杂志 1 欧洲运筹学杂志 1 线性代数及应用 1 数学编程。A系列B系列 1 SIAM优化杂志 1 计算优化及其应用 1 优化信函 在3个字段中引用 15 运筹学、数学规划（90-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文