Every tournament has a Hamiltonian path (Rédei's theorem)
Statement
In every tournament on vertices (a complete directed graph where, for each pair of distinct vertices , exactly one of the arcs or is present), there exists a Hamiltonian path visiting every vertex exactly once.
Why is it true?
Take a directed path of maximum length; if some vertex were left out, the tournament property (every pair has a directed edge) would let us either extend the path at one end or insert the missing vertex in the middle, contradicting maximality.
Proof sketch
Step 1 (extremal choice). Among all directed paths in the tournament, choose one, , with the largest possible number of vertices ; such a maximum exists because there are only finitely many vertices. Suppose, for contradiction, that , and let be a vertex not on .
Step 2 (case split at the two ends). Since the tournament has exactly one of or : if held, prepending would give the longer path , contradicting the maximality of ; hence holds. Symmetrically, exactly one of or holds: if held, appending would give a longer path, contradicting maximality; hence holds.
Step 3 (locate an insertion point). We now know and . Let be the largest index in such that holds; this set of indices is nonempty since works, so by the extremal principle exists. By maximality of , the arc does not hold, so the tournament property forces .
Step 4 (contradiction by insertion). Combining with , we insert between and to form the path , which has vertices, contradicting the maximality of .
Step 5 (conclusion). No such vertex can exist, so and is a Hamiltonian path.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Martin Aigner, Günter M. Ziegler (2018). Proofs from THE BOOK · DOI:10.1007/978-3-662-57265-8
- Thomas Schweser, Michael Stiebitz, Bjarne Toft (2025). The Tournament Theorem of Rédei revisited · arXiv:2510.10659 [preprint, not peer-reviewed]