28,360 research outputs found
Advancements on SEFE and Partitioned Book Embedding Problems
In this work we investigate the complexity of some problems related to the
{\em Simultaneous Embedding with Fixed Edges} (SEFE) of planar graphs and
the PARTITIONED -PAGE BOOK EMBEDDING (PBE-) problems, which are known to
be equivalent under certain conditions.
While the computational complexity of SEFE for is still a central open
question in Graph Drawing, the problem is NP-complete for [Gassner
{\em et al.}, WG '06], even if the intersection graph is the same for each pair
of graphs ({\em sunflower intersection}) [Schaefer, JGAA (2013)].
We improve on these results by proving that SEFE with and
sunflower intersection is NP-complete even when the intersection graph is a
tree and all the input graphs are biconnected. Also, we prove NP-completeness
for of problem PBE- and of problem PARTITIONED T-COHERENT
-PAGE BOOK EMBEDDING (PTBE-) - that is the generalization of PBE- in
which the ordering of the vertices on the spine is constrained by a tree -
even when two input graphs are biconnected. Further, we provide a linear-time
algorithm for PTBE- when pages are assigned a connected graph.
Finally, we prove that the problem of maximizing the number of edges that are
drawn the same in a SEFE of two graphs is NP-complete in several restricted
settings ({\em optimization version of SEFE}, Open Problem , Chapter of
the Handbook of Graph Drawing and Visualization).Comment: 29 pages, 10 figures, extended version of 'On Some NP-complete SEFE
Problems' (Eighth International Workshop on Algorithms and Computation, 2014
An Interactive Tool to Explore and Improve the Ply Number of Drawings
Given a straight-line drawing of a graph , for every vertex
the ply disk is defined as a disk centered at where the radius of
the disk is half the length of the longest edge incident to . The ply number
of a given drawing is defined as the maximum number of overlapping disks at
some point in . Here we present a tool to explore and evaluate
the ply number for graphs with instant visual feedback for the user. We
evaluate our methods in comparison to an existing ply computation by De Luca et
al. [WALCOM'17]. We are able to reduce the computation time from seconds to
milliseconds for given drawings and thereby contribute to further research on
the ply topic by providing an efficient tool to examine graphs extensively by
user interaction as well as some automatic features to reduce the ply number.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
GraphCombEx: A Software Tool for Exploration of Combinatorial Optimisation Properties of Large Graphs
We present a prototype of a software tool for exploration of multiple
combinatorial optimisation problems in large real-world and synthetic complex
networks. Our tool, called GraphCombEx (an acronym of Graph Combinatorial
Explorer), provides a unified framework for scalable computation and
presentation of high-quality suboptimal solutions and bounds for a number of
widely studied combinatorial optimisation problems. Efficient representation
and applicability to large-scale graphs and complex networks are particularly
considered in its design. The problems currently supported include maximum
clique, graph colouring, maximum independent set, minimum vertex clique
covering, minimum dominating set, as well as the longest simple cycle problem.
Suboptimal solutions and intervals for optimal objective values are estimated
using scalable heuristics. The tool is designed with extensibility in mind,
with the view of further problems and both new fast and high-performance
heuristics to be added in the future. GraphCombEx has already been successfully
used as a support tool in a number of recent research studies using
combinatorial optimisation to analyse complex networks, indicating its promise
as a research software tool
Drawing Big Graphs using Spectral Sparsification
Spectral sparsification is a general technique developed by Spielman et al.
to reduce the number of edges in a graph while retaining its structural
properties. We investigate the use of spectral sparsification to produce good
visual representations of big graphs. We evaluate spectral sparsification
approaches on real-world and synthetic graphs. We show that spectral
sparsifiers are more effective than random edge sampling. Our results lead to
guidelines for using spectral sparsification in big graph visualization.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Visualizing Co-Phylogenetic Reconciliations
We introduce a hybrid metaphor for the visualization of the reconciliations
of co-phylogenetic trees, that are mappings among the nodes of two trees. The
typical application is the visualization of the co-evolution of hosts and
parasites in biology. Our strategy combines a space-filling and a node-link
approach. Differently from traditional methods, it guarantees an unambiguous
and `downward' representation whenever the reconciliation is time-consistent
(i.e., meaningful). We address the problem of the minimization of the number of
crossings in the representation, by giving a characterization of planar
instances and by establishing the complexity of the problem. Finally, we
propose heuristics for computing representations with few crossings.Comment: This paper appears in the Proceedings of the 25th International
Symposium on Graph Drawing and Network Visualization (GD 2017
Planar Drawings of Fixed-Mobile Bigraphs
A fixed-mobile bigraph G is a bipartite graph such that the vertices of one
partition set are given with fixed positions in the plane and the mobile
vertices of the other part, together with the edges, must be added to the
drawing. We assume that G is planar and study the problem of finding, for a
given k >= 0, a planar poly-line drawing of G with at most k bends per edge. In
the most general case, we show NP-hardness. For k=0 and under additional
constraints on the positions of the fixed or mobile vertices, we either prove
that the problem is polynomial-time solvable or prove that it belongs to NP.
Finally, we present a polynomial-time testing algorithm for a certain type of
"layered" 1-bend drawings
- …