使用Bobpp并行框架解决约束规划问题的确定性划分
分布式、并行与集群计算
2014-06-12 v1
摘要
本文提出了一种确定性并行化方法来探索约束规划搜索空间。这项工作是对一个名为PAJERO的工业项目的回应，该项目需要一个并行约束求解器，无论使用顺序机器还是并行机器，它总是返回相同的解。众所周知，并行树搜索会改变解空间探索的顺序。在返回第一个找到的解的上下文中，使用不同数量的核心可能会改变返回的解。在文献中，已经提出了几种非确定性策略来并行化约束规划搜索空间的探索。其中大多数基于工作窃取技术，该技术用于在搜索算法执行期间按需划分约束规划搜索空间。我们的研究侧重于并行搜索相对于顺序搜索的确定性。我们认为顺序搜索算法是确定性的，然后提出了一种优雅的解决方案，在节点上引入全序，使得并行算法无论使用多少核心，总是给出与顺序算法相同的解。为了评估这种确定性策略，我们在并行Bobpp框架之上使用Google OR-Tools约束规划求解器进行了测试。通过求解以FlatZinc格式建模的约束规划问题来展示性能。
引用
@article{arxiv.1406.2844,
title = {Partitionnement D\'eterministe pour R\'esoudre les Probl\`emes de Programmation Par Contraintes en utilisant le Framework Parall\`ele Bobpp},
author = {Tarek Menouer and Bertrand Le Cun},
journal= {arXiv preprint arXiv:1406.2844},
year = {2014}
}
备注
in French, ComPAS 2014 : conf\'erence en parall\'elisme, architecture et syst\`emes (2014)