Hierarchical planarity testing algorithms
- 1 July 1989
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 36 (3) , 474-509
- https://doi.org/10.1145/65950.65952
Abstract
Using hierarchical definitions, one can describe very large graphs in small space. The blow-up from the length of the hierarchical description to the size of the graph can be as large as exponential. If the efficiency of graph algorithms is measured in terms of the length of the hierarchical description rather than in terms of the graph size, algorithms that do not exploit the hierarchy become hopelessly inefficient. Whether the hierarchy can be exploited to speed up the solution of graph problems depends on the hierarchical graph model. In the literature, hierarchical graph models have been described that allow almost no exploitation of the hierarchy [ 16]. In this paper, a hierarchical graph model that permits taking advantage of the hierarchy is presented. For this model algorithms are given that test planarity of a hierarchically described graph in linear time in the length of the hierarchical description.Keywords
This publication has 12 references indexed in Scilit:
- Efficient Solution of Connectivity Problems on Hierarchically Defined GraphsSIAM Journal on Computing, 1988
- Efficient analysis of graph properties on context-free graph languagesPublished by Springer Nature ,1988
- Efficient algorithms for finding minimum spanning forests of hierarchically defined graphsJournal of Algorithms, 1987
- Efficient solutions of hierarchical systems of linear equationsComputing, 1987
- Exploiting hierarchy in VLSI designPublished by Springer Nature ,1986
- A linear algorithm for embedding planar graphs using PQ-treesJournal of Computer and System Sciences, 1985
- The complexity of problems concerning graphs with regularitiesPublished by Springer Nature ,1984
- Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithmsJournal of Computer and System Sciences, 1976
- Efficient Planarity TestingJournal of the ACM, 1974
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972