-
Hoop Diagrams: A Set Visualization Method
Authors:
Peter Rodgers,
Peter Chapman,
Andrew Blake,
Martin Nöllenburg,
Markus Wallinger,
Alexander Dobler
Abstract:
We introduce Hoop Diagrams, a new visualization technique for set data. Hoop Diagrams are a circular visualization with hoops representing sets and sectors representing set intersections. We present an interactive tool for drawing Hoop Diagrams and describe a user study comparing them with Linear Diagrams. The results show only small differences, with users answering questions more quickly with Li…
▽ More
We introduce Hoop Diagrams, a new visualization technique for set data. Hoop Diagrams are a circular visualization with hoops representing sets and sectors representing set intersections. We present an interactive tool for drawing Hoop Diagrams and describe a user study comparing them with Linear Diagrams. The results show only small differences, with users answering questions more quickly with Linear Diagrams, but answering some questions more accurately with Hoop Diagrams. Interaction data indicates that those using set order and intersection highlighting were more successful at answering questions, but those who used other interactions had a slower response. The similarity in usability suggests that the diagram type should be chosen based on the presentation method. Linear Diagrams increase in the horizontal direction with the number of intersections, leading to difficulties fitting on a screen. Hoop Diagrams al-ways have a square aspect ratio.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Graph drawing applications in combinatorial theory of maturity models
Authors:
Špela Kajzer,
Alexander Dobler,
Janja Jerebic,
Martin Nöllenburg,
Joachim Orthaber,
Drago Bokal
Abstract:
In this paper, we introduce tiled graphs as models of learning and maturing processes. We show how tiled graphs can combine graphs of learning spaces or antimatroids (partial hypercubes) and maturity models (total orders) to yield models of learning processes. For the visualization of these processes it is a natural approach to aim for certain optimal drawings. We show for most of the more detaile…
▽ More
In this paper, we introduce tiled graphs as models of learning and maturing processes. We show how tiled graphs can combine graphs of learning spaces or antimatroids (partial hypercubes) and maturity models (total orders) to yield models of learning processes. For the visualization of these processes it is a natural approach to aim for certain optimal drawings. We show for most of the more detailed models that the drawing problems resulting from them are NP-complete. The terse model of a maturing process that ignores the details of learning, however, results in a polynomially solvable graph drawing problem. In addition, this model provides insight into the process by ordering the subjects at each test of their maturity. We investigate extremal and random instances of this problem, and provide exact results and bounds on their optimal crossing number.
Graph-theoretic models offer two approaches to the design of optimal maturity models given observed data: (1) minimizing intra-subject inconsistencies, which manifest as regressions of subjects, is modeled as the well-known feedback arc set problem. We study the alternative of (2) finding a maturity model by minimizing the inter-subject inconsistencies, which manifest as crossings in the respective drawing. We show this to be NP-complete.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Minimizing Corners in Colored Rectilinear Grids
Authors:
Thomas Depian,
Alexander Dobler,
Christoph Kern,
Jules Wulms
Abstract:
Given a rectilinear grid $G$, in which cells are either assigned a single color, out of $k$ possible colors, or remain white, can we color white grid cells of $G$ to minimize the total number of corners of the resulting colored rectilinear polygons in $G$? We show how this problem relates to hypergraph visualization, prove that it is NP-hard even for $k=2$, and present an exact dynamic programming…
▽ More
Given a rectilinear grid $G$, in which cells are either assigned a single color, out of $k$ possible colors, or remain white, can we color white grid cells of $G$ to minimize the total number of corners of the resulting colored rectilinear polygons in $G$? We show how this problem relates to hypergraph visualization, prove that it is NP-hard even for $k=2$, and present an exact dynamic programming algorithm. Together with a set of simple kernelization rules, this leads to an FPT-algorithm in the number of colored cells of the input. We additionally provide an XP-algorithm in the solution size, and a polynomial $\mathcal{O}(OPT)$-approximation algorithm.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
The Complexity of Cluster Vertex Splitting and Company
Authors:
Alexander Firbas,
Alexander Dobler,
Fabian Holzer,
Jakob Schafellner,
Manuel Sorge,
Anaïs Villedieu,
Monika Wißmann
Abstract:
Clustering a graph when the clusters can overlap can be seen from three different angles: We may look for cliques that cover the edges of the graph with bounded overlap, we may look to add or delete few edges to uncover the cluster structure, or we may split vertices to separate the clusters from each other. Splitting a vertex $v$ means to remove it and to add two new copies of $v$ and to make eac…
▽ More
Clustering a graph when the clusters can overlap can be seen from three different angles: We may look for cliques that cover the edges of the graph with bounded overlap, we may look to add or delete few edges to uncover the cluster structure, or we may split vertices to separate the clusters from each other. Splitting a vertex $v$ means to remove it and to add two new copies of $v$ and to make each previous neighbor of $v$ adjacent with at least one of the copies. In this work, we study underlying computational problems regarding the three angles to overlap** clusterings, in particular when the overlap is small. We show that the above-mentioned covering problem is NP-complete. We then make structural observations that show that the covering viewpoint and the vertex-splitting viewpoint are equivalent, yielding NP-hardness for the vertex-splitting problem. On the positive side, we show that splitting at most $k$ vertices to obtain a cluster graph has a problem kernel with $O(k)$ vertices. Finally, we observe that combining our hardness results with the so-called critical-clique lemma yields NP-hardness for Cluster Editing with Vertex Splitting, which was previously open (Abu-Khzam et al. [ISCO 2018]) and independently shown to be NP-hard by Arrighi et al. [IPEC 2023]. We observe that a previous version of the critical-clique lemma was flawed; a corrected version has appeared in the meantime on which our hardness result is based.
△ Less
Submitted 3 April, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
A Note on the Complexity of One-Sided Crossing Minimization of Trees
Authors:
Alexander Dobler
Abstract:
In 2011, Harrigan and Healy published a polynomial-time algorithm for one-sided crossing minimization for trees. We point out a counterexample to that algorithm, and show that one-sided crossing minimization is NP-hard for trees.
In 2011, Harrigan and Healy published a polynomial-time algorithm for one-sided crossing minimization for trees. We point out a counterexample to that algorithm, and show that one-sided crossing minimization is NP-hard for trees.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Block Crossings in One-Sided Tanglegrams
Authors:
Alexander Dobler,
Martin Nöllenburg
Abstract:
Tanglegrams are drawings of two rooted binary phylogenetic trees and a matching between their leaf sets. The trees are drawn crossing-free on opposite sides with their leaf sets facing each other on two vertical lines. Instead of minimizing the number of pairwise edge crossings, we consider the problem of minimizing the number of block crossings, that is, two bundles of lines crossing each other l…
▽ More
Tanglegrams are drawings of two rooted binary phylogenetic trees and a matching between their leaf sets. The trees are drawn crossing-free on opposite sides with their leaf sets facing each other on two vertical lines. Instead of minimizing the number of pairwise edge crossings, we consider the problem of minimizing the number of block crossings, that is, two bundles of lines crossing each other locally. With one tree fixed, the leaves of the second tree can be permuted according to its tree structure. We give a complete picture of the algorithmic complexity of minimizing block crossings in one-sided tanglegrams by showing NP-completeness, constant-factor approximations, and a fixed-parameter algorithm. We also state first results for non-binary trees.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Crossing Minimization in Time Interval Storylines
Authors:
Alexander Dobler,
Martin Nöllenburg,
Daniel Stojanovic,
Anaïs Villedieu,
Jules Wulms
Abstract:
Storyline visualizations are a popular way of visualizing characters and their interactions over time: Characters are drawn as x-monotone curves and interactions are visualized through close proximity of the corresponding character curves in a vertical strip. Existing methods to generate storylines assume a total ordering of the interactions, although real-world data often do not contain such a to…
▽ More
Storyline visualizations are a popular way of visualizing characters and their interactions over time: Characters are drawn as x-monotone curves and interactions are visualized through close proximity of the corresponding character curves in a vertical strip. Existing methods to generate storylines assume a total ordering of the interactions, although real-world data often do not contain such a total order. Instead, multiple interactions are often grouped into coarser time intervals such as years. We exploit this grou** property by introducing a new model called storylines with time intervals and present two methods to minimize the number of crossings and horizontal space usage. We then evaluate these algorithms on a small benchmark set to show their effectiveness.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
LinSets.zip: Compressing Linear Set Diagrams
Authors:
Markus Wallinger,
Alexander Dobler,
Martin Nöllenburg
Abstract:
Linear diagrams are used to visualize set systems by depicting set memberships as horizontal line segments in a matrix, where each set is represented as a row and each element as a column. Each such line segment of a set is shown in a contiguous horizontal range of cells of the matrix indicating that the corresponding elements in the columns belong to the set. As each set occupies its own row in t…
▽ More
Linear diagrams are used to visualize set systems by depicting set memberships as horizontal line segments in a matrix, where each set is represented as a row and each element as a column. Each such line segment of a set is shown in a contiguous horizontal range of cells of the matrix indicating that the corresponding elements in the columns belong to the set. As each set occupies its own row in the matrix, the total height of the resulting visualization is as large as the number of sets in the instance. Such a linear diagram can be visually sparse and intersecting sets containing the same element might be represented by distant rows. To alleviate such undesirable effects, we present LinSets.zip, a new approach that achieves a more space-efficient representation of linear diagrams. First, we minimize the total number of gaps in the horizontal segments by reordering columns, a criterion that has been shown to increase readability in linear diagrams. The main difference of LinSets.zip to linear diagrams is that multiple non-intersecting sets can be positioned in the same row of the matrix. Furthermore, we present several different rendering variations for a matrix-based representation that utilize the proposed row compression. We implemented the different steps of our approach in a visualization pipeline using integer-linear programming, and suitable heuristics aiming at sufficiently fast computations in practice. We conducted both a quantitative evaluation and a small-scale user experiment to compare the effects of compressing linear diagrams.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Opportunities for Technosignature Science in the Planetary Science and Astrobiology Decadal Survey
Authors:
Jacob Haqq-Misra,
Reza Ashtari,
James Benford,
Jonathan Carroll-Nellenback,
Niklas A. Döbler,
Wael Farah,
Thomas J. Fauchez,
Vishal Gajjar,
David Grinspoon,
Advait Huggahalli,
Ravi K. Kopparapu,
Joseph Lazio,
George Profitiliotis,
Evan L. Sneed,
Savin Shynu Varghese,
Clément Vidal
Abstract:
Solar system exploration provides numerous possibilities for advancing technosignature science. The search for life in the solar system includes missions designed to search for evidence of biosignatures on other planetary bodies, but many missions could also attempt to search for and constrain the presence of technology within the solar system. Technosignatures and biosignatures represent compleme…
▽ More
Solar system exploration provides numerous possibilities for advancing technosignature science. The search for life in the solar system includes missions designed to search for evidence of biosignatures on other planetary bodies, but many missions could also attempt to search for and constrain the presence of technology within the solar system. Technosignatures and biosignatures represent complementary approaches toward searching for evidence of life in our solar neighborhood, and beyond. This report summarizes the potential technosignature opportunities within ongoing solar system exploration and the recommendations of the "Origins, Worlds, and Life" Planetary Science and Astrobiology Decadal Survey. We discuss opportunities for constraining the prevalence of technosignatures within the solar system using current or future missions at negligible additional cost, and we present a preliminary assessment of gaps that may exist in the search for technosignatures within the solar system.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
On Computing Optimal Linear Diagrams
Authors:
Alexander Dobler,
Martin Nöllenburg
Abstract:
Linear diagrams are an effective way to visualize set-based data by representing elements as columns and sets as rows with one or more horizontal line segments, whose vertical overlaps with other rows indicate set intersections and their contained elements. The efficacy of linear diagrams heavily depends on having few line segments. The underlying minimization problem has already been explored heu…
▽ More
Linear diagrams are an effective way to visualize set-based data by representing elements as columns and sets as rows with one or more horizontal line segments, whose vertical overlaps with other rows indicate set intersections and their contained elements. The efficacy of linear diagrams heavily depends on having few line segments. The underlying minimization problem has already been explored heuristically, but its computational complexity has yet to be classified. In this paper, we show that minimizing line segments in linear diagrams is equivalent to a well-studied NP-hard problem, and extend the NP-hardness to a restricted setting. We develop new algorithms for computing linear diagrams with minimum number of line segments that build on a traveling salesperson (TSP) formulation and allow constraints on the element orders, namely, forcing two sets to be drawn as single line segments, giving weights to sets, and allowing hierarchical constraints via PQ-trees. We conduct an experimental evaluation and compare previous algorithms for minimizing line segments with our TSP formulation, showing that a state-of-the art TSP-solver can solve all considered instances optimally, most of them within few milliseconds.
△ Less
Submitted 17 August, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Turbocharging Heuristics for Weak Coloring Numbers
Authors:
Alexander Dobler,
Manuel Sorge,
Anaïs Villedieu
Abstract:
Bounded expansion and nowhere-dense classes of graphs capture the theoretical tractability for several important algorithmic problems. These classes of graphs can be characterized by the so-called weak coloring numbers of graphs, which generalize the well-known graph invariant degeneracy (also called k-core number). Being NP-hard, weak-coloring numbers were previously computed on real-world graphs…
▽ More
Bounded expansion and nowhere-dense classes of graphs capture the theoretical tractability for several important algorithmic problems. These classes of graphs can be characterized by the so-called weak coloring numbers of graphs, which generalize the well-known graph invariant degeneracy (also called k-core number). Being NP-hard, weak-coloring numbers were previously computed on real-world graphs mainly via incremental heuristics. We study whether it is feasible to augment such heuristics with exponential-time subprocedures that kick in when a desired upper bound on the weak coloring number is breached. We provide hardness and tractability results on the corresponding computational subproblems. We implemented several of the resulting algorithms and show them to be competitive with previous approaches on a previously studied set of benchmark instances containing 86 graphs with up to 183831 edges. We obtain improved weak coloring numbers for over half of the instances.
△ Less
Submitted 26 September, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
High-resolution monthly precipitation climatologies over Norway: assessment of spatial interpolation methods
Authors:
Alice Crespi,
Cristian Lussana,
Michele Brunetti,
Andreas Dobler,
Maurizio Maugeri,
Ole Einar Tveito
Abstract:
Monthly precipitation climatologies at 1 km resolution have been produced over the Norwegian mainland for 1981-2010. The observed station normals are interpolated over a regular grid by applying a multi-linear local regression kriging (MLRK). The statistical method aims at modeling the influence of the main geographical features, such as: latitude, longitude, elevation and sea nearness on the prec…
▽ More
Monthly precipitation climatologies at 1 km resolution have been produced over the Norwegian mainland for 1981-2010. The observed station normals are interpolated over a regular grid by applying a multi-linear local regression kriging (MLRK). The statistical method aims at modeling the influence of the main geographical features, such as: latitude, longitude, elevation and sea nearness on the precipitation field at a local scale. The MLRK is composed of two steps, (i) a background precipitation field is computed through a multi-linear local regression based on the geographical information, then (ii) a kriging interpolation is applied to adjust the field so to better fit the station residuals (i.e., the difference between the observed normals and the background field). The interpolation accuracy is evaluated by reconstructing the station normals with a leave-one-out approach and by comparing the model performances with those of other interpolation methods. The poor observation coverage over remote and mountainous regions in Norway has motivated us to consider precipitation fields produced by numerical models. In fact, numerical model output provides a reference field for the evaluation of MLRK that is not dependent on the station density, though it is not as accurate as the observations. Specifically, a regional climate simulation with a resolution of 2.5 km, based on the dynamical downscaling of the global reanalysis ERAInterim and available for the time period 2003-2016, has been used. In addition to the MLRK validation, the combination of numerical model fields and observed climatologies has been investigated and the results show that this integrated approach provides more accurate high-resolution climatologies over the Country. The numerical background introduces valuable information over remote and mountainous regions, whereas in-situ data correct for model biases.
△ Less
Submitted 13 April, 2018;
originally announced April 2018.