A Generic Framework for Engineering Graph Canonization Algorithms

A Generic Framework for Engineering Graph Canonization Algorithms

Abstract

The state-of-the-art tools for practical graph canonization are all based on the individualization-refinement paradigm, and their difference is primarily in the choice of heuristics they include and in the actual tool implementation. It is thus not possible to make a direct comparison of how individual algorithmic ideas affect the performance on different graph classes. We present an algorithmic software framework that facilitates implementation of heuristics as independent extensions to a common core algorithm. It therefore becomes easy to perform a detailed comparison of the performance and behaviour of different algorithmic ideas. Implementations are provided of a range of algorithms for tree traversal, target cell selection, and node invariant, including choices from the literature and new variations. The framework readily supports extraction and visualization of detailed data from separate algorithm executions for subsequent analysis and development of new heuristics. Using collections of different graph classes we investigate the effect of varying the selections of heuristics, often revealing exactly which individual algorithmic choice is responsible for particularly good or bad performance. On several benchmark collections, including a newly proposed class of difficult instances, we additionally find that our implementation performs better than the current state-of-the-art tools.

Grafik Top
Authors
  • Andersen, Jakob L.
  • Merkle, Daniel
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
2018 20th Workshop on Algorithm Engineering and Experiments (ALENEX)
Divisions
Bioinformatics and Computational Biology
Event Location
New Orleans, USA
Event Type
Conference
Event Dates
January 7-8, 2018
Page Range
pp. 139-153
Date
2018
Official URL
http://dx.doi.org/10.1137/1.9781611975055.13
Export
Grafik Top