This Article 
 Bibliographic References 
 Add to: 
Index Transformation Algorithms in a Linear Algebra Framework
December 1994 (vol. 5 no. 12)
pp. 1302-1309

We present a linear algebraic formulation for a class of index transformations such asGray code encoding and decoding, matrix transpose, bit reversal, vector reversal,shuffles, and other index or dimension permutations. This formulation unifies, simplifies,and can be used to derive algorithms for hypercube multiprocessors. We show how all the widely known properties of Gray codes, and some not so well-known properties as well, can be derived using this framework. Using this framework, we relate hypercube communications algorithms to Gauss-Jordan elimination on a matrix of 0's and 1's.

[1] D. P. Bertsekas, C. Ozveren, G. D. Stamoulis, P. Tseng, and J. N. Tsitsiklis, "Optimal communication algorithms for hypercubes," submitted for publication.
[2] T. H. Cormen, "Fast permuting on disk arrays," inBrown/MIT VLSI Conf., 1992.
[3] A. Edelman, "The algebra of shuffling and Gray-coding on a hypercube," Thinking Machines Corp., semi-internal note, Aug. 9, 1990.
[4] A. Edelman, "Optimal matrix transposition and bit reversal on hypercubes: All to all personalized communication,"J. Parallel Distributed Comput., vol. 11, pp. 328-331, 1991.
[5] P. M. Flanders, "A unified approach to a class of data movements on an array processor,"IEEE Trans. Comput., vol. C-31, pp. 809-819, Sept. 1982.
[6] D. Fraser, "Array permutations by index-digit permutation,"J. ACM, vol. 22, 298-308, 1976.
[7] M. Gardner, "Mathematical games: The curious properties of the Gray code and how it can be used to solve puzzles,"Scientific Amer., vol. 227, pp. 106-109, Aug. 1972.
[8] E. N. Gilbert, "Gray codes and paths on then-cube,"Bell Syst. Tech. J., vol. 37, pp. 815-826, 1958.
[9] G. H. Golub and C. F. Van Loan,Matrix Computations, 2nd ed. Baltimore, MD: Johns Hopkins Press, 1989.
[10] F. G. Heath, "Origins of the binary code,"Scientific Amer., vol. 227, pp. 76-83, Aug. 1972.
[11] M. van Heel, "A fast algorithm for transposing large multidimensional image data sets,"Ultramicroscopy, vol. 38, pp. 75-83, 1991.
[12] S. L. Johnsson, "Communication efficient basic linear algebra computations on hypercube architectures,"J. Parallel Distributed Comput., pp. 133-172, 1987.
[13] S. L. Johnsson and C. T. Ho, "Algorithms for matrix transposition on BooleanN-cube configured ensemble architectures,"SIAM J. Matrix Anal. Applic., vol. 9, pp. 419-454, 1988.
[14] S. L. Johnsson and C. T. Ho, "Optimal algorithms for stable dimension permutations on Boolean cubes," in3rd Conf. Hypercube Concurrent Comput. Applic., 1988, pp. 725-736.
[15] S. L. Johnsson and C. T. Ho, "On the conversion between binary code and binary-reflected Gray code on Boolean cubes," Harvard Univ. Tech. Rep. 20-91, Cambridge, MA, USA, 1991.
[16] S. L. Johnsson, "Optimal communication in distributed and shared memory models of computation on network architectures," inModels of Massively Parallel Computation. San Marcos, CA: Morgan Kaufman, 1990, pp. 223-389.
[17] Johnsson and C. T. Ho, "The complexity of reshaping arrays on Boolean cubes," in5th Distrib. Memory Computing Conf., 1990, pp. 370-377.
[18] Johnsson and C. T. Ho, "Generalized shuffle permutations on Boolean cubes,"J. Parallel Distrib. Computing, 1992.
[19] J. Keohane and R. E. Stearns, "Routing linear permutations through the omega network in two passes,"Proc. 2nd Symp. Frontiers of Massively Parallel Computing, 1988, pp. 476-482.
[20] D. Nassimi and S. Sahni, "An optimal routing algorithm for meshconnected parallel computer,"J. ACM, vol. 27, pp. 6-29, Jan. 1980.
[21] D. Nassimi and S. Sahni, "Optimal BPC permutations on a cube connected SIMD computer,"IEEE Trans. Comput., vol. C-31, pp. 338-341, 1982.
[22] H. Stone, "Parallel processing with the perfect shuffle,"IEEE Trans. Comput., vol. 20, pp. 153-161, 1971.
[23] Q. F. Stout and B. Wagar, "Passing messages in link-bound hypercubes," inProc. Hypercube Multiprocessors, 1987.
[24] Q. F. Stout and B. Wagar, "Intensive hypercube communication I: Prearranged communication in link-bound machines," Tech. Rep. CRL-TR-9-87, Computing Res. Lab., Univ. of Michigan, Ann Arbor, MI, USA, 1987.
[25] P. N. Swarztrauber, "Multiprocessor FFT's,"J. Parallel Computing, vol. 5, pp. 197-210, 1987.
[26] C. Van Loan,Computational Frameworks for the Fast Fourier Transform. Philadelphia, PA: SIAM, 1992.

Index Terms:
Index Termslinear algebra; encoding; decoding; Gray codes; hypercube networks; indextransformation algorithms; linear algebra framework; Gray code encoding; decoding;matrix transpose; bit reversal; vector reversal; shuffles; hypercube multiprocessors;hypercube communications algorithms; Gauss-Jordan elimination
A. Edelman, S. Heller, S.L. Johnsson, "Index Transformation Algorithms in a Linear Algebra Framework," IEEE Transactions on Parallel and Distributed Systems, vol. 5, no. 12, pp. 1302-1309, Dec. 1994, doi:10.1109/71.334903
Usage of this product signifies your acceptance of the Terms of Use.