Drawing K₈ without lifting the pen
Statement
The complete graph has vertices and an edge between every pair. We draw all its edges, each exactly once, in several strokes, where a stroke is a walk along edges that does not repeat any edge. What is the minimum number of strokes?
Hint
Every vertex has odd degree . How many odd-degree vertices can a single stroke start or end at? For the construction, add four extra edges to make all degrees even.
Show solutionHide solution
Solution
Lower bound. Suppose the edges are covered by strokes. Count, for a fixed vertex , the edges of covered by one stroke: if is not an endpoint of that stroke, each visit uses two edges at , so the number is even. The total degree is odd, so some stroke uses an odd number of edges at , and that stroke has as exactly one of its two ends. Each stroke has two ends, hence is such a stroke for at most vertices, while all vertices need one. Hence , .
Construction with strokes. Pair the vertices into four pairs and add a second, extra copy of each of these four edges. Now every vertex has degree (even) and the multigraph is connected, so it has an Eulerian circuit. Delete the four extra edges from the circuit: cutting a closed circuit at places leaves at most walks, which together use every original edge exactly once. So strokes suffice.
Answer. strokes.
Lesson. Parity of degrees gives the lower bound; to match it, fix the parity by adding edges and use Euler's theorem.