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, .
- Base Case: A 0-dimensional hypercube has vertex by inspection.
- Hypothesis: Assume that the theorem holds for dimensions.
- 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, )