Storyline visualizations show the structure of a story, by depicting the interactions of the characters over time. Each character is represented by an x-monotone curve from left to right, and a meeting is represented by having the curves of the participating characters run close together for some time. There have been various approaches to drawing storyline visualizations in an automated way. In order to keep the visual complexity low, rather than minimizing pairwise crossings of curves, we count block crossings, that is, pairs of intersecting bundles of lines.
Partly inspired by the ILP-based approach of Gronemann et al. [GD 2016] for minimizing the number of pairwise crossings, we model the problem as a satisfiability problem (since the straightforward ILP formulation becomes more complicated and harder to solve). Having restricted ourselves to a decision problem, we can apply powerful SAT solvers to find optimal drawings in reasonable time. We compare this SAT-based approach with two exact algorithms for block crossing minimization, using both the benchmark instances of Gronemann et al. and random instances. We show that the SAT approach is suitable for real-world instances and identify cases where the other algorithms are preferable.
[1]
M. V. Wilkes,et al.
The Art of Computer Programming, Volume 3, Sorting and Searching
,
1974
.
[2]
Max Wertheimer,et al.
Untersuchungen zur Lehre von der Gestalt
,
.
[3]
Paulo F. Flores,et al.
PMSat: a parallel version of MiniSAT
,
2008,
J. Satisf. Boolean Model. Comput..
[4]
Alexander Wolff,et al.
Block Crossings in Storyline Visualizations
,
2016,
Graph Drawing.
[5]
Jeffrey Heer,et al.
Tracing genealogical data with TimeNets
,
2010,
AVI.
[6]
Kwan-Liu Ma,et al.
Design Considerations for Optimizing Storyline Visualizations
,
2012,
IEEE Transactions on Visualization and Computer Graphics.
[7]
Alan Mishchenko,et al.
Applying Logic Synthesis for Speeding Up SAT
,
2007,
SAT.
[8]
Michael A. Bekos,et al.
The Book Embedding Problem from a SAT-Solving Perspective
,
2015,
Graph Drawing.
[9]
Martin Nöllenburg,et al.
On Minimizing Crossings in Storyline Visualizations
,
2015,
Graph Drawing.
[10]
Michael Jünger,et al.
Crossing Minimization in Storyline Visualization
,
2016,
GD.
[11]
M. Wertheimer.
Untersuchungen zur Lehre von der Gestalt. II
,
1923
.
[12]
Peter Sanders,et al.
HordeSat: A Massively Parallel Portfolio SAT Solver
,
2015,
SAT.