m〈50时完全二部图Kn,n的循环m-圈分解.pdfVIP

维普资讯 第 26卷第 2期 河南理工大学学报 (自然科学版) Vo1．26 No．2 2007年 4月 JOURNALOFHENANPOLYTECHNICUNIVERSITY(NATURALSCIENCE) Apr．2007 50时完全二部图K ．的循环 一圈分解 郑玉歌 ，姬玉荣 (河南理工大学 数学与信息科学学院，河南 焦作 454003) 摘要 ：设 K ．表示每部分具有 个顶点的完全二部 图，本文利用差集的方法来构造 K 。的 循环 一圈分解，讨论 了30 Ill50时的所有整数的循环 Ill一圈分解的存在性，并最终 给出了当 Ill 50时，K ．存在循环 7／1一圈分解的充分必要条件 ． 关 键 词 ：循环 z一圈分解；差系统；完全二部图；型 中图分类号 ：O157．2 文献标识码 ：A 文章编号 ：1673—9787 (2007)02—0217—04 0 引 言 近年来 ，许多数学工作者致力于研究循环圈分解的存在性问题 ．当 m为偶数且 三 1(rood2m) 时，文献 [1—2]分别构造 了m =0(rood4)与m ：2(rood4)这两种情况的K 的循环m一圈分解 ． 当 优为奇数且 三 1(rood2m)时，文献 [3—5]利用不 同的方法构造 了K 的循环m 一圈分解 ．当 三m(mod2m)时，文献 [6]证明了除去 z=3，对于任意的 1tl M ，K 存在循环 t一圈分解 ， 其中M = {P。lP是素数，P1}U {15}．而文献 [7]证明了对于任意的m ∈M ，K 存在循环优 一 圈分解．当 z=0(rood4)且 z／4元平方因子和 优三 2(rood4)，m无平方因子且m≥6时，文献 [8]给出了完全二部图K ．的循环 z一圈分解的充分必要条件 ． 1 预备知识 定义 1 设 R是图G 的一个优一圈集合 ，如果 R 中的所有圈构成了图G的边的一个划分 ，则 R 叫作图G的一个 z一圈分解 ． 定理 1[完全二部 图K ． 存在 ～圈分解 当且仅当 z， 与k为偶数 ， ，k≥ 且 z整除nk． 定义2 设 R是图G的一个 z一圈分解 ，如果 、厂(G)=Z ，并且对于任意的B= (b1，b2，…， b )∈R ，我们有 B+1= (b1+1，b2+1，…，b +1)∈R ，则 R 叫作图G 的一个循环 z一圈分 解 ． 在本文中，对于任何 阶的图G ，我们令 、厂(G)= ． 集合 { ∈Z IB=B+j}的基称为圈B的型．如果 B= (b1，b2，…，b)是一个型为d的m一 圈，令OB表示多重集合{±(b—b一1)J1≤i≤等}，其中bo：b ． 定义3 设 F： {B1，B2，…，Bi}是～个 ”z一圈集合 ，di是B 的型．i= 1，2，…，￡．设 z ＼{0} 中的每个元素恰好在多重集和 OF=U aB 中出现一次，则 F叫作一个 (K ，c )～差系统(简称 (K ， C )一DS)． 设 K… 的两部分分别是 {0，2，4，…，2z一2}与 {1，3，5，…，2n一1}．那么我们可以类似地定义 (K ．，C )一DS)． 定义4 设 F= {B1，B2，…，B，}是～个 z一圈集合 ，d是B 的型．i=1，2，…，f．如果 ±{1，3， 收稿 日期 ：2006—12—25 基金项 目：河南省 自然科学基金资助项 目 (0611055600) 作者简介：郑玉歌 (1954一)。女 ，河南焦作人，教授 。从事图论和组合数学的教学和研究工作 E—mail：zhengyuge@hpu．edu．(211 维普资讯 218 河南理工大学学报(自然科学版)