奥米德·萨内·巴吉兰;安德烈·西尔（Andre A.Cire）。;卢梭，路易斯·马汀 首先看一下选择双重变量以最大限度地降低成本固定。 （英语） Zbl 1489.68246号 Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 221-228 (2017). 概要：约束规划中基于降低成本的过滤和整数规划中的变量固定是一种技术，它可以减少无法获得最优解的部分解空间。然而，这些技术取决于修剪时可用的双重值。在本文中，我们研究了选取一组对偶值的值，该对偶值最大化了可能的过滤（或固定）量。我们对任意混合整数线性规划模型测试了这种新的可变填充方法。生成的方法可以自然地合并到现有的解算器中。对大量基准实例的初步结果表明，相对于最先进的商业求解器，该方法可以有效地减少硬实例的求解时间。关于整个系列，请参见[Zbl 1364.68017号]. 引用于5文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90立方厘米 混合整数编程 关键词：混合整数编程;可变固定方法;基于降低成本的过滤 软件：米普利布;SIMPL公司 PDF格式BibTeX公司 XML格式引用 \textit{O.S.Bajgiran}等人，Lect。注释计算。科学。10335、221--228（2017；Zbl 1489.68246） 全文： DOI程序 链接 参考文献： [1] MIPLIB2010。http://miplib.zib.de/miplib2010-benchmark.php [2] Balas，E.，Martin，C.H.：透视与互补——0–1编程的启发式方法。管理。科学。26(1), 86–96 (1980) ·Zbl 0442.90060号 ·doi:10.1287/mnsc.26.1.86 [3] Bergman，D.，Cire，A.A.，Hoeve，W.-J.：通过拉格朗日分解改进约束传播。在：Pesant，G.（编辑）CP 2015。LNCS，第9255卷，第30-38页。施普林格，查姆（2015）。数字对象标识：10.1007/978-3-319-23219-5_3·doi:10.1007/978-3-319-23219-5_3 [4] Bixby，E.R.，Fenelon，M.，Gu，Z.，Rothberg，E.，Wunderling，R.：MIP：理论与实践——缩小差距。收录人：Powell，M.J.D.，Scholtes，S.（编辑）CSMO 1999。ITIFIP，第46卷，第19-49页。斯普林格，波士顿，马萨诸塞州（2000年）。数字对象标识：10.1007/978-0-387-35514-6_2 ·Zbl 0986.90025号 ·数字对象标识代码：10.1007/978-0-387-35514-6_2 [5] Chvátal，V.：线性规划。弗里曼，纽约（1983年）。再版：（1999）、（2000）、（2002）·Zbl 0537.90067号 [6] Fahle，T.，Sellmann，M.：约束背包问题的基于成本的过滤。安·Oper。第115、73–93号决议（2002年）·Zbl 1013.90105号 ·doi:10.1023/A:1021193019522 [7] Focacci，F.，Lodi，A.，Milano，M.：基于成本的域过滤。收录：Jaffar，J.（编辑）CP 1999。LNCS，第1713卷，第189-203页。施普林格，海德堡（1999）。数字对象标识：10.1007/978-3-540-48085-3_14 ·doi:10.1007/978-3-540-48085-3_14 [8] Focacci，F.、Lodi，A.、Milano，M.、Vigo，D.：通过整合OR和CP技术解决TSP。电子。注释离散数学。1, 13–25 (1999) ·Zbl 0990.90553号 ·doi:10.1016/S1571-0653（04）00002-2 [9] Focacci，F.，Milano，M.，Lodi，A.：用有约束的时间窗求解TSP。摘自：《1999年逻辑编程国际会议论文集》，麻省理工学院，第515–529页（1999） [10] Klabjan，D.：整数规划的一种新的次可加方法。收录：Cook，W.J.，Schulz，A.S.（编辑）IPCO 2002。LNCS，第2337卷，第384-400页。斯普林格，海德堡（2002）。数字对象标识：10.1007/3-540-47867-1_27 ·Zbl 1049.90045号 ·doi:10.1007/3-540-47867-1_27 [11] Lodi，A.：混合整数编程计算。摘自：Jünger，M.、Liebling，T.M.、Naddef，D.、Nemhauser，G.L.、Pulleyblank，W.R.、Reinelt，G.、Rinaldi，G.和Wolsey，L.A.（编辑）《1958-2008年整数规划50年》，第619-645页。施普林格，海德堡（2010）·Zbl 1187.90206号 ·doi:10.1007/978-3-540-68279-0_16 [12] Mahajan，A.：预求解混合整数线性规划。收录：威利运筹学与管理科学百科全书（2010） [13] Nemhauser，G.L.，Wolsey，L.A.：整数规划与组合优化（1988） [14] Chichester，W.，Nemhauser，G.L.，Savelsbergh，M.W.P.，Sigismondi，G.S.：混合整数规划公式的约束分类。《煤炭公报》，第20卷，第8-12页（1992年） [15] Refalo，P.：约束规划模型和混合求解器的线性公式。收录：Dechter，R.（编辑）CP 2000。LNCS，第1894卷，第369–383页。斯普林格，海德堡（2000）。数字对象标识：10.1007/3-540-45349-0_27 ·Zbl 1044.68792号 ·doi:10.1007/3-540-45349-0_27 [16] Sellmann，M.：基于CP的拉格朗日松弛的理论基础。摘自：Wallace，M.（编辑）CP 2004。LNCS，第3258卷，第634-647页。斯普林格，海德堡（2004）。数字对象标识：10.1007/978-3-540-30201-8_46 ·Zbl 1152.68584号 ·doi:10.1007/978-3-540-30201-8_46 [17] Thorsteinsson，E.S.，Ottosson，G.：连续变量下标的线性松弛和基于降低成本的传播。安·Oper。第115（1）号决议，15-29（2002）·Zbl 1011.90030号 ·doi:10.1023/A:1021136801775 [18] Wolsey，L.A.：整数编程，第4卷。威利，纽约（1998）·Zbl 0930.90072号 [19] Yunes，T.、Aron，I.D.、Hooker，J.N.：优化问题的集成求解器。操作人员。第58（2）号决议，342-356（2010年）·Zbl 1226.90047号 ·数字对象标识代码：10.1287/opre.1090.733 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。