关于消去图的一个充分条件.pdfVIP

第 11卷第4期 潍坊学院学报 Vo1．11No．4 2011年 8月 JournalofWeifangUniversity Ju1．2011 关于消去图的一个充分条件 宋 强 (潍坊学院，山东 潍坊 261061) 摘 要：设G是一个图，用 (G)和E(G)表示顶点集和边集，并设g和．厂是定义在V(G)上的两个非 负整数值函数，且g厂。图G的一个(g，，)一因子是G的一个支撑子 图F，使对任意的xE、，，(G)有 g(z) ≤ ()≤厂(z)。如果去掉 图G的任何三条边都有一个(g，，)一因子，则称 图G是一个(g，厂)一3一消去 图，本文给出了一个图是 (．g，厂)一3一消去图的一个充分条件 。 关键词 ：因子；支撑子图；(g，f)一3一消去图 中图分类号：0157。5 文献标识码：A 文章编号：1671--4288(2011)04一O077--03 0 引言 本文所考虑的图均指有限无向简单图。设G是一个 图，分别用 (G)和 E(G)表示图G的顶点集和边 集，用dc()表示顶点 在G 中的度数。设 g和，是定义在 (G)上的非负整值函数，并且对于任意的z QV(G)有 g(z)≤厂()。图G的一个(g，厂)一因子是G 的一个支撑子 图F，使对任意的 EV(G)，有 g (z)≤ ()≤-厂(z)。 特别地，若图G本身是一个 (g，)一因子，贝Ⅱ称 G是一个(g，厂)一图。如果去掉 图G的任何三条边都 有一个 (g，-厂)一因子 ，则称图G是一个 (g，厂)一3一消去图。 1 预备引理 引理 1 设G是一个图，g和．厂是定义在V(G)上的两个整值函数，且 gf，若对任意的X，yEV(G)， 且x#y，有厂()dG()≥ G(z)g()，则G有 (g，厂)一因子。 引理 2 设G是一个图，g和．厂是定义在 (G)上的两个整值函数，且 gf，则图G是一个(g，厂)一3 一 消去图，当且仅当对 (G)的所有不交子集 S和 T有 (S，T)一 G—s(丁)--g(T)+ 厂(S)≥￡(S，T) (1) ． 其中e(S，丁)定义如下 6，若G[丁]中至少：有3条边 5，若G[T]中只有2条边，且 ec,(T，(G)＼(SUT))≥l 4，上述不满足，且 GET-]中只有 2条边 ，且 ec,(T， (G)＼(SUT))一0 或G[T-]中只有 1条边，且eG(T，(G)＼(SUT))≥2 3，上述不满足，且G[T3中只有 1条边，且ea(T，(G)＼(sUT))一1 e(S，T)=== 或GF明 中没有边 ，且 e6(T， (G)＼(sU丁))≥3 2，上述不满足，且C-IT3中只有 1条边，且 eG(T，V(G)＼(sUT))一。 或G[丁]中没有边，且 eG(T，V(G)＼(SUT))一2 1，上述不满足，且G[T]中没有边，且 eG(T，(G)＼(sU丁))一1 0，其它 2 主要定理及其证 明 定理 设G是一个图，g和，：是定义在V(G)上的两个整值函数，且 1≤g-厂一1，若对任意的z，yEV (G)，有 厂(z)≤ G(z)且 -厂()(dc()--3)≥ ()g()，则 G是 (g，厂)一3一消去图。 * 收稿 日期 ：2O1O～12—2O 作者简介：~ (1979--)，男，山东潍坊人 ，潍坊学院数学与信息科学学院讲师。研究方向