大卫·阿维斯；查尔斯·乔丹 mplrs（mplrs）：一个可扩展的并行顶点/面枚举代码。 （英语） Zbl 1400.90222号 数学。程序。计算。 10，第2号，267-302（2018）. 摘要：我们描述了一种新的并行实现，mplrs（mplrs），顶点枚举代码的轻轨系统它使用MPI并行环境，可以在计算机网络上运行。该实现使用了一个C包装器，该包装器基本上使用了现有的lrs代码，只做了少量修改。mplrs（mplrs）源于早期的并行实现plrs（脉冲激光雷达）由G.Roumanis用在共享内存机器上运行的C（{++}）编写。通过改进负载平衡，我们能够大大提高中大规模并行化的性能轻轨系统我们报告了凸多面体的顶点/面枚举问题的并行和顺序代码的比较计算结果。所选择的问题涵盖了从简单到高度简并的多面体的范围。对于大多数测试的问题，结果清楚地显示了使用基于反向搜索的代码lrs的并行实现mplrs的优势，即使只有8个内核可用。对于一些问题，观察到几乎线性加速到1200核心，测试的核心数量最多。作为提交文件的一部分进行审查的软件包括在lrslib-062.tar.gz公司其MD5哈希为5da7b3b90cc2be628dcade90c5d1b9。 引用于6文件 MSC公司： 90C05（二氧化碳） 线性规划 关键词：顶点枚举；反向搜索；并行处理 软件：PPL（公私合营）；磁粉探伤；ZRAM公司；CPLEX公司；多晶的；无人值守地面；协和式飞机；轻轨系统；HTCondor兆瓦；英特尔TBB；Normaliz公司；古罗比；HordeSat卫星；鲍勃++；副SCIP；mplrs（mplrs）；明克苏姆 PDF格式BibTeX公司 XML格式引用 \textit{D.Avis和\textit{C.Jordan，数学。程序。计算。10，第2号，267--302（2018；Zbl 1400.90222） 全文： 内政部 arXiv公司 参考文献： [1] 安德森，DP；科布，J；科佩拉，E；勒博夫斯基，M；Werthimer，D，SETI@主页：公共资源计算实验，Commun。美国医学会，45，56-61，（2002）·文件编号：10.1145/581571.581573 [2] Anstreicher，K；Brixius，N；古克斯，JP；Linderath，J，《在计算网格上解决大型二次分配问题》，数学。程序。，91, 563-588, (2002) ·Zbl 1030.90105号 ·doi:10.1007/s101070100255 [3] Applegate，D.L.，Bixby，R.E.，Chvatal，V.，Cook，W.J.：http://www.math.uwaterloo.ca/tsp/concorde.html。2017年11月6日访问 [4] Applegate，D.L.，Bixby，R.E.，Chvatal，V.，Cook，W.J.：旅行推销员问题：计算研究（普林斯顿应用数学系列）。普林斯顿大学出版社，普林斯顿（2007） [5] 阿萨夫，B；Gawrilow，E；K先生；Joswig，M；洛伦茨，B；Paffenholz，A；Rehn，T，用polymake计算凸包和计算整数点，数学。程序。计算。，9, 1-38, (2017) ·Zbl 1370.90009号 ·doi:10.1007/s12532-016-0104-z [6] 阿维斯，D.：http://cgm.cs.mcgill.ca/avis/C/lrs.html。2017年11月6日访问 [7] Avis，D.：反向搜索顶点枚举算法的改进实现。载于：Kalai，G.，Ziegler，G.M.（编辑）《多项式组合与计算》，第29卷，第177-198页。DMV研讨会，Birkhäuser，巴塞尔（2000年）·Zbl 0960.68171号 [8] 阿维斯，D；Devroye，L，估算多面体的顶点数，Inf.过程。莱特。，73, 137-143, (2000) ·Zbl 1014.68200号 ·doi:10.1016/S0020-0190（00）00011-9 [9] Avis，D.，Devroye，L.：条件Galton-Watson树上预算并行搜索的分析。arXiv:1703.10731（2017年） [10] 阿维斯，D；Fukuda，K，排列和多面体的凸包和顶点枚举的旋转算法，离散计算。地理。，8, 295-313, (1992) ·兹比尔0752.68082 ·doi:10.1007/BF02293050 [11] 阿维斯，D；Fukuda，K，枚举反向搜索，离散应用。数学。，65, 21-46, (1996) ·Zbl 0854.68070号 ·doi:10.1016/0166-218X（95）00026-N [12] Avis，D.，Jordan，C.：使用mts.arXiv进行反向搜索的并行框架：1610.07735（2016） [13] Avis，D.，Roumanis，G.：lrs顶点枚举代码的可移植并行实现。摘自：《组合优化与应用——第七届国际会议》，COCOA 2013，《计算机科学讲义》，第8287卷，第414-429页。施普林格，纽约（2013）·Zbl 1406.68058号 [14] Bagnara，R.，Hill，P.M.，Zaffanella，E.：帕尔玛多面体图书馆：为硬件和软件系统的分析和验证提供一整套数字抽象。科学。计算。程序。72(1-2), 3-21 (2008) [15] Balyo，T.、Sanders，P.、Sinz，C.：HordeSat：大规模并行组合SAT求解器。收录于：《第18届可满足性测试理论与应用国际会议论文集》（SAT 2015），《计算机科学讲义》，第9340卷，第156-172页（2015）·Zbl 1471.68237号 [16] 布鲁莫夫，RD；Leiserson，CE，通过偷窃工作调度多线程计算，J.ACM，46，720-748，（1999）·Zbl 1065.68504号 ·doi:10.1145/324133.324234 [17] Brüngger，A；马泽塔，A；福田，K；Nievergelt，J，并行搜索平台ZRAM及其应用，Ann.Oper。决议，90，45-63，（1999）·Zbl 0937.90088号 ·doi:10.1023/A:1018972901171 [18] 布伦斯，W；Ichim，B；Söger，C，正规化中金字塔分解的威力，J.Symb。计算。，74, 513-536, (2016) ·Zbl 1332.68298号 ·doi:10.1016/j.jsc.2015.09.003 [19] Carle，M.A.：追求最优化。http://www.thequestforoptimality.com。2017年11月6日访问 [20] LG卡萨多；马萨诸塞州马丁内斯；加西亚，我；Hendrix，EMT，《共享内存多处理器上的分支与绑定区间全局优化》，Optim。方法软件。，23, 689-701, (2008) ·Zbl 1154.90573号 ·doi:10.1080/155678802086300 [21] Ceder，G；加布尔斯基，G；阿维斯，D；Fukuda，K，具有最近邻和次最近邻相互作用的三元fcc晶格模型的基态，Phys。版本B:条件。物质，49，1-7，（1994）·doi:10.1103/PhysRevB.49.1 [22] Christof，T.，Loebel，A.：http://porta.zib.de。2017年11月6日访问 [23] Chvátal，V.：线性规划。W.H.Freeman，旧金山（1983）·Zbl 0537.90067号 [24] Cornuéjols，G；卡拉马诺夫，M；Li，Y，《树枝和树干大小的早期估计》，INFORMS J.Compute。，18, 86-96, (2006) ·Zbl 1241.90090号 ·doi:10.1287/ijoc.1040.0107 [25] Crainic，T.G.，Le Cun，B.，Roucairol，C.：并行分枝定界算法，第1-28页。威利，纽约（2006） [26] Deza，M.M.，Laurent，M.：切割几何和度量。施普林格，纽约（1997）·Zbl 0885.52001号 ·doi:10.1007/978-3-642-04295-9 [27] Djerrah，A.，Le Cun，B.，Cung，V.D.，Roucairol，C.：Bob++：用分枝定界方法解决优化问题的框架。收录于：2006年IEEE第15届高性能分布式计算国际会议，第369-370页（2006） [28] 费雷兹，J；福田，K；Liebling，T，用并行分区构造算法求解二元变量中的定秩凸二次最大化，Eur.J.Oper。研究，166，35-50，（2005）·Zbl 1066.90101号 ·doi:10.1016/j.ejor.2003.04.011 [29] Fischetti，M.，Monaci，M.，Salvagnin，D.：并行计算中工作负载的自拆分。In:《人工智能和操作规则技术在约束编程中的集成》，CPAIOR 2014，《计算机科学讲义》，第8451卷，第394-404页（2014）·Zbl 06298806号 [30] Fisikopoulos，V；Peñaranda，LM，通过动态行列式计算实现更快的几何算法，计算。地理。，54, 1-16, (2016) ·Zbl 1338.65118号 ·doi:10.1016/j.comgeo.2015.12.001 [31] 福田，K.：网址：http://www.inf.ethz.ch/personal/fukudak/cdd_home。2017年11月6日访问 [32] 古克斯，JP；库尔卡尼，S；尤德，M；Linderath，J，Master-worker:计算网格上应用程序的启用框架，Clust。计算。，4, 63-70, (2001) ·doi:10.1023/A:1011416310759 [33] Graham，RL，《多处理时间异常的界限》，SIAM J.Appl。数学。，17, 416-429, (1969) ·Zbl 0188.23101号 ·doi:10.1137/0117039 [34] 格拉玛，A；库马尔，V，《离散优化问题并行搜索技术的最新进展》，IEEE Trans。知识。数据工程，11，28-35，（1999）·doi:10.1109/69.755612 [35] 古罗比：古罗比优化器。http://www.gurobi.com/。2017年11月6日访问 [36] 霍尔，M；Knuth，DE，《组合分析与计算机》，美国数学杂志。，1965年10月21日至28日·Zbl 0127.09003号 ·doi:10.1080/00029890.1965.11970695 [37] Hamadi，Y.，Wintersteiger，C.M.：并行SAT解决的七大挑战。摘自：第26届AAAI人工智能会议记录（AAAI'12），第2120-2125页（2012） [38] Herrera，J.F.R.，Salmerón，J.M.G.，Hendrix，E.M.T.，Asenjo，R.，Casado，L.G.：关于全局优化的并行分支和绑定框架。J.全球。最佳方案。69(3), 547-560. https://doi.org/10.1007/s10898-017-0508-y ·Zbl 1386.68213号 [39] Heule，M.J.，Kullmann，O.，Wieringa，S.，Biere，A.：立方体和征服：通过观察引导CDCL SAT解算器。摘自：《硬件和软件：验证和测试》（HVC’11），《计算机科学讲义》，第7261卷，第50-65页（2011） [40] Horst，R.，Pardalos，P.M.，Thoai，N.V.：全局优化导论（非凸优化及其应用）。施普林格，纽约（2000年）·Zbl 0966.90073号 ·doi:10.1007/978-1-4615-0015-5 [41] 凯悦酒店；苏特，BW；Nelson，HL，并行alpha/beta树搜索算法，并行计算。，10, 299-308, (1989) ·兹伯利0673.68043 ·doi:10.1016/0167-8191（89）90102-6 [42] ILOG，I.：ILOG CPLEX。http://www-01.ibm.com/software/info/ilog/。2017年11月6日访问 [43] Kilby，P.、Slaney，J.、Thiébaux，S.、Walsh，T.：估算搜索树大小。摘自：《第21届全国人工智能会议论文集》（AAAI'06），第1014-1019页（2006） [44] 科赫，T；Ralphs，T；Shinano，Y，我们能用一百万个核来解整数程序吗？，数学。方法操作。决议，76，67-93，（2012）·Zbl 1262.90106号 ·doi:10.1007/s00186-012-0390-9 [45] 库马尔五世；格拉玛，AY；Vempaty，NR，并行计算机的可扩展负载平衡技术，J.parallel Distribute.Compute。，22, 60-79, (1994) ·doi:10.1006/jpdc.1994.1070 [46] 库马尔五世；Rao，VN，并行深度优先搜索。第二部分。分析，Int.J.Parallel Prog。，16, 501-519, (1987) ·Zbl 0665.68049号 ·doi:10.1007/BF01389001 [47] 马拉珀特，A；雷金，JC；Rezgui，M，约束编程中令人尴尬的并行搜索，J.Artif。智力。决议，57，421-464，（2016）·Zbl 1401.68292号 [48] Marzetta，A.：ZRAM：并行搜索算法库及其在枚举和组合优化中的应用。瑞士苏黎世联邦理工学院博士论文（1998年） [49] Mattson，T.、Sanders，B.、Massingill，B.：模式并行程序。Addison Wesley Professional，波士顿（2004） [50] 麦克里什，C；Prosser，P，最大团问题搜索树的形状及其对并行分支和绑定的影响，ACM Trans。并行计算。，2, 8:1-8:27, (2015) ·Zbl 1328.90127号 ·doi:10.1145/2742359 [51] Moran，B.，Cohen，F.，Wang，Z.，Suvorova，S.，Cochran，D.，Taylor，T.，Farrell，P.，Howard，S.:多传感器融合的界限。ACM事务处理。传感器网络。16（1） ，16:1-16:26（2016） [52] Normaliz:（2015）。https://www.normalize.uni-osnabureck.de/。2017年11月6日访问 [53] Otten，L；Dechter，R，AND/OR，计算网格上的分支与边界，J.Artif。智力。决议，59，351-435，（2017）·Zbl 1418.68189号 [54] Reinders，J.：英特尔线程构建块。O'Reilly&Associates，Inc.，塞巴斯托波尔（2007） [55] Reinelt，G.，Wenger，K.M.：旅行推销员问题的小例子放松。载于：《2003年运筹学论文集》，《运筹学文献集》，2003年，第371-378页。施普林格，柏林（2004）·Zbl 1059.90125号 [56] Shinano，Y.、Achterberg，T.、Berthold，T.，Heinz，S.、Koch，T.：ParaSCIP：SCIP的并行扩展。《2010年高性能计算能力》，第135-148页。柏林施普林格出版社（2012） [57] Shirazi，B.A.，Kavi，K.M.，Hurson，A.R.（编辑）：并行和分布式系统中的调度和负载平衡。IEEE计算机学会出版社，洛斯·阿拉米托斯（1995） [58] Weibel，C.：Minkowski和反向搜索算法的实现和并行化。2010年第十二届算法工程与实验研讨会论文集（ALENEX），第34-42页（2010）·Zbl 1430.68391号 [59] Wilkinson，B.，Allen，M.：《并行编程：使用网络工作站和并行计算机的技术和应用》。普伦蒂斯·霍尔（Prentice Hall），上鞍河（Upper Saddle River）（2005） [60] Xu，Y.：并行树搜索的可伸缩算法。利海大学博士论文（2007） [61] 齐格勒，G.M.：关于多面体的讲座。施普林格，纽约（1995）·Zbl 0823.52002号 ·doi:10.1007/978-1-4613-8431-1 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。