加载中…
For and , the Kneser graph has all -element subsets of an -element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lov'{a}sz that the chromatic number of is . Schrijver constructed a vertex-critical subgraph of with the same chromatic number. For the stronger notion of criticality defined in terms of removing edges, however, no analogous construction is known except in trivial cases. We provide such a construction for and arbitrary by means of a nice explicit combinatorial definition.

生成讲解博客的中文版本

生成AI智能校验的中文版本