The hypercube graph Q4
|Girth||4 if n≥2|
In graph theory, the hypercube graph Qn is a regular graph with 2n vertices, 2n−1n edges, and n edges touching each vertex. It can be obtained as the one-dimensional skeleton of the geometric hypercube; for instance, Q3 is the graph formed by the 8 vertices and 12 edges of a three-dimensional cube. Alternatively, it can be obtained from the family of subsets of a set with n elements, by making a vertex for each possible subset and joining two vertices by an edge whenever the corresponding subsets differ in a single element.
Hypercube graphs should not be confused with cubic graphs, which are graphs that have exactly three edges touching each vertex. The only hypercube that is a cubic graph is Q3.
The hypercube graph Qn may be constructed from the family of subsets of a set with n elements, by making a vertex for each possible subset and joining two vertices by an edge whenever the corresponding subsets differ in a single element. Equivalently, it may be constructed using 2n vertices labeled with n-bit binary numbers and connecting two vertices by an edge whenever the Hamming distance of their labels is 1. These two constructions are closely related: a binary number may be interpreted as a set (the set of positions where it has a 1 digit), and two such sets differ in a single element whenever the corresponding two binary numbers have Hamming distance 1.
Alternatively, Qn+1 may be constructed from the disjoint union of two hypercubes Qn, by adding an edge from each vertex in one copy of Qn to the corresponding vertex in the other copy, as shown in the figure. The joining edges form a perfect matching.
Another definition of Qn is the Cartesian product of n two-vertex complete graphs K2.
Every hypercube graph is bipartite: it can be colored with only two colors. The two colors of this coloring may be found from the subset construction of hypercube graphs, by giving one color to the subsets that have an even number of elements and the other color to the subsets with an odd number of elements.
Every hypercube Qn with n > 1 has a Hamiltonian cycle, a cycle that visits each vertex exactly once. Additionally, a Hamiltonian path exists between two vertices u,v if and only if have different colors in a 2-coloring of the graph. Both facts are easy to prove using the principle of induction on the dimension of the hypercube, and the construction of the hypercube graph by joining two smaller hypercubes with a matching.
Hamiltonicity of the hypercube is tightly related to the theory of Gray codes. More precisely there is a bijective correspondence between the set of n-bit cyclic Gray codes and the set of Hamiltonian cycles in the hypercube Qn. An analogous property holds for acyclic n-bit Gray codes and Hamiltonian paths.
The hypercube graph Qn (n > 1) :
- is a median graph. Every median graph is an isometric subgraph of a hypercube, and can be formed as a retraction of a hypercube.
- has more than 22n-2 perfect matchings. (this is another consequence that follows easily from the inductive construction.)
- is arc transitive and symmetric. The symmetries of hypercube graphs can be represented as signed permutations.
- contains all the cycles of length 4, 6, ..., 2n and is thus a bipancyclic graph.
- can be drawn as a unit distance graph in the Euclidean plane by choosing a unit vector for each set element and placing each vertex corresponding to a set S at the sum of the vectors in S.
- is planar (can be drawn with no crossings) if and only if n ≤ 3. For larger values of n, the hypercube has genus .
- The family Qn (n > 1) is a Lévy family of graphs
- The achromatic number of Qn is known to be proportional to , but the constant of proportionality is not known precisely.
- The eigenvalues of the adjacency matrix are (-n,-n+2,-n+4,...,n-4,n-2,n) and the eigenvalues of its Laplacian are (0,2,...,2n). The k-th eigenvalue has multiplicity in both cases.
- The isoperimetric number is h(G)=1
Szymanski's conjecture concerns the suitability of a hypercube as an network topology for communications. It states that, no matter how one chooses a permutation connecting each hypercube vertex to another vertex with which it should be connected, there is always a way to connect these pairs of vertices by paths that do not share any directed edge.
|Wikimedia Commons has media related to Hypercube graphs.|
- Mills, W. H. (1963), "Some complete cycles on the n-cube", Proceedings of the American Mathematical Society (American Mathematical Society) 14 (4): 640–643, doi:10.2307/2034292, JSTOR 2034292.
- Fink, J. (2007), "Perfect matchings extend to Hamiltonian cycles in hypercubes", Journal of Combinatorial Theory, Series B 97 (6): 1074–1076, doi:10.1016/j.jctb.2007.02.007.
- Ruskey, F. and Savage, C. Matchings extend to Hamiltonian cycles in hypercubes on Open Problem Garden. 2007.
- Ringel, G. (1955), "ber drei kombinatorische Probleme am n-dimensionalen Wiirfel und Wiirfelgitter", Abh. Math. Sere. Univ. Hamburg 20: 10–19, MR 949280
- Harary, Frank; Hayes, John P.; Wu, Horng-Jyh (1988), "A survey of the theory of hypercube graphs", Computers & Mathematics with Applications 15 (4): 277–289, doi:10.1016/0898-1221(88)90213-1, MR 949280.
- Roichman, Y. (2000), "On the Achromatic Number of Hypercubes", Journal of Combinatorial Theory, Series B 79 (2): 177–182, doi:10.1006/jctb.2000.1955.
- Optimal Numberings and Isoperimetric Problems on Graphs, L.H. Harper, Journal of Combinatorial Theory, 1, 385–393, doi:10.1016/S0021-9800(66)80059-5
- Szymanski, Ted H. (1989), "On the Permutation Capability of a Circuit-Switched Hypercube", Proc. Internat. Conf. on Parallel Processing 1, Silver Spring, MD: IEEE Computer Society Press, pp. 103–110.
- Harary, F.; Hayes, J. P.; Wu, H.-J. (1988), "A survey of the theory of hypercube graphs", Computers & Mathematics with Applications 15 (4): 277–289, doi:10.1016/0898-1221(88)90213-1.