Computing Storyline Visualizations with Few Block Crossings

09/04/2017
by   Thomas C. van Dijk, et al.
0

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.

READ FULL TEXT

page 19

page 20

page 21

research
02/28/2023

Crossing Minimization in Time Interval Storylines

Storyline visualizations are a popular way of visualizing characters and...
research
01/28/2020

On the complexity of the middle curve problem

For a set of curves, Ahn et al. introduced the notion of a middle curve ...
research
07/07/2020

Learning Branching Heuristics for Propositional Model Counting

Propositional model counting or #SAT is the problem of computing the num...
research
01/09/2020

RAC Drawings in Subcubic Area

In this paper, we study tradeoffs between curve complexity and area of R...
research
07/04/2021

Sublinear-Space Approximation Algorithms for Max r-SAT

In the Max r-SAT problem, the input is a CNF formula with n variables wh...
research
05/08/2023

Block Crossings in One-Sided Tanglegrams

Tanglegrams are drawings of two rooted binary phylogenetic trees and a m...

Please sign up or login with your details

Forgot password? Click here to reset