𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Efficient Parallel Algorithms for Solving Set Recurrence Equations

✍ Scribed by O.H. Ibarra; H. Wang; T. Jiang


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
545 KB
Volume
14
Category
Article
ISSN
0196-6774

No coin nor oath required. For personal study only.

✦ Synopsis


We present two EREW PRAM algorithms and one CREW PRAM algorithm for solving set recurrence equations of the type commonly used in dynamic programming solutions to many problems in pattern matching, sequence comparison, and language recognition. All three algorithms run in (O\left(\log ^{2} n\right)) time. The first EREW PRAM algorithm uses (O\left(M(n / \log n) \log ^{2} n\right)) processors, where (M(n)) is the number of processors needed to multiply two (n \times n) Boolean matrices in (O(\log n)) time on an EREW PRAM. The second EREW PRAM algorithm uses (O\left(M^{\prime}(n /(\log n \sqrt{\log \log n})) \log ^{2} n\right)) processors, where (M^{\prime}(n)) is the number of processors needed to multiply two (n \times n) matrices over an arbitrary ring in (O(\log n)) time on an EREW PRAM. The CREW PRAM algorithm uses

[
O\left(M^{\prime \prime}\left(n / \log ^{1.5} n\right) \log ^{2} n\right)
]

processors, where (M^{\prime \prime}(n)) is the number of processors needed to multiply two (n \times n) matrices over an arbitrary ring in (O(\log n)) time on a CREW PRAM. As an application, we show that linear context-free languages can be recognized in (O\left(\log ^{2} n\right)) time using (O(M(n))) processors on an EREW PRAM. This result answers an open question in Atallah et al. (in "Proceedings, ACM Symp. on Parallel Alg. and Arch. 1989," pp. 421-431). "1993 Academic Press. Inc.


πŸ“œ SIMILAR VOLUMES


Specialized Parallel Algorithms for Solv
✍ Enrique S. Quintana-Ortı́; Robert van de Geijn πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 215 KB

Lyapunov and Stein matrix equations arise in many important analysis and synthesis applications in control theory. The traditional approach to solving these equations relies on the QR algorithm which is notoriously difficult to parallelize. We investigate iterative solvers based on the matrix sign f

Fast Parallel Algorithms for Solving Tri
✍ O.H. Ibarra; M.H. Kim πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 864 KB

This paper presents efficient hypercube algorithms for solving triangular systems of linear equations by using various matrix partitioning and mapping schemes. Recently, several parallel algorithms have been developed for this problem. In these algorithms, the triangular solver is treated as the sec

Efficient Sequential and Parallel Algori
✍ D. Pearson; V.V. Vazirani πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 344 KB

A maximal bipartite set (MBS) in an undirected graph \(G=(V, E)\) is a maximal collection of vertices \(B \subseteq V\) whose induced subgraph is bipartite. In this paper we present efficient sequential (linear time) and parallel (NC) algorithms for constructing an MBS. 1.1993 Acatemic Press, Inc