(0,1)-矩阵类U(R,S)的势

文[2]首次研究了(0,1)-矩阵类U(R,S)的势,并通过对全链的研究,得到了|U(R,S)|的一个简洁的下界(?).万宏辉[1]通过对保优向量对S<(?)的更细致的分析,得到了比[2]中下界更好的估计,然而,为了避免多于一个参变列参与移1变换时带来的重复计数的麻烦,文[1]没有对其移1法作进一步的改进和推广而得到更好的结果.本文利用属于分解列的不同保优段中的多个列参与移1变换的办法,不仅明地回避了重复计数问题,在一般情况下,本文的结果比[1]的更好,这一点将由本文结尾处的例子说明.     

|■A_P~Q(R,S)|取极小值的充要条件

本文在得到(0,1)矩阵类_P~Q(R,S)的势的一个下界的基础上,给出了|(?)_P~Q(R,S)|取下界的充要条件。本文的结果在取Q=J或Q=J,P=0 时是一些已知结果或曾作过的猜测。     

关于第一类有理插值逼近算子的研究

本文在文献[1]的基础上,以第一类Chebyshev多项式Tn(x)的零点为基点,构造了第一类有现插值算子R_n~(s)(f;x),本文得到了SUP f∈H_ω|R_n~(s)(f;x)-f(x)|在S≥1时的上、下界估计,将[1]中定理2作了进一步的推广;并证明了当0相似文献   

Mycielski图的L(2,1)-标号

设μ(G)表示一个图G的Mycielski图,λ(G)为G的L(2,1)-标号数.给出了λ(μ(G))的上、下界和λ(μ(G))达到下界(|G| 1)的一个充分条件.     

树图中度数受限的大导出子图（英文）

有文献提出公开问题:对树T,求最大的集合S∈V(T)使得导出子图T[S]每个点的度为1或0(mod k).证明了,对给定的整数k≥2,每一棵树T都包含一个阶数至少为c_k|V(T)|的导出子图使得所有的度为1或0(mod k),这里当k=2时,c_k=3/4;当k≥3时c_k=2/3,且下界是最好的.这个结果解决了上述问题.     

关于调和函数的Schwarz引理的推广

在参考文献[1]中对Schwarz引理作了推广,得到了已知零点阶数情形下的|f(z)|更精确的下界.本文将利用Schwarz引理的推广对调和函数Schwarz引理进行推广,得到了能反映零点阶数的调和函数Schwarz引理.     

(0,1)矩阵类■(R,S)的势

本文[3]中,作者曾得出(0,1)-矩阵类■(R,S)的势的一个下界.这一结果可以看作是对Ryser和Gale的一个著名的定理的精确化.由于受文章篇幅的限制,[3]中的证明不得不略去,这里将给出其全部证明.Ryser-Gale定理断言:■(R,S)≠φ的充要条件是向量■优于向量S:     

H30(Ω)→L2n/n-6(Ω)的最佳嵌入常数

给出了S=inf{∫Rn|D(△u)|2dx|u∈H3kx(Rn),∫Rn|u|2n n-6dx=1}达到函数,并得到了H30(Ω)→L2n n-6(Ω)的最佳嵌入常数.     

解色散方程U_t=αU_(xxx)的一类具高稳定性的显式格式(英文)

本文对色散方程U_t=aU_(xxx)提出一个新的三层显式差分格式D_3,其截断误差为O(τ+h~2),稳定性条件为|R|=|a|τ/h~≤4.6722.这个条件比文[1]～[5]中的最好结果|R|≤4.0884有较大的提高,是[1]发表以来所见到的最好结果。     

可扩图的一些性质

设G是一个连通的简单图且具有完美匹配。如果G的任一基数为n(n≤(|V(G)|-2)/2的匹配都能扩充为G的一个完美匹配，则称G为n-可扩的。对于S包含于V(G),记M是G[S]的基数为r的最大匹配，并令T＝S－V（M）。对连通的非二部的n-可扩图G（n≥2），得到以下结果：（1）若r≤n且|T|≥2，则|V(G)|≥2(n r |T|--1)。（2）若r≤n-2且|T|≥2，则|V(G)|≥2(n r |T|)。（3）若|V(G)|≤4n-2，则对于任一u∈V(G),G[Г(u)]都有一个基数为n的匹配。     

包装树和不含K3的（P,P＋1）图

给出同阶（阶数≥７）树和不含Ｋ＿３的（Ｐ，Ｐ＋１）图可包装的充要条件为｛Ｇ＿１，Ｇ＿２｝不是下述图对之一：（１）｛Ｓ＿ｎ，Ｇ＿２｝，其中Ｓｎ是ｎ阶星图，Ｇ＿２是无孤立点的（Ｐ，Ｐ＋１）图；（２）｛Ｓ＇＿ｎ，Ｇ＿２｝，其中Ｓ＇＿ｎ是由Ｓ（ｎ－１）的任一边上增加一个剖分点得到的ｎ阶树，Ｇ＿２是最小度大于１的（Ｐ，Ｐ＋１）图。     

使得幂GCD阵（Se）整除幂LCM矩阵［Se］的四元gcd封闭集S的一个刻画

Hong在2002年证明了如下结果:若S为gcd封闭集且|S|≤3,则在|S|阶整数矩阵环M|S|(Z)中,GCD矩阵(S)整除LCM矩阵[S].设e≥1为给定的整数.在本文中,我们给出了关于四元gcd封闭集S的充分必要条件,使得在环M4(Z)中,定义在S上的e次幂GCD矩阵(Se)整除e次幂LCM矩阵[Se].这部分解决了Hong在2002年提出的一个公开问题.     

关于图的哈密尔顿性的新的充分条件

设G是一个图,对于任意U()V(G),令N(U)=Uu∈UN(u),d(U)=|N(U)|.我们给出了两个结果:设s和t是正整数,G是(2s 2t 1)-连通图,且阶为n;若对于任两个强不交独立集ST,|S|=s,|T|=t,有d(S) d(T)≥n 1,则G是哈密尔顿连通的或1-哈密尔顿.     

使得幂GCD矩阵$(S^e)$ 整除幂LCM矩阵$[S^e]$的四元gcd封闭集$S$的

洪绍方在 2002 年证明了如下结果： 若 $S$ 为 gcd 封闭集且 $|S| \leq 3$, 则在 $|S|$ 阶整数矩阵环 $M_{|S|}(\mathbf{Z})$ 中,GCD 矩阵 $(S)$ 整除 LCM 矩阵 $[S]$. 设 $e\geq 1$ 为给定的整数. 在本文中,我们给出了关于四元 gcd 封闭集 $S$ 的充分必 要条件,使得在环 $M_4(\mathbf{Z})$ 中, 定义在 $S$ 上的 $e$ 次幂 GCD 矩阵 $(S^e)$ 整除 $e$ 次幂 LCM 矩阵 $[S^e]$. 这部分解决了洪绍方在 2002 年提出的一个公开问题.     

构造G-morphic环

若环R中的每个元a都满足R/Ran≌l(an),其中l(an)是an在R中左零化子,则环R叫做左G-morphic环.C是环D的子环,且R[D,C]={(d1,…,dt,c,c,…)|di∈D,c∈C,t≥1};本文主要给出了R[D,C]是左G-morphic环的一个充要条件;还给出了左[D,C]G-morphic元的定义和它的一些性质.     

线性模型中均值向量的LSE和BLUE的偏差

考虑线性模型Y=Xβ e,这里E（e）=0,Cov(e,e)=σ^2V,V是非负定矩阵。众所周知,u=Xβ的最小二乘估计和最优线性无偏估计分别为u=X(X‘X)^-X‘Y和u=X(X‘T^-X)^X‘T^-Y,这里T=V XUX‘,U是矩阵满足R(T)=R(V:X)且T≥0。该文讨论V≥0时u与μ的偏差。在满足一定条件下得到相似的Haberman的一个界。在欧氏范数下,得到使Haberman条件成立的一个便于应用的充要条件。证明了类似于[2]界的推广形式,并把[3]界推广到V≥0。     

Ramsey数R_(11)(4)的新下界

该文用群论和数论研究了素数阶循环图存在4阶团的充要条件，得到了Ramsey数R11（4）的新下界。     

与r重小波相关的L^2（R）的直和分解

给出了ｒ重多分辩分析能够构成Ｌ＾２（Ｒ）的直和分解的充要条件，从而得到与ｒ重小波相关的Ｌ＾２（Ｒ）的直和分解，并且给出了构成精确重构的充要条件。     

关于Moore自动机可逆性的一些结果

主要讨论了Moore自动机(弱)可逆的一些性质，并给出了当|S|=|Y|时，Moore自动机(弱)可逆的充要条件。     

两个互素因子链上的幂GCD矩阵的行列式与幂LCM矩阵的行列式的整除性

设S={x_1,x_2,…,x_n}是由n个不同的正整数组成的集合,并设整数a≥1. 如果n阶矩阵的第i行j列元素是S中元素x_i和x_j的最大公因子的a次幂(x_i,x_j)~a,则称该矩阵是定义在S上的a次幂最大公因子(GCD)矩阵,用(S~a)表示. 类似可定义a次幂LCM矩阵[S~a].作者证明了:设S由两个互素的因子链构成并且1∈S. 若a|b,则det(S~a)|det(S~b),det[S~a]|det[S~b]和det(S~a)|det[S~b].若S由两个不互素的因子链构成, 则如此分解定理不成立.