
doi: 10.1137/0214051
We investigate the complexity of searching a sorted table of n elements on a synchronous, shared memory parallel computer with p processors. We show that \(\Omega\) (lg n-lg p) steps are required if concurrent accesses to the same memory cell are not allowed, whereas O(lg n/lg p) steps are sufficient if simultaneous reads are allowed. The lower bound is valid even if only communication steps are counted, and the computational power of each processor is not restricted. In this model, \(\Theta\) (\(\sqrt{lg n})\) steps are required for searching when the number of processors is unbounded. If the amount of information that a memory cell may store is restricted, then the time complexity for searching with an unbounded number of processors is \(\Theta\) (lg n/lg lg n). If the amount of information a processor may hold is also restricted, then an \(\Omega\) (lg n) lower bound holds. These lower bounds are first proven for comparison- based algorithms; it is next shown that comparison-based algorithms are as powerful as more general ones in solving problems defined in terms of the relative order of the inputs.
parallel computations, Analysis of algorithms and problem complexity, parallel algorithms, complexity of searching a sorted table, comparison-based algorithms, Searching and sorting
parallel computations, Analysis of algorithms and problem complexity, parallel algorithms, complexity of searching a sorted table, comparison-based algorithms, Searching and sorting
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 75 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 1% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
