Results 1  10
of
36
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 641 (43 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
"... ..."
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 gra ..."
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 18 (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 11 (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 8 (2 self)
 Add to MetaCart
We report on the use of program checking in the LEDA library of efficient data types and algorithms.
Algorithm and Experiments in Testing Planar Graphs for Isomorphism
, 2004
"... We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQRtrees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determi ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQRtrees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determine the conditions in which the implemented algorithm outperforms other graph matchers, which do not impose topological restrictions on graphs. We report experiments with our planar graph matcher tested against McKay’s, Ullmann’s, and SUBDUE’s (a graphbased data mining system) graph matchers.