MathLabs
TheoremProved

Every tournament has a Hamiltonian path (Rédei's theorem)

Statement

In every tournament on nn vertices (a complete directed graph where, for each pair of distinct vertices u,vu, v, exactly one of the arcs u→vu \to v or v→uv \to u is present), there exists a Hamiltonian path v1→v2→⋯→vnv_1 \to v_2 \to \cdots \to v_n 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, P:v1→v2→⋯→vkP: v_1 \to v_2 \to \cdots \to v_k, with the largest possible number of vertices kk; such a maximum exists because there are only finitely many vertices. Suppose, for contradiction, that k<nk < n, and let uu be a vertex not on PP.

Step 2 (case split at the two ends). Since the tournament has exactly one of u→v1u \to v_1 or v1→uv_1 \to u: if u→v1u \to v_1 held, prepending uu would give the longer path u→v1→⋯→vku \to v_1 \to \cdots \to v_k, contradicting the maximality of kk; hence v1→uv_1 \to u holds. Symmetrically, exactly one of vk→uv_k \to u or u→vku \to v_k holds: if vk→uv_k \to u held, appending uu would give a longer path, contradicting maximality; hence u→vku \to v_k holds.

Step 3 (locate an insertion point). We now know v1→uv_1 \to u and u→vku \to v_k. Let jj be the largest index in {1,…,k−1}\{1, \dots, k-1\} such that vj→uv_j \to u holds; this set of indices is nonempty since j=1j = 1 works, so by the extremal principle jj exists. By maximality of jj, the arc vj+1→uv_{j+1} \to u does not hold, so the tournament property forces u→vj+1u \to v_{j+1}.

Step 4 (contradiction by insertion). Combining vj→uv_j \to u with u→vj+1u \to v_{j+1}, we insert uu between vjv_j and vj+1v_{j+1} to form the path v1→⋯→vj→u→vj+1→⋯→vkv_1 \to \cdots \to v_j \to u \to v_{j+1} \to \cdots \to v_k, which has k+1k + 1 vertices, contradicting the maximality of kk.

Step 5 (conclusion). No such vertex uu can exist, so k=nk = n and PP is a Hamiltonian path.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Martin Aigner, Günter M. Ziegler (2018). Proofs from THE BOOK · DOI:10.1007/978-3-662-57265-8
  2. Thomas Schweser, Michael Stiebitz, Bjarne Toft (2025). The Tournament Theorem of Rédei revisited · arXiv:2510.10659 [preprint, not peer-reviewed]