Parallel combinatorial optimization with decision diagrams

D Bergman, AA Cire, A Sabharwal… - Integration of AI and OR …, 2014 - Springer
Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014Springer
We propose a new approach for parallelizing search for combinatorial optimization that is
based on a recursive application of approximate Decision Diagrams. This generic scheme
can, in principle, be applied to any combinatorial optimization problem for which a decision
diagram representation is available. We consider the maximum independent set problem as
a specific case study, and show how a recently proposed sequential branch-and-bound
scheme based on approximate decision diagrams can be parallelized efficiently using the …
Abstract
We propose a new approach for parallelizing search for combinatorial optimization that is based on a recursive application of approximate Decision Diagrams. This generic scheme can, in principle, be applied to any combinatorial optimization problem for which a decision diagram representation is available. We consider the maximum independent set problem as a specific case study, and show how a recently proposed sequential branch-and-bound scheme based on approximate decision diagrams can be parallelized efficiently using the X10 parallel programming and execution framework. Experimental results using our parallel solver, DDX10, running on up to 256 compute cores spread across a cluster of machines indicate that parallel decision diagrams scale effectively and consistently. Moreover, on graphs of relatively high density, parallel decision diagrams often outperform state-of-the-art parallel integer programming when both use a single 32-core machine.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果