一类k可扩图和一类n因子临界图.pdfVIP

第 7卷第 3期 广 东 轻 工 职 业 技 术 学 院 学 报 VO1．7 NO．3 2008年 9月 JOURNAL OFGUANGDONG INDUSTRY TECHNICAL COLLEGE Scp． 2008 一 类k可扩图和一类 因子临界图 张赞波 (广东轻工职业技术学院 计算机工程系，广东 广州 510300) 摘 要 ：k可扩图和 n因子临界图是近年来图论研究的热点。在本文中介绍了我们发现 的新的k可扩图和 n因子 临界图。我们证明了一个对称设计的关联 图是 k可扩 图，而 Harary图则是 7／,因子临界图。 关键词 ：k可扩图；n因子临界图；对称设计，Harary图 中图分类号：0157．5，0157．6 文献标识码：A 文章编号：1672-1950(2008)o3- 0013 4 1 基本定义和介绍 (1)G为 k可扩图； (2)I l=I l，并且对于 的任意满足IU l≤ 本文考虑有限的无向简单图。对于文中出现但 IUI—k的子集 ，IJ、r(U)I≥l I+k； 未作定义的关于图论和组合设计理论的概念和记号 (3)对于 中任意k个点 “。，z：‘，…，“。∈U和 请参考文献[1]和[2]。 中任意k个点 tc}l，llJ2，…，1,0IEW，G =G一g／l一／,／2一 一 个图G的顶点集合和边 的集合分别记为 E …一uI—ogI一 2… ·一埘I都有完美对集。 (G)和 (G)。图的没有公共顶点的边 的集合称为 对于 7／,因子临界性，我们有以下刻画。 图的对集，或匹配。称一个顶点被一个对集覆盖 ，若 引理 2．(Favaron[4]，于青林 [5])一个图C是 它与一条对集边关联。如果图的一个对集覆盖了图 厅因子临界的当且仅当n与l(G)I奇偶性相同，并 的所有顶点 ，则此对集为一个完美对集。令 G为一 且对于任意满足IsI≥rt的顶点集合Scl，(c)，都有 个具有完美对集的连通图，k≤I(G)I／2—1，如果 D(G—s)≤IsI—n。其中o(G—s)表示 G—s的奇 G的任何一个大小为k的对集都包含于 G的一个完 分支数 目。 美对集，则称 G为一个 k可扩 图。k可扩图的概念 在本文中，我们给出一类新的k可扩图和一类 由Plummer于 1980年在文[3]中提出，此后广受关 新的n因子临界图。 注，成为图论研究的一个热点。在 90年代，Favaron 和于青林([4]和[5])先后提出了另一个与可扩性 2 一类 k可扩 图 关系密切的概念 ，即因子临界性。一个图称为 rt因 在本节 中我们研究对称区组设计的关联图的可 子临界的，如果对于图的任意大小为 rt的顶点子集 扩性。首先我们给出一些关于区组设计的定义。 S，G—S都有完美对集。 令 为一个具有 个元素的集合 ， 的元素称 考察一个具有二分部 (U，Iv)的k可扩二部图 为点，B={曰。，B ，…，．}是 的一个 Ji}元子集族 ，k G，显然，G必定为平衡二部图，即有 I￡，l_I I。关 ≤t7，其中的子集合 B