有悬挂边的圆柱面格子图的K──优美性

研究了有悬挂边的圆柱面格子图的Ｋ—优美性问题，证明了所有图＜Ｐ＿ｍ，Ｃ＿ｎ＞（ｍ＞１）是Ｋ—优美的。     

有关A’da’m猜想的定理

根据循环图的性质，得出了Ｃ＿ｎ＜ｊ＿１，ｊ＿２，…，ｊ＿ｒ＞与Ｃ＿ｎ＜ｊ＿１，ｊ＿２，…，ｊ＿ｒ＞同构的充要条件及Ａ’ｄａ’ｍ猜想对２ｒ度循环图成立的充要条件。     

关于3—控制临界图的某些结果

以γ（Ｇ）记图Ｇ的控制数，如果对Ｖ（Ｇ）中任何一对满足条件ｕｖ不包于Ｅ（Ｇ）的顶点ｕ，ｖ，有γ（Ｇ＋ｕｖ）＜γ（Ｇ），则称Ｇ是控制临界的γ（Ｇ）＝ｋ的控制临图图称为是ｋ－控制临界的，得出以下两个结果：１）如果Ｇ是具有ｎ（＞＞２ｋ）个顶点的连通３－控制临界图，则Ｇ中度≤２ｋ的顶点的个数至多为２ｋ，２）每个连通３－控制临界图或者有一个独立３－控制集或者有一个完全３－控制集。     

一类3m^2阶对称图的构造

如果一个图的自同构群作用在它的弧集上是传递的,那么称这个图为对称图.定义了一类点传递但边不传递图,确定了其全自同构群,通过找覆盖图的方法得到了一类3m2（m＞3,m为正整数）阶的对称图,该对称图实际上是交换群的Cayley图.     

平面连通图为哈密顿图的一个充要条件

本文利用对偶的概念，给出了平面连通图为哈密顿图的一个充要条件。 定理 平面连通图G（V≥3）为哈密顿图的充要条件是存在G的对偶图G＊＝（V＊，X＊）满足： （１） Ｖ＊ ＝Ｖ１＊：Ｖ２８，Ｖ１＊∩Ｖ２＊＝，Ｖ１＊≠，V２＊≠ （２）Ｖ１＊和Ｖ２＊的诱导子图＜Ｖ１＊＞和（Ｖ２＊）均是树。     

28个顶点的简单MCD图

设Ｓｎ是ｎ个顶点的没有等长圈的简单图的集合．若Ｇ∈Ｓｎ且Ｓｎ中不存在图Ｇ＇使｜Ｅ（Ｇ＇）｜＞｜Ｅ（Ｇ）｜，则称图Ｇ是简单ＭＣＤ图．若简单ＭＣＤ图Ｇ是２连通的，则称Ｇ是２连通简单ＭＣＤ图．本文证明了不存在具有２８个顶点的含有同胚于Ｋ４的子图的２连通简单ＭＣＤ图．于是结合ＤｉｓｃｒｅｔｅＭａｔｈ．１２６（１９９４），我们完全证明了下述定理：存在ｎ个顶点的含有同胚于Ｋ４的子图的２连通简单ＭＣＤ图当且仅当ｎ∈｛１０，１１，１４，１５，１６，２１，２２｝．     

HAMILTON图的特征矩阵

讨论了Hamilton图G和它的邻接矩阵A之间的关系，得到如下结果定理1：图G是H－图当且仅当A＝B＋Q，这里B≥0且B≠0，Q＝PCP，C是由互换单矩阵中的第1行和第n行所得到的初等阵，P是置换阵，P是P的转置矩阵，定理：图G是H－图当且仅当A的谱半径ρ（A）是A的单根，且存在正特征向量ξ，使得Aξ＝ρ（A）ξ＞η，这里η是适当调整ξ的分量而得到的向量，满足：当ξ的第i个分量调为η的第j个分量时，A的（i,j)元aij=1.     

用于换热器热计算的θ—P图及其绘制方法

根据不同类型间壁式换热器的热计算公式F＝f(P,R)和ε=Φ(NTU,RC)，给出了绘制θ-P图的方法，用计算机绘图程序，分别绘制了逆流，顺流，错流（一种流体混合及两种流体都混合），＜1－2＞型管壳式，＜1－4＞型对分流式和＜1－2＞型分流式7种间壁式换热器的θ-P图。     

优化正则图的限制边连通性的最小度条件

限制边割将连通图分离成不合孤立点的不连通图，如果最小限制边割只能分离孤立边，则称图G是超级限制边连通的．证明了如果k＞|G|/2 1，那么k正则连通图G是超级限制边连通的，k的下界在一定程度上是不可改进的．     

关于Erd¨osSós猜想的一个定理

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

S图的若干必要条件

满足Ｇ２≌Ｇ的图Ｇ称为Ｓ图．本文的主要结果为：若Ｇ是Ｓ图，则ｄｉａｍ（Ｇ）＝３或４（其中ｄｉａｍ（Ｇ）表示图Ｇ的直径），并且ｒ（Ｇ）＞２（ｒ（Ｇ）表示图Ｇ的半径），△（Ｇ）≤ｐ—５（△（Ｃ）表示图Ｇ的顶点的最大度数，ｐ表示图Ｇ的顶点的个数）；若Ｇ是Ｓ图，则ｐ≥７，ｐ≤７的图只有Ｇ７是Ｓ图；△（Ｇ）＝２的图只有Ｇ７是Ｓ图．     

关于3－控制临界图的某些结果

以γ（Ｇ）记图Ｇ的控制数，如果对ｖ（Ｇ）中任何一对满足条件ｕｖＥ（Ｇ）的顶点ｕ，ｖ，有γ（Ｇ＋ｕｖ）＜γ（Ｇ），则称Ｇ是控制临界的。γ（Ｇ）＝ｋ的控制临界图称为是ｋ－控制临界的，得出以下两个结果：１）如果Ｇ是具有以（＞＞２ｋ）个顶点的连通３－控制临界图，则Ｇ中度≤２ｋ的顶点的个数至多为２ｋ．２）每个连通３－控制临界图或者有一个独立３－控制集或者有一个完全３－控制集。     

图的几个乘幂不变性质

证明了弦图的奇次幂图仍为弦图，举例说明了弦图的偶次幂图不一定是弦图，从而证实了Ｒ．Ｌａｓｋａｒ和Ｄ．Ｓｈｉｅｒ的一个猜想的正确性，文中还证明了区间图的幂图为区间图，顶点可延图、Ｃａｙｌｅｙ图、循环图、超齐次图及λ－超可迁图的幂图也分别为项点可迁图，Ｃａｙｌｅｙ图、循环图、超齐次图和λ－超可迁图。     

完全k部图和一些特殊图的CORDIAL性

给出了完全ｋ部图是Ｃｏｒｄｉａｌ图的充要条件，并给出此类Ｃｏｒｄｉａｌ图的Ｃｏｒｄｉａｌ标号，给出ｎ阶Ｃｏｒｄｉａｌ图的最大边数，并构造了相应的极图；给出正则图是Ｃｏｒｄｉａｌ图的必要条件；解决了轮的Ｃｏｒｄｉａｌ问题。     

边愉快图研究的一些结果

边愉快图是新近提出的研究课题，本文给出了边愉快图的必要条件和一类添加图或删边图成为边愉快图的充分条件；考察了几种常见图类的边愉快特征；构造了一类奇阶偶正则的边愉快图，给出了相应的边愉快标号方法；提出了值得进一步研究的一些问题。     

关于Cayley图因子的一个注记

Ｃａｙ（Ｓ：Ｇ）表示生成集为Ｓ的群Ｇ上的Ｃａｙｌｅｙ图。本文证明了如下结果：定理ｌ若Ｈ＝Ｃａｙ（Ｓ１：＜Ｓ１＞），则Ｃａｙ（Ｓ：Ｇ）有Ｈ－因子。定理２设Ｓ＝Ｓ１∪Ｓ２∪…∪Ｓｋ，ｓｉ∩Ｓｊ＝φ（ｉ≠ｊ），Γｉ＝Ｃａｙ（Ｓｉ：＜Ｓｉ＞），则Ｃａｙ（Ｓ：Ｇ）是｛Γ１，Γ２，…，Γｋ｝──可分的。     

平方根图

设G是一个简单图及顶点为u1，u2，…，uv，d(vi)是点vi的度，令^～d(G)={[d(u1)]的平方根，[d(u2)]的平方根，…，[d(uv)]的平方根}，称G是一个平方根图，如果^～d(G)是G的邻接矩阵的一个特征向量，猜想：一个连通图G是一个平方根图的充分必要条件是G是一个正则图或半正则图，这个猜想在本文中得到了证明。     

有约束条件的二分图的（g,f）—因子

设Ｇ是一个图，ｇ，ｆ是定义在Ｖ（Ｇ）上的非负整数函数，如果对Ｇ中任意ｎ个顶点的集合Ｄ，Ｇ－Ｄ有（ｇ，ｆｄ）－因子，则称Ｇ是（ｇ，ｆ，ｎ）－可消去图。本文给出了二分图Ｇ是（ｇ，ｆ，ｎ）－可消去图的一个充要条件，并且研究了（ｇ，ｆ，ｎ）－可消去图的一些性质。     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

三部图K(m,n,r)-A(|A|=2)的色唯一性

设G是简单图,用P(G,λ)表示图G的色多项式,令K(m,n,r)表示完全三部图.证明了1)当3≤m≤n≤r时,令s=1/√6√(n-m)2 (r-n)2 (r-m)2 12,若m n r＞2√3s 3s2,则K(m,n,r)-A(|A|=2)是色唯一图;2)当m≥4时,K(m,m,m)-A,K(m,m,m 1)-A,K(m,m 1,m 1)-A,(|A|=2)都是色唯一图;3)设n,k为非负整数,则当n＞k2 2√k2 6 k 2时,K(n-k,n,n)-A;当n＞k2 2√k2 6-k/3 2时,K(n,n,n k)-A;当n＞2√3k2 6 k2 2时,K(n-k,n,n k)-A(|A|=2)均为色唯一图.