一种Hasse图的快速构造方法

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

一个生成Hasse图的有效算法

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

一种构造Hasse图的高效算法

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

Toeplitz-Hausdorff定理的新证明

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

著名的Fan定理的间短证明

给出Fan定理的简短证明．     

关于Jordan—Dedekind链定理的注记

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

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

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

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

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

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

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

集上的偏序关系

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

匹配在管理科学中的应用

图论中的匹配有着广泛的应用,这里就匹配在“排课表问题”、稳定匹配在“婚配问题”和“大学招生问题”以及完美匹配在“人员分配问题”给出了数学模型和相关算法。     

在加权完全偶图中求2边最优匹配的算法

给出不完全最优匹配的定义,并提出在加权完全偶图中求2边最优匹配的算法,最后举例说明其应用.     

循环图C_(2n)(1,4)的偶匹配可扩性

称图G是偶匹配可扩的,是指G的每一个偶匹配M都可以扩充为G的一个完美匹配.判定图是否是偶匹配可扩的是co-NP-完全问题,根据图的k-偶匹配可扩性完全刻画了循环图C2n(1,4)的偶匹配可扩性.     

循环图C2n(1,3)的2-偶匹配可扩性

设图G是一简单的且有完美匹配的连通图,称图G是k-偶匹配可扩的,是指G的每一个基数不大于k(1≤k≤(│V(G)│-2)/2)的偶匹配M都可以扩充为G的一个完美匹配.刻画了循环图C2(n1,3)的2-偶匹配可扩性,得到结论:对于任意的n(n≥3),C2(n1,3)是2-偶匹配可扩性的.     

平面二部图的完美匹配集合上的有向根树结构及其生成

图的完善匹配或１－因子指覆盖子其所有顶点的独立边集。对含有完善匹配的平面二部图，其所有完美区通过某旋转变换形成层次组织结构。可用有向根树或半格表示。建立了平面二部图的完善匹配集合上新有向根树结构并可通过算法来生成。     

赋权非完全偶图的最优分派问题及其初步应用

本文主要讨论了具有二分类的赋权非完全偶图的最优分派问题，通过寻找一个具有最大权的亚完美对集，从而也就确定了具有最大权的对集，进而判断人员是否需要调整。     

科技项目评审专家分组匹配算法

为了解决科技项目评审中申请书与专家的分组匹配问题,提出了一个基于二部图谱划分异构对象分组匹配算法。 该算法用二部图描述申请书与专家之间的对应关系,提出了关联强度计算公式,计算图中每条边的权重值,求出图的关联矩阵,对关联矩阵进行奇异值分解得到奇异特征向量,用k-means分组算法对奇异特征向量进行分组。 利用申请书与专家分组匹配算法能够实现项目评审过程中申请书与专家的自动分组与匹配,并且分组匹配结果有较高的准确性和合理性。      

关于偶匹配可扩图中删去两个点

设G是含有完美匹配的简单图.称G是偶匹配可扩的,如果G中导出子图是偶图的匹配M都可以扩充为G的完美匹配.研究了在偶匹配可扩图中删去两个顶点后该图的性质.这些性质对于偶匹配可扩图的进一步研究会有帮助.     

一类指派问题的赋权偶图解法

本文对一种目标函数为非线性函数的0—1规划问题提出了一种运用赋权偶图及完美对集的求解方法。