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...

Full description

Bibliographic Details
Main Authors: Leiserson, Charles E., Maza, Marc Moreno, Li, Liyun, Xie, Yuzhen
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2012
Online Access:http://hdl.handle.net/1721.1/72131
_version_ 1826199379153780736
author Leiserson, Charles E.
Maza, Marc Moreno
Li, Liyun
Xie, Yuzhen
author2 Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
author_facet Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Leiserson, Charles E.
Maza, Marc Moreno
Li, Liyun
Xie, Yuzhen
author_sort Leiserson, Charles E.
collection MIT
description 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 determinacy races. We have implemented it in Cilk++ targeting multicores. For our test problems of sufficiently large input size our code demonstrates a linear speedup on 32 cores.
first_indexed 2024-09-23T11:19:17Z
format Article
id mit-1721.1/72131
institution Massachusetts Institute of Technology
language en_US
last_indexed 2024-09-23T11:19:17Z
publishDate 2012
publisher Association for Computing Machinery (ACM)
record_format dspace
spelling mit-1721.1/721312022-10-01T02:46:43Z Parallel Computation of the Minimal Elements of a Poset Leiserson, Charles E. Maza, Marc Moreno Li, Liyun Xie, Yuzhen Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Leiserson, Charles E. Leiserson, Charles E. 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 determinacy races. We have implemented it in Cilk++ targeting multicores. For our test problems of sufficiently large input size our code demonstrates a linear speedup on 32 cores. National Science Foundation (U.S.). (Grant number CNS-0615215) National Science Foundation (U.S.). (Grant number CCF- 0621511) 2012-08-15T12:35:22Z 2012-08-15T12:35:22Z 2010-07 Article http://purl.org/eprint/type/ConferencePaper 978-1-4503-0067-4 http://hdl.handle.net/1721.1/72131 Leiserson, Charles E. et al. “Parallel Computation of the Minimal Elements of a Poset.” PASCO '10 Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, 2010. 53-62. en_US http://dx.doi.org/10.1145/1837210.1837221 PASCO '10 Proceedings of the 4th International Workshop on Parallel and Symbolic Computation Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Association for Computing Machinery (ACM) Other University Web Domain
spellingShingle Leiserson, Charles E.
Maza, Marc Moreno
Li, Liyun
Xie, Yuzhen
Parallel Computation of the Minimal Elements of a Poset
title Parallel Computation of the Minimal Elements of a Poset
title_full Parallel Computation of the Minimal Elements of a Poset
title_fullStr Parallel Computation of the Minimal Elements of a Poset
title_full_unstemmed Parallel Computation of the Minimal Elements of a Poset
title_short Parallel Computation of the Minimal Elements of a Poset
title_sort parallel computation of the minimal elements of a poset
url http://hdl.handle.net/1721.1/72131
work_keys_str_mv AT leisersoncharlese parallelcomputationoftheminimalelementsofaposet
AT mazamarcmoreno parallelcomputationoftheminimalelementsofaposet
AT liliyun parallelcomputationoftheminimalelementsofaposet
AT xieyuzhen parallelcomputationoftheminimalelementsofaposet