集合上二元关系运算的理论研究

基于集合上的二元关系,讨论了如何从关系矩阵的特征来判断二元关系的传递性,并给出了一个求集合 X 上二元关系 R 的传递闭包的算法以及关于集合上二元关系的几点结论.     

二元偏序关系结构的研究

偏序关系是比较典型和重要的一种关系,有很多实际的应用。定义了独立元素、孤立序偶、单调传递序偶,证明了有关的性质,给出了偏序关系的结构。     

关系传递闭包计算的补充

设X是一n元集，R是X上的一个二元关系，该文给出了R中序偶链及基链长的定义，并据此找到了一个准确的k≤n使得t（R）＝i∪i=1Ri，从而简化了关系传递闭包的计算。     

Warshall算法的C语言实现

Warshall算法是求二元关系传递闭包的一种高效的算法.通过对二元关系可传递性的研究,给出Warshall算法的一个C语言程序,使对可传递性的研究变得更加直观和有效.     

二元关系的对偶合成及其在传递性中的应用

系统地讨论了偏好结构理论中的各种传递性质,引入了二元关系的一种新的合成运算：对偶合成.结果表明,这种对偶合成可以方便地刻画反向传递性,它与合成运算一起可以刻画半传递性和Ferrers传递性.利用二元关系的合成和对偶合成运算建立了二元关系的各种类型的传递性质的若干等价条件.这些等价条件都是用集合的包含式表示的,这种表示有利于判断一个二元关系是否具有某种传递性质.     

基于设置复合位置的传递闭包算法

二元关系的传递闭包根据定义有时不好计算,文中提出一种通过设置二元关系中序偶的复合位置,对被删减的二元关系按照序偶的复合位置,进行增量式复合来计算传递闭包的新算法,利用该算法可以较快地实现传递闭包的求解。     

关于序半群中的传递闭包(英文)

推广了序半群的整除关系│到二元关系→,并给出二元关系→的传递闭包所具有的特征.     

传递闭包的增量式更新研究

针对二元关系中添加序偶原有传递闭包更新问题,先提出一种新的传递闭包算法,并基于新的传递闭包算法给出传递闭包的增量式更新方法,只需要在原有传递闭包的基础上,根据所添加的不同序偶,进行简单的更新即可,利用该方法可以较快地实现动态变化的二元关系传递闭包的求解。     

有限集上二元关系传递闭包的构造

二元关系的传递闭包是关系逻辑中的重要内容。直接由定义求传递性闭包不好求,所以,通过例子研究有限集上二元关系传递闭包的构造,给出相应的结论及其简化结论,并进行了证明和应用。     

判定二元关系传递性的几种方法

直接根据现有离散数学教材中的二元关系传递性定义来判定二元关系的传递性，有时比较困难，介绍了两个等价定义，给出了关系图法、关系矩阵法、关系复合运算、关系闭包等几种方法来判定关系的传递性，并分析了各种方法的优缺点，对正确掌握二元关系传递性的判定有一定作用。     

集上的偏序关系

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

不可约关系的幕

研究了有限集(Χ)上的不可约二元关系ρ的性质,证明了其含有唯一的传递关系,同时证明了ρk∪ρk+1∪……∪ρk+d-1=ρ∪ρ2∪……∪ρn=(Χ)×(Χ).     

生成等价关系的性质

文章给出如何从二元关系出发,构造等价关系的某些方法,并讨论了它们的性质。     

有限集上可传递二元关系的矩阵判别方法

用关系矩阵研究二元关系及其性质的方法既简洁又高效。在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中,前四种性质已有了关系矩阵判别方法。一般认为有限集上可传递二元关系的特征较为复杂,故不容易从其关系矩阵中直接判别。文章对可传递关系进行了相应的讨论,并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。     

二元关系的传递性的计算机检测法

讨论了如何利用计算机对有限集合上的二元关系的传递性质进行检测，同时对自反性与反自反性，对称性与对反对称性亦进行了讨论，并给出了具体算法，使之能检测有限集合上的二元关系是否是相容关系，等价关系，偏序关系，全序关系。     

完备同余关系的一个等价定义

定义了链传递关系,并且得出如下结果：（１） 设Ｌ 是完备格,θ是Ｌ上的完备同余关系θ是链传递的同余关系;（２） 设θ是Ｌ 上链传递关系,则θ是完备同余关系当且仅当θ满足替换性质（ｔｈｅ Ｓｕｂｓｔｉｔｕｔｉｏｎ Ｐｒｏｐｅｒｔｙ） ．从而可定义完备同余关系是满足替换性质的链传递关系     

利用关系矩阵判断二元关系的传递性

目的判断一个二元关系是否具有传递性,从定义与关系图的方法比较繁琐,利用关系矩阵判断其传递性,能避免繁琐的过程。方法利用关系矩阵中元素的特点与关系。结果找零元素法;矩阵的逻辑加运算法;十字画法。结论对于给定一个集合元素的个数较多时,能方便地判断其是否具有传递性。     

求二元关系传递闭包的新方法

二元关系的闭包运算在网络、语法分析以及开关电路中的故障检测和诊断等领域有着重要的作用 .通过求二元关系各幂的并获得关系闭包方法后来被认为是十分困难的和甚为繁琐的 .在三十多年前 ,War Shall给出了一种算法 ,使问题得以简便解决 .但是该算法存在着大量不必要的重复计算 .本文就此做了改进 .改进的算法比 War Shall的算法在时间复杂度从 O( n3)上能够降低到 O( n2 )