# Golay Code

The extended binary Golay code, or Golay code for short, is a way to encode 12 bits of data in a 24-bit word in such a way that any 3-bit error can be corrected, and any 7-bit error can at least be detected. The easiest way to understand this code uses the geometry of the dodecahedron, as shown in this image by Gerard Westendorp.

# Balaban 11-Cage

This picture shows part of a graph called the Balaban 11-cage. A (3,11)-graph is a simple graph where every vertex has 3 neighbors and the shortest cycle has length 11. A (3,11)-cage is a (3,11)-graph with the least possible number of vertices. The Balaban 11-cage is the unique (3,11)-cage.

This picture by Greg Egan shows a hypercube with all vertices except the bottom labelled by duads, that is, 2-element subsets of a 6-element set. There are 15 duads, while the hypercube has 16 vertices.

# Heawood Graph

This is the Heawood graph. This graph can be drawn on a torus with no edges crossing in such a way that it divides the torus into 7 hexagons, each pair of which shares an edge. In 1890, Percy John Heawood proved that for any map drawn on a torus, it takes at most 7 colors to ensure that no two countries sharing a common boundary have the same color. The Heawood graph proves that the number 7 is optimal.

# Dyck Words

This picture by Tilman Piesk shows the 14 Dyck words of length 8. A Dyck word is a balanced string of left and parentheses. In the picture, a left parenthesis is shown as upward-slanting line segment, and a right parenthesis as a downward-slanting one.

# Petersen Graph

Suppose you have a set with 5 elements. There are 10 ways to choose a 2-element subset. Form a graph with these 10 choices as vertices, and with two vertices connected by an edge precisely when the corresponding subsets are disjoint. You get the graph shown here, called the Petersen graph.