与任意图2-正交的(g,f)-因子分解.pdfVIP

第^7卷浆ll纠 华巾师范人学学报(自然科学版) vc，l37No．1 =Ⅲjs年3爿 J(，URNAl，nFcENTRAf．(、HrNAN(JRMAf UNIVERsrrY(Natscl．) Mar 2(“)3 文章编号：l㈨(1一ll90(2003)()1，()(】l7一ol 与任意图2一正交的(g，，)一因子分解 周思中，薛秀谦 (中同矿业大学理学院．江另、你卅l221008 摘要：汝G足一个圈．用V(“)和￡(G)表示它的顶点集和边集，)f：世F(，)和／(·)是定义在 V(G)l‘的两个整数值雨数．且对每个，∈V((J1)，有4≤F(，)≤／(r)，则图。的一个支撑子网^’ 分解是指E(o)能别分成边不变的(F√)蹦子，没’1={F’。。几．…，n}和H分别是图G的因子分 斛和于图．若对所有l≤f≤卅有E(H)n F(F，)I一2，则称F和，f2一正交．本文证明：若G是 一个(?g+坍一1，Ⅲ／一i十1)一图，H是(；中任一有2m条边的子图，则(j有一个(g√-)斟子分 解与H2正交． 关键词：图；子图；因于；2一正立网子分解 57．5 中围分类号：()1 文献标识码：A 存在与G中任意给定的有2m条边的予图，，2一正 l引言 交的(g．，)一因子分解．本文是对文献[3]和文献 设(，是一个有限无向简单图，分别用V(G)和[5]的推广． E(f；)表示图G的顶点集合和边集合．对于T∈ 2预备引理 V“j)．用d。(T)表示顶点z在G中的次数．设g和 ／分别是定义在V(G)上的非负整值函数，使g(r)设5是图G的顶点子集，用G一5表示从G中 去掉顶点集s及与5关联的所有边所得的子图．对 ≤，(。)对所有z∈V(G)成立，则图G的一个(g， ，)一因子是图G的一个支撑子图F+使对任意的z于5，了1￡y(G)．5nY’一中，令如(s，l’)一 ∈’’((j)有片(丁)≤c，，(z)≤／(丁)．特别地，若G本 E“(s，7’)1．设譬和，分别是定义在y(G)上的非 身足一个(g√)因子，则称(；为(g，／)一图．若图G U 的边集能划分成，”个边不相交的(g√)因子-1．，负整值函数，如果c是G一(S7’)的一个分支且 对所有的丁∈y(c)有g(T)一，(丁)，则根据e。(1’． 士1：，…．F。．则F一{F．．Fz，…，F。}称为图G的一 个(g．，)一因子分解．设H和f’分别是图G的子图 J∈v“1 和冈予分解．若对所有1≤，≤M有E(，，)n U (s 7’)的奇分支或偶分支．否则称c为G U E(r)一2，则称F和H2一正交．其它未加说明的 Y’)的中分支．用^。(s．?’)表示G一(sU了1)的奇 概念和记号见参考文献[1]． 分支的数目．为