Abstract
We present an improved parallel algorithm for constructing a depth-first search tree in a connected undirected planar graph. The algorithm runs in O(log2 n) time with n/log n processors for an n-vertex graph. It hinges on the use of a new optimal algorithm for computing a cycle separator of an embedded planar graph in O(log n) time with n/log n processors. The best previous algorithms for computing depth-first search trees and cycle separators achieved the same time complexities, but with n processors. Our algorithms run on a parallel random access machine that permits concurrent reads and concurrent writes in its shared memory and allows an arbitrary processor to succeed in case of a write conflict.
Supported in part by NSF Grant CCR-9101385.
Preview
Unable to display preview. Download preview PDF.
References
K. Abrahamson, N. Dadoun, D. G. Kirkpatrick, and T. Przytycka, A simple tree contraction algorithm, Journal of Algorithms, 10 (1989), pp. 287–302.
A. Aggarwal and R. J. Anderson, A random NC algorithm for depth first search, Combinatorica, 8 (1988), pp. 1–12.
A. Aggarwal, R. J. Anderson, and M. Y. Kao, Parallel depth-first search in general directed graphs, SIAM J. Comput., 19 (1990), pp. 397–409.
A. V. Aho, J. E. Hopcropt, and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974.
R. J. Anderson and G. L. Miller, Deterministic parallel list ranking, Algorithmica, 6 (1991), pp. 859–868.
M. Atallah and U. Vishkin, Finding euler tours in parallel, Journal of Computer and System Sciences, 29 (1984), pp. 330–337.
C. Berge, Graphs, North-Holland, New York, second revised ed., 1985.
B. Bollobás, Graph Theory, Springer-Verlag, New York, 1979.
R. Cole and U. Vishkin, The accelerated centroid decomposition technique for optimal tree evaluation in logarithmic time, Algorithmica, 3 (1988), pp. 329–346.
R. Cole and U. Vishkin, Faster optimal prefix sums and list ranking, Information and Computation, 81 (1989), pp. 334–352.
T. H. Cormen, C. L. Leiserson, and R. L. Rivest, Introduction to Algorithms, The MIT Press, Cambridge, Massachusetts, 1991.
J. Edmonds, A combinatorial representation for polyhedral surfaces, American Mathematical Society Notices, 7 (1960), p. 646.
H. Gazit, G. L. Miller, and S. H. Teng, Optimal tree contraction in the EREW model, in Concurrent Computations: Algorithms, Architecture, and Technology, S. T. Dickinson and B.W. Dickinson and S. Schwartz, eds., Plenum, New York, 1988, pp. 139–156.
A. M. Gibbons and W. Rytter, An optimal parallel algorithm for dynamic expression evaluation and its applications, Information and Computation, 81 (1989), pp. 32–45.
T. Hagerup, Optimal parallel algorithms on planar graphs, Information and Computation, 84 (1990), pp. 71–96.
T. Hagerup, Planar depth-first search in O(log n) parallel time, SIAM J. Comput., 19 (1990), pp. 678–704.
Y. Han, An optimal linked list prefix algorithm on a local memory computer, IEEE Transactions on Computers, 40 (1991), pp. 1149–1153.
F. Harary, Graph Theory, Addison-Wesley, 1969.
X. He, Efficient parallel algorithms for series parallel graphs, Journal of Algorithms, 12 (1991), pp. 409–430.
X. He and Y. Yesha, A nearly optimal parallel algorithm for constructing depth first spanning trees in planar graphs, SIAM J. Comput., 17 (1988), pp. 486–491.
J. Ja'Ja and S. Kosaraju, Parallel algorithms for planar graphs and related problems, IEEE Trans. Circuits and Systems, 35 (1988), pp. 304–311.
M. Y. Kao, All graphs have cycle separators and planar directed depth-first search is in DNC, in Lecture Notes in Computer Science 319: the 3rd Aegean Workshop on Computing, Springer-Verlag, 1988, pp. 53–63.
-, Planar strong connectivity helps in parallel depth-first search, in Proceedings of the 1992 International Computer Symposium, 1992, pp. 309–316.
M. Y. Kao and P. N. Klein, Towards overcoming ike transitive-closure bottleneck: Efficient parallel algorithms for planar digraphs, in Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, 1990, pp. 181–192.
R. Karp and V. Ramachandran, A survey of parallel algorithms for shared-memory machines, in Handbook of Theoretical Computer Science: Algorithms and Complexity, J. van Leeuwen, ed., vol. A, Elsevier Science Publishers B. V., 1990, pp. 869–941.
P. N. Klein, Efficient parallel algorithms for chordal graphs, in Proceedings of the 29th Annual IEEE Symposium on Foundations of Computer Science, 1988, pp. 150–161.
S. R. Kosaraju and A. L. Delcher, Optimal parallel evaluation of tree-structured computations by raking, in Lecture Notes in Computer Science 319: the 3rd Aegean Workshop on Computing, Springer-Verlag, 1988, pp. 101–110.
C. P. Kruskal, L. Rudolph, and M. Snir, The power of parallel prefix, IEEE Transactions on Computers, C-34 (1985), pp. 965–968.
R. E. Ladner and M. J. Fischer, Parallel prefix computation, Journal of the ACM, 27 (1980), pp. 831–838.
G. L. Miller, Finding small simple cycle separators for 2-connected planar graphs, Journal of Computer and System Sciences, 32 (1986), pp. 265–279.
G. L. Miller and J. H. Reif, Parallel tree contraction, part 1: Fundamentals, in Advances in Computing Research: Randomness and Computation, S. Micali, ed., vol. 5, JAI Press, Greenwich, CT, 1989, pp. 47–72.
V. Ramachandran and J. H. Reif, An optimal parallel algorithm for graph planarity, in Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, 1989, pp. 282–287.
J. H. Reif, Depth-first search is inherently sequential, Information Processing Letters, 20 (1985), pp. 229–234.
J. R. Smith, Parallel algorithms for depth-first search I. Planar graphs, SIAM J. Comput., 15 (1986), pp. 814–830.
R. Tarjan, Depth-first search and linear graph algorithms, SIAM J. Coinput., 1 (1972), pp. 146–160.
W. Tutte, Graph Theory, vol. 21 of Encyclopedia of Mathematics and its Applications, Addison-Wesley, 1984.
A. T. White, Graphs, Groups, and Surfaces, North-Holland, 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kao, MY., Teng, SH., Toyama, K. (1993). Improved parallel depth-first search in undirected planar graphs. In: Dehne, F., Sack, JR., Santoro, N., Whitesides, S. (eds) Algorithms and Data Structures. WADS 1993. Lecture Notes in Computer Science, vol 709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57155-8_266
Download citation
DOI: https://doi.org/10.1007/3-540-57155-8_266
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57155-1
Online ISBN: 978-3-540-47918-5
eBook Packages: Springer Book Archive