The principal result
of this paper is the determination of every graph that can be covered by
a complete graph. It is shown that for every odd divisor d of the number
n of vertices of a complete graph Kn, there is a unique graph with n∕d
vertices covered by Kn, and that there are no other graphs covered by Kn.
This determination is applied to an examination of certain aspects of the
solution to the Heawood map-coloring problem. In particular, combinatorial
arguments of the solution are set in a topological framework of branched covering
spaces.