关于Catlin的2／3—猜想

表示一个图,若Ｇ有一个欧拉生成图,则称Ｇ是超欧拉图。Ｃａｔｌｉｎ的２／３－猜想：设Ｇ是超欧拉图,Ｇ≠Ｋ１,则Ｇ存在一个欧拉生成子图Ｈ,使得Ｅ（Ｈ）／Ｅ（Ｇ）≥２／３。笔者证明了对于Ｃａｙｌｅｙ图,猜想成立。     

关于Catlin—猜想的一个定理

文献[3]给出了判定超欧拉图的一个定理：设G是一个2－边值通的不含K3－子图的简单图，n=|V(G)|≥31。如果δ（G）≥n/10，并且G不能被收缩成K2，3则G有一个欧拉生成子图。证明了在上述条件下，G有一个欧拉生成子图H使得|E(H)|≥2／3|(E(G)|,或者G－E（H）有平凡分支。     

关于Catlin的2/3—猜想

G表示一个图 ,若G有一个欧拉生成子图 ,则称G是超欧拉图。Catlin的 2 3—猜想 :设G是超欧拉图 ,G ≠K1,则G存在一个欧拉生成子图H ,使得｜E(H) ｜ ｜E(G) ｜≥ 2 3。笔者证明了对于Cayley图 ,猜想成立。     

关于Catlin-猜想的一个定理

文献 [3 ]给出了判定超欧拉图的一个定理 :设G是一个 2 -边连通的不含K3-子图的简单图 ,n=｜V(G) ｜≥ 3 1 如果δ(G) ≥ n1 0 ,并且G不能被收缩成K2 ,3,则G有一个欧拉生成子图 证明了在上述条件下 ,G有一个欧拉生成子图H使得 ｜E(H) ｜≥ 23 ｜E(G) ｜ ,或者G -E(H)有平凡分支     

关于Catlin-猜想的反例

Catlin的 2 /3—猜想 :若G是超欧拉图 ,G≠K1 ,那么G有一个欧拉生成子图H ,使得｜E(H) ｜≥ 23 ｜E(G) ｜ .给出了Catlin的 2 /3—猜想的一些反例     

关于Euler生成子图极大边数的一个注记

若图G存在欧拉生成子图,则称G是超欧拉图(supereulerian).常用SL表示全体超欧拉图组成的集合 设G是有n个点的简单图,G∈SL,如果δ(G)≥ 4且δ≥n5-1,则G存在欧拉生成子图H,使得 |E(H) | / |E(G) |≥ 3/5     

Euler生成子图边数的一个定理

证明了：设G＝（V,E）是2－边连通的简单图,|V|＝n,δ（G）是G的最小度,若δ（G）≥max｛4,(n-4)/5｝时,G存在Euler生成图H,使得|E(H)|/1E(G)|≥2/3,即此时Catlin时的2／3－猜想成立。     

超欧拉图生成子图边数问题的综述

综述了超欧拉图的生成子图边数问题,包括该问题的提出及研究发展过程,并罗列了两类公开问题:能否证明边数问题的下确界是35,若不能证明,能否找到更小的下确界?对一些著名的超欧拉图类,如具有两棵边不交的生成树的图等,能否证明其满足Catlin-猜想或35-猜想?     

超欧拉图的一个注记

得到了超欧拉图的一个特征性质:G是简单图,则G是超欧拉图当且仅当G中有边不交路P1,…,Ps,使得E(Pi)连通.利用它可以证明:当m,n不其端点两两不同,并且满足O(G)={Pi的端点|=1,2,…,s},G-∪si=1同时为3时,m×n型矩形网格图是超欧拉图.     

一类α-子图

根据相关文献中给出的用以寻找欧拉生成子图极大边数的有效工具α-子图的概念,证明了对于任意G ∈ SL,Kl,m(l≥3,m≥3)是G的1-min{l,m}/1-子图.     

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

利用收缩的方法研究了超欧拉图的欧拉生成子图的边数问题,得到了结果:若 1个超欧拉图的子图H最多差 1条边有 3棵边不交的生成树,如果把H收缩后的图满足Catlin猜想,则原图也满足Catlin猜想 .     

关于Erdos—Sos猜想的一个定理

１９６３年Ｅｒｄｏｓ和Ｓｏｓ猜测：若Ｇ是ｎ阶简单图，并且边数ε（Ｇ）〉１／２ｎ（ｋ－１）则Ｇ包含任一棵ｋ阶树，本文证明当ｋ＝ｎ－３时此猜测是正确的。     

关于Bowen猜想

当ｒ，ｎ为正整数，丢番图方程Σ＾ｎ－１ｎ＝０９１＋ｋ）６ｒ＝（１＋ｎ）６ｒ只有正整数解ｒ＝１，ｎ＝２。     

超欧拉图判定方法的一个注记

通过对图的奇顶点的导出子图做研究,得到了由奇顶点的导出子图的性质判定图的超欧拉性的方法,即当图的奇顶点的导出子图满足一定性质时,可得出图的超欧拉性.     

关于蕴含Pk可图序列的ERDOS—JAOBSON—LEHEL猜想

设σ（ｋ,ｎ）是具有下述性质的最小正偶数,每个度和至少为σ（ｋ,ｎ）具没有零项的ｎ项可图序列都是蕴含Ｐｋ可图的。ｇｑ     

3-方体的一个性质

在相关文献中,引入了α-子图的概念来探索超欧拉图的极大欧拉生成子图的边数,并且证明了2-方体在加入一条新边的情况下是一个3/5-子图．研究了3-方体,证明了3-方体在加入一条新边的情况下是一个9/13-子图.     

一类α-子图

根据相关文献中给出的用以寻找欧拉生成子图极大边数的有效工具α-子图的概念,证明了对于任意G∈SL,Kl,m（l≥3,m≥3）是G的1-1/min{l,m}-子图．