蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

关于Win猜想的一些结果

在文[2]中S.Win提出下列猜想:每个Ore k-型图G均含(k+2)个边不交1-因子,其中|V(G)|=2n≥k+4,同时Win证明k=1时猜想成立.刘振宏证明了k=2时猜想的正确性.本文证明k=3,n≥8时Win猜想也是成立的.     

有限弱Y-稳定变换半群的最大幂等分离同余

文章利用有限半群最大幂等分离同余的一般结论.首先研究有限弱Y-稳定变换半群W(Y)={a∈T(X):Yα(∈)Y}上任意元的弱逆元,进而刻划出W(Y)上最大幂等分离同余的具体形式.     

有限弱Y-稳定变换半群的最大幂等分离同余

文章利用有限半群最大幂等分离同余的一般结论.首先研究有限弱Y-稳定变换半群W(Y)={a∈T(X):Yα(∈)Y}上任意元的弱逆元,进而刻划出W(Y)上最大幂等分离同余的具体形式.     

相关于函子Ext^i（—，—）的两个问题

本文考虑与著名的Nakayama猜想等价的Tachikawa猜想,对于一类扩张代数R mA,证明猜想(T2)的正确性;肯定地回答了Auslander提出的一个问题.     

百万港元征解余新河数学题的等价命题

百万港元征解余新河数学题(YP)长达数千言,本文讨论了该题的两种解释,即弱余新河数学题(WYP)与强余新河数学题(SYP),分别给出了与其等价的几个简短命题,并证明了哥德巴赫猜想的正确性蕴含WYP的正确性;SYP的正确性蕴含下述命题:一切正偶数都可以表示为至多三个素数之和。     

图上串行细胞自动机的几个结果(Ⅱ)

讨论了图上串行细胞自动机的两个猜想之间的关系，给出了对给定的π，∑[FY，π]：Aut(Y)成立的必要和充分条件．     

Base-可数弱θ加细空间

引入了base-可数弱θ加细空间,获得了如下主要结果:(1){F_i}i∈N=∪n∈NA_n是空间X的闭覆盖,且对任意x∈X,■n∈N,使得1≤ord(x,An),若每一闭集F_i(i∈N)是相对于X的base-可数弱θ加细空间,则X是base-可数弱θ加细空间.(2)设f:X→Y是base-可数弱θ加细空间,ω(X)≥ω(Y),如果Y是正则的base-可数弱θ加细空间,那么X是base-可数弱θ加细空间.     

Ulam在重构猜想的一些讨论

Ulam重构猜想是图论中一个至今还没有得到根本解决的著名难题。本文首先建立了图的度序列的一种新的表达方法(§1)。然后在这种新表达方法的基础之上,得到了相容的三个必要条件(§2)。引入了几个新概念,得到了证明Ulam猜想成立或否定其正确性的一个新标准(§3),证明了当母图度序列为{M_i)}_(i=1)~n{a(i0)-di}_(i=1)~n时,Ulam猜思正确的结论,最后作为两个特殊情况,得到了当派生母图是欧拉图或正则图时,Ulam猜想亦正确的结论(§4)。     

关于弱aD-空间的有限并

研究了弱aD-空间的有限并,获得了如下结果:(1)如果X是亚紧空间,X=Y∪Z,其中Y是亚Lindelof空间,Z是弱aD-空间,则X是弱aD-空间;(2)如果X是亚紧空间,X=Y∪Z,其中Y是亚Lindelof空间,Z是弱aD-空间,则X是aD-空间,也是bD-空间;(3)如果亚紧空间X是亚Lindelof空间有限族{X i,i=1,,i}的并,则X是aD-空间,也是bD-空间。     

图C_m∨W_n(m,n≥3)的第一类弱全色数

通过对圈与轮构成联图的第一类弱全染色研究来进一步验证第一类弱全染色猜想,应用构造具体染色的方法给出了圈与轮构成联图的第一类弱全色数。     

关于Diophantine方程x^2＋y^4=z^5

运用无穷递降法证明了：方程X^4-10X^2Y^2＋5Y^4=Z^2和X^4-50X^2Y^2＋125Y^4=Z^2都没有适合gcd（X,Y）=1以及2｜XY的正整数解（X,Y,Z）．由此推知：方程x^2＋y^4=z^5没有适合gcd（x,y）=1的正整数解（x,y,z）,上述结果解决了广义Fermat猜想的一个特殊情况。     

关于Hughues-Shallit猜想——自然数乘法分拆之个数的上界问题

以f(n)表自然数N的乘法分拆的个数。本文证明了:当n=p~a及n=p_1p_2…p_l时,Hughues-Shal-Lit的第一猜想:f(n)≤n/logn,(n≠144)成立。其中p为素数;p_1,p_2,…,p_1为互异素数。第二猜想:f(n)相似文献   

关于随机独立性和回归独立性的几个命题的证明

有3种情形来描述随机变量X和Y之间的关系：（i）X和Y随机独立；（ii）Y回归独立于；（iii）X和Y不相关。主要证明了：1）若X和Y随机独立，则Y回归独立于X；2）若Y回归独立于X，则X和Y不相关；3）若X和Y均为两值随机变量或（X，Y）服从二维正态分布，则三种情形等价。同时得到一个推广：设Y为两值随机变量，X是离散型随机变量，若Y回归独立于X，则X和Y随机独立。     

关于图的点着色的一个猜想的探讨

Lovasz 在 1968 年提出了猜想[1]:若 G 不是完全图,并且x=m+n-1,这里 m≥2 以及n≥2,则存在 G 的不相交子图 G1和G2使得X(G1)=m 和 X(G2)=n.该文举例说明该猜想并不一定成立,同时给出使此猜想成立的一些充分性条件.     

二元插值的几何特征与插值结点平面构形

插值结点组的几何特征(GC)决定二元插值问题的解的存在性与唯一性.通过引入亏量的概念对满足GC5条件的集合进行讨论,得到了猜想在n=5时的几何平面构形.该构形确定的二元Lagrange公式最终表示成一次因子乘积的形式,进一步验证了该猜想的正确性.     

系统不确定性的数值计算方法

基于未确知理论，定义了系统不确定性的一个度量尺度——盲数方差。通过将系统“宽区间”范围的“强”不确定性离散化处理成“窄区间”范围的“弱”不确定性，给出了基于盲数的系统不确定性数值计算原理和方法。它是一种通用的数值计算方法，实际计算表明该方法的正确性和实用性。     

关于图的结合数的一个结果

本文对图论中的Woodall关于结合数的一个猜想作了研究,证明了：若图G的结合数bind（G）≥且（G）．则图G包含三角形．     

修改的Jacobi序列的线性复杂度

利用剩余类环Zpq上的广义割圆理论，给出了周期为pq的修改的Jacobi序列的一个新定义，并得到了修改的Jacobi序列的线性复杂度和极小多项式，从而证明了Green猜想的正确性。分析结果表明，多数修改的Jacobi序列具有良好的线性复杂度。