Abstract
In this paper we describe anO(logN)-bit-step randomized algorithm for bit-serial message routing on a hypercube. The result is asymptotically optimal, and improves upon the best previously known algorithms by a logarithmic factor. The result also solves the problem of on-line circuit switching in anO(1)-dilated hypercube (i.e., the problem of establishing edge-disjoint paths between the nodes of the dilated hypercube for any one-to-one mapping).
Our algorithm is adaptive and we show that this is necessary to achieve the logarithmic speedup. We generalize the Borodin-Hopcroft lower bound on oblivious routing by proving that any randomized oblivious algorithm on a polylogarithmic degree network requires at least Ω(log2 N/log logN) bit steps with high probability for almost all permutations.
Similar content being viewed by others
References
W. Aiello and F. T. Leighton. Coding theory, hypercube embeddings, and fault tolerance. InProceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, July 1991.
M. Ajtai, J. Komlos, and E. Szemeredi. Sorting inc logn parallel steps.Combinatorica,3:1–19, 1983.
R. Aleliunas. Randomized parallel communication. InProceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 60–72, August 1982.
S. Arora, T. Leighton, and B. Maggs. On-line algorithms for path selection in a non-blocking network. InProceedings of the 22nd Annual ACM Symposium on Theory of Computing, pages 149–158, May 1990.
K. Batcher. Sorting networks and their applications. InProceedings of the AFIPS Spring Joint Computing Conference, Volume 32, pages 307–314, 1968.
V. E. Beneš.Mathematical Theory of Connecting Networks and Telephone Traffic. Academic Press, New York, 1965.
A. Borodin and J. E. Hopcroft. Routing, merging, and sorting on parallel models of computation.Journal of Computer and System Sciences,30(1):130–145, February 1985.
R. E. Cypher.Efficient Communication in Massively Parallel Computers. PhD. thesis, Department of Computer Science, University of Washington, Seattle, WA, August 1989.
R. E. Cypher and C. G. Plaxton. Techniques for shared key sorting. Unpublished manuscript.
R. E. Cypher and C. G. Plaxton. Deterministic sorting in nearly logarithmic time on the hypercube and related computers. InProceedings of the 22nd Annual ACM Symposium on Theory of Computing, pages 193–203, May 1990.
W. Dally and C. Seitz. Deadlock free message routing in multiprocessor interconnection networks.IEEE Transactions on Computers,36(5):547–553, May 1987.
D. S. Greenberg and S. N. Bhatt. Routing multiple paths in hypercubes. InProceedings of the 2nd Annual ACM Symposium on Parallel Algorithms and Architectures, pages 45–54, July 1990.
R. W. Hamming. Error detecting and error correcting codes.Bell System Technical Journal,29:147–160, 1950.
J. Hastad, T. Leighton, and M. Newman. Fast computation using faulty hypercubes. InProceedings of the 21st Annual ACM Symposium on Theory of Computing, pages 251–263, May 1989.
C. Kaklamanis, D. Krizanc, and A. Tsantilas. Tight bounds for oblivious routing in the hypercube. InProceedings of the 2nd Annual ACM Symposium on Parallel Algorithms and Architectures, pages 31–36, July 1990.
P. Kermani and L. Kleinrock. Virtual cut-through: a new computer communications switching technique.Computer Networks,3(4):267–286, 1979.
D. Krizanc, D. Peleg, and E. Upfal. A time-randomness tradeoff for oblivious routing. InProceedings of the 20th Annual ACM Symposium on Theory of Computing, pages 93–102, May 1988.
F. T. Leighton, B. M. Maggs, A. G. Ranade, and S. B. Rao. Randomized routing and sorting on fixed-connection networks. Unpublished manuscript.
F. T. Leighton, B. Maggs, and S. Rao. Universal packet routing algorithms. InProceedings of the 29th Annual Symposium on Foundations of Computer Science, pages 256–271, October 1988.
F. T. Leighton and G. Plaxton. A (fairly) simple circuit that (usually) sorts. InProceedings of the 31st Annual Symposium on Foundations of Computer Science, pages 264–274, October 1990.
D. Nassimi and S. Sahni. Parallel algorithms to set up the Beneš permutation network.IEEE Transactions on Computers,31(2):148–154, February 1982.
M. O. Rabin. Efficient dispersal of information for security, load balancing, and fault tolerance.Journal of the ACM,36(2), April 1989.
A. G. Ranade. How to emulate shared memory. InProceedings of the 28th Annual Symposium on Foundations of Computer Science, pages 185–194, October 1987.
E. Upfal. Efficient schemes for parallel communication. InProceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 55–59, August 1982.
E. Upfal. AnO(logN) deterministic packet routing scheme. InProceedings of the 21st Annual ACM Symposium on Theory of Computing, pages 241–250, May 1989.
L. G. Valiant. A scheme for fast parallel communication.SIAM Journal on Computing,11(2):350–361, May 1982.
L. G. Valiant and G. J. Brebner. Universal schemes for parallel communication. InProceedings of the 13th Annual ACM Symposium on Theory of Computing, pages 263–277, May 1981.
Author information
Authors and Affiliations
Additional information
This research was supported by the Defense Advanced Research Projects Agency under Contracts N00014-87-K-825 and N00014-89-J-1988, the Air Force under Contract AFOSR-89-0271, and the Army under Contract DAAL-03-86-K-0171. This work was completed while the third and fourth authors were at the Laboratory for Computer Science, Massachusetts Institute of Technology.
Rights and permissions
About this article
Cite this article
Aiello, W.A., Leighton, F.T., Maggs, B.M. et al. Fast algorithms for bit-serial routing on a hypercube. Math. Systems Theory 24, 253–271 (1991). https://doi.org/10.1007/BF02090402
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02090402