Sequential and parallel solution-biased search for subgraph algorithms

Archibald, B. , Dunlop, F., Hoffmann, R., McCreesh, C. , Prosser, P. and Trimble, J. (2019) Sequential and parallel solution-biased search for subgraph algorithms. In: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2019), Thessaloniki, Greece, 4-7 June 2019, pp. 20-38. ISBN 9783030192112 (doi: 10.1007/978-3-030-19212-9_2)

[img]
Preview
Text
180906.pdf - Accepted Version

1MB

Abstract

The current state of the art in subgraph isomorphism solving involves using degree as a value-ordering heuristic to direct backtracking search. Such a search makes a heavy commitment to the first branching choice, which is often incorrect. To mitigate this, we introduce and evaluate a new approach, which we call “solution-biased search”. By combining a slightly-random value-ordering heuristic, rapid restarts, and nogood recording, we design an algorithm which instead uses degree to direct the proportion of search effort spent in different subproblems. This increases performance by two orders of magnitude on satisfiable instances, whilst not affecting performance on unsatisfiable instances. This algorithm can also be parallelised in a very simple but effective way: across both satisfiable and unsatisfiable instances, we get a further speedup of over thirty from thirty-six cores, and over one hundred from ten distributed-memory hosts. Finally, we show that solution-biased search is also suitable for optimisation problems, by using it to improve two maximum common induced subgraph algorithms.

Item Type:Conference Proceedings
Additional Information:This work was supported by the Engineering and Physical Sciences Research Council (grant numbers EP/P026842/1, EP/M508056/1, and EP/N007565). This work used the Cirrus UK National Tier-2 HPC Service at EPCC (http://www.cirrus.ac.uk) funded by the University of Edinburgh and EPSRC (EP/P020267/1).
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Trimble, Mr James and Prosser, Dr Patrick and Mccreesh, Dr Ciaran and Hoffmann, Dr Ruth and Archibald, Dr Blair
Authors: Archibald, B., Dunlop, F., Hoffmann, R., McCreesh, C., Prosser, P., and Trimble, J.
College/School:College of Science and Engineering > School of Computing Science
Publisher:Springer
ISSN:0302-9743
ISSN (Online):0302-9743
ISBN:9783030192112
Copyright Holders:Copyright © 2019 Springer Nature Switzerland AG
First Published:First published in Proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019). Lecture Notes in Computer Science, 11494:20-38
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
300525Modelling and Optimisation with GraphsPatrick ProsserEngineering and Physical Sciences Research Council (EPSRC)EP/P026842/1Computing Science
190906EPSRC 2015 DTPMary Beth KneafseyEngineering and Physical Sciences Research Council (EPSRC)EP/M508056/1Research and Innovation Services
172422Science of Sensor System Software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1Computing Science