一类泛连通无爪图

本文证明了如果Ｇ是３连通无爪图，且Ｇ的每个导出子图Ａ，Ａ＋都满足（ａ１，ａ２），则Ｇ是泛连通图（除了当ｕ，ｖ∈Ｖ（Ｇ），ｄ（ｕ，ｖ）＝１时，Ｇ中可能不存在（ｕ，ｖ）－ｋ路外，这里２≤ｋ≤４）．     

大次和1—坚韧图中的最长圈

给一个图Ｇ，定义σ３（Ｇ）＝ｍｉｎ｛Σ＾３ｉ＝１ｄ（ｖｉ）│｛ｖ１，ｖ２，ｖ３｝｝是Ｇ的无关集｝，ｐ３（Ｇ）＝ｍｉｎ｛│Ｕ＾３ｉ＝１Ｎ（ｖｉ）‖｛ｖ１，ｖ２，ｖ３｝是Ｇ中使│ｎ＾３ｉ＝１Ｎ（ｖｉ）│≠０｝的无关集｝。本文证明了：设Ｇ是ｎ阶１－坚韧图，如果σ３（Ｇ）≥ｎ，则Ｇ包含长度至少为ｍｉｎ｛ｎ，２ｐ３（Ｇ）＋４｝的圈，为个结果推广了若干已知结果，也解决了Ｂｒｏｅｒｓｍａ－Ｈｅｕｖｅｌ－Ｖｅｌｄ     

2-连通图的Hamilton圈的一个充分条件

本文给出了２－连通图有Ｈａｍｉｌｔｏｎ圈的又一个充分条件．定理设Ｇ为有ｎ（ｎ＞３）个顶点的２－连通图，如果对Ｇ中任意两个顶点ｕ、ｖ，当ｄ（ｕ，ｖ）＝２时，都有ｍａｘ（ｄ（ｕ），ｄ（ｖ））≥ｎ／２，则Ｇ有Ｈａｍｉｌｔｏｎ圈．证用反证法．假设Ｇ没有Ｈａｍ...     

丢番图方程与实二次域类数的可除性

设ｄ无平方因子，ｈ（ｄ）是二次域的类数。本文证明了：在方程Ｕ￣２－ｄＶ￣２＝４，（Ｕ，Ｖ）＝１有整数解时，丢番图方程４ｘ￣（２ｎ）－ｄｙ￣２＝－１，ｎ＞２无｜ｙ｜＞１的整数解；如果正整数ａ，ｋ，ｎ满足，ｋ＞１，ｎ＞２且而是Ｐｅｌｌ方程ｘ￣２－ｄｙ￣２＝－１的基本解，则ｈ（ｄ）≡０（ｍｏｄｎ）。     

邻域并和[a,b]-因子

设ａ＜ｂ是整数,Ｇ＝（Ｖ（Ｇ）,Ｅ（Ｇ））是一个图．Ｇ的一个支撑子图Ｆ称为Ｇ的一个［ａ,ｂ］－因子,若对任意的υ∈ＥＶ（Ｇ）,有ａ≤ｄ_Ｆ（υ）≤ｂ．本文得到了下列结果：设１≤ａ≤ｂ是整数,Ｇ是一个阶为ｎ的图,最小度δ（Ｇ）≥ａ且＞（ａ＋ｂ）（２ａ＋２ｂ－３）如果对于Ｇ的任意两个不相邻的顶点ｕ,υ有Ｎ_Ｇ（ｕ）ＵＮ_Ｇ（υ）≥ａｎ,则Ｇ有一个［ａ,ｂ］－因子．     

关于无爪Hamilton图的一个泛圈性结果

一个图Ｇ是泛圈的，如果它含有长为３，４，…，ｎ（＝｜Ｖ（Ｇ）｜）的圈．本文探讨了一类无爪Ｈａｍｉｌｔｏｎ图的圈结构，主要结果为：设Ｇ＝（Ｖ，Ｅ）是ｎ阶无爪Ｈａｍｉｌｔｏｎ图．如果Ｇ中有节点ｘ使ｄ（ｘ）≧ｎ／２且Ｎ（ｘ）连通，则除少数几个例外，Ｇ是泛圈的．     

复合图的1－因子分解

本文研究了复合图１－因子分解问题，给出了复合图可１－因子分解的几个充分条件．设图Ｇ和Ｈ都是正则因，那么Ｇ和Ｈ的复合图Ｇ［Ｈ］可１－因子分解，如果Ｇ和Ｈ满足下列三个条件之一：（１）Ｇ可１－因子分解；（２）Ｇ至少有　１－因子，Ｈ为偶阶正则图［Ｖ（Ｈ）｜≥２；（３）Ｇ可以分解为一些１－因子和２－因子之并，Ｈ为偶阶正则图且至少有ｍａｘ｛０，△（Ｈ）－４｝个１－因子．     

图的独立数的一个新下界

设α（Ｇ）表示简单图Ｇ＝（Ｖ，Ｅ）的独立数．本文给出了α（Ｇ）的一个新的下界：α（Ｇ）≥∑ｖ∈Ｖ（λｄ（ｖ）＋１）／（ｄ（ｖ）＋λｄ（ｖ）＋１），其中λｄ（ｖ）＝ｍａｘ｛０，βＮ（ｖ）－ｄ（ｖ）｝，ｄ（ｖ）＝｜Ｎ（ｖ）｜，Ｎ（ｖ）＝｛ｗ∈Ｖ｜（ｖ，ｗ）∈Ｅ｝，βＮ（ｖ）＝ｍｉｎｗ∈Ｎ（ｖ）ｄ（ｗ）．     

关于余直径的一个充分条件

本文给出了一个关于长圈和长路的新的充分条件．主要结果是：设在３－连通图Ｇ中，任一对距离为２的顶点ｕ，ｖ，都满足ｍａｘ｛ｄ（ｕ），ｄ（ｖ）｝≥ｍ/２，那么ｄ^＊（Ｇ）≥ｍｉｎ｛ｎ－１，ｍ－２｝．     

三角形蛇图的调和性

称有ｅ条边的简单图Ｇ为调和图，若存在单射ｈ：Ｖ（Ｇ）→Ｚ_ｅ，Ｚ_ｅ是模ｅ的整数群，其导出映射ｈ^*：Ｅ（Ｇ）→Ｚ_ｅ；ｈ^*（ｖｖ）≡ｈ（ｎ）＋ｈ（ｖ）（ｍｏｄｅ），ｎ，ｖ∈Ｖ（Ｇ）是一个双射，称ｈ为Ｇ的一个调和标号三角形蛇图是一个其所有块都是三角形且其块－割点图为一条路的连通图。本文证明了具有ｔ个块的三角形蛇图足调和的，当且仅当ｔ≠２（ｍｏｄ４）。     

点可迁图的限制边连通度

设Ｓ是连通图Ｇ的边子集．如果Ｇ－Ｓ不连通而且不含孤立点，那么称Ｓ是Ｇ的一个限制边割，Ｇ中所有限制边割中最小边数称为Ｇ的限制边连通度，记为λ＇（Ｇ）．限制边连通度是对传统边连通度的推广，而且是计算机互连网络容错性的一个重要度量．点可迁图是一类重要的网络模型．本文证明了如下结论： 设 Ｇ是连通的点可迁图．如果 Ｇ的点数ｎ≥ ４，而且点度ｋ≥ ２，那么或者λ＇（Ｇ）＝ ２ｋ－２，或者ｎ是偶数，Ｇ含三角形且存在整数ｍ≥２，使得ｋ≥λ＇（Ｇ）＝ｎ／ｍ≤２ｋ－３．关     

图的(g,f)-因子分解

设Ｇ是一个图，ｇ（ｘ）和ｆ（ｘ）是定义在图Ｇ的顶点集上的两个整数值函数且ｇ≤ｆ．图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ），有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）．如果图Ｇ的边集能划分为若干个边不相交的（ｇ，ｆ）－因子，则说图Ｇ是（ｇ，ｆ）－可因子化的．本文研究了图的（ｇ，ｆ）－可因子化的问题，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件．     

Hamiltonian图的泛圈性的一个充分条件

设Ｇ是一个ｎ阶图,若对于每一个ｋ（３≤ｋ≤ｎ）,Ｇ都含有长度为ｋ的圈,则称Ｇ为泛圈图． 在［１］中, Ｒ．Ｊ, Ｆａｕｄｒｅｅ等证明了如下结果： 定理Ａ设Ｇ是一个ｎ－阶２－连通图,δ（Ｇ）≥ｔ．若对于Ｇ中任意两个不相邻的点ｕ和ｖ,均有 ｜Ｎ（ｕ） ∪ Ｎ（ｖ）｜≥ｎ－ｔ,则 Ｇ是 Ｈａｍｉｌｔｏｎｉａｎ图． 根据 Ｂｏｎｄｙ在［４］中的想法：几乎任何一个 Ｈａｍｉｌｔｏｎｉａｎ图的非平凡的充分条件都可能蕴含着图的泛圈性质,自然有如下猜测：设图Ｇ满足定理Ａ的条件,则Ｇ是泛圈圈或者 ｎ＝２ｔ; Ｇ≌Ｋ_（ｔ,ｔ）…     

关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．     

△(G)=3的外平面图的邻强边染色

对图Ｇ（Ｖ,Ｅ）,一正常ｋ－边染色ｆ称为Ｇ（Ｖ,Ｅ）的一邻强边染色,当且仅当对任意ｕｖ∈Ｅ（Ｇ）有ｆ［ｕ］≠ｆ［ｖ］．其中ｆ［ｕ］＝｛ｆ（ｕｗ）｜ｕｗ∈Ｅ（Ｇ）｝,ｆ（ｕｗ）表示染边ｕｗ的色,并称ｘａｓ（Ｇ）＝ｍｉｎ｛ｋ｜存在Ｃ的一ｋ种色的郁强边染色｝为Ｇ的邻强边色数．本文证明了对△（Ｇ）＝３的２－连通外平面图,有ｘａｓ（Ｇ）＝４．     

Dirac定理的局部化与Hamilton图

设Ｇ为一个ｎ阶２－连通图，ｎ≥３．若｜Ｄ_ｎ／２（Ｋ_１，３）｜≥２且满足下述条件之一：ｉ）｜Ｄ_ｎ／２（Ｋ_１，３＋ｅ）｜≥２，ii）若Ｋ_１，３＋ｅ→Ｇ，ｘｙ(?)Ｅ（Ｋ_１，３＋ｅ），则ｍａｘ｛ｄＧ（ｘ），ｄＧ（ｙ）｝≥ｎ／２，则Ｇ是一个Ｈａｍｉｌｔｏｎｉａｎ图或其闭包为ｓＰ|⊕Ｈ，这里ｓＰ⊕Ｈ是一类极小２－边连通图．     

关于Abel群上Cayley图的Hamilton圈分解

设Ｇ（Ｆ，Ｔ∩Ｔ＾－１）是有限Ａｂｅｌ群Ｆ上的Ｃａｙｌｅｙ图，Ｔ∩Ｔ＾－１只含２阶元，此文证明了当Ｔ是Ｆ的极小生成元集时，若ｄ（Ｇ）＝２ｋ，则Ｇ是ｋ个边不相交的Ｈａｍｉｌｔｏｎ圈的并，若ｄ（Ｇ）＝２ｋ＋１，则Ｇ是ｋ个边不相交的Ｈａｍｉｌｔｏｎ圈与一个１－因子的并。     

虚二次域上不可分的正定Hermite型的构作

本文给出了构作虚二次域ＩＱ（－ｍ）上不可分的正定整Ｈｅｒｍｉｔｅ型的方法．对任意给定的自然数ｎ，ｄ和无平方因子的ｍ，当ｍ３（ｍｏｄ４），除了ｍ＝１时ｎ＝２，ｄ＝１；ｎ＝３，ｄ＝１，３；ｎ＝５，ｄ＝１和ｍ＝２时ｎ＝３，ｄ＝１这５个例外，证明了存在ＩＱ（－ｍ）上不可分的正定整Ｈｅｒｍｉｔｅ格，其秩为ｎ且判别式为ｄ，并给出它们的明确结构．在上述５个例外情形下，不存在具有上述性质的格．     

高维空间中半线性波动方程的Sobolev指数

ＧｕｓｔａｖｏＰｏｎｃｅ与ＴｈｏｍａｓＣ．Ｓｉｄｅｒｉｓ［４］猜测对一些具有特殊非线性项的半线性波动方程，如ｕｔ－△ｕ＝ｕｋ（Ｄｕ）α（ｘ∈Ｒｎ，ｋ∈Ｚ＋，ｌ＝｜α｜２），其中Ｓｏｂｏｌｅｖ指数会在ｎ２与（ｎ２＋１）之间．文［４］中，在ｘ∈Ｒ３时，回答了这一问题．本文在ｎ３维空间中，得到了半线性波动方程ｕｔ－△ｕ＝ｕｋ（Ｄｕ）α（ｘ∈Ｒｎ，ｋ∈Ｚ＋，ｌ＝｜α｜２）的Ｓｏｂｏｌｅｖ指数为ｍａｘ｛ｎ２＋１２，（ｎ２－１）·ｌ－３ｌ－１＋２｝，此数确实在区间［ｎ２＋１２，ｎ２＋１］中．     

K1,r—free图的次限制树多项式算法

设Ｇ＝（Ｖ，Ｅ）为一连通图，ｄ〉０整数。Ｇ中存在生成对Ｔ，使得Δ（Ｔ）小于ｄ吗．这一问题已被证明是ＮＰ－完全的，故不太可能有多项式解法。本文证明了当Ｇ是Ｋ１，ｒ－ｆｒｅｅ时，则有Ｏ（ｎ＾２）的算法求出Ｇ生成树Ｔ，使Δ（Ｔ）≤ｒ，并用一个例子显示了这一结果是最好可能的。