Kneser图.docVIP

无图的标号 李海英 孙磊 (山东师范大学数学科学学院， 济南 250014) 摘要 图G的一个分数染色是从G的独立集的集合ζ到区间[0，1]的一个映射c，使得对任意顶点x，都有：(1，我们将此分数染色的值定义为。图G的分数色数是它的所有分数染色的值的下确界。给出了分数染色临界性的定义并讨论了Kneser图的分数染色临界性。 引言 图G的一个分数染色是从G的独立集的集合ζ到区间[0，1]的一个映射c，使得对任意顶点x，都有：(1，我们将此分数染色的值定义为。图G的分数色数是它的所有分数染色的值的下确界。 与图的分数染色有关的研究最早可以追溯到1970年对图的多重染色的研究。E. Scheinerman和D. Ullman在《Fractional graph theory, a rational approach to graph theory》(J. Wiley Sons, New York, 1997)中有关于此专题的较为详尽的论述。在这本书中作者系统给出了对图的理论给出它们的分数推广的方法，并从图染色的分数推广的角度提出了图的分数染色的概念。关于图的分数染色，目前人们研究的并不多。目前已有的文献一方面是研究一些特殊图的分数色数和b-层色数，如Kneser图，循环图等及一些图运算下的分数色数，如图乘积等。另一方面是研究一些已有的关于图染色的猜想是否关于图的分数染色成立，如Erd?s-Faber-Lovásze猜想，Hadwiger’s猜想等(参见[1]，[2]，[3]，[4]，[5])。图的分数染色与图的分数团有着密切的关系，图G的一个分数团是从V(G)到区间[0，1]的一个映射f，使得对G的任意独立集I，都有，我们将此分数团的值定义为。图G的分数团数Wf(G)是它的所有分数团的值的上确界，[3]中作者给出对任意图G，(f(G)=Wf(G)，本文将通过研究图的分数团来研究图的分数染色。 本文中我们将给出图的分数染色临界性的概念并讨论Kneser图的分数染色临界性。本文未加说明的概念和符号参见[6]。 2．主要结果 给定正整数a，b，a≥2b，Kneser图Ka:b是以如下方式定义的一个图：其顶点是从给定的a个元素的集合中选出的b个元素构成的子集，两顶点间有边当且仅当这两个顶点为不交的集合。在本文中我们均设Ka:b的顶点是从{1，2，…，a}中取b个元素的子集。易见Ka:1=Ka。假定G和H是图，G到H的一个同态映像(是V(G)到V(H)的一个映像，当（v，w）(E(G)时，（((v)，((w)）(E(H)，我们知道，一个图G是n可染的当且仅当存在同态映像(：G→Kn。而Kneser图也有类似的性质。[3]中给出 性质1 (Ka:b)=。 性质2 图G有一个a:b-染色当且仅当存在一个图同态(：G→Ka:b。 由此可见，Kneser图在图的分数染色理论中起着与Kn类似的作用。我们知道Kn是n色临界图。对于Kneser图，它的分数染色是否具有临界性呢？这里我们先给出几个定义。 定义1 G是一个图，若对G中任一边e，均有(G(e)(G)，则称G是分数染色下边临界图。 定义2 G是一个图，若对G中任意不相邻的两顶点u、v(G((u，v))(G)，则称G是分数染色上边临界图。 定义3 G是一个图，若对G中任一点v，均有(G(v)(G)，Ka:b不是分数染色下边临界图。事实上，Ka:b的最大独立数为[3]。易见Ka:b的任意一个最大独立集外的一个顶点与该最大独立集关联1条边。则删去任一边e，Ka:b(e。我们给Ka:b(e的每个顶点赋值，则得到值为的分数团，从而有(Ka:b(e)(。又因为Ka:b(e是Ka:b的子图，有(Ka:b(e)(，则有(Ka:b(e)=。由以上分析，我们很容易进一步得出： 定理1 若Ka:b的子图H的最大度不大于(1，则Ka:b(H的分数色数仍为。 满足上述条件的H的边数至多可能取何值呢？我们给出一个界。 定理2 存在Ka:b的一个子图H，满足：H的最大度不大于(1，且|E(H)|(((1)。 证明：设Ka:b中顶点所取的集合中含元素1的顶点集构成Ka:b的一个最大独立集。易见G(为图Ka(1:b，Ka(1:b中任一点v1与中相邻的顶点数为，任取其中(1条关联边，构成Ka:b的边子集E1。因为Ka:b是(1:b(v1中的一点v2，存在Ka:b的自同构映射(，使((v1)=v2。记((E1)=E2，对Ka(1:b(v1中的所有点，我们分别可以得到Ka:b中的边集E2，E3，…，，记=E0。由对称性，我们可以使得中的点在E0中的度均为t。此时t(=((1)(。显然，则t(1。对中的每个顶点，分别任取其所关联的E0的(1条边，记其并为，则及其关联的所有顶点即