The possibility of solving problems on a parallel computer in sublogarithmic time is discussed. Known lower-bound results are reviewed in order to show which properties are required of a parallel computer, and to point out to the bounds on the speed of sublogarithmic-time computation. The $\Omega$(log n/log log n) lower bound by Beame and Hastad for computing the parity function on the Abstract CRCW PRAM model is generalized by showing that the same bound holds even for computing the parity function with probability $1\over2$ + ${1}\over{\rm log {\it n}}$.
An integer summation algorithm is proposed that produces the prefix sums of n integers, each having O(log n) bits, in time O(log n/log log n) on a CRCW PRAM parallel computer. The algorithm has both an optimal running time and an optimal speedup (a different algorithm for the same problem has been proposed by Cole and Vishkin).
A deterministic CRCW PRAM algorithm for sorting is proposed, that sorts all except a negligible proportion of inputs in time O(log n/log log n) using n processors (the PRAM is assumed to have a vector instruction for comparisons). The algorithm is shown to have an optimal running time.
Recommendations
Planar Point Location in Sublogarithmic Time
FOCS '06: Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer ScienceWe consider the static planar point location problem in an arbitrary polygonal subdivision given by n segments. We assume points come from the [u]^2 grid, and consider algorithms for the RAM with words of O(lg u) bits. We give the first solution to the ...
Sublogarithmic approximation for telephone multicast
Consider a network of processors modeled by an n-vertex graph G=(V,E). Assume that the communication in the network is synchronous, i.e., occurs in discrete ''rounds,'' and in every round every processor is allowed to pick one of its neighbors, and to ...
Constant-Time Randomized Parallel String Matching
Given a pattern string of length m for the string-matching problem, we design an algorithm that computes deterministic samples of a sufficiently long substring of the pattern in constant time. This problem used to be the bottleneck in the pattern ...