图K2,3+e的最优填充

主要讨论了2类6点7边图Gi＝K2,3 e(i=1,2）的最优填充存在性问题,证明了：存在（v,Gi,1）－OPD当且仅当v≥6,除去非最优（但为最大）的P（6,Gi,1）＝1有未知的（9,Gi,1）－OPD,i＝1,2。     

图K2,3+e的最优填充的存在性

讨论了2类6点7边图Gi＝K12,3＋e（i＝1,2）的最优填以存在性问题,证明了：存在（v,Gi,λ）－OPD当且仅当v≥6,除去非最优的P（6,Gi,1）＝1及未知的（9,Gi,1）－OPD,i＝1,2。     

关于K2,3+e的图设计

λKv是一个λ重v点完全图,G为一个不带弧立点的简单图。λKv的一个G－设计,常记为（v,G,λ)-GD,是指一个对子（X,　）,其中X为Kv的点集, 为Kv的一些子图（亦称为区组）构成的集合,使得任一区组均与图G同构,且Kv的任意2个不同点组成的边恰在 的λ个区组中出现。现讨论了2类6点7边图Gi=K2,3 e(i=1,2）的图设计存在性问题,证明了存在（v,Gi,λ)-GD(i=1,2）当且仅当14|λv(v-1),v≥6,且（v,λ)≠(7,1),(8,1)。     

完全图Kn的8长圈最小覆盖设计

首先对所需要的小阶数w构作其最小覆盖设计,然后应用递归构造给出了任意v≡w（mod 16）的最小覆盖设计,从而证明了对任意正整数v完全图Kv的8长圈最小覆盖设计的存在性.     

图的路覆盖数的上界

设G是简单图。记ρ(G)为覆盖图G所需路数的最小值。本文证明了ρ(G)≤[2n/3];且若G是连通图,则ρ(G)≤[3n/5]。     

完全二部图K3,3的s-正则二面体覆盖

将图称为s-正则的,如果它的自同构群作用在它的s-弧集上是正则的．Feng和Kwak分类了6阶完全二部图K3．3上保纤维自同构群弧传递的连通s-正则循环覆盖．现在,证明了不存在K3.3上保纤维自同构群弧传递的连通s-正则二面体覆盖．     

无桥图最短偶子图覆盖的上界

偶子图覆盖问题是图论研究领域的的重要内容之一,为研究最小偶子图覆盖猜想,利用整数流与偶子图覆盖的联系,借助于整数4-流在图的某个圈中扩充的结论,给出并证明了无桥图的最小偶子图覆盖的一个新的上界,改进了范更华给出的结论。     

关于图的圈覆盖

Ａ．Ｉｔａｌ和Ｍ．Ｒｏｄｅｈ给出了两个关于图的圈覆盖的猜想：（ｉ）任意２－边连通图Ｇ＝（Ｖ，Ｅ）有困覆盖Ｃ，使ｌ（Ｃ）≤｜Ｅ｜＋｜Ｖ｜－１；（ｎ）任意２－边连通图有困覆盖，使图的每条边至多被覆盖两次．本文证明了猜想对平面图和２－边连通没有３－边割的图成立，并给出了一与两猜想等价的条件．同时也对著名的２－圈覆盖猜想作了讨论．     

图之极小顶点覆盖

图的一个顶点覆盖被称为极小的假如其任何真子集不再是该图的一顶点覆盖，本文证明了某些图之所有极小顶点覆盖的个数的明确表达式，其中包括路径，梯形图，及线性ｎ部图。     

图的边覆盖染色与分数边覆盖染色

讨论了图G=(V,E)的分数边覆盖色数χ′cf(G)的概念和性质,给出计算χ′cf(G)的一个精确公式,即χ′cf(G)=minS2·|C[S]||S|+1,其中S为V(G)的非空子集且|S|为奇数,C[S]是E(G)的至少有一个端点在S中的边构成的子集,并证明δ-1<χ′cf(G)δ;同时讨论了χ′cf(G)与图G的边覆盖色数χ′c(G)的关系,并利用χ′cf(G)与χ′c(G)的关系对图进行分类.     

关于覆叠同伦正则态射

目的在点标道路连通CW空间的同伦范畴中,引进覆叠同伦正则态射的概念,研究它存在的条件、性质以及它与覆叠同伦单(满)态和覆叠同伦等价之间的关系。方法利用万有覆叠函子,将映射f:X→Y的研究转化为对它在万有覆叠空间上诱导的映射f~:~X(0)→~Y(0)进行研究。结果推广了同胚映射、同伦等价和同伦正则态射的有关结果。结论若f为同伦正则态射,则f必为覆叠同伦正则态射;若f为覆叠同伦正则态射,则f不一定是同伦正则态射。     

K2,2s-设计的存在性

λKv是一个λ重v点完全图,G为一个不带孤立点的简单图,λKv的一个G－设计,常记为（v,G,λ)-GD,是指一个对子（X,B）,其中X为Kv的点集,B为Kv的一些子图（亦称为区组）构成的集合,使得任一区组均与图G同构,且Kv的任意2个不同点组成的边恰在B的λ个区组中出现,用统一的方法构造了K2,2^s-设计,并给出其存在谱,存在（v,K2,2^s,λ）－GD当且仅当。     

K2s,2t-设计的存在性

Kν是ν点完全图,G为不带孤立点的简单图。Kν的G－设计常记为（ν,G,1）－GD,是指一个对子（X,B）,其中X为Kν的点集,B为Kν的一些子图（亦称为区组）构成的集合,使得任一区组均与图G同构,且Kν的任意2个不同点组成的边恰在B的一个区组中出现。采用统一的方法构造了K2^s,2^t-设计,并给出其存在谱如下：存在（ν,K2^s,2^t,1)-GD当且仅当ν≡1(mod 2^s t 1),s,t≥0。     

区组为K4-e的可分组核心设计

对组合设计理论中的核心设计进行推广, 考虑更具一般性的可分组核心设计. 利用直接构造和递归构造的方法, 解决了区组为K₄-e组型一致的可分组核心设计的存在性问题, 并证明对于n≥3, g≥1, 型为gⁿ的(K₄-e) 可分组核心设计均存在.     

覆盖广义粗糙集的一般化方法

在覆盖粗糙集理论中,将其模型与经典粗糙集统一是一个非常重要的问题。在覆盖近似空间中通过定义论域上的基于覆盖的等价关系,将覆盖广义粗糙集转化为经典粗糙集,由此将经典粗糙集理论的应用范围拓展到基于覆盖的背景中。分析表明,该方法比已有的基于等域关系转化覆盖广义粗糙集为经典粗糙集更直观且易于理解。最后举例说明了该一般化方法还可以提高目标概念的近似精度。     

K2,t+1和K1,n的Ramsey数

本文得到了一个较T.D.Parsons[3]的R(C4,K1,n)更为一般的R(K,t+1,K1,n)的结果.     

逻辑函数最小覆盖唯一性问题

对于存在冒险的逻辑函数，当数组A中元素排列不同时，其最小覆盖并不唯一。