Nothing Special   »   [go: up one dir, main page]

skip to main content
article

Upward drawings of triconnected digraphs

Published: 01 December 1994 Publication History

Abstract

A polynomial-time algorithm for testing if a triconnected directed graph has an upward drkwing is presented. An upward drkwing is a planar drkwing such that all the edges flow in a common direction (e.g., from bottom to top). The problem arises in the fields of automatic graph drkwing and ordered sets, and has been open for several years. The proposed algorithm is based on a new combinatorial characterization that maps the problem into a max-flow problem on a sparse network; the time complexity isO(n+r2), wheren is the number of vertices andr is the number of sources and sinks of the directed graph. If the directed graph has an upward drkwing, the algorithm allows us to construct one easily.

References

[1]
C. Berge, Graphs, North-Holland, Amsterdam, 1985.
[2]
K. Booth and G. Lueker, Testing for the Consecutive Ones Property, Interval Graphs, and Graph Planarity Using PQ-Tree Algorithms, J. Comput. System Sci., vol. 13, pp. 335-397, 1976.
[3]
N. Chiba, T. Nishizeki, S. Abe, and T. Ozawa, A Linear Algorithm for Embedding Planar Graphs Using PQ-Trees, J. Comput. System Sci., vol. 30, pp. 54-76, 1985.
[4]
H. de Fraysseix and P. Rosenstiehl, A Depth First Characterization of Planarity, Ann. Discrete Math., vol. 13, pp. 75-80, 1982.
[5]
G. Di Battista, W. P. Liu, and I. Rival, Bipartite Graphs, Upward Drawings, and Planarity, Inform. Process. Lett., vol. 36, pp. 317-322, 1990.
[6]
G. Di Banista and R. Tamassia, Algorithms for Plane Representations of Acyclic Digraphs, Theoret. Comput. Sci., vol. 61, pp. 175-198, 1988.
[7]
G. Di Battista and R. Tamassia, Incremental Planarity Testing, Proe. 30th IEEE Symposium on Foundations of Computer Science, pp. 436-441, 1989.
[8]
G. Di Battista, R. Tamassia, and I. G. Tollis, Area Requirement and Symmetry Display of Planar Upward Drawings, Discrete Comput. Geom., vol. 7, pp. 381-401, 1992.
[9]
P. Eades and R. Tamassia, Algorithms for Drawing Graphs: An Annotated Bibliography, Tech. Report No. CS-89-09, Brown University, 1989.
[10]
P. Eades and L. Xuemin, How To Draw a Directed Graph, Proc. IEEE Workshop on Visual Languages, pp. 13-17, 1989.
[11]
S. Even, Graph Algorithms, Computer Science Press, Rockville, MD, 1979.
[12]
J. Hopcroft and R. E. Tarjan, Efficient Planarity Testing, J. Assoc. Comput. Mach., vol. 21, no. 4, pp. 549-568, 1974.
[13]
M.D. Hutton and A. Lubiw, Upward Planar Drawing of Single Source Acyclic Digraphs, Proc. 2nd ACM-SIAM Symposium on Discrete Algorithms, pp. 203-211, 1991.
[14]
R. Jégan, R. Nowakowski, and I. Rival, The Diagram Invariant Problem for Planar Lattices, Acta Sci. Math. (Szeged), vol. 51, pp. 103-121, 1987.
[15]
D. Kelly, Fundamentals of Planar Ordered Sets, Discrete Math., vol. 63, pp. 197-216, 1987.
[16]
D. Kelly and I. Rival, Planar Lattices, Canad. J. Math., vol. 27, pp. 636-665, 1975.
[17]
A. Lempel, A. Even, and I. Cederbaum, An Algorithm for Planarity Testing of Graphs, Theory of Graphs (International Symposium, Rome, 1966) (P. Rosenstiehl, ed.), Gordon and Breach, New York, pp. 215-232, 1967.
[18]
L. Lovasz and M. D. Plummer, Matching Theory, Annals of Discrete Mathematics, vol. 29, North-Holland, Amsterdam, p. 71, 1986.
[19]
S.M. Malitz and A. Papakostas, On the Angular Resolution of Planar Graphs, Proc. ACM Symposium on Theory of Computing, 1992.
[20]
T. Nishizeki and N. Chiba, Planar Graphs: Theory and Algorithms, Annals of Discrete Mathematics, North-Holland, Amsterdam, 1988.
[21]
C. Platt, Planar Lattices and Planar Graphs, J. Combin. Theory Ser. B, vol. 21, pp. 30-39, 1976.
[22]
I. Rival, The Diagram, in Graphs and Orders (I. Rival, ed.), Reidel, Dordrecht, pp. 103-133, 1985.
[23]
I. Rival, Graphical Data Structures for Ordered Sets, in Algorithms and Orders (I. Rival, ed.), Kluwer, Boston, pp. 3-31, 1989.
[24]
I. Rival and J. Urrutia, Representing Orders on the Plane by Translating Convex Figures, Order, vol. 4, pp. 319-339, 1988.
[25]
K. Sugiyama, S. Tagawa, and M. Toda, Methods for Visual Understanding of Hierarchical Systems, IEEE Trans. Systems Man Cybernet., vol. 11, pp. 109-125, 1981.
[26]
R. Tamassia, On Embedding a Graph in the Grid with the Minimum Number of Bends, SIAM J. Comput., vol. 16, pp. 421-444, 1987.
[27]
R. Tamassia, G. Di Battista, and C. Batini, Automatic Graph Drawing and Readability of Diagrams, IEEE Trans. Systems Man Cybernet., vol. 18, pp. 61-79, 1988.
[28]
R. Tamassia and I. G. Tollis, A Unified Approach to Visibility Representations of Planar Graphs, Discrete Comput. Geometry, vol. 1, pp. 321-341, 1986.
[29]
C. Thomassen, Planar Acyclic Oriented Graphs, Order, vol. 5, pp. 349-361, 1989.
[30]
W. Trotter and J. Moore, Jr., The Dimension of Planar Posets, J. Combin. Theory Set. B, vol. 22, pp. 54-67, 1977.
[31]
G. Vijayan, Geometry of Planar Graphs with Angles, Proc. 2nd ACM Symposium on Computational Geometry, pp. 116-124, 1986.
[32]
H. Whitney, Congruent Graphs and the Connectivity of Graphs, Amer. J. Math., vol. 54, pp. 150-168, 1932.

Cited By

View all
  • (2023)Upward and Orthogonal Planarity are W[1]-Hard Parameterized by TreewidthGraph Drawing and Network Visualization10.1007/978-3-031-49275-4_14(203-217)Online publication date: 20-Sep-2023
  • (2023)Parameterized Approaches to Orthogonal CompactionSOFSEM 2023: Theory and Practice of Computer Science10.1007/978-3-031-23101-8_8(111-125)Online publication date: 15-Jan-2023
  • (2022)Testing Upward Planarity of Partial 2-TreesGraph Drawing and Network Visualization10.1007/978-3-031-22203-0_13(175-187)Online publication date: 13-Sep-2022
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Algorithmica
Algorithmica  Volume 12, Issue 6
December 1994
132 pages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 December 1994

Author Tags

  1. Acyclic digraphs
  2. Automatic graph drkwing
  3. Hierarchical structures
  4. Max-flow
  5. Ordered sets
  6. Planarity
  7. st-Digraphs

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 22 Nov 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media