Graph Representation of a Hypercube

An -dimensional hypercube can be represented as a graph with vertices, where is the set of all -bit strings. Two vertices of a hypercube are connected by an edge if and only if the two vertices differ in exactly one bit position.

Recursively, an -dimensional hypercube is the result of joining two -dimensional hypercubes with vertices and where .

Properties

(Hypercube Vertices) For an n-dimensional hypercube, .
  1. Base Case: A 0-dimensional hypercube has vertex by inspection.
  2. Hypothesis: Assume that the theorem holds for dimensions.
  3. Inductive Step: We see that for , , and therefore the theorem holds for all .
(Hypercube Edges) For an n-dimensional hypercube, .

We observe that the degree of each vertex of an -dimensional hypercube is exactly . Simultaneously, we observe that each edge is counted twice. Therefore, .

(Recursively, )

(Hypercube Connectivity)