Article ID: | iaor20162557 |
Volume: | 75 |
Issue: | 2 |
Start Page Number: | 363 |
End Page Number: | 382 |
Publication Date: | Jun 2016 |
Journal: | Algorithmica |
Authors: | Bulian Jannis, Dawar Anuj |
Keywords: | heuristics, optimization |
A commonly studied means of parameterizing graph problems is the deletion distance from triviality (Guo et al., Parameterized and exact computation, Springer, Berlin, pp. 162–173, 2004), which counts vertices that need to be deleted from a graph to place it in some class for which efficient algorithms are known. In the context of graph isomorphism, we define triviality to mean a graph with maximum degree bounded by a constant, as such graph classes admit polynomial‐time isomorphism tests. We generalise deletion distance to a measure we call elimination distance to triviality, based on elimination trees or tree‐depth decompositions. We establish that graph canonisation, and thus graph isomorphism, is