Skip to main content

A simple implementation of Warshall's algorithm on a vlsi chip

  • Algorithmic And Network Considerations
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 246))

Abstract

The key step in the Warshall's well known algorithm for transitive closure of a graph [1] involves a recurrence equation of the following type:

$$f_k \left( {i,{\text{ }}j} \right) = f_{k - 1} \left( {i,{\text{ }}j} \right) + f_{k - 1} \left( {i,{\text{ }}k} \right).f_{k - 1} \left( {k,{\text{ }}j} \right),{\text{ }}1 \leqslant i,{\text{ }}j,{\text{ }}k \leqq n$$
((1))

where fø(i,j) ist the (i,j)th element of the adjacency matrix of the given graph and fn(i,j) the final required result.

Van Scoy [2] proposed a scheme to implement Warshall's algorithm in O(n) time using n2 processors arranged in the form of a square with ‘Wraparound’ connections. But the algorithm and its proof of correctness are quite complicated with several subcases (The analysis of the content of ‘position’ register alone extends to 29 cases). Moreover, it is difficult to conceive of a design to solve a generalised recurrence equation of the type

$$f_k \left( {i,{\text{ }}j} \right) = g\left( {f_{k - 1} \left( {i,{\text{ }}j} \right),{\text{ }}f_{k - 1} \left( {i,{\text{ }}k} \right),{\text{ }}f_{k - 1} \left( {k,{\text{ }}j} \right)} \right)$$

which occurs quite frequently as a key step in many graph theoretic algorithms [3].

In this paper we shall describe a new scheme with full details of the implementation, which is quite simple and suitable for VLSI chip fabrication. We shall also outline how the algorithm can be implemented even without wraparound connections. In both the cases the time taken to solve the problem is O(n).

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Warshall, ‘A Theorem on Boolean Matrices", J. ACM, Vol. 9, 1962, 11–12.

    Google Scholar 

  2. Van Scoy, ‘Parallel recognition of classes of Graphs', IEEE Trans. on Computers, Vol. C-29, 1980, 563–570.

    Google Scholar 

  3. Atallah and Kosaraju, ‘Graph Problems on a Mesh-connected Processor Array', J. ACM, Vol. 31, 1984, 649–667.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Gottfried Tinhofer Gunther Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dewangan, R., Rangan, C.P. (1987). A simple implementation of Warshall's algorithm on a vlsi chip. In: Tinhofer, G., Schmidt, G. (eds) Graph-Theoretic Concepts in Computer Science. WG 1986. Lecture Notes in Computer Science, vol 246. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17218-1_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-17218-1_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17218-5

  • Online ISBN: 978-3-540-47415-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics