Kneser猜想是拓扑组合的开始。可以说，Lovasz证明了Kneser猜想，也打开了对于组合数学的拓扑研究的大门。
本文只是对这一猜想的一个survey，可能不太精细，但是应该是没有较大的错误。望不吝指正！