Transforming comparison model lower bounds to the parallel-random-access-machine

1997 ◽  
Vol 62 (2) ◽  
pp. 103-110 ◽  
Author(s):  
Dany Breslauer ◽  
Artur Czumaj ◽  
Devdatt P. Dubhashi ◽  
Friedhelm Meyer auf der Heide
1995 ◽  
Vol 2 (10) ◽  
Author(s):  
Dany Breslauer ◽  
Devdatt P. Dubhashi

This note provides general transformations of lower bounds in Valiant's<br />parallel comparison decision tree model to lower bounds in the priority<br />concurrent-read concurrent-write parallel-random-access-machine model.<br />The proofs rely on standard Ramsey-theoretic arguments that simplify<br />the structure of the computation by restricting the input domain. The<br />transformation of comparison model lower bounds, which are usually easier<br />to obtain, to the parallel-random-access-machine, unifies some known<br />lower bounds and gives new lower bounds for several problems.


1997 ◽  
Vol 07 (01) ◽  
pp. 3-11 ◽  
Author(s):  
Andrzej Lingas ◽  
Anil Maheshwari

We present optimal parallel solutions to reporting paths between pairs of nodes in an n-node tree. Our algorithms are deterministic and designed to run on an exclusive read exclusive write parallel random-access machine (EREW PRAM). In particular, we provide a simple optimal parallel algorithm for preprocessing the input tree such that the path queries can be answered efficiently. Our algorithm for preprocessing runs in O( log n) time using O(n/ log n) processors. Using the preprocessing, we can report paths between k node pairs in O( log n + log k) time using O(k + (n + S)/ log n) processors on an EREW PRAM, where S is the size of the output. In particular, we can report the path between a single pair of distinct nodes in O( log n) time using O(L/ log n) processors, where L denotes the length of the path.


1988 ◽  
Vol 53 (4) ◽  
pp. 1098-1109 ◽  
Author(s):  
Wolfgang Maass

AbstractWe prove optimal lower bounds on the computation time for several well-known test problems on a quite realistic computational model: the random access machine. These lower bound arguments may be of special interest for logicians because they rely on finitary analogues of two important concepts from mathematical logic: inaccessible numbers and order indiscernibles.


Author(s):  
M. NIVAT ◽  
A. SAOUDI

We investigate the complexity of the recognition of images generated by a class of context-free image grammars. We show that the sequential time complexity of the recognition of an n × n image as generated by a context-free grammar is O(nM(n)), where M(n) is the time to multiply two boolean n × n matrices. The space complexity of this recognition is O(n3). Using a parallel random access machine (i.e. PRAM), the recognition can be done in O( log 2(n)) time with n7 processors or in O(n log 2(n)) time with n6 processors. We also introduce high dimensional context-free grammars and prove that their recognition problem is polylogarithmic.


1994 ◽  
Vol 04 (01n02) ◽  
pp. 117-124
Author(s):  
JERRY L. TRAHAN ◽  
HOSANGADI BHANUKUMAR

The class of problems solved within given time and processor bounds on a Parallel Random Access Machine (PRAM) varies with the instruction set. Previous research has classified the contributions of various instructions, such as multiplication, shifts, and string manipulation operations, to the PRAM. This paper examines the significant contribution of Boolean operations, which play essential roles in many PRAM algorithms and in simulations by the PRAM of other models of computation.


Sign in / Sign up

Export Citation Format

Share Document