Speeding up random access machines by few processors
Sequential and parallel random access machines (RAMs, PRAMs) with arithmetic operations + and − are considered. PRAMs may also multiply with constants. These machines work on integer inputs. It is shown that, in contrast to bit orientated models as Turing machines or log-cost RAMs, one can in many cases speed up RAMs by PRAMs with few processors. More specifically, a RAM without indirect addressing can be uniformly sped up by a PRAM with q processors by a factor (loglogq)2/logq. A similar result holds for nonuniform speed ups of RAMs with indirect addressing. Furthermore, certain networks of RAMs (such as k-dimensional grids) with q processors can be sped up significantly with only q1+τ processors. Nonuniformly, the above speed up can even be achieved for arbitrary bounded degree networks (including powerful networks such as permutation networks or Cube-Connected Cycles), if only few input variables are allowed. It is previously shown by the author, that the speed ups for RAMs are almost best possible.
Unable to display preview. Download preview PDF.
- [A]L. Adleman, Two theorems on random polynomial time, 19th IEEE-FOCS, 1978, 75–83.Google Scholar
- [AKS]M. Ajtai, J. Komlos, E. Szemeredi, An O(nlogn) sorting network, 15th ACM-STOC, 1983, 1–9.Google Scholar
- [B]K. Batcher, Sorting networks and their applications, AFIPS spring joint computing conference 32, 1968, 307–314.Google Scholar
- [BG]C. H. Bennett, J. Gill, Relative to a random oracle, P A≠NP A≠co-NP A with probability 1, SIAM J. on Comp. 10, 1981, 96–113.Google Scholar
- [DL]D. Dobkin, R. Lipton, Multidimensional search problems, SIAM J. on Comp. 5, 1976, 181–186.Google Scholar
- [FMRW]F. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, One, two, three ... infinity: lower bounds for parallel computation, 17th ACM-STOC, 1985, 48–58.Google Scholar
- [M1]F. Meyer auf der Heide, A polynomial linear search algorithm for the n-dimensional knapsack problem, J. ACM 31(3), 1984, 668–676.Google Scholar
- [M2]—,Fast algorithms for n-dimensional restrictions of hard problems, 17th ACM-STOC, 1985, 412–420.Google Scholar
- [M3]—, Simulating probabilistic by deterministic algebraic computation trees, to appear in TCS.Google Scholar
- [M4]—, Lower bounds for solving linear Diophantine equations on several parallel computational models, to appear in Information and Control.Google Scholar
- [M5]—, Efficient simulations among several models of parallel computers, to appear in SIAM J. on Comp.Google Scholar
- [PR]W. Paul, R. Reischuk, On alternation II, Acta Informatica 14, 1980, 391–403.Google Scholar