Abstract
The solution of the algebraic path problem (APP) for arbitrarily sized graphs by a fixed-size systolic array processor (SAP) is addressed. First, a block algorithm for the APP is obtained. The algorithm is modified to require only two block subproblems or primitives. Two similar SAPS are designed for solving the primitives. Then, the primitive SAPS are integrated into a versatile SAP (VSAP). The proposed VSAP hasp ×p processing elements (PEs), solving the APP of ann-vertex graph inn 3/p 2 +n 2/p + 3p − 2 cycles. With slight modifications in the operations performed by the PEs, the problem is optimally solved inn 3/p 2 + 3p − 2 cycles.
Similar content being viewed by others
References
G. Rote. A systolic array algorithm for the algebraic path problem, (Shortest paths; matrix inversion). Computing, 34, 1985.
Y. Robert, D. Trystam. Systolic solution of the algebraic path problem. InSystolic Arrays, W. Moore, A. McCabe, R. Urquhart, eds., Adam-Hilger, 1987.
P.S. Lewis, S.Y. Kung. Dependence graph based design of systolic arrays for the algebraic path problem.Proc. Ann. Asilomar Conf on Signals Systems and Computing, Nov. 1986.
L.J. Guibas, H.T. Kung, C.D. Thompson. Direct VLSI implementation of combinatorial algorithms.Proc. 1979 Caltech Conf. on VLSI, Jan. 1979.
S.Y. Kung, S.C. Lo. A spiral systolic architecture/algorithm for transitive closure problems.Proc. 1985 Int. Conf. on Computer Design.
S.Y. Kung, P.S. Lewis, S.C. Lo. On optimally mapping algorithms to systolic arrays with application to the transitive closure problem.Proc. 1986 IEEE Int. Symp. on Circuits and Systems.
S.Y. Kung, S.C. Lo, P.S. Lewis. Optimal systolic design for the transitive closure and the shortest path problems.IEEE Trans. on Computers, May 1987.
H.D. Cheng, K.S. Fu. Algorithm partition for a fixed-size VLSI architecture using space-time domain expansion.Proc. 7th IEEE Int. Symp. on Computer Arithmetic, 1985.
F.J. Núñez, N. Torralba. Transitive closure partitioning and its mapping to a systolic array.Proc. 1987 Int. Conf. on Parallel Processing.
D.J. Lehmann. Algebraic structures for the transitive closure.Theoretical Computer Science, 4, 1977.
U. Zimmermann. Linear and combinatorial optimization in ordered algebraic structures.Ann. on Discrete Mathematics, 10, 1981.
B. Roy. Transitivité et connexité.C. R. Acad. Sci. Paris Ser. A–B 249, 1959.
S. Warshall. A theorem on boolean matrices.JACM, 1962.
R.W. Floyd. Algorithm 97: shortest path,Comm. ACM, vol. 5, no. 6, 1962.
M. Gondran, M. Minoux, S. Vajda.Graphs and Algorithms. Wiley, New York, 1984.
K. Hwang, Y.H. Cheng. Partitioned matrix algorithms for VLSI arithmetic systems.IEEE Trans. Computers, Dec. 1982.
J.J. Navarro, J.M. Llabería, M. Valero. Partitioning: An essential step in mapping algorithms onto systolic array processors.IEEE Computer Magazine, July 1987.
J.J. Navarro, J.M. Llabería, M. Valero. Solving matrix problems with no size-restriction using a one-dimensional systolic array processor.Proc. 1986 Int. Conf on Parallel Processing.
D.I. Moldovan, J.A.B. Fortes. Partitioning and mapping of algorithms into fixed-size systolic artays.IEEE Trans. Computers, Jan. 1986.
Y. Robert, D. Trystam. An orthogonal systolic array for the algebraic path problem.Computing, 39, 1987.
P. Common, Y. Robert. A systolic array for computing BA−1.IEEE Trans. Acoustics, Speech, and Signal Processing, June 1987.
F.J. Núñez, M. Valero. A block algorithm for the algebraic path problem and its execution on a systolic array.Proc. 1988 Int. Conf. on Systolic Arrays.
Author information
Authors and Affiliations
Additional information
This work has been supported by the Ministry of Education and Science of Spain (CAICYT) under contract PA85-0314.
Rights and permissions
About this article
Cite this article
Núñez, F.J., Valero, M. A block algorithm and optimal fixed-size systolic array processor for the algebraic path problem. J VLSI Sign Process Syst Sign Image Video Technol 1, 153–162 (1989). https://doi.org/10.1007/BF02477180
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02477180