关于Catlin—猜想的反例

Catlin的2／3－猜想：若G是超欧拉图，G≠K1，那么G有一个欧拉生成子图H，使得|E(H)|≥2／3|E(G)|。给出了Catlin的2／3－猜想的一些反例。     

关于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的2/3—猜想

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

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

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

关于Catlin-猜想的反例

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

一类含两棵边不相交生成树的图

若C有一个生成子图是欧拉图,则称G是超欧拉图(supereulerian graph).用SL表示全体超欧拉图的集合.1995年,赖虹建(LAI Hong-jian)、陈志宏(CHEN Zhi-hong)提出一个关于欧拉生成子图边数的公开问题;决定:L=min max G∈SL-{K1}{|E(H)|/|E(G)|} : H是G的欧拉生成子图}定义了一些含两棵边不相交生成树的图Fi(i=1,2,3),证明了如果G∈F3,那么L≥2/3.     

边-超欧拉图的一个度数和条件

图G称为边-超欧拉图,如果对于它的任一条边e,都有欧拉生成子图H包含e．给出了边-超欧拉图的一个度数和条件,即：设G是2一边连通的n个顶点的简单图,如果n≥100并且对于图G的任意两个不相邻的顶点u和v都有d（u）＋d（v）≥2/5n,那么对于图G的任意一条边e,或者G有欧拉生成子图H包含e,或者G（G关于e的剖分图）可以被收缩成K2.3或K2.5．     

3-边连通图中的超欧拉图

一个含有生成闭迹的图称为超欧拉图。设G是n阶3－边连通图，若对任意G的边数为3的最小边割E都满足G－E遥每一连通分支的阶至少为（n-1）／10，则或者G是超欧拉图，或者G可收缩为G‘＝Petersen图，且G‘的每个顶点在G中的原像是G的一个可折叠子图，其顶点数至少是（n-1）／10。     

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－猜想成立。     

图中含有给定圈的正则因子存在性度条件

设n和r是正整数使得r≥n＋1≥4．一个图被称为K1,n-free图，如果它不含导出子图K1,n。证明了：若G是一个有圈H的图且r｜V（G）｜为偶数，G—E（H）是连通的K1,n-free图且G—E（H）的顶点最小度至少是（n（r＋1）-3/r-2）[rn-2/2（n-1）]-n-1/r-2（[rn-2/2（n-1）]）^2＋n-3那么G有r-因子F包含H中的所有的边．     

关于判定超欧拉图的收缩法

P.A.Catlin提出一个问题：设H是图G的一个连通子图，如果G关于H的收缩图G/H有一个欧拉生成子图，那么在什么条件下G也有一个欧拉生成子图？研究了这一问题，讨论了Catlin提出的用收缩法判定超欧拉图的两个定理，给出了一些实用的超欧拉图的判别方法。     

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

证明了设G=(V,E)是2-边连通的简单图,| V |=n,δ(G)是G的最小度,若δ(G)≥max{4,n-4/5}时,G存在Euler生成子图H,使得| E(H)|/|E(G)|≥2/3;即此时Catlin的2/3--猜想成立.     

关于Catlin的2／3—猜想

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

广义棱柱和补棱柱中的超欧拉图

对于一个图G,它的顶点标号为1,2,…,n,S_n是在{1,2,…,n}上的n次对称群,α∈S_n是一个置换,图G的α-广义棱柱,记作α(G),是指图G的2个复制,G_x和G_y,连同所有置换边(x_i,y_(α(i))(1≤i≤n)所构成的图.图G的补棱柱,记作G G,同构于由G和G的补图G的不交并,再加上一个连接G和G对应顶点的完美匹配构成的图.如果图G有一个生成欧拉子图,那么称G是超欧拉图.研究了完全二部图、路和圈的广义棱柱和补棱柱是超欧拉图的充要条件.     

可扩图的一些性质

设G是一个连通的简单图且具有完美匹配。如果G的任一基数为n(n≤(|V(G)|-2)/2的匹配都能扩充为G的一个完美匹配，则称G为n-可扩的。对于S包含于V(G),记M是G[S]的基数为r的最大匹配，并令T＝S－V（M）。对连通的非二部的n-可扩图G（n≥2），得到以下结果：（1）若r≤n且|T|≥2，则|V(G)|≥2(n r |T|--1)。（2）若r≤n-2且|T|≥2，则|V(G)|≥2(n r |T|)。（3）若|V(G)|≤4n-2，则对于任一u∈V(G),G[Г(u)]都有一个基数为n的匹配。     

二部图 K(m,n)-A(|A|≥2)的色唯一性

设G是简单图，用P（G,λ）表示图G的色多项式，若对任意简单图H使P（H，λ）＝P（G，λ），都有H与G同构，则称G是色唯一图，用K（m,n）－A表示从K（m,n）中删去边子集A所得的二部图，令L2^-s(m,n）＝｛K(m,n)-A||A|=s｝，研究一般形式的K（m,n）－A的色唯一性问题，通过引进色正规图类的概念，使用比较两个色等价图的色划分数的方法，得出G∈L2^-s(m,n）的色等价图仍然是属于L2^-s(m,n）的一般形式数值条件，进一步得出G∈L2^-s(m,n)(2≤s≤4)为色唯一图的一般形式数值条件，所得结果完全覆盖并推广了1997年以前该研究方向的相关结果。     

一类α-子图

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

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

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

与任意图2-正交的(g,f)-因子分解

设G是一个图，用V(G）和E(G）表示它的顶点集和边集，并设g(x）和f(x）是定义在V(G）上的两个整数值函数，且对每个x∈V(G），有4≤g(x)≤f(x)，则图G的一个支撑子图F称为G的一个（g，f）-因子，如果对每个x∈V(G)，有g(x)≤dF(x)≤f(x)。图G的（g，f）-因子分解是指E(G）能划分成边不交的（g，f）-因子，设F={F1,F2,…,Fm}和H分别是图G的因子分解和子图，若对所有1≤i≤m有|E(H)∩E(Fi）|=2，则称F和H2-正交。本文证明：若G是一个（mg m-1，mf-m 1）-图，H是G中任一有2m条边的子图，则G有一个（g，f）-因子分解与H2-正交。     

矩阵环的欧拉恒等式与标准多项式恒等式

Szigeti-Tuza和Revesz使用Swan图论定理构造了n×n矩阵环Mn（C）的欧拉恒等式[1].本文中证明这些恒等式可由标准多项式生成,即：若欧拉图Γp,q从某顶点t到u（t,u可为同一点）至少有n条边,则该欧拉图对应的欧拉多项式fΓp,q（X）可由标准多项式Sn（X）生成.该结果不仅推广了Chang[2]和Giambruno-Sehal[3]的结果,而且找到由欧拉恒等式生成的T-理想的一个有限生成集.