Kneser图的列表区分数

如果图$G$的顶点集可以用$k$种颜色着色，使得没有非平凡自同构固定每个颜色类，则称$G$是$k$-可区分的，区分数$D(G)$是使得$G$为$k$-可区分的最小整数$k$。如果对于每个$v\in V(G)$我们有一个颜色列表$L(v)$，并且规定分配给顶点$v$的颜色来自其列表$L(v)$，则称$G$是$\mathcal{L}$-可区分的，其中$\mathcal{L} =\{L(v)\}_{v\in V(G)}$。图的列表区分数记为$D_l(G)$，是最小整数$k$，使得每个满足$|L(v)|=k$的列表集合$\mathcal{L}$都容许一种$\mathcal{L}$-区分着色。本文中，我们证明当$G$是Kneser图时，$D_l(G)=D(G)$。