Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/30001
Full metadata record
DC FieldValueLanguage
dc.contributor.authorArchibald, Blairen_UK
dc.contributor.authorMaier, Patricken_UK
dc.contributor.authorStewart, Roberten_UK
dc.contributor.authorTrinder, Philen_UK
dc.contributor.authorDe Beule, Janen_UK
dc.date.accessioned2019-08-20T00:06:24Z-
dc.date.available2019-08-20T00:06:24Z-
dc.date.issued2017en_UK
dc.identifier.urihttp://hdl.handle.net/1893/30001-
dc.description.abstractCombinatorial search problems in mathematics, e.g. in finite geometry, are notoriously hard; a state-of-the-art backtracking search algorithm can easily take months to solve a single problem. There is clearly demand for parallel combinatorial search algorithms scaling to hundreds of cores and beyond. However, backtracking combinatorial searches are challenging to parallelise due to their sensitivity to search order and due to the their irregularly shaped search trees. Moreover, scaling parallel search to hundreds of cores generally requires highly specialist parallel programming expertise. This paper proposes a generic scalable framework for solving hard combinatorial problems. Key elements are distributed memory task parallelism (to achieve scale), work stealing (to cope with irregularity), and generic algorithmic skeletons for combinatorial search (to reduce the parallelism expertise required). We outline two implementations: a mature Haskell Tree Search Library (HTSL) based around algorithmic skeletons and a prototype C++ Tree Search Library (CTSL) that uses hand coded applications. Experiments on maximum clique problems and on a problem in finite geometry, the search for spreads in H(4, 22), show that (1) CTSL consistently outperforms HTSL on sequential runs, and (2) both libraries scale to 200 cores, e.g. speeding up spreads search by a factor of 81 (HTSL) and 60 (CTSL), respectively. This demonstrates the potential of our generic framework for scaling parallel combinatorial search to large distributed memory platforms.en_UK
dc.language.isoenen_UK
dc.publisherACMen_UK
dc.relationArchibald B, Maier P, Stewart R, Trinder P & De Beule J (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017 Proceedings of the International Workshop on Parallel Symbolic Computation. International Workshop on Parallel Symbolic Computation, Kaiserslautern, Germany, 23.07.2017-24.07.2017. New York: ACM, p. 6. https://doi.org/10.1145/3115936.3115942en_UK
dc.rights© ACM, 2017. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of International Workshop on Parallel Symbolic Computation, July 23–24, 2017, article 6. http://doi.acm.org/10.1145/3115936.3115942en_UK
dc.subjectcombinatoricsen_UK
dc.subjectbacktrackingen_UK
dc.subjectdistributed computingen_UK
dc.subjectparallelismen_UK
dc.subjectclique searchen_UK
dc.subjectfinite geometryen_UK
dc.titleTowards Generic Scalable Parallel Combinatorial Searchen_UK
dc.typeConference Paperen_UK
dc.identifier.doi10.1145/3115936.3115942en_UK
dc.citation.spage6en_UK
dc.citation.publicationstatusPublisheden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.contributor.funderFonds Wetenschappelijk Onderzoeken_UK
dc.contributor.funderEngineering and Physical Sciences Research Councilen_UK
dc.author.emailpatrick.maier@stir.ac.uken_UK
dc.citation.btitlePASCO 2017 Proceedings of the International Workshop on Parallel Symbolic Computationen_UK
dc.citation.conferencedates2017-07-23 - 2017-07-24en_UK
dc.citation.conferencelocationKaiserslautern, Germanyen_UK
dc.citation.conferencenameInternational Workshop on Parallel Symbolic Computationen_UK
dc.citation.isbn9781450352888en_UK
dc.publisher.addressNew Yorken_UK
dc.contributor.affiliationUniversity of Glasgowen_UK
dc.contributor.affiliationUniversity of Glasgowen_UK
dc.contributor.affiliationHeriot-Watt Universityen_UK
dc.contributor.affiliationUniversity of Glasgowen_UK
dc.contributor.affiliationVrije Universiteit Brusselen_UK
dc.identifier.scopusid2-s2.0-85029825330en_UK
dc.identifier.wtid1428306en_UK
dc.contributor.orcid0000-0002-7051-8169en_UK
dc.date.accepted2017-06-06en_UK
dc.date.filedepositdate2019-08-15en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
Archibald_Maier_Stewart_Trinder_DeBeule_PASCO2017_preprint.pdfFulltext - Accepted Version663.26 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.