Galois connections for patterns: an algebra of labelled graphs

DOI10.1007/978-3-030-72308-8_9zbMath1467.68176MaRDI QIDQ2044173

Martin C. Cooper, Stanislav Živný, Peter G. Jeavons, David A. Cohen

Publication date: 4 August 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-72308-8_9

zbMATH Keywords

Galois connection; lattices; constraint satisfaction; tractability; forbidden patterns

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

68T30: Knowledge representation

05C78: Graph labelling (graceful graphs, bandwidth, etc.)

06A15: Galois correspondences, closure operators (in relation to ordered sets)