完全图的最大(最小)几乎可分解的(4,2)-圈填充(覆盖).pdfVIP

第38卷 第 1期 应 用 数 学 学 报 Vo1．38No．1 2015年 1月 ACT?,MATHEMATICAEAPPLICATAESINICA Jan．，2015 完全图的最大 (最小)几乎可分解的 (4，2)一圈填充 (覆盖) 王长远 (枣庄学院数学与统计学院，枣庄277160) (E—mail：wcyhome2008@126．corn) 曹海涛 (南京师范大学数学研究所，南京210023) (E—mail：caohaitao@njnu．edu．cn) 摘 要 设 K 是 n个顶点的完全图． K 的 (，)、)．圈填充 (覆盖)是一个有序二元组 (c)， 其中 为 的顶点集，c为 的七一圈的集合，使得 K 的任意一条边至多 (至少)包含在 c中的 个圈中．进一步，若 c恰好可以划分成一些几乎平行类，其中每个几乎平行类是 c中 量【j个点不交的 一圈集合，且几乎平行类的个数在所有具有相同参数的填充 (覆盖)中是最大 的 (最小的)，则称 (c)是最大 (最小)几乎可分解的 k一圈填充 (覆盖)，其几乎平行类个数记为 (n，)(c^( ))．对任意 n4，Billington等人已经确定了尸l(n，4)和 Cl(n，4)的值，本文将确 定 P2(n，4)和 C2(n，4)的值． 关键词 圈填充；圈覆盖；几乎可分解；圈支架 MR(2000)主题分类 05B05；05B40 中图分类 O157．2 1 引言 设 入是一个正整数， 表示 礼个顶点的完全图．％ 的 (，)一圈填充 (覆盖)，记 为 (后，)一CP(n)((，)一cc(佗))，是一个有序二元组 ( )，其中 为 的点集，c为 ‰ 的 一圈的集合，使得 ‰ 的任意一条边至多 (至少)包含在 c中的 个圈中．填充 (k，A)一CP(n)的剩余集 是 ‰ 的边的集合，满足边 e在 中重复出现m次当且仅当 本文 2014年 1月 21日收到．2014年 l1月 11日收到修改稿． 国家自然科学基金 ，江苏省自然科学基金 (B，江苏高校优势学科建设工程，山东省高 等学校青年骨干教师国内访问学者资助项 目． 184 应 用 数 学 学 报 38卷 e包含在 c中的 入～m个圈中．相应地，覆盖 (，入)一CC(n)的超出集E是 的边的集 合，满足边 e在E中重复出现 m次当且仅当e包含在 e中的 +m个圈中． 设 (c)是 (，)一cP(礼)，若对任意具有相同参数的填充 ( 舀)，均有 ，则称 (c)是最大的．相应地，设 (c)是 (k，)、)．cC(n)，若对任意具有相同参数的覆盖 ( )， 均有 li ICI，则称 (C)是最小的．事实上，最大填充 (最小覆盖)的剩余集 (超出集) 包含的边数在所有具有相同参数的填充 (覆盖)中是最小的．有关 ‰ 的最大 k一圈填充 和最小 ．圈覆盖的研究成果可参见 【卜5]． 设 (c)是 (，)一CP(n)((，入)一cc(-n))，c中 刮【个点不交的k一圈集合称为几乎平 行类．当n兰0(II]od )时，几乎平行类简称为平行类。进一步，若 c恰好可以戈0分成 一 些几乎平行类，则称 (c)是几乎可分解的，记为 (k，)一ARCP(n)((，A)一ARCC(n))． 设 (c)是 (k，)一ARCP(n)((，入)一ARCC(n))，若它的几乎平行类的个数在所有具 有相同参数的几乎可分解填充 (覆盖)中是最大的 (最小的)，则称 (c)是最大的 (最小 的)，记为 (k，)