关于D-图的注记.pdfVIP

第 49卷 第 1期 厦门大学学报 (自然科学版) Vo1．49 No．1 2010年 1月 JournalofXiamenUniversity(NaturalScience) Jan．2010 关 于 D一图 的注 记 边 红 ，张福基 (1．新疆师范大学数理信息学院，新疆 乌鲁木齐 830054； 2．厦门大学数学科学学院，福建 厦门361005) 摘要：为了研究具有完美匹配图的Tutte集和极端集，DBauer等提出了一种新的图运算I)-图，并且得到许多有趣的性 质．本文研究了基本 图的水平 ，证 明了对于任何非二部的基本图，它的D (G)是一个完全 图．此外，还给出了饱和图G的 图的刻画，并且对于一般图的情形做 出了分析． 关键词：)【．图；完美匹配；完全图 中图分类号 ：0157．5 文献标识码 ：A 文章编号 ：0438—0479(2010)一01—0008—03 路．显然，xyffE(D(G))当且仅当图G中存在PM[z， 1 背景介绍 ]，这种关于D(G)的边集的刻画在文献[3]中被用来 研究 图的结构特点．用 D (G)表示对 图 G做 k次 本文考虑 的图都是简单 、有限、连通 图．对于在文 )【_图运算之后所得到的图，例如：D。(G)一D(D(G)) 中出现但没有定义的术语和符号请参 阅文献[1—2]． 图G的一个边子集M 被称为一个匹配，如果图G 等等．用level(G)来表示图G的水平 ，它被定义为满足 的每一个顶点最多和M 中一条边相关联．一个匹配M D (G)兰D件 (G)最小的正整数 z，取 D。(G)一G．文献 称为完美匹配 ，如果图G的每一个顶点恰好和M 中的 [3]中证明了当D(G)做迭代 图运算时有很多有趣 一 条边关联．一个图被称为是 1一可因子化 的，如果它 的性质．ABusch等[5]对于所有的简单 图，给出了两种 有一个完美匹配．G的一条边称为是允许的，如果它位 自然的广义D～图运算 ，这两种图运算有许多与原来 于图G的某个完美匹配之中，否则称为禁止的． )【_图D(G)相类似的性质． 设 。(G)是一个图G的奇分支的个数．图G的亏 Bauer等口]证明了图G同构于 D(G)的一个生成 量定义为 ：def(G)一maxxy(。(cu。(G—X)一lX1)，这 子图，并且在文献 [3]中给 出了G兰D(G)，D(G)兰 就等于没有被图G的任何最大匹配所匹配的点 的个 D。(G)的刻画．本文研究了基本图的水平 ，并且证明了 数．一个点子集 x (G)被称为是一个图G的Tutte 对于任何非二部的基本图，它的D。(G)是一个完全 集 (或者 barrier集)，如果 def(G)： 。(G—X)一 lxl； 图．此外，还给出了饱和图的I)-图D(G)的刻画，并且 并且被称 为是一个极 端集 ，如果 def(G—X)： 对一般图的类似问题做了相应的讨论． deftG)+ lx1．对于任何一个 卜可因子化图G，为了研 2 主要结果 究具有完美匹配 的图的 Tutte集和极端集 ，Bauer 等[3]介绍 了一种新 的图运算被称为是D一图D(G)． 一 个 1一可因子化图G是基本的，如果它的允许边 D一图D(G)的顶点集和边集如下定义 ：V(D(G))= 构成一个联通子图．定义：P(G)=