一种Hasse图的快速构造方法

为了改善传统Hasse图构造方法复杂的问题,根据Hasse图的分层特征、同层间元素无关系、相邻层可能满足关系的性质,提出一种快速、高效的Hasse图构造方法.首先根据两个规则对集合元素进行分层处理,使元素分布于不同层,然后根据关系对相邻两层的元素进行连线处理,整理得到Hasse图,最后给出了该构造方法的算法实现.构造示例表明了该构造方法不仅有效,而且简单、高效.     

一个生成Hasse图的有效算法

Hasse图是偏序集关系图的一种简明而有效的表示。文章证明了偏序集的唯一盖住关系Cov(A)等价于两个关系的复合运算,从而可转化为两个矩阵的布尔乘积,给出了一个求盖住关系Cov(A)的有效算法,从而方便、快捷地生成偏序集的Hasse图,完善了有关Hasse图的理论及算法。     

一种构造Hasse图的高效算法

目前在国内外的文献上,关于Hasse图的构造方法都是基于纯粹的数学矩阵变换方法,而非计算机算法,其缺点是不论最好还是最坏情况,其时间复杂度都是0（n3）,进而无法为特殊情况作出优化。这里给出一种构造Hasse图的通用高效算法。该方法从计算机算法的角度对矩阵中单个元素进行计算,当矩阵中所需计算的元素较少时,算法的时间复杂度会相应的降低,在最好的情况下,时间复杂度将接近O(n2),而在最坏的情况下,时间复杂度仍保持在0（n3）。     

Toeplitz-Hausdorff定理的新证明

利用集合的道路连通性,给出了数值域的Toeplitz-Hausdorff定理的简洁的证明．     

著名的Fan定理的间短证明

给出Fan定理的简短证明．     

关于Jordan—Dedekind链定理的注记

首先推出（１）中关于有限长半模偏序集满足Ｊｏｒｄａｎ－Ｄｅｄｅｋｉｎｄ链条件定理证明中仅假定两定点间存在一个有限极大链γ〃，而对γ〃的存在性并未给出严格证明，本文给出一种新的更为严密的证明方法，并指出完善（１）中证明的途径。     

二分图含圈与对集的一个构造性证明

给出了一个二分图G =(V1 ,V2 ;E)有一个支撑子图包含一个指定长度的圈和一个对集的度条件 .并且证明了若 |V1 |=|V2 |=n =2k ,则G有一个 2 因子恰有一个 8 圈和k 2个 4 圈或恰有k个 4 圈 .     

广义多边形的一个构造定理

W·K·Kator于1986年在文献[2]中给出了构造广义多边形的一个定理,本文另外给出一个。并把构造广义多边形的问题归结到某个集合上建立一种特殊映射的问题。     

《网络算法与复杂性理论》中一个定理的错误证明的更正

本文指出了《网络算法及复杂性理论》（研究生教材）中一个定量的错误证明，并给出了更正。该定理为一般图匹配中的一个非常重要的基本定理。     

集上的偏序关系

该文主要讨论给定集Ｘ上的传递关系、拟序关系和偏序关系全体的序结构,证明了：（１）给定集Ｘ上的偏序关系全体Ｐ（Ｘ）在包含序下为原子的算术的完备交半格,其极大元素等同于全序关系,也等同于交既约元。（２）当│Ｘ│〉２时,（Ｐ（Ｘ）,∈）不满足条件分配律;（３）在公理系统“ＺＦ＋序扩张原则”中,Ｐ（Ｘ）是交既约元生成的,并对传递关系进行了类似的讨论。     

七色定理的一个新证明

平面图G的完备色数是使用G的相邻或相关联的元素均染为不同色的最少颜色数，Kronk和Mitchem证明了每一个最大度不超过3的平面图是7－完备可染的，本文利用四色定理给出定个定理的一个简单证明。     

唯一偶泛圈图的一个定理

设G是一个偶图,u是偶数且是G的阶,若对每个偶数t,4≤t≤v,G恰有一个长为t的圈,则称G是唯一偶泛圈图（简称UB－图）。作者证明恰有6个v 4条边的UB－图。     

Crum定理的一个新证明

导出了新的Plücker关系式,利用Wronskian技巧和Plücker关系式证明著名的Crum定理.给出了Crum定理一个新的简洁证明.在附录中证明了三个plücker关系式.     

Swarte的引理5.4的证明及推广

D. Crystal, H. Greenberg, A. Kolem, W. Morris, A. Raian, R. Rardin和 M. Trick指出:从我们对Swart的文章的研究,确信变量公式是正确的,但Swart对关键性引理5.4的证明是错误的。在这里,我们给出引理5.4的一个严格证明,证明引理是完全正确的,并进一步推广引理5.4的结果。 Swart引理5.4;给定了一个n×n双随机矩阵D,它的所有元素是非负整数,并且每一行和与列和都是正整数K,则D能分解成置换矩阵的线性组合。推论:给定一个n×n双随机矩阵D,它的所有元素是非负整数,并且每一行和与列和都正实数K,则D能分解成置换矩阵的线性组合。     

微分中值定理的一种新证法

本文借助于Ｒｏｌｌｅ定理的几何意义，给出了微分中值定理的一种新证法。     

关于Cantor定理的新证法

Ｃａｎｔｏｒ定理的证明，除了对角线法外，其他所有证明实质上都类同于Ｔａｋｅｕｔｉ在１９８２年给出的证法现应用共尾数和不可达基数给出了新的证法，这个证法不同于以往各种证明     

托勒密定理的新证明

本文给出托勒密定理的一个新证明。     

叶果洛夫定理的一个新证明

介绍了叶果洛夫定理的一个新证明,所得的主要结果是：刻划几乎处处收敛的可测函数列的引理、,刻划几乎一致收敛的可测函数列的引理２,定理１（叶果洛夫定理）和定理２（叶果洛夫定理之逆）。     

关于矩阵秩三合一定理的初等变换证明

关于定理“矩阵的秩=矩阵的行秩=矩阵的列秩”的证明方法较多，本文将用初等变换的方法给出证明，此证明方法易于理解，便于计算机编程实现，有利于机器证明。