×
利贝蒂，利奥

数学编程的改革：自动对称性检测和开发。 （英语） Zbl 1235.90103号

数学。程序。 131，编号1-2（A），273-304（2012）.
摘要：如果一个数学程序有许多对称优化，那么通过分枝定界技术求解它通常会产生大小不成比例的搜索树；因此，发现和利用对称性是一项重要的任务。我们提出了一种自动找到任意给定混合整数非线性程序的公式组的方法，并通过静态对称破缺约束重新求解该问题。然后，可以通过标准的分支绑定代码（例如CPLEX公司（对于线性程序）和库恩（对于非线性程序）。我们的计算结果包括MIPLib3、MIPLib2003、GlobalLib和MINLPLib实例库的公式组表，以及上述库中某些实例的解决方案表。

引用于2评论
引用于32文件

MSC公司：

90立方厘米 混合整数编程
90C26型 非凸规划，全局优化

关键词：

组;对称;混合整数非线性规划;分支和绑定

软件：

麦敏有限公司;玫瑰色;MIPLIB2003公司;AMPL公司;间隙;MINL库;CPLEX公司;鹦鹉螺;全球图书馆;MIPLIB公司;BARON公司;GiNaC公司
PDF格式BibTeX公司 XML格式引用
\textit{L.Liberti}，数学。程序。131，编号1-2（A），273-304（2012年；兹bl 1235.90103）
全文： 内政部

参考文献：

[1] Al-Khayyal F.A.，Sherali H.D.：关于一些全局优化问题的有限终止分枝定界算法。SIAM J.Optim公司。10(4), 1049–1057 (2000) ·Zbl 0994.65068号 ·doi:10.1137/S105262349935178X
[2] Babai L.：自同构群，同构，重构。收录于：Graham，R.，Grötschel，M.，Lovász，L.（编辑）《组合数学手册》，第2卷，第1447–1540页。麻省理工学院出版社，剑桥（1996）
[3] Bauer C.，Frink A.，Kreckel R.：介绍C++编程语言中用于符号计算的GiNaC框架。J.塞姆。计算。33(1), 1–12 (2002) ·Zbl 1017.68163号 ·doi:10.1006/jsco.2001.0494
[4] Belotti P.、Lee J.、Liberti L.、Margot F.、Wächter A.：非凸MINLP的分支和边界收紧技术。最佳方案。方法软件。24(4), 597–634 (2009) ·Zbl 1179.90237号 ·doi:10.1080/10556780903087124
[5] Berthold，T.，Pfetsch，M.：检测轨道蛋白石对称性。摘自：Fleischmann，B.、Borgwardt，K.-H.、Klein，R.、Tuma，A.（编辑）《2008年运营研究论文集》，第433-438页。柏林施普林格出版社（2009）·Zbl 1209.90260号
[6] Bixby，R.，Ceria，S.，McZeal，C.，Savelsbergh，M.：更新的混合整数编程库：Miplib 3。技术报告TR98-03，莱斯大学（1998）
[7] Booth，K.，Colbourn，C.：多项式等价于图同构的问题。滑铁卢大学技术报告CS-77-04（1979）
[8] Boulle M.：图划分的紧凑数学公式。最佳方案。工程5，315–333（2004）·Zbl 1151.90522号 ·doi:10.1023/B:OPTE.0000038889.84284.c7
[9] Bruglieri M.，Liberti L.：基于生物的能源生产过程的优化运行和规划。能源政策36，2430–2438（2008）·doi:10.1016/j.enpol.2008.01.09
[10] Bussieck，M.：Globallib——非线性编程问题的集合。http://www.gamsworld.org/global/globallib.htm (2004)
[11] Bussieck，M.，Drud，A.，Meeraus，A.：MINLPLib–混合整数非线性规划的测试模型集合。Inf.J.计算。15(1) (2003) ·Zbl 1238.90104号
[12] Butler，G.：置换群的基本算法，LNCS，第559卷。斯普林格（1991）·Zbl 0785.20001号
[13] Cohen，D.，Jeavons，P.，Jefferson，C.，Petrie，K.，Smith，B.：约束满足问题的对称定义。在：van Beek，P.（编辑）CP，LNCS，第3709卷。斯普林格（2005）·Zbl 1153.68454号
[14] Cohen J.S.：计算机代数和符号计算：数学方法。AK Peters，马萨诸塞州纳蒂克（2000）
[15] Cohen J.S.：计算机代数和符号计算：基本算法。AK Peters，马萨诸塞州纳蒂克（2002）·Zbl 1011.68180号
[16] Faenza Y.，Kaibel V.：填充和分割轨道的扩展公式。数学。操作。第34（3）号决议，686–697（2009）·Zbl 1218.90124号 ·doi:10.1287/门.1090.0392
[17] Fischetti，M.，Salvagnin，D.：混合整数线性规划的局部优势过程。技术报告，ARRIVAL项目（2007年）
[18] 福勒·R、盖伊·D：AMPL图书。达克斯伯里出版社，太平洋格罗夫出版社（2002年）
[19] Friedman，E.J.：具有对称性的整数程序的基本域。收录：Dress，A.，Xu，Y.，Zhu，B.（编辑）COCOA Proceedings，LNCS，第4616卷，第146-153页。施普林格（2007）·兹比尔1175.90296
[20] GAP小组：GAP–小组、算法和编程，第4.4.10版（2007年）
[21] 霍尔·M：群论。第2版。纽约切尔西出版公司（1976）·Zbl 0354.20001号
[22] ILOG（2008）ILOG CPLEX 11.0用户手册。ILOG S.A.，法国根蒂利
[23] Kaibel V.，Pfetsch M.：包装和分割轨道。数学。程序。114(1), 1–36 (2008) ·Zbl 1171.90004号 ·doi:10.1007/s10107-006-0081-5
[24] Laundy R.、Perregaard M.、Tavares G.、Tipi H.、Vazacopoulos A.：使用Xpress-MP解决硬混合集成编程问题：MIPLIB 2003案例研究。Inf.J.计算。21(2), 304–313 (2009) ·Zbl 1243.90149号 ·doi:10.1287/ijoc.1080.0293
[25] Lee J.，Margot F.：关于二元编码ILP着色公式。Inf.J.计算。19(3), 406–415 (2007) ·Zbl 1241.90087号 ·doi:10.1287/ijoc.1060.0178
[26] Leyffer，S.：MacMINLP–混合整数非线性程序的AMPL集合。网址：http://www.mcs.anl.gov/\（\ sim\）leyffer/macminlp/（2000）
[27] Liberti，L.：C++中使用n元树进行符号计算的框架。技术报告，学前特殊教育委员会，伦敦帝国理工学院（2001）
[28] Liberti L.：编写全局优化软件。收录于：Liberti，L.，Maculan，N.（编辑）《全球优化：从理论到实施》，第211-262页。柏林施普林格出版社（2006）·Zbl 1100.90004号
[29] Liberti L.：自动生成对称破坏约束。收录人：Yang，B.，Du，D.-Z.，Wang，C.A.（编辑）COCOA Proceedings，LNCS，第5165卷，第328-338页。柏林施普林格出版社（2008）·兹比尔1168.90566
[30] Liberti，L.：数学规划中的改革：对称。技术报告2165，在线优化（2008）·Zbl 1235.90103号
[31] 自由L.：数学规划中的改革：定义和系统。RAIRO-RO 43（1），55–86（2009）·Zbl 1158.90390号 ·doi:10.1051/ro/2009005
[32] Liberti L.，Cafieri S.，Tarissan F.：数学规划中的改革：计算方法。收录于：Abraham，A.，Hassanien，A.-E.，Siarry，P.，Engelbrecht，A.（编辑）计算智能基础，第3卷，计算智能研究203期，第153-234页。柏林施普林格出版社（2009）
[33] Liberti L.、MladenovićN.、Nannicini G.：解决MINLP的好方法。收录于：Maniezzo，V.，Stützle，T.，Voß，S.（编辑）混合元启发式和数学编程，《信息系统年鉴》第10卷，第231-244页。施普林格，纽约（2009年）
[34] Margot F.：通过分支和切口的同构修剪。数学。程序。94, 71–90 (2002) ·Zbl 1023.90088号 ·doi:10.1007/s10107-002-0358-2
[35] Margot F.：利用对称ILP中的轨道。数学。程序。B 98，3–21（2003）·Zbl 1082.90070 ·doi:10.1007/s10107-003-0394-6
[36] Margot F.：枝条和裁剪的小型封面设计。数学。程序。B 94、207–220（2003）·Zbl 1030.90144号 ·doi:10.1007/s10107-002-0316-z
[37] Margot F.：对称ILP：着色和小整数。谨慎。最佳方案。4, 40–62 (2007) ·Zbl 1169.90411号 ·doi:10.1016/j.disopt.2006.10.008
[38] Margot F.：整数线性规划中的对称性。收录人：Jünger，M.、Liebling，T.、Naddef，D.、Nemhauser，G.、Pulleyblank，W.、Reinelt，G.，Rinaldi，G..、Wolsey，L.（编辑）《整数编程50年》，第647–681页。施普林格，柏林（2010）
[39] Martin，A.、Achterberg，T.、Koch，T.：Miplib，2003年。技术报告05-28，ZIB（2005）
[40] 实用图同构。恭喜。数字30，45–87（1981）·Zbl 0521.05061号
[41] McKay B.：Nauty用户指南（2.4版）。澳大利亚国立大学计算机科学系，堪培拉（2007）
[42] Neumaier A.：连续全局优化和约束满足中的完全搜索。Acta Numer公司。13, 271–369 (2004) ·Zbl 1113.90124号
[43] 奥斯特洛夫斯基，J.，林德罗斯，J.、罗西，F.、斯姆里格里奥，S.：轨道分支。收录于：Fischetti，M.，Williamson，D.P.（编辑）IPCO，LNCS，第4513卷，第104-118页。施普林格（2007）·Zbl 1136.90411号
[44] 奥斯特洛夫斯基，J.，林德罗斯，J.、罗西，F.、斯姆里格里奥，S.：约束轨道分支。收录于：Lodi，A.，Panconesi，A.，Rinaldi，G.（编辑）IPCO，LNCS，第5035卷，第225-239页。施普林格（2008）·Zbl 1143.90361号
[45] Ramani A.，Markov I.：在约束编程中自动利用对称性。收录于：Faltings，B.，Petcu，A.，Fages，F.，Rossi，F.（编辑）约束求解和约束逻辑编程，LNAI，第3419卷，第98–112页。柏林施普林格出版社（2005）·Zbl 1078.68760号
[46] Rosen，K.H.（编辑）：离散和组合数学手册。CRC出版社，纽约（2000年）·邮编1044.00002
[47] Sahinidis，N.V.，Tawarmalani，M.：BARON 7.2.5:混合整数非线性程序的全局优化，用户手册（2005）·Zbl 1099.90047号
[48] Schichl H.，Neumaier A.：用于全局优化的有向无环图的区间分析。J.全球。最佳方案。33(4), 541–562 (2005) ·Zbl 1094.65061号 ·doi:10.1007/s10898-005-0937-x
[49] Seress A.：置换群算法。剑桥大学出版社，剑桥（2003）·Zbl 1028.20002号
[50] Sherali H.，Smith C.：通过对称性考虑改进离散模型表示。管理。科学。47(10), 1396–1407 (2001) ·Zbl 1232.90309号 ·doi:10.1287/mnsc.47.10396.10265
[51] Uehara R.，Toda S.，Nagoya T.：弦二部图和强弦图的图同构完备性。谨慎。申请。数学。145, 479–482 (2005) ·Zbl 1056.05099号 ·doi:10.1016/j.dam.2004.06.008
[52] Vallentin，F.：半定程序中的对称性。技术报告1702，在线优化（2007）·Zbl 1165.90017号
[53] Wielandt H.：有限置换群。纽约学术出版社（1964）·Zbl 0138.02501号
[54] Wolsey L.A.：整数规划。威利，纽约（1998）
[55] 朱伟：一些优化问题的不可解性。申请。数学。计算。174, 921–926 (2006) ·兹比尔1098.65071 ·doi:10.1016/j.amc.2005.05.025
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。