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
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
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
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