关于图的（g，f）－因子分解的一些新结果

本文讨论图的（ｇ，ｆ）－因子分解问题，推广了文［１］关于图的因子分解的理论，改进了文［２］的一些结果，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件．     

图的最大亏格与2-因子

图Ｇ的一个２因子Ｆ就是Ｇ的这样一个支撑子图，使其任何节点ｖ∈Ｖ的次ｄＦ（ｖ）＝２．易见，Ｇ的每个２因子均为无公共节点的圈之并．若Ｆ的每个圈的长均为３（或４），则称Ｇ含有一个三角形（或四边形）２因子．Ｍ．ｋ∨ｏｖｉｅｒａ［５］得到了含有三角形２因子的３－正则图的最大亏格．本文在３－正则图上，引进了扩张运算和讨论了与最大亏格和Ｂｅｔｉ亏数之间的关系．利用这些运算，得到了所有含四边形２因子的连通３－正则图是上可嵌入的，即γＭ（Ｇ）＝ｎ４（ｎ为Ｇ的节点数ｎ＝｜Ｖ（Ｇ）｜）．然后，基于此证明了含四边形２因子且所有节点ｖ∈Ｖ的次ｄＧ（ｖ）＝３（ｍｏｄ４）的图Ｇ均为上可嵌入的     

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

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

2-阶邻域连通无爪图的Hamilton性

设Ｇ是无爪图．对ｘ∈Ｖ（Ｇ），若Ｇ［Ｎ（ｘ）］不连通，则存在ｙｉ∈Ｖ（Ｇ）－｛ｘ｝（ｉ－１，２），使｜Ｎ（ｙｉ）∩Ｋｉ（ｘ）｜≥２，且｜Ｎ（ｙｉ）∩Ｎ（Ｋｉ＋１（ｘ））｛ｘ｝｜≥２（ｉ模２），那么称无爪图Ｇ是强２－阶邻域连通的，其中Ｋ１（ｘ），Ｋ２（ｘ）分别表示Ｇ［Ｎ（ｘ）］的两个分支．本文证明了：连通且强２－阶邻域连通的无爪图是Ｈａｍｉｌｔｏｎ图．     

关于图的（g,f）—因子分解的一些新结果

本文讨论图的（ｇ，ｆ）－因子分解问题，推广了文「１」关于图的因子分解的理论，改进了文「２」的一些结果，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件。     

几类可升分解的图

Ａｌａｖｉ等人在文献［１］中定义了图的一种新分解，即“升分解”，并且猜想：任意有正数条边的图都可升分解。本文证明了下面三类图可升分解，并得到了一些有意义的推论。１设Ｒｎ是一个至多含有ｎ个顶点和至多含有ｎ条边的图，Ｋｎ－Ｒｎ可升分解（ｎ≥５）；２对称图可升分解；３对称图Ｇ的混合积（Ｇ；ｋ）可升分解。     

具有与任意图正交的(g,f)-因子分解的子图

设ｇ和ｆ分别是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数位函数且对每个ｘ∈Ｖ（Ｇ）有０≤ｇ（ｘ）≤ｆ（ｘ）．证明了：若Ｇ是一个（ｍｇ＋ｋ,ｍｆ－ｋ）－图,１≤ｋ＜ｍ,Ｈ是Ｇ中一个给定的有ｋ条边的子图,则Ｇ有一个子图Ｌ使得Ｌ有一个（ｇ,ｆ）－因子分解与Ｈ正交．     

关于图的定向4—边形嵌入

本文中考虑的图均是连通的．没有重边和环的图称为简单的．若Ｘ为一个图Ｇ的边子集,记号 Ｇ＼表示 Ｇ中去掉 Ｘ中的所有边后所得到的图．有关图的基本术语和记号均同［１］．Ｐｉｓａｎｋｉ在［２］中研究正则偶图的定向４－边形嵌入．所谓一个图Ｇ的定向４－边形嵌入是指Ｇ到某定向曲面Ｓ的一个２－胞腔嵌入使得Ｇ在Ｓ上的每个面的边界是Ｇ中一个长为４的圈（这里,Ｇ中的圈是Ｇ的一条点不交的闭迹）．若Ｇ为简单偶图,因Ｇ中不含长为１,２和３的圈,由Ｅｕｌｅｒ公式确定Ｇ有定向４－边形嵌入等价确定了Ｇ的最小亏格嵌入．关于这类问题…     

图中具有某种性质的子图

设ｇ和ｆ是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数值函数且对每个ｘ∈Ｖ（Ｇ）都有０≤ｇ（ｘ）≤ｆ（ｘ）且ｇ（ｘ）和ｆ（ｘ）为偶数。本文证明了：若Ｇ是一个（ｍｇ＋ｋ－１,ｍｆ－ｋ＋１）－图,１≤ｋ≤ｍ,Ｈ是Ｇ中一个给定的有ｋ条边的子图,则Ｇ存在一个子图Ｒ使得Ｒ有一个（ｇ,ｆ）－因子分解与Ｈ正交。     

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

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

非线性抛物型积分微分方程有限元方法的插值后处理技术

本文以两类非线性抛物型积分微分方程为例，首次尝试将插值后处理思想［１］应用到非线性发展型方程上，获得了半离散和全离散有限元解，经插值后处理之后在Ｌ∞（Ｈ１）；Ｌ∞（Ｌ２）模意义下，整体超收敛１阶的高精度，并且计算量没有因此而增加．本文引进并证明较文［２］更广泛的一类椭圆Ｈ１－Ｖｏｌｔｅｒｒａ投影的Ｈ１；Ｌ２，Ｈ－１模最优估计．本文的分析方法可在各类发展型微分及积分微分方程上面通用．     

gr－正则环和矩阵环的gr－正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当ＲＧ是正则的当且仅当Ｍ＿Ｇ（Ｒ）是ｇｒ－正则的当且仅当对每个和Ｇ的任意非空子集Ｈ和Ｆ，Ｍ＿（ＨＸＦ）（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环只是反ｇｒ－正则的当且仅当Ｆ是反正则的当且仅当对每个和Ｇ的任意作非空子集Ｈ和Ｋ，ＦＭ＿（Ｈ×Ｆ）（Ｒ）的每个矩阵有２－逆当且仅当ＦＭ＿Ｇ（Ｒ）是ｇｒ－反正则的。     

关于SL(2,R)上速降函数的反演公式

在局部紧可分群的一般理论中，分解正则表示以及获得反演公式（或 Ｐｌａｎ－ｃｈｅｒｅｌ定理的明确表示）是调和分析的基本目标之一．ＳＬ（２，　）是最简单的非交换局部紧么模半单Ｌｉｅ群．Ｈａｒｉｓｈ－Ｃｈａｎｄｒａ在 Ｃ∞ｃ（ＳＬ（２，　））上获得了反演公式，Ｘｉａｏ和ｈｅｎｇ在文［１］中证明了Ｃ３ｃ（ＳＬ（２， ）上的反演公式．在文［２］中Ｚｈｅｎｇ引入了Ｌｉｅ群Ｇ上函数的广义微分（Ａ导数）概念．在本文中，我们利用文［２］中的微分概念来研究ＳＬ（２，　）上可微函数的Ｆｏｕｒｉｅｒ变换的阶，并获得了ＳＬ（２，　）上速降函数的反演公式．     

高校应用数学学报 第15卷(2000年)B辑(英文版)第1期目次和提要

导出匹配可扩图的度条件刘　岩　原晋江　王世英（郑州大学系统科学与数学系）如果图Ｇ的每个导出匹配都包含在Ｇ的一个完美匹配中,那么称Ｇ是导出匹配可扩图．该文主要研究导出匹配可扩图的度条件,主要结果是：（１）最小度至少为２ｎ３的图都是导出匹配可扩图,而且该最小度的下界是精确的,其中ｎ是图的顶点数,ｎ是偶数且至少为６;（２）正则度至少为２ｎ－２３的正则图都是导出匹配可扩图,而且该正则度的下界是精确的,其中ｎ是图的顶点数且为偶数,ｎ至少为８且不等于１０．关于一类Ｂｕｓｈ型分形曲面的维数分析王宏勇（西安交通…     

关于{P2, Ci| i≥3}-覆盖图

设 Ｇ是一个图,若对于 Ｇ的任意一边 Ｇ都有｛Ｐ_２,Ｃｉ｜ｉ－＞３｝－因子含有这条边,则称Ｇ是｛Ｐ_２,Ｃｉ｜ｉ－＞３｝－覆盖图．本文给出连通非二分图Ｇ是｛Ｐ２,Ｃｉ｜ｉ－＞３｝－覆盖图的充要条件为任给Ｓ■Ｖ（Ｇ）,Ｖ（Ｇ）≠Ｓ≠■有ｉ（Ｇ－Ｓ）＿＞｜Ｓ｜－１成立．     

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

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

图中含有D—闭迹的一个充分条件

设Ｇ是一个简单图，Ｌ＝ｕ１ｕ２…ｕｔ是Ｇ中的一个路，定义Ｌ的度ｄ（Ｌ）＝∑ｔｉ＝１ｄ（ｕｉ），其中ｄ（ｕｉ）为ｕｉ在Ｇ中的度数．本文证明了：若Ｇ是ｎ≥３阶几乎无桥的简单连通图，ＧＫ１，ｎ－１，且对Ｇ中任何两个无公共点的二长路Ｌ１，Ｌ２，有ｄ（Ｌ１）＋ｄ（Ｌ２）≥２ｎ－１，则Ｇ有一个Ｄ－闭迹，从而Ｇ的线图Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ图．     

Clifforrd分析中广义双正则函数的(线性)非线性边值问题

本文研究Ｃｌｉｆｏｒｄ分析中广义双正则函数的一个非线性边值问题：Ａ（ｔ１，ｔ２）Ｗ＋＋（ｔ１，ｔ２）＋Ｂ（ｔ１，ｔ２）Ｗ＋－（ｔ１，ｔ２）＋Ｃ（ｔ１，ｔ２）Ｗ－＋（ｔ１，ｔ２）＋Ｄ（ｔ１，ｔ２）Ｗ－－（ｔ１，ｔ２）＝ｇ（ｔ１，ｔ２）ｆｔ１，ｔ２，Ｗ＋＋（ｔ１，ｔ２），Ｗ＋－（ｔ１，ｔ２），Ｗ－＋（ｔ１，ｔ２），Ｗ－－（ｔ１，ｔ２）［］．先讨论解的积分表示式，再研究几个奇异算子，最后用Ｓｃｈａｕｄｅｒ不动点原理（压缩映射定理）证明了解的存在性（唯一性）．目前还没有见到其它国内外学者研究广义双正则函数的非线性边值问题．本文推广了Ｆ．Ｂｒａｃｋｓ，Ｗ．Ｐｉｎｃｋｅｔ［１０］，ＬｅＨｕａｎｇ Ｓｏｎ［１１］，Ｒ．Ｐ．ＧｉｌｂｅｒｔａｎｄＪ．Ｌ．Ｂｕｃｈｎａｎ［１５］和黄沙［１３］的工作     

关于Kn—H2n＋1的升分解

［１］中猜想：任意有正数条边的图都可以升分解．本文证明了Ｋｎ－Ｈ２ｎ＋１可以升分解,其中Ｈ２ｎ＋１表示至多有ｎ个顶点和２ｎ＋１条边的图,ｎ≥７．     

二次极大子群中2阶及4阶循环子群拟正规的有限群

本文讨论２阶及４阶循环子群对群结构的影响．主要结果是下述定理：如果有限群Ｇ满足标题的条件，那么下列情形之一成立：（１）Ｇ有正规Ｓｙｌｏｗ ２－子群；（２） Ｇ为 ２－幂零；（３） Ｇ ≌ Ｓ４；（４） Ｇ＝ＰＱ，其中 Ｐ为阶 ２４广义四元数群， Ｑ为 ３阶循环群；（５） Ｇ ≌ Ａ５或 ＳＬ（２，５）．