Abstract
Efficient parallel algorithms are presented, on the CREW PRAM model, for generating a succinct encoding of all pairs shortest path information in a directed planar graphG with real-valued edge costs but no negative cycles. We assume that a planar embedding ofG is given, together with a set ofq faces that cover all the vertices. Then our algorithm runs inO(log2 n) time and employsO(nq+M(q)) processors (whereM(t) is the number of processors required to multiply twot×t matrices inO(logt) time). Let us note here that wheneverq<n then our processor bound is better than the best previous one (M(n)).O(log2 n) time,n-processor algorithms are presented for various subproblems, including that of generating all pairs shortest path information in a directedouterplanar graph. Our work is based on the fundamental hammock-decomposition technique of G. Frederickson. We achieve this decomposition inO(logn log*n) parallel time by usingO(n) processors. The hammock-decomposition seems to be a fundamental operation that may help in improving efficiency of many parallel (and sequential) graph algorithms.
Similar content being viewed by others
References
K. Abrahamson, N. Dadoun, D. Kirkpatrick and T. Przytycka,A simple parallel tree contraction algorithm, J. of Algorithms, 10 (1989), pp. 287–302.
D. Beinstock and C. Monma,On the complexity of covering faces by vertices in a planar graph, SIAM J. Comp., Vol. 17, No. 1, Feb. 1988, pp. 53–76.
B. Berger, J. Rompel and P. Shor,Efficient NC-algorithms for set cover with applications to learning and geometry, Proc. 30th IEEE Symp. on FOCS, 1989, pp. 54–59.
R. Cole and U. Vishkin,Appropriate parallel scheduling. Part I:The basic technique with applications to optimal parallel list ranking in logarithmic time, SIAM J. Comp., Vol. 17, No. 1, February 1989, pp. 128–142.
E. W. Dijkstra,A note on two problems in connection with graphs, Numerische Mathematik, 1 (1959), pp. 275–323.
E. Dekel, D. Nassimi and S. Sahni,Parallel matrix and graph algorithms, SIAM J. Comp., Vol. 10, No. 4, Nov. 1981, pp. 657–675.
H. Djidjev, G. Pantziou and C. Zaroliagis,Computing shortest paths and distances in planar graphs, in Proc. 18th ICALP, 1991, LNCS, Vol. 510, pp. 327–339.
R. Floyd,Algorithm 97: shortest path, Comm. ACM 5 (1962), pp. 345.
G. N. Frederickson and R. Janardan,Designing networks with compact routing tables, Algorithmica, 3 (1988), pp. 171–190.
G. N. Frederickson,A new approach to all pairs shortest paths in planar graphs, Proc. 19th ACM STOC, New York City, May 1987, pp. 19–28.
G. N. Frederickson,Planar graph decomposition and all pairs shortest paths, JACM, Vol. 38, No. 1, January 1991, pp. 162–204; also TR-89-015, ICSI, Berkely, March 1989.
M. Fredman,New bounds on the complexity of the shortest path problem, SIAM J. Comp., 5 (1976), pp. 83–89.
M. Fredman and R. Tarjan,Fibonacci heaps and their uses in improved network optimization algorithms, JACM, 34 (1987), pp. 596–615.
H. Gazit and G. Miller,A parallel algorithm for finding a separator in planar graphs in Proc. of the 28th IEEE Symp. FOCS, 1987, pp. 238–248.
A. Goldberg, S. Plotkin and G. Shannon,Parallel symmetry-breaking in sparse graphs, Proc. of the 19th ACM STOC, 1987, pp. 315–324.
T. Hagerup,Optimal parallel algorithms for planar graphs, Inform. and Computation, Vol. 84, 1990, pp. 71–96.
T. Hagerup, G. Pantziou and C. Zaroliagis,Efficient sequential and parallel algorithms for planar digraph problems, CTI Tech. Rep. TR-91.09.22, Sept. 1991. Submitted.
P. Klein and J. Reif,An efficient parallel algorithm for planarity, Proc. 27th Annual IEEE Symp. on FOCS, 1986, pp. 465–477.
R. Karp and V. Ramachandran,A survey of parallel algorithms for shared-memory machines, Rep. No. UCB/CSD 88/804, University of California, Berkely, 1989.
A. Lingas,Efficient parallel algorithms for path problems in planar directed graphs, Proc. SIGAL '90, Tokyo, LNCS, Springer Verlag.
G. Pantziou, P. Spirakis and C. Zaroliagis,Optimal parallel algorithms for sparse graphs, in Proc. of 16th Int'l Workshop on Graph-Theoretic Concepts in Computer Science (WG90), Berlin, 19–22 June, 1990, LNCS Vol. 484, pp. 1–17, Springer-Verlag.
G. Pantziou, P. Spirakis and C. Zaroliagis,Efficient parallel algorithms for shortest paths in planar graphs, Proc. of the 2nd Scand. Workshop on Algorithm Theory (SWAT90), Bergen, Norway, 11–14 July, 1990, LNCS, Vol. 447, pp. 288–300, Springer-Verlag.
G. Pantziou, P. Spirakis and C. Zaroliagis,Efficient parallel algorithms for shortest paths in planar digraphs, TR-91.07.21, Computer Technology Institute, Patras, July 1991.
J. van Leeuwen and R. Tan,Computer networks with compact routing tables, in The Book of L, G. Rozenberg and A. Salomaa (eds.), Springer-Verlag, NY (1986), pp. 259–273.
Author information
Authors and Affiliations
Additional information
This work was partially supported by the EEC ESPRIT Basic Research Action No. 3075 (ALCOM) and by the Ministry of Industry, Energy and Technology of Greece.
Rights and permissions
About this article
Cite this article
Pantziou, G.E., Spirakis, P.G. & Zaroliagis, C.D. Efficient parallel algorithms for shortest paths in planar digraphs. BIT 32, 215–236 (1992). https://doi.org/10.1007/BF01994878
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01994878