3连通K_(1,3)-Free图G的最长圈

该文证明如果G是3连通K_(1,3)-Free图,则G有长度至少是3δ+3的圈。如果G是3连通K_(1,3)-Free图且δ≥(p-3)/3,则G是Hamilton图。     

二分图含圈与对集的一个构造性证明

给出了一个二分图G =(V1 ,V2 ;E)有一个支撑子图包含一个指定长度的圈和一个对集的度条件 .并且证明了若 |V1 |=|V2 |=n =2k ,则G有一个 2 因子恰有一个 8 圈和k 2个 4 圈或恰有k个 4 圈 .     

一些特殊矩阵Moore-Penrose逆

给出了计算无圈二分图的对应的矩阵的广义逆的求解方法,求所有最大匹配与所有SDR的算法,并给出了单圈二分图或者共圈二分图的矩阵广义逆的计算公式.     

完全图的最小6-圈覆盖和8-圈覆盖

提出了完全图最小圈覆盖的覆盖数下界,运用递归构造的方法,把顶点数v的研究范围归结到区间[m,3m-1]中的部分数值上来,并就圈长m=6,8的情形给出了完全解．     

关于弦图的色性

研究了n类弦图的色性,分别给出G=k_(n+1)[K_m]K_(m+1)[K_m]K_(m+1);图G含有K_(n+1)子图,G=K_(n+1)[K_m]K_(m+1)[K_m]K_(m+1)[K_m]K_(m+1);G=K_(n+1)[K_m]K_(m+1)[K_l]K_(l+1)的充分必要条件。     

图的第二个最小特征值的界

设 G 是 n 个顶点的简单图,λ_(n-1)(G)为 G 的第二个最小特征值。G 的非孤立点形成的图记为 G_1,V(G_1)=s,(3≤s≤n)。本文主要证明了:a.若 G_1不是完全偶图,则λ_(n-1)(G)≤λ_(s-1)(K_(2,s-2)-(?)),等式成立(?)G_1(?)K_(2,s-2)-e。其中图 K_(2,s-2)-e 为完全偶图 K_(2,s-2)去掉一边 e而得到的图 b.若 G_1既不是完全偶图.又不是 K_(2,s-2)-e,则λ_(n-1)(G)<-2~(1/2)/2。     

关于完全二分3-超图的Hamilton圈分解

超图是离散数学中最一般的结构，无圈超图已被证明在数据库设计中非常有用，笔者在文[4]所建立的超图的公理系统基础上，用巧妙而构造性方法分别给出了完全二分3－超图H^3(p,p)(p是素数）的Hamlton图分解和完全二分3－超图H^3(p,p)(2|p)的Hamilton图分解，并提出猜想：当p为素数且p≡1（mod4）时，H^4(p,p)可以Hamilton圈分解。     

Ramsey数r(mC_3,nC_4)

对于图G和图H ,Ramsey数r(G ,H)定义为最小正整数 p ,使得完全图Kp 用红、蓝两色作任意边着色后 ,总含红色子图G或蓝色子图H。以mG记m个图G的不相交并 ,Ck 记长度为k的圈 ,对于正整数m、n ,n≥m≥ 1 ,本文确定了Ramsey数r(mC3 ,nC4)。     

连通,局部连通,无爪图是点泛圈图

如果对每个k,3≤k≤|V(G)|,图G的每个顶点都在长度为k的圈上,则称G是点泛圈图。局部连通性由Chartrand等人引进。本文证明了每个连通,局部连通且不含同构于K_(1,3)的导出子图的图是点泛圈图。     

关于CmUnK_2的对角Ramsey数

本文所讨论的图都是有限、无向简单图,记为G=(V,E),其中V、E分別表示图G的顶点集、边集。K_n表示n个顶点的完全图,K_(n,n)表示每部有n个顶点的完全两部图;Pn表示n个顶点的路;Cm表示m个顶点的圈,当m为奇(偶)数时,称Cm为奇(偶圈;CmUnK_2表示顶点数为m 2n的图,其中m个点组成圈Cm,余下2n个点组成nK_2(n个K_2的并图)。     

偶图与多重完全图谱半径的界

G为连通简单图,A是G的邻接矩阵,ρ(A)是A的谱半径。当G为偶图时,ρ(A)≤e~(1/2)(e是G中边的个数),等号成立当且仪当G为完全偶图;当G为完全多重图即G=K_(m_1,m_2,…,m_n)时,等号成立当且仅当m_1=m_2=…=m_n。     

一些OP2(3a,sb)的存在性结果

主要讨论二重广义Oberwolfach问题OP2（3^a，s^b）的存在性．运用不完全可分解圈设计和圈支架的递推构造方法以及加法群作用的直接构造方法，证明了对任意的1≤6≤3和s=4，5都存在OP2（3^a，s^b）．     

三色拉姆塞数R3(C8)研究

用r种颜色对图G的所有边着色,记着第i色的边构成的子图为Gi,如果存在一种着色方法使得每一个Gi(1≤i≤r)都不包含图H,则称图G对于H可以r着色.拉姆塞数Rr(H)是使得完全图Kn对于H不可以r着色的最小正整数n.令Cm表示长度为m的圈,Dzido等证明了R3(C2k)≥4k.本文对k=4的情形进行研究,利用计算机,通过大量的计算证明了R3(C8)=16.     

泛圈图的一个充分条件

本文证明了:如果G是n(≥9)阶2连通无爪图,且G的每个导出子图Z_1,满足当u,v∈V(G)d_(z_1)(u,v)=2时有|N(u)UN(v)|≥n-3,则G是泛圈图或圈.其中Z_1≌(K_2UK_1)VK_1.     

关于[a,b]—覆盖图的邻域并条件

本文给出了一个图是[a,b]-覆盖图的关于临域并的充分条件,得到下列结果:设1≤aaan b1,则图G是一个[a,b]-覆盖图。     

非连通并图的优美标号研究

设图G3是长度为3的圈C3或为含3个顶点的路P3,文章给出了非连通图(G3∨Km)∪Kn,t和(G3∨Km)∪Pn,并证明了对任意正整数m,n,t,如果min{n,t}≤m,则图(G3∨Km)∪Kn,t是优美图;如果2≤n≤2m+1,则图(G3∨Km)∪Pn是优美图;同时证明了对任意正整数m,n,图(G3∨Km)∪St(n)和(G3∨Km)∪W2n+5是优美图.其中,Pn是n个顶点的路,G1∨G2是图G1与G2的联图,Km是m个顶点的完全图,m是Km的补图,Kn,t是具有二分类(X,Y)的完全偶图,且|X|=n,|Y|=t,St(n)是具有n+1个顶点的星形树,Wn是具有n+1个顶点的轮图.     

关于图的广义Mycielski图的邻点可区别关联着色

邻点可区别关联着色是使得相邻顶点的颜色集不同的关联着色。主要研究了路,圈C3m, C4m与完全图的广义Mycielski图的邻点可区别关联色数, 拓展了图着色的领域,便于更好的研究图的结构。     

一些扫帚图的Ramsey数

给定图G,Ramsey数R(G)是最小的正整数N,满足对完全图K_N的边任意红蓝着色,则或者存在红色子图G或者存在蓝色子图G.扫帚图B_(k,m)是将星图K_(1,k)的中心点与路Pm的一个端点黏成一个点得到的树图.由此得到,当k为大于1的正整数时,R(B_(k,2k-1))=4k-2且R(B_(k,4))=2k+3.     

笛卡尔乘积图的k-路点覆盖

对于一个图G和一个正整数k,若图G中任意一条阶数为k的路都至少包含集合S?V(G)中的一个顶点,那么集合S就为图G的一个k-路点覆盖。最小的k-路点覆盖基数记为ψ_k(G),为图G的k-路点覆盖数。研究圈图分别与圈图、完全图及完全二部图做笛卡尔乘积图的k-路点覆盖,得到ψ_k(G)相关的精确值和上下界。     

完全图的因子计数

一个图H称为一个双星 (DoubleStar) ,当H由 2个不交的星K1,m1 、K1,m2 加上连接它们最大度点的一条边所构成 .图G的一个支撑子图F称为一个双星 (DS)因子 ,当F的每一个连通分支是一个双星 .若F的每一个连通分支是路 ,圈或顶点数大于等于 4的星 ,则称F为G的一个PCS -因子 .完全图Kn存在DS -因子和PCS-因子 ,它们的计数公式分别由定理 1和定理 2给出