Edge-critical subgraphs of Schrijver graphs
arXiv:1910.07866 · doi:10.1016/j.jctb.2020.02.004
Abstract
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á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.