Schrijver图的边临界子图

对于$k\geq 1$和$n\geq 2k$，Kneser图$KG(n,k)$以$n$元集合的所有$k$元子集为顶点；两个这样的子集若不相交则相邻。Lov\'{a}sz首先证明$KG(n,k)$的色数为$n-2k+2$。Schrijver构造了$KG(n,k)$的一个顶点临界子图$SG(n,k)$，具有相同的色数。然而，对于通过删边定义的更强临界性概念，除平凡情形外尚无已知的类似构造。我们通过一个良好的显式组合定义为$k=2$和任意$n\geq 4$提供了这样的构造。