IEEE VIS 2024 Content: Evaluating and extending speedup techniques for optimal crossing minimization in layered graph drawings

Evaluating and extending speedup techniques for optimal crossing minimization in layered graph drawings

Connor Wilson - Northeastern University, Boston, United States

Eduardo Puerta - Northeastern University, Boston, United States

Tarik Crnovrsanin - northeastern university, Boston, United States

Sara Di Bartolomeo - University of Konstanz, Konstanz, Germany. Northeastern University, Boston, United States

Cody Dunne - Northeastern University, Boston, United States

Screen-reader Accessible PDF

Room: Bayshore I

2024-10-16T18:45:00ZGMT-0600Change your timezone on the schedule page
2024-10-16T18:45:00Z
Exemplar figure, described by caption below
In this work, we characterize nine techniques to improve the performance of an integer linear programming (ILP) formulation and empirically test their improvement. We call these switches since they can be toggled and combined. Here, the behavior of the one of the switches, symmetry breaking, is illustrated. This technique removes redundancy in the model by fixing one of the decision variables. We find that use of the switch almost invariably improves the speed of the optimization solver.
Fast forward
Full Video
Keywords

Integer linear programming, layered graph drawing, layered network visualization, crossing minimization, edge crossings

Abstract

A layered graph is an important category of graph in which every node is assigned to a layer, and layers are drawn as parallel or radial lines. They are commonly used to display temporal data or hierarchical graphs. Previous research has demonstrated that minimizing edge crossings is the most important criterion to consider when looking to improve the readability of such graphs. While heuristic approaches exist for crossing minimization, we are interested in optimal approaches to the problem that prioritize human readability over computational scalability. We aim to improve the usefulness and applicability of such optimal methods by understanding and improving their scalability to larger graphs. This paper categorizes and evaluates the state-of-the-art linear programming formulations for exact crossing minimization and describes nine new and existing techniques that could plausibly accelerate the optimization algorithm. Through a computational evaluation, we explore each technique's effect on calculation time and how the techniques assist or inhibit one another, allowing researchers and practitioners to adapt them to the characteristics of their graphs. Our best-performing techniques yielded a median improvement of 2.5–17x depending on the solver used, giving us the capability to create optimal layouts faster and for larger graphs. We provide an open-source implementation of our methodology in Python, where users can pick which combination of techniques to enable according to their use case. A free copy of this paper and all supplemental materials, datasets used, and source code are available at https://osf.io/5vq79.