Results 1  10
of
31
LEDA: A Platform for Combinatorial and Geometric Computing
, 1999
"... We give an overview of the LEDA platform for combinatorial and geometric computing and an account of its development. We discuss our motivation for building LEDA and to what extent we have reached our goals. We also discuss some recent theoretical developments. This paper contains no new technical ..."
Abstract

Cited by 643 (46 self)
 Add to MetaCart
We give an overview of the LEDA platform for combinatorial and geometric computing and an account of its development. We discuss our motivation for building LEDA and to what extent we have reached our goals. We also discuss some recent theoretical developments. This paper contains no new technical material. It is intended as a guide to existing publications about the system. We refer the reader also to our webpages for more information.
Graph Visualization and Navigation in Information Visualization: a Survey
 IEEE Transactions on Visualization and Computer Graphics
, 2000
"... This is a survey on graph visualization and navigation techniques, as used in information visualization. Graphs appear in numerous applications such as web browsing, statetransition diagrams, and data structures. The ability to visualize and to navigate in these potentially large, abstract graphs ..."
Abstract

Cited by 322 (3 self)
 Add to MetaCart
This is a survey on graph visualization and navigation techniques, as used in information visualization. Graphs appear in numerous applications such as web browsing, statetransition diagrams, and data structures. The ability to visualize and to navigate in these potentially large, abstract graphs is often a crucial part of an application. Information visualization has specific requirements, which means that this survey approaches the results of traditional graph drawing from a different perspective. Index TermsInformation visualization, graph visualization, graph drawing, navigation, focus+context, fisheye, clustering. 1
Efficient Algorithms for Petersen's Matching Theorem
, 1999
"... Petersen's theorem is a classic result in matching theory from 1891, stating that every 3regular bridgeless graph has a perfect matching. Our work explores efficient algorithms for finding perfect matchings in such graphs. Previously, the only relevant matching algorithms were for general graphs, ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
Petersen's theorem is a classic result in matching theory from 1891, stating that every 3regular bridgeless graph has a perfect matching. Our work explores efficient algorithms for finding perfect matchings in such graphs. Previously, the only relevant matching algorithms were for general graphs, and the fastest algorithm ran in O(n^3/2) time for 3regular graphs. We have developed an O(n log^4 n)time algorithm for perfect matching in a 3regular bridgeless graph. When the graph is also planar, we have as the main result of our paper an optimal O(n)time algorithm. We present three applications of this result: terrain guarding, adaptive mesh refinement, and quadrangulation.
A New Planarity Test
, 1999
"... Given an undirected graph, the planarity testing problem is to determine whether the graph can be drawn in the plane without any crossing edges. Linear time planarity testing algorithms have previously been designed by Hopcroft and Tarjan, and by Booth and Lueker. However, their approaches are quite ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
Given an undirected graph, the planarity testing problem is to determine whether the graph can be drawn in the plane without any crossing edges. Linear time planarity testing algorithms have previously been designed by Hopcroft and Tarjan, and by Booth and Lueker. However, their approaches are quite involved. Several other approaches have also been developed for simplifying the planariy test. In this paper, we developed a very simple linear time testing algorithm based only on a depthfirst search tree. When the given graph is not planar, our algorithm immediately produces explicit Kuratowski's subgraphs. A new data structure, PCtrees, is introduced, which can be viewed as abstract subembeddings of actual planar embeddings. A graphreduction technique is adopted so that the embeddings for the planar biconnected components constructed at each iteration never have to be changed. The recognition and embedding are actually done simultaneously in our algorithm 1 . The implementation of o...
Inserting an Edge Into a Planar Graph
 Algorithmica
, 2000
"... Computing a crossing minimum drawing of a given planar graph G augmented by an additional edge e in which all crossings involve e, has been a long standing open problem in graph drawing. Alternatively, the problem can be stated as finding a planar combinatorial embedding of a planar graph G in which ..."
Abstract

Cited by 18 (9 self)
 Add to MetaCart
Computing a crossing minimum drawing of a given planar graph G augmented by an additional edge e in which all crossings involve e, has been a long standing open problem in graph drawing. Alternatively, the problem can be stated as finding a planar combinatorial embedding of a planar graph G in which the given edge e can be inserted with the minimum number of crossings. Many problems concerned with the optimization over the set of all combinatorial embeddings of a planar graph turned out to be NPhard. Surprisingly, we found a conceptually simple linear time algorithm based on SPQRtrees, which is able to find a crossing minimum solution.
An Algorithm for StraightLine Drawing of Planar Graphs
, 1995
"... Abstract. We present a new algorithm for drawing planar graphs on the plane. It can be viewed as a generalization of the algorithm of Chrobak and Payne, which, in turn, is based on an algorithm by de Fraysseix, Pach, and Pollack. Our algorithm improves the previous ones in that it does not require a ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
Abstract. We present a new algorithm for drawing planar graphs on the plane. It can be viewed as a generalization of the algorithm of Chrobak and Payne, which, in turn, is based on an algorithm by de Fraysseix, Pach, and Pollack. Our algorithm improves the previous ones in that it does not require a preliminary triangulation step; triangulation proves problematic in drawing graphs “nicely, ” as it has the tendency to ruin the structure of the input graph. The new algorithm retains the positive features of the previous algorithms: it embeds a biconnected graph of n vertices on a grid of size (2n − 4) × (n − 2) in linear time. We have implemented the algorithm as part of a software system for drawing graphs nicely. Key Words.
Some Algorithmic Problems in Polytope Theory
 IN ALGEBRA, GEOMETRY, AND SOFTWARE SYSTEMS
, 2003
"... Convex polytopes, i.e.. the intersections of finitely many closed affine halfspaces in R^d, are important objects in various areas of mathematics and other disciplines. In particular, the compact... ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
Convex polytopes, i.e.. the intersections of finitely many closed affine halfspaces in R^d, are important objects in various areas of mathematics and other disciplines. In particular, the compact...
From Algorithms to Working Programs On the Use of Program Checking in LEDA
 IN PROC. INT. CONF. ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 98
, 1998
"... We report on the use of program checking in the LEDA library of efficient data types and algorithms. ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
We report on the use of program checking in the LEDA library of efficient data types and algorithms.
Planarity testing and optimal edge insertion with embedding constraints
, 2008
"... The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the socalled planarized graph, can be combined with stateoftheart planar drawing algorithms. However, many practical applications have additional constraints on the drawings tha ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the socalled planarized graph, can be combined with stateoftheart planar drawing algorithms. However, many practical applications have additional constraints on the drawings that result in restrictions on the set of admissible planar embeddings. In this paper, we consider embedding constraints that restrict the admissible order of incident edges around a vertex. Such constraints occur in applications, e.g., from side or port constraints. We introduce a set of hierarchical embedding constraints that include grouping, oriented, and mirror constraints, and show how these constraints can be integrated into the planarization method. For this, we first present a linear time algorithm for testing if a given graph G is ecplanar, i.e., admits a planar embedding satisfying the given embedding constraints. In the case that G is ecplanar, we provide a linear time algorithm for computing the corresponding ecembedding. Otherwise, an ecplanar subgraph is computed. The critical part is to reinsert the deleted edges subject to the embedding constraints so that the number of crossings is kept small. For this, we present a linear time algorithm which is able to insert an edge into an ecplanar graph H so that the insertion is crossing minimal among all ecplanar embeddings of H. As a side result, we characterize the set of all possible ecplanar embeddings using BC and SPQRtrees.