罗伯特·利昂·戈特瓦尔德;斯蒂芬·马赫。;Yuji Shinano 分布式域传播。 （英语） 兹比尔1432.68416 Iliopoulos，Costas S.（编辑）等人，第16届实验算法国际研讨会，2017年6月21日至23日，英国伦敦，SEA 2017。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。75，第6条，第11页（2017年）。 摘要：项目组合并行化是一种并行运行多个求解器实例的方法，当其中一个实例成功解决问题时终止。尽管它很简单，但投资组合并行化在现代混合整数规划（MIP）和布尔可满足性问题（SAT）求解器中表现良好。在现代MIP和SAT解算器中，域传播也被证明是一种简单的技术，它可以在变量的域缩小后有效地找到额外的域缩小。在本文中，我们介绍了分布式域传播，这是一种在解算器之间共享边界收紧以触发进一步域传播的技术。我们研究了它对采用投资组合并行化的现代MIP求解器的影响。对这种并行化方法的两种实现进行了计算实验。虽然两者共享全局变量边界和解决方案，但它们的通信方式不同。在一个实现中，通信仅在求解过程中的指定点执行，而在另一个实现中将完全异步执行。计算实验表明，通信全局变量界对性能有积极影响，并为并行求解器的通信策略提供了有价值的见解。关于整个系列，请参见[Zbl 1372.68011号]. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68瓦10 计算机科学中的并行算法 90立方厘米 混合整数编程 关键词：混合整数规划;并行化;域传播;投资组合求解器 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Gottwald}等人，LIPIcs——莱布尼茨国际程序。通知。75，第6条，第11页（2017年；Zbl 1432.68416） 全文： DOI程序