极大欧拉生成子图边数的几个定理.pdfVIP

第22卷第1期 重庆工商大学学报(自然科学版) 2005年2月 V01．22No．1 TechnolBusiness Sci Feb．2005 JChongqing Univ．(NatEd) 文章编号：1672—058X(2005)01—0006—02 极大欧拉生成子图边数的几个定理 李霄民，王斌 (重庆工商大学理学院，重庆400020) 摘要：利用收缩的方法研究了超欧拉图的欧拉生成子图的边数问题，得到了结果：若1个 超欧拉图的子图日最多差1条边有3棵边不交的生成树，如果把日收缩后的图满足Catlin猜 想，则原图也满足Catlin猜想． 关键词：超欧拉图；欧拉生成子图；收缩；边数；边不交的生成树 中图分类号：O157．5 文献标识码：A 这里讨论的图均为无向简单图，记号遵循文献[1]． Eulerian graph)，若G有1个欧拉生成子图(SpanningSubgraph)简 图G称为超欧拉图(Supereulerian 记为SES．全体超欧拉图记为SL 其子图日的收缩图，是把日的所有顶点合并为1个顶点，并删去产生的环(Loop)所得到的图，记为G／凰 关于超欧拉图的欧拉生成子图边数问题，赖虹建等人提出一个公开问题，即寻找卢= 唿焉xi黼：毋s_SES_of_Gj P．A．Catlin提出猜想：V G∈SL，G≠K。，存在G的欧拉生成子图日，s．t．F羚岩÷≥号，即卢=号． 并含有两棵边不交的生成树，则Catlin猜想是成立的．对此作一点探讨． 定理l r(G)≥3，则Catlin猜想成立． 证明 丁(G)≥3，则必有IE(G)I≥3(1 为一森林，即IE(G—E(日))I≤Iy(G)I一1，所以有： ‘ 。 3 酱甜=咀盟酱箫型业-1-咀铲≥1一揣器旨=争l E(G)l E(G)I E(G)I (Iy(G)I一1) 定理2 c 设G∈SL，H F，Ⅳ、I ，’ 证明 y(日)IdⅣ(秽)为奇数，且与日。有偶数条边邻接，或如(口)为偶数，且与日，有奇数条边邻接}，那么S= 生成欧拉子图．由于日一E(，)为一森林，所以#≥告*≥÷，那么有： I凸k／1，I J I E(G)I E(日1+，)I=lE(日1)I+lE(Jrl)l≥÷IE(G／H)I+÷lE(日)l=÷I 对于定理l，有下面更进一步的结论： 定理3 若C最多差I条边满足丁(c)≥3，则Catlin猜想成立． 引理 G∈SL，H为G的极大欧拉生成子图，则∞(G—E(日))≥2． 证明 收稿日期：2004—10—29：修回日期：2004—11一19． 作者简介：李霄民(1970一)，男，山西省稷山县人，讲师，从事图论研究 万方数据 第l期 李霄民，等：极大欧拉生成子图边数的几个定理 7 下面证明定理3： 证明 由定理3条件知，IE(G)l≥3n一4．令I 。 I E(G)I、3n一43(n一)一 、3( 一