Parallel Computation of the Minimal Elements of a Poset

摘要

Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimization, transversal hypergraph generation and redundant component removal, to name a few. We propose a divide-and-conquer algorithm which is not only cache-oblivious but also can be parallelized free of deter-minacy races. We have implemented it in Cilk++ targeting multi-cores. For our test problems of sufficiently large input size our code demonstrates a linear speedup on 32 cores.