反对称性和传递性的两个等价定义及应用

直接根据现有离散数学教材--文献中的二元关系反对称性和传递性定义,有时不好判定二元关系的反对称性和传递性。本文给出二元关系反对称性和传递性的两种等价定义,从而可以方便、快捷地实现二元关系反对称性和传递性的判定。     

反对称性和传递性的两个等价定义及应用

直接根据现有离散数学教材--文献[1-2]中的二元关系反对称性和传递性定义,有时不好判定二元关系的反对称性和传递性.本文给出二元关系反对称性和传递性的两种等价定义,从而可以方便、快捷地实现二元关系反对称性和传递性的判定.     

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

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

基于衡平矩阵的二元关系传递性的判别法

直接根据文献[1-3]中的离散数学教材中的二元关系传递性定义,有时很难判定。通过研究突破了二元关系传递性定义的局限性,通过引入衡平矩阵的概念,给出一个二元关系具有传递性的充要条件是它的关系矩阵为衡平矩阵,并给出了利用衡平矩阵判定二元关系具有传递性的几种方法,使对传递性的判别直观、形象、方便、快捷。     

二元关系传递性的等价定义及其判别法

通过对二元关系传递性定义的深入分析,突破其原始定义的局限性,给出其等价的定义形式,又由二元关系与矩阵的联系,给出矩形判别法,从而可以方便、快捷地实现二元关系传递性的判定。     

二元关系中传递性的若干研究

二元关系的传递性有时不好判断,通过对二元关系传递性定义的深入分析,给出了传递性判断的等价定义及定理,利用该等价定义及定理可以较快地实现二元关系传递性的判定。     

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

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

基于二元关系闭包运算构造商集的一种方法

本文通过对二元关系闭包运算的研究,给出与二元关系R结构相近的一个等价关系的划分,从而构造相应的商集,该方法简便、实用、高效,易于操作。     

二元关系的性质及判定

离散数学中的二元关系是一个重要的基本概念,本文中给出的二元关系的五种特性的定义,并给出了反对称性及传递性的等价定义,同时列出了二元关系性质判定的四种不同方法。对于易混淆的关系指出了它们之间的联系。     

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

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

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

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

二元关系半群 的一类左单位的构造

设 是任意的非空集合, 是集合 上的半格, 是任意集值变换．通过 上的极值变换 定义集合 上由半格 确定的二元关系,而 是集合 上由半格 确定的所有二元关系构成的集合,并且 在二元关系的乘积运算构成半群．利用半群 左单位已有的结论,以及二元关系之间的包含关系,可以获得 的一类左单位的重要特征,从而可以构造出半群 的一类左单位.     

k阶区间值模糊粗集

引入了基于k阶二元关系的区间值模糊粗集的概念,研究了当二元关系分别为(弱)欧几里得、串行、自反、对称、传递关系时上(下)近似算子的性质.     

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

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

一类二元关系的计数问题

利用二元关系的矩阵和组合理论给出了有限集上满足特殊性质的二元关系的计数.     

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

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

二元传递关系结构分析

二元关系是离散数学的一个重要概念,传递性是二元关系的一个重要性质.文中定义了对称传递序偶、严格传递序偶、孤立序偶,给出了相应的计数公式,证明了满足传递性的关系的性质.     

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

通过对二元关系的关系矩阵元素特征的观察和对Warshall算法的深入研究,得出了3种判断有限集上的二元关系是否具备传递性的矩阵判别法：逻辑相加判别法、逻辑乘方比较判别法、打圈画叉判别法．     

S-系上的模糊同余

给出了S-系集合A上的模糊同余的定义,用A上的模糊二元关系θ定义的模糊二元关系θ刻画了由θ生成的模糊同余θ．     

二元关系的图表示

本文把组合数学的图论应用于代数学，用图表示各种二元关系，并证明了定理：每个二元关系Ｒ都可以扩张成一个含有Ｒ的最小等价关系。