Results 1 
4 of
4
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.
An algorithm for embedding graphs in the torus
"... An efficient algorithm for embedding graphs in the torus is presented. Given a graph G, the algorithm either returns an embedding of G in the torus or a subgraph of G which is a subdivision of a minimal nontoroidal graph. The algorithm based on [13] avoids the most complicated step of [13] by applyi ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
An efficient algorithm for embedding graphs in the torus is presented. Given a graph G, the algorithm either returns an embedding of G in the torus or a subgraph of G which is a subdivision of a minimal nontoroidal graph. The algorithm based on [13] avoids the most complicated step of [13] by applying a recent result of Fiedler, Huneke, Richter, and Robertson [5] about the genus of graphs in the projective plane, and simplifies other steps on the expense of losing linear time complexity. 1
GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction ⋆
"... Abstract. GUItar is a graphical environment for graph visualization, editing, and interaction, that specially focuses in finite automata diagrams. The application incorporates mechanisms to facilitate the editing of these graphs. It also provides a style manager that allows the creation of rich stat ..."
Abstract
 Add to MetaCart
Abstract. GUItar is a graphical environment for graph visualization, editing, and interaction, that specially focuses in finite automata diagrams. The application incorporates mechanisms to facilitate the editing of these graphs. It also provides a style manager that allows the creation of rich state and arc styles to be used in the drawing of its objects. This style manager allows the system to cope with complex styles, broaden the application scope to graphical representations of other computational models like transducers or Turing machines. GUItar also has a foreign function call (FFC) mechanism for the easy integration of external modules and libraries like automata symbolic manipulators or graph drawing libraries. For automatic graph drawing we are developing FAgoo, a package that seeks to provide tools capable of finding pleasant graph drawings. FAgoo implements graph drawing algorithms that find embeddings which the user, with minimal manual changes, can adjust to its aesthetically taste. Both GUItar and FAgoo are on going projects licensed under GPL. 1
Cluster Planarity Testing for the Case of Not Necessarily Connected Clusters
"... The central topic of this thesis are criteria and tests which reveal whether a given clustered graph allows an embedding in the plane for which no edges and clusters intersect. Together with their definition in 1996, a notion of planarity was presented for clustered graphs, as well as an algorithm w ..."
Abstract
 Add to MetaCart
The central topic of this thesis are criteria and tests which reveal whether a given clustered graph allows an embedding in the plane for which no edges and clusters intersect. Together with their definition in 1996, a notion of planarity was presented for clustered graphs, as well as an algorithm which tests this planarity for a given clustered graph in linear time. The algorithm however expects each cluster to be connected. For general clustered graphs, no efficient algorithm is yet known, neither is the computational complexity of the problem. This work presents algorithms which extend the class of clustered graphs for which planarity can be tested in polynomial time. A second part considers a weak form of planarity, and shows that a polynomial time test for this form also yields a polynomial time test for the classical definition. Furthermore, an attempt is made, by means of a characterization of the weak realizability problem in terms of forbidden subgraphs, to gain a similar characterization of the weak form of cluster planarity.