图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]。     

一类特殊图的最优填充

本文运用图的最优填充的分解定理和局部最优充定理，研究图Ｇ＊Ｔ的最小填充数和最优消去顺序，其中Ｇ为几乎完全图，Ｔ为树。     

Petersen图的一致最优可靠性

本文证明了Petersen图是10点15边图中唯一的一致最优可靠图。     

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

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

图之极小顶点覆盖

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

几类7点7边图的图设计与最优填充

设λKv是λ重ν点完全图，G是无孤立点的有限简单图。将G－设计（G－填充）记作（ν，G，λ）－GD（（ν，G，λ）－PD）是指一个序偶（X，B），其中X是完全图Kν的顶点集，B是Kν中间构于G的子图（区组）的集合，使得Kν中每条边恰好（至多）出现在B的λ个区组中。讨论了3类7点7边图Gi(i=1,2,3)的图设计及最优填充问题，并给出了（ν，Gi,1)-GD及（ν，Gi,1)-OPD(i=1,2,3)存在的谱。     

关于近似二部图边覆盖染色的一个充分条件

设G是一个简单图,其顶点集为V(G) 而边集为E(G) . S∈E(G)称为G 的一个边覆盖,如果由S 导出的子图是G 的一个生成子图. G 的边覆盖色数χ’c(G) 是E(G) 所能划分成的最大边覆盖数. 已知 δ-1≤χ’c(G)≤δ ,由此将 χ’c(G)=δ的图称为CⅠ类图,否则称为CⅡ类图. 显然,图的边覆盖染色分类问题是NP-完全的. 给出了近似二部图是CⅠ类图的一个充分条件,而且该条件中的下界是最好的。     

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

讨论了图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。