The edge-isoperimetric problem on the 600-vertex regular solid

Between 1963 and 1979 the edge-isoperimetric problem was solved on the graphs of all regular convex polytopes except the four-dimensional one with 600 vertices. We present a solution of that last remaining problem, based on a combination of theory and computer calculation.