A Combinatorial Proof of Kneser’s Conjecture*

Kneser’s conjecture, first proved by Lovász in 1978, states that the graph with all k-element subsets of {1, 2, . . . , n} as vertices and with edges connecting disjoint sets has chromatic number n−2k+2. We derive this result from Tucker’s combinatorial lemma on labeling the vertices of special triangulations of the octahedral ball. By specializing a proof of Tucker’s lemma, we obtain self-contained purely combinatorial proof of Kneser’s conjecture.

This is a preview of subscription content, access via your institution.

Author information



Corresponding author

Correspondence to Jiří Matoušek.

Additional information

* Research supported by Charles University grants No. 158/99 and 159/99 and by ETH Zürich.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Matoušek, J. A Combinatorial Proof of Kneser’s Conjecture*. Combinatorica 24, 163–170 (2004). https://doi.org/10.1007/s00493-004-0011-1

Download citation

Mathematics Subject Classification (2000):

  • 05C15
  • 05A05
  • 55M35