On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M14Scholz: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "Parallel Branch and Bound, functionally! Branch and bound algorithms play an important role in many combinatorial search and optimisation problems. Parallel implementations of t..." |
(No difference)
|
Latest revision as of 12:59, 9 January 2015
Parallel Branch and Bound, functionally!
Branch and bound algorithms play an important role in many combinatorial search and optimisation problems. Parallel implementations of these algorithms typically involve rather sophisticated orchestrations of concurrency constructs. In this talk we propose a purely functional implementation for branch and bound algorithms that is based on a single map-like construct with a controlled form of non-deterministic state modifications. Besides presenting the central language construct and the way it can be utilised for implementing branch and bound algorithms, we also present some initial performance measurements of a prototypical implementation in the context of SaC.
