Abstract

Knödel graphs of even order n and degree 1Δlog₂(n), W_Δ,n, are graphs which have been introduced some 25 years ago as the topology underlying a time optimal algorithm for gossiping among n nodes (Discrete Math. 13 (1975) 95). However, they have been formally defined only 7 years ago (Networks 38 (2001) 150). Since then, they have been widely studied as interconnection networks, mainly because of their good properties in terms of broadcasting and gossiping (Int. J. Foundations Comput. Sci. 8(2) (1997) 109, Proceedings of the 24th International Workshop on Graph-Theoretic Concepts in Computer Science, Vol. 1517, Smolenice, LNCS, 1998, p.63). In particular, Knödel graphs of order 2^k, and of degree k, are among the three most popular families of interconnection networks in the literature, along with the hypercube of dimension k, H_k (Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes, Morgan Kaufman Publisher, Los Altos, CA, 1992), and with the recursive circulant graph G(2^k,4) introduced by Park and Chwa in 1994 (Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks, ISPAN’94, Kanazawa, Japan, 1994, p. 73). Indeed, those three families are commonly presented as good topologies for multicomputer networks, and are comparable since they have the same number of nodes and the same degree.

In this paper, we first survey the different results that exist concerning Knödel graphs, mostly in terms of broadcasting and gossiping. We complete this survey by a study of graph–theoretical properties of the “general” Knödel graph W_Δ,n, for any even n and 1Δlog₂(n). Finally, we propose a rather complete study of Knödel graphs W_k,2^k, which allows to compare this topology to the hypercube of dimension k, H_k, and the recursive circulant graph G(2^k,4). We also provide a study of the different embeddings that can exist between any two of these topologies.

Author Keywords: Knödel graphs; Broadcasting; Gossiping; Interconnection networks; Hypercubes; Recursive circulant graphs; Graph embeddings

Article Outline

1. Introduction

2. Definitions

2.1. The Knödel graph W_Δ,n

2.2. Broadcasting and gossiping

3. Broadcasting and gossiping in Knödel graphs

4. Study of Knödel graphs W_Δ,n

5. Study of W_k,2^k

5.1. General properties of W_k,2^k

5.2. Forwarding indices, bisection width and optical index

5.3. Bipancyclicity

5.4. Comparison between W_k,2^k, H_k and G(2^k,4)

6. Conclusion

References