与直径有关的上可嵌入图类.pdfVIP

第 36卷 第 6期 河南师范大学学报(自然科学版) V Z．36 N0．6 2O08年 l1月 J0rnZo-厂H n N0rm ZU Pr ￡ (N口 ZSc c) N 0 ．2OO8 文章编号 ：100O一2367(2O08)O6一OOO5一O4 与直径有关的上可嵌入图类 欧阳章东 。，黄元秋 ，周金玉。 (1．湖南师范大学 数学系，长沙 41OO81；2．湖南理工职业技术学院基础课部，湖南 湘潭 4l11O4) 摘 要：通过对边添加一些限制条件，进一步研究了直径为3和4的图的上可嵌入性，得到了一些新的上可嵌 入图类．从而综合 已有结果，完整地刻画了这类 图的上可嵌入性情况． 关键词：图；Betti亏数；上可嵌入性；直径 中图分类号 ：O157．5 文献标识码：A 所考虑 的图，若特别无指明，均指有限无 向连通 图，且可能有重边或环 ．用 (G)和 E(G)分别表示 图G的点集和边集．若 在图G中顶点 “和顶点 是连通的，则 “和 之间的距离 。(“，)是G中最短 (“，口)路的长；若没有路连接 “和 ，则定义 (，)一+Cx。．一个图G的直径，记为 d(G)，是指G的两个顶点之间的最大距离．其它未解释的图论术语均同文献[1]． 曲面指一个连通紧致 2一维闭流形．图G在 曲面S上的2一胞腔嵌入意指存在 1—1连续映射 ^：G— S，使得 S＼(G)的每 个连通分支与开圆盘拓扑同胚．本文考虑的嵌入均指胞腔嵌入 ，此时，s＼(G)的每个连通分支称为 G在 S上的面，其大小指 与该面关联的G的边数 ．图G的最大亏格 ，记为 yM(G)，是指最大的整数 使得G能 2一胞腔嵌入亏格为 的定 向曲面S 上． 因为 图在任意定 向曲面 的2一胞腔嵌入 中至少有一个面 ，由E l。公式易得一个 图G的最大亏格上界 ’，(G) L l，其 中 卢(G)：iE(G)l—l (G)l+1称为图G的Betti数．一个图G称为上可嵌人的，如果yM(G)一L ： J．有关最大亏格及上可 嵌人性的详细叙述 ，可参 阅文献 [2—5]． 在最大亏格的研究 中，一个最显著的事实就是最大亏格这个拓扑不变量能被纯组合形式刻画．下面 的定理 (Liu_l3]， xu0ng )是研究最大亏格的基本定理，它给出了最大亏格 由 (G)和 (G)所表示的一个公式以及一个图G是上可嵌入的充 要条件 ． 定理 l 设 G为图，则 (1)yM(G)一 (口(G)一S(G))／2；(2)G是上可嵌入 的当且仅 当 (G) 1． 关于图的直径与最大亏格的关系，一直引起广大图论学者的注意．首先，文献[6]和[7]用不同方法研究了直径为 2的图， 得 到 ： 定理 2 ’ 设 G为无环图， (G)一 2，则 G是上可嵌入的． 文献[8]进一步研究了直径为 3的图，得到： 定理3[8 设G为无环图，d(G)一3，则yM(G)三三=÷ (G)一1． 近期，文献 [9]研究了直径为 4的图，得到 ： 定理4[。 设G为简单图，d(G)一4，且不含完全子图K。，则 (G) ÷卢(G)一2． 由定理 3和定理 4知道 ，直径为 3或4的图并一定是上可嵌入的．事实上，存在无数这种非上可嵌入图类(见文献[8])．这 就导致我们去考虑还要增加哪些条件才能保证直径为 3或 4的图是上可嵌入的．基于此 目的，对 图的边增加 了限制条件后 ，得 到了一些新 的上可嵌入图类． 1 有关定义和引理 定义 1 对于任意集合 X ，用 JX l表示 X 的基数 ；设 y为 图G的任意边子集 ，G＼y表示从G 中去掉 y中的所有边所得 到 的图． 收稿 日期 ：2。07一O9—17 基金项 目：国家 自然科学基金(1O771O62)；教育部 “新世纪优秀人才支持计划”项 目(NCET一07—0276) 作者简介 ：欧阳章东(198l一)，男，湖南郴州人 ，湖南师范大学博士研究生 ，研究方向：图论及其应用． 6 河南师范大学学报 (自然科学版)