×
T·克里斯托夫。；雷内尔特，G。

组合优化和小多面体。 （英语） Zbl 0858.90107号

顶部 第4期，第1期，第1-53期（1996年）.
对于许多困难的组合优化问题，分支割方法是试图将问题实例求解到最优性时的选择方法。分支与切割算法是一种特殊的分支与边界算法，其边界是通过求解适当的线性规划松弛来实现的。这些线性规划松弛基于与待解决的组合优化问题相关联的某些多边形的线性描述。
本文重点讨论了一种获得更好的线性规划松弛的新方法，该方法基于与小问题实例相关的多面体的完全或部分线性描述的自动推导。在简要介绍了切割平面的原理之后。分支与切割算法，我们描述了如何计算组合多面体的完整描述，或者至少获取有关其方面结构的信息的主要思想。我们介绍了公开可用的软件包PORTA，我们开发该软件包是为了在计算机的帮助下获得结果。此外，我们更详细地讨论了旅行推销员和线性排序多面体的小实例的线性描述。小问题实例的各个方面不仅具有理论意义。我们展示了如何在分支算法中利用这些方面解决实际问题。特别强调了分离过程在并行硬件上的实现。给出了计算结果。
审核人：T.克里斯托夫（海德堡）

引用于18文件

MSC公司：

90C27型 组合优化
52号B12 特殊多边形（线性规划、中心对称等）
2015年1月5日 精确枚举问题，生成函数

关键词：

特殊多边形；双重描述法；计算几何；硬组合优化；分枝切割法；刻面结构；旅行推销员；线性有序多面体

软件：

cdd（光盘）；港口；TSPLIB公司；阿巴克斯；洛立布；PolyLib公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Christof}和\textit{G.Reinelt}，前4名，第1号，1-53（1996；Zbl 0858.90107）
全文： 内政部

参考文献：

[1] Alevras，D.、G.Cramer和M.Padberg（1994年）。计算多面体圆锥的线性空间基和极值射线的双重描述算法。可通过elib.zib-berlin.de上的ftp获取软件，目录为pub/mathprog/polyth/dda。
[2] Alevras，D.（1995）。个人沟通。
[3] Applegate，D.、R.E.Bixby、V.Chvátal和W.Cook（1994年）。发现TSP中的削减（初步报告）。莱斯大学研究报告。
[4] Avis，D.（1993）。反向搜索顶点枚举算法的AC实现。可通过ftp从mutt.cs.mcgiil.ca目录pub/C获取软件。
[5] Avis，D.和K.Fukuda（1992年）。用于排列和多面体的凸壳和顶点枚举的旋转算法。离散和计算几何8，295–313·Zbl 0752.68082号 ·doi:10.1007/BF02293050文件
[6] Balas，E.，S.Ceria和C.Cornuéjols（1993年）。混合0–1程序的升降投影切割平面算法。数学编程58，295–324·Zbl 0796.90041号 ·doi:10.1007/BF01581273
[7] Borchers，B.（1992年）。整数规划的改进分枝定界算法。纽约州特洛伊市。
[8] Boyd，S.C.和W.H.Cunningham（1991年）。小型旅行推销员多功能酒店。运筹学数学16，259–271·Zbl 0743.90106号 ·doi:10.1287/门16.2.259
[9] Bruger，E.（1956年）。U-ber均质线性Ungleichungs系统。Zeitschrift für Angewandte Mathematik und Mechanik泽奇里夫·冯·安格万特（Zeitschricft für）36、135–139·Zbl 0075.12701号 ·doi:10.1002/zamm.19560360308
[10] Chernikov，S.N.（1971）。Lineare Ungleichungen公司。柏林：德国维森沙芬·Zbl 0192.13201号
[11] Chernikova，N.V.（1965年）。求线性不等式组非负解通式的算法。U.S.S.R.计算数学和数学物理5，228–233·Zbl 0171.35701号 ·doi:10.1016/0041-5553（65）90045-5
[12] Christof，T.（1991）。Ein Verfahren zur变换zwischen Polyederdarstellungen。奥格斯堡大学毕业论文。
[13] Christof，T.、M.Jünger和G.Reinelt（1991年）。8个节点上旅行推销员多边形的完整描述。运营研究快报10497–500·Zbl 0744.90070号 ·doi:10.1016/0167-6377（91）90067-Y
[14] Christof，T.和G.Reinelt（1995年）。TSP的并行切割平面生成，见P.Fritzson和L.Finmo编辑的《并行编程与应用》。IOS出版社。
[15] Dantzig，G.B.和B.C.Eaves（1973）。Fourier-Motzkin消元及其对偶。组合理论期刊。A 14228-297·Zbl 0258.15010号 ·doi:10.1016/0097-3165（73）90004-6
[16] Dantzig、G.B.、R.Fulkerson和S.M.Johnson（1954年）。大型旅行推销员问题的解决方案。运筹学2393–410·数字对象标识代码：10.1287/opre.2.4393
[17] Duffin，R.J.（1974）。关于线性不等式组的傅里叶分析。数学规划研究1·Zbl 0357.90032号
[18] Edmonds，J.（1965）。最大匹配和具有（0,1）个顶点的多面体。期刊Res.Nat.Bur。站立。69B，125–130·Zbl 0141.21802号
[19] Edelsbrunner，H.（1987）。组合几何中的算法。柏林：斯普林格·Zbl 0634.52001号
[20] Euler，R.和H.Le Verge（1992年）。六节点非对称旅行推销员多面体的完全无冗余线性描述。研究报告，布雷斯特大学。
[21] Fishburn，P.C.（1990年）。排名引起的二进制概率。SIAM离散数学杂志3478–488·Zbl 0718.60006号 ·doi:10.1137/0403041
[22] Fishburn，P.C.（1991年）。诱导二元概率和线性有序多面体：一份状态报告。报告AT&T贝尔实验室。
[23] Fukuda，K.（1993）。cdd.c.：c由线性不等式组给出的计算凸多面体所有顶点和极值射线的双重描述方法的实现。技术报告，DMA-EPFL洛桑，软件可通过ftp在ifor13.ethz.ch上获得，目录pub/fukuda/cdd。
[24] Fukuda，K.和A.Prodon（1995年）。重新审视双重描述方法。报道，ETHZürich。
[25] Galperin，A.M.（1976年）。线性不等式有限集的一般解。数学。操作。研究，1185-196·Zbl 0394.15010号 ·doi:10.1287/门1.2.185
[26] 戈莫里，R.E.（1963年）。线性规划整数解的一种算法，R.L.Graves和P.Wolfe编辑，《数学规划的最新进展》。纽约：McGraw Hill·Zbl 0235.90038号
[27] Grötschel，M.和O.Holland（1985年）。用线性规划解决匹配问题。数学编程33，243–259·兹比尔0579.90069 ·doi:10.1007/BF01584376
[28] Grötschel，M.、M.Jünger和G.Reinelt（1984）。线性排序问题的割平面算法。运筹学32，1195–1220·Zbl 0554.90077号 ·doi:10.1287/opre.32.6.1195
[29] Grötschel，M.、M.Jünger和G.Reinelt（1985）。线性排序多面体的面。数学编程33，43–60·Zbl 0577.05035号 ·doi:10.1007/BF01582010
[30] Grötschel，M.、L.Lovász和A.Schrijver（1988）。几何算法和组合优化。柏林：斯普林格·Zbl 0634.05001号
[31] Grötschel，M.和M.W.Padberg（1985）。多面体理论，载于E.L.Lawler、J.K.Lenstra、A.H.G.Rinnooy Kan和D.B.Shmoys编辑的《旅行推销员问题》。奇切斯特：威利父子公司·Zbl 0587.90073号
[32] Jünger，M.、G.Reinelt和G.Rinaldi（1995年）。旅行推销员问题，收录于M.Ball、T.Magnanti、C.L.Monma和G.L.Nemhauser主编的《运营研究和管理科学手册：网络》。霍兰德北部·Zbl 0832.90118号
[33] Jünger，M.、G.Reinelt和S.Thienel（1994年）。对称旅行推销员问题的最优且可证明的好解。Zeitschrift für运筹学40，183–217·Zbl 0826.90118号
[34] Jünger，M.、G.Reinelt和S.Thienel（1995年）。组合优化中用割平面算法解决实际问题，W.Cook，L.Lovász和P.Seymour编辑，《离散数学和理论计算机科学中的DIMACS系列》，第20卷：组合优化。美国数学学会·Zbl 0835.90076号
[35] Jünger，M.和P.Störmer（1995）。使用并行分支和切割解决大规模旅行推销员问题。科隆大学第95.191号技术报告。
[36] Kirkpatrick，C.D.、Gelatt Jr.和M.P.Vecchi（1983年）。模拟退火优化。科学222671–680·Zbl 1225.90162号 ·doi:10.1126/science.220.4598.671
[37] Leung，J.和J.Lee（1994年）。”线性排序和非循环子图多面体的栅栏中的更多面”。离散应用程序。数学50，第2期，185–200·兹比尔0817.52017 ·doi:10.1016/0166-218X（92）00151-B
[38] Mathies、T.H.和D.S.Rubin（1980年）。求凸多面体集所有顶点方法的综述与比较。运筹学数学5，167–184·Zbl 0442.90050号 ·doi:10.1287/门5.2.167
[39] Mitchell，J.E.（1994年）。整数规划的内点算法。伦斯勒理工学院，TR 215。
[40] Motzkin、T.S.、H.Raiffa、G.L.Thompson和R.M.Thrall（1953年）。双重描述方法，H.W.Kuhn和A.W.Tucker编辑，对游戏理论的贡献（第2卷）。普林斯顿大学出版社，新泽西州普林斯顿·Zbl 0050.14201号
[41] Müller，R.（1992）。关于传递的非循环子图多面体。第337号报告，TU Berlin·Zbl 0924.90129号
[42] Naddef，D.和G.Rinaldi（1992年）。对称旅行推销员多面体的皇冠不等式。运筹学数学17，308–326·Zbl 0771.52006号 ·doi:10.1287/门17.2.308
[43] Naddef D.和G.Rinaldi（1993年）。图形化放松：对称旅行推销员多边形的新框架。数学编程58，53–87·Zbl 0780.90103号 ·doi:10.1007/BF01581259
[44] Padberg，M.（1995）。线性优化和扩展，柏林：施普林格出版社·Zbl 0839.90082号
[45] Padberg，M.W.和G.Rinaldi（1987年）。532城市对称旅行商问题的分枝切割优化。运营研究快报6、1–7·Zbl 0618.90082号 ·doi:10.1016/0167-6377（87）90002-2
[46] Padberg，M.W.和G.Rinaldi（1990年）。对称旅行推销员多边形的面识别。数学编程47219-257·Zbl 0706.90050号 ·doi:10.1007/BF01580861
[47] Padberg，M.W.和G.Rinaldi（1991年）。求解大规模对称旅行商问题的分支割算法。SIAM审查33，60–100·Zbl 0734.90060号 ·数字对象标识代码：10.1137/1033004
[48] W.R.（1989），《滑轮板》。多面体组合学，收录于G.L.Nemhauser、A.H.G.Rinnoy Kan和M.J.Todd主编的《运筹学和管理科学手册：优化》。霍兰德北部·Zbl 0566.90063号
[49] Queyranne，M.和Y.Wang（1993年）。哈密尔顿路径和对称旅行商多面体。数学编程58，89–110·Zbl 0781.90088号 ·doi:10.1007/BF01581260
[50] Reinelt，G.（1985）。线性排序问题：算法和应用。《数学研究与阐述》，第8期，柏林：赫尔德曼·Zbl 0565.68058号
[51] Reinelt，G.（1991）。TSPLIB–旅行推销员问题库。ORSA计算机杂志3376–384。（WWW访问：http://WWW.iwr.uni-heidelberg.de/iwr/comopt/soft/TSPLIB/TSPLIB.htlm）·Zbl 0775.90293号
[52] Reinelt，G.（1993）。关于小线性序多面体的注记。离散与计算几何10，67–78·Zbl 0784.90063号 ·doi:10.1007/BF02573963
[53] Rubin，D.（1975）。顶点生成和基数约束线性程序。运筹学23，555–565·Zbl 0316.90038号 ·数字对象标识代码：10.1287/opre.23.355
[54] Schrijver，A.（1986年）。线性和整数规划理论。奇切斯特：John Wiley&Sons·Zbl 0665.90063号
[55] Suck，R.（1991）。二元选择概率多面体的几何和组合性质。奥斯纳布吕克大学报告·Zbl 0751.90006号
[56] Thienel，S.（1995）。ABACUS–分支和切割系统。科隆大学博士论文·Zbl 0911.90282号
[57] 王尔德博士（1993年）。用于进行多面体运算的库。报告785，IRISA，法国雷恩，可通过ftp.IRISA.fr上的ftp获取软件，目录：local/API·Zbl 0968.68172号
[58] Verge Le，H.（1992年）。关于Chernikova算法的注记。法国雷恩IRISA 785号报告。
[59] Zigler，G.（1995）。柏林：Springer，Polytopes讲座。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。