图中具有分数(g,f)-因子的若干充分条件.pdfVIP

第24卷 第2期 2007年04月 工 程 数 学 学 报 CHINESE JOURNAL OF ENGINEERING MATHEMATICS Vol. 24 No. 2 Apr. 2007 文章编号:1005-3085(2007)02-0329-05 图中具有分数 (g, f )? 因子的若干充分条件? 周思中1, 尚长明2 (1- 江苏科技大学数理学院，镇江 212003; 2- 东华大学理学院，上海 200051) 摘 要: 设 g 和 f 分别是定义在图 G 的顶点集合 V (G) 上的整数值函数且对每个 x ∈ V (G) 有 0 ≤ g(x) ≤ f(x)。本文给出了一个图有分数 (g, f)? 因子的若干充分条件。 关键词: 图；分数因子；分数覆盖图；分数消去图 分类号: AMS(2000) 05C70 中图分类号: O157.5 文献标识码: A 1 引言 本文所考虑的图均为有限无向图，可以有重边但没有环。设 G 是一个图，具有顶点集 合 V (G) 和边集合 E(G)。用 dG(x) 表示图 G 中顶点 x 的度。设 g 和 f 是定义在 V (G) 上 的两个整数值函数，使对任意 x ∈ V (G) 有 0 ≤ g(x) ≤ f(x)。设 h 是定义在图 G 的边 集合上的一个函数，使对任意的 e ∈ E(G) 有 h(e) ∈ [0, 1]。令 dhG(x) = ∑ e∈Ex h(e)，其 中 Ex = {e : e = xy ∈ E(G)}，则称 dhG(x) 是 G 的顶点 x 的分数度。若 h 满足对任 意 x ∈ V (G) 有 g(x) ≤ dhG(x) ≤ f(x)，则称 h 为 G 的一个分数 (g, f)? 表示函数。令 Eh = {e : e ∈ E(G)且h(e) 6= 0}，设 Gh 是图 G 的一个支撑子图使 E(Gh) = Eh，且 h 是一个 分数 (g, f)? 表示函数，则称 Gh 为 G 的一个分数 (g, f)? 因子，称 h 是 Gh 的表示函数。若 对任意的 x ∈ V (G) 有 g(x) = a, f(x) = b，则称分数 (g, f)? 因子为分数 [a, b]? 因子。如果 图 G 的任意 k 条边也属于它的一个分数 (g, f)? 因子 h，使得 h(e1) = · · · = h(ek) = 1，则称 图 G 是一个分数 (g, f)? k? 覆盖图。对图 G 的任何 k 条边 e1, e2, · · · , ek，如果图 G 有一个 分数 (g, f)? 因子 h，使得 h(e1) = · · · = h(ek) = 0，则称图 G 是一个分数 (g, f) ? k? 消去 图。 文[1,2,3]分别给出了一个图是分数 (g, f)? 覆盖图和分数 (g, f)? 消去图的若干充分条件。 本文进一步研究了图的分数 (g, f)? 因子问题，得到若干新的结论。 2 预备引理 设 G 是一个图，对 V (G) 的子集 S，用 G ? S 表示从 G 中删去顶点集合 S 及其关联的 边所得的子图。对 S ? V (G), G[S] 表示由 S 导出的 G 的子图。有 G ? S = G[V (G)\S]。 对 E ? E(G), G[E] 表示由 E 导出的 G 的子图，且 G ? E = G[E(G)\E]。对 S ? V (G)， 若 G[S] 中没有边，则称 S 是独立集。设 S 和 T 是 V (G) 的不交子集，我们记 E(S, T ) = {xy : xy ∈ E(G), x ∈ S, y ∈ T}. 收稿日期: 2005-03-10. 作者简介: 周思中(1975年11月生)，男，硕士，讲师，研究方向：图论与组合优化. ?基金项目: 江苏科技大学青年科研基金(2004SL001J). 330 工 程 数 学 学 报 第24卷 设 f(x) 是任意函数，为方便记 f(S) = ∑ x∈S f(x)，并令 f(φ) = 0。 引理1[4] 设 G 是一个图，则 G 有一个分数 (g, f)? 因子当且仅当对任意的 S ? V (G) 有 g(T )? dG?S(T ) ≤ f(S)，其中 T = {x : x ∈ V (G)\S, dG?S(x) ≤ g(x)}. 记 δG(S, T ) = dG?S(T )? g(T ) + f(S), 则引理 1可描述为： 引理2[2] 设 G 是一个图，则 G 有一个分数 (g, f)? 因子当且仅当对任意的 S ? V (G)， 有 δG(S, T ) ≥ 0，其中 T = {x : x ∈ V (G)\S, dG?S(x) ≤ g(x)}. 引理3[5] 设 G 是一个图，g 和 f 是定义在 V (