Accession Number : ADA114875

Title :   The Expected Time Complexity of Parallel Graph and Digraph Algorithms.

Descriptive Note : Technical rept.,

Corporate Author : HARVARD UNIV CAMBRIDGE MA AIKEN COMPUTATION LAB

Personal Author(s) : Reif,John H ; Spirakis,Paul

PDF Url : ADA114875

Report Date : Apr 1982

Pagination or Media Count : 31

Abstract : This paper determines upper bounds on the expected time complexity for a variety of known parallel algorithms for graph problems. For connectivity of both undirected and directed graphs, transitive closure and all pairs minimum cost paths, we prove the expected time is O(loglog n) for a parallel RAM model (RP-RAM) which allows random resolution of write conflicts, and expected time O(log n loglog n) for the P-RAM of (Wyllie, 79), which allows no write conflicts. We show that the expected parallel time for biconnected components and minimum spanning trees is O(loglog n)(2) for the RP-RAM and O(log n. (loglog n) (2)) for the P-RAM. Also we show that the problem of random graph isomorphism has expected parallel time O(loglog n) and O(log n) for the above parallel models, respectively. Our results also improve known upper bounds on the expected space required tor sequential graph algorithms. For example, we show that the problems of finding strong components, transitive closure and minimum cost paths have expected sequential space O(log-loglog n) with n (O)(1) time on a Turing Machine given random graphs as inputs.

Descriptors :   *Graphs, Algorithms, Problem solving, Parallel processing, Sequences, Trees

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE