Chapter

Algorithms—ESA '93

Volume 726 of the series Lecture Notes in Computer Science pp 37-48

Date:

Optimal upward planarity testing of single-source digraphs

Extended abstract
  • Paola BertolazziAffiliated withIASI-CNR Viale Manzoni
  • , Giuseppe Di BattistaAffiliated withDip. di Informatica e Sistemistica, Università di Roma “La Sapienza”
  • , Carlo ManninoAffiliated withDip. di Statistica, Università di Roma “La Sapienza”
  • , Roberto TamassiaAffiliated withDept. of Computer Science, Brown University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

A directed graph is upward planar if it has a planar drawing such that all the edges are monotone with respect to the vertical direction. Testing upward planarity and constructing upward planar drawings is important for displaying hierarchical network structures, which frequently arise in software engineering, project management, and visual languages. In this paper we investigate upward planarity testing of single-source digraphs: we provide a new combinatorial characterization of upward planarity, and give an optimal algorithm for upward planarity testing. Our algorithm tests whether a single-source digraph with n vertices is upward planar in O(n) sequential time, and in O(log n) time on a CRCW PRAM with n log log n/log n processors, using O(n) space. The algorithm also constructs an upward planar drawing if the test is successful. The previous best result is an O(n 2)-time algorithm by Hutton and Lubiw. No efficient parallel algorithms for upward planarity testing were previously known.