Finding Subgraphs With Side Constraints

Akgün, Ö., Enright, J. , Jefferson, C., McCreesh, C. , Prosser, P. and Zschaler, S. (2021) Finding Subgraphs With Side Constraints. In: 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAOIR 2021), Vienna, Austria, 5-8 July 2021, pp. 348-364. ISBN 9783030782290 (doi:10.1007/978-3-030-78230-6_22)

[img] Text
239426.pdf - Accepted Version

1MB

Abstract

The subgraph isomorphism problem is to find a small “pattern” graph inside a larger “target” graph. There are excellent dedicated solvers for this problem, but they require substantial programming effort to handle the complex side constraints that often occur in practical applications of the problem; however, general purpose constraint solvers struggle on more difficult graph instances. We show how to combine the state of the art Glasgow Subgraph Solver with the Minion constraint programming solver to get a “subgraphs modulo theories” solver that is both performant and flexible. We also show how such an approach can be driven by the Essence high level modelling language, giving ease of modelling and prototyping to non-expert users. We give practical examples involving temporal graphs, typed graphs from software engineering, and costed subgraph isomorphism problems.

Item Type:Conference Proceedings
Additional Information:This research was supported by the Engineering and Physical Sciences Research Council [grant number EP/P026842/1]
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Prosser, Dr Patrick and Enright, Dr Jessica and Mccreesh, Dr Ciaran
Authors: Akgün, Ö., Enright, J., Jefferson, C., McCreesh, C., Prosser, P., and Zschaler, S.
College/School:College of Science and Engineering > School of Computing Science
ISSN:0302-9743
ISBN:9783030782290
Published Online:17 June 2021
Copyright Holders:Copyright © 2021 Springer Nature Switzerland AG
First Published:First published in Lecture Notes in Computer Science 12735: 348-364
Publisher Policy:Reproduced in accordance with the publisher copyright policy

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