An optimal parallel algorithm for planar cycle separators

We present an optimal parallel algorithm for computing a cycle separator of ann-vertex embedded planar undirected graph inO(logn) time onn/logn processors. As a consequence, we also obtain an improved parallel algorithm for constructing a depth-first search tree rooted at any given vertex in a connected planar undirected graph in O(log2n) time on n/logn processors. The best previous algorithms for computing depth-first search trees and cycle separators achieved the same time complexities, but withn 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.

[1]  Ming-Yang Kao,et al.  Towards Overcoming the Transitive-Closure Bottleneck: Efficient Parallel Algorithms for Planar Digraphs , 1993, J. Comput. Syst. Sci..

[2]  Wojciech Rytter,et al.  Optimal Parallel Algorithm for Dynamic Expression Evaluation and Context-Free Recognition , 1989, Inf. Comput..

[3]  Philip N. Klein,et al.  Efficient parallel algorithms for chordal graphs , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[4]  Gary L. Miller,et al.  Deterministic parallel list ranking , 1988, Algorithmica.

[5]  Yijie Han,et al.  An Optimal Linked List Prefix Algorithm on a Local Memory Computer , 1991, IEEE Trans. Computers.

[6]  Bela Bollobas,et al.  Graph theory , 1979 .

[7]  Gary L. Miller,et al.  Parallel Tree Contraction, Part 2: Further Applications , 1991, SIAM J. Comput..

[8]  Vijaya Ramachandran,et al.  An optimal parallel algorithm for graph planarity , 1989, 30th Annual Symposium on Foundations of Computer Science.

[9]  W. T. Tutte Graph Theory , 1984 .

[10]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[11]  Richard Cole,et al.  The accelerated centroid decomposition technique for optimal parallel tree evaluation in logarithmic time , 2005, Algorithmica.

[12]  Gregory E. Shannon A Linear-Processor Algorithm for Depth-First Search in Planar Graphs , 1988, Inf. Process. Lett..

[13]  Mikhail J. Atallah,et al.  Finding Euler Tours in Parallel , 2011, J. Comput. Syst. Sci..

[14]  Ming-Yang Kao,et al.  Planar Strong Connectivity Helps in Parallel Depth-First Search , 1995, SIAM J. Comput..

[15]  Wojciech Rytter,et al.  An Optimal Parallel Algorithm for Dynamic Expression Evaluation and Its Applications , 1986, FSTTCS.

[16]  A. Aggarwal,et al.  Parallel depth-first search in general directed graphs , 1989, STOC '89.

[17]  Torben Hagerup,et al.  Planar Depth-First Search in O(log n) Parallel Time , 1990, SIAM J. Comput..

[18]  Larry Rudolph,et al.  The power of parallel prefix , 1985, IEEE Transactions on Computers.

[19]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[20]  J. Reif,et al.  Parallel Tree Contraction Part 1: Fundamentals , 1989, Adv. Comput. Res..

[21]  Gary L. Miller,et al.  Finding Small Simple Cycle Separators for 2-Connected Planar Graphs , 1986, J. Comput. Syst. Sci..

[22]  Richard M. Karp,et al.  Parallel Algorithms for Shared-Memory Machines , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[23]  David G. Kirkpatrick,et al.  A Simple Parallel Tree Contraction Algorithm , 1989, J. Algorithms.

[24]  Torben Hagerup,et al.  Optimal Parallel Algorithms on Planar Graphs , 1988, Inf. Comput..

[25]  Richard Cole,et al.  Faster Optimal Parallel Prefix Sums and List Ranking , 2011, Inf. Comput..

[26]  Arthur L. Delcher,et al.  Optimal Parallel Evaluation of Tree-Structured Computations by Raking , 1988, AWOC.

[27]  A. White Graphs, Groups and Surfaces , 1973 .

[28]  Alok Aggarwal,et al.  A random NC algorithm for depth first search , 1987, Comb..

[29]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[30]  Jon Freeman,et al.  Parallel Algorithms for Depth-First Search , 1991 .

[31]  Xin He,et al.  Efficient Parallel Algorithms for Series Parallel Graphs , 1991, J. Algorithms.

[32]  Joseph JaJa,et al.  Parallel algorithms for planar graph isomorphism and related problems , 1988 .

[33]  Richard J. Anderson,et al.  A random 1-011-011-01algorithm for depth first search , 1988 .

[34]  Justin R. Smith Parallel Algorithms for Depth-First Searches I. Planar Graphs , 1986, SIAM J. Comput..

[35]  Ming-Yang Kao,et al.  All Graphs have Cycle Separators and Planar Directed Depth-First Search is in DNC , 1988, AWOC.

[36]  John H. Reif,et al.  Depth-First Search is Inherently Sequential , 1985, Inf. Process. Lett..

[37]  Xin He,et al.  A Nearly Optimal Parallel Algorithm for Constructing Depth First Spanning Trees in Planar Graphs , 1988, SIAM J. Comput..

[38]  Frank Harary,et al.  Graph Theory , 2016 .

[39]  S. Teng,et al.  Optimal Tree Contraction in the EREW Model , 1988 .