二元关系的传递性的矩阵判别.docVIP

PAGE 2 PAGE 17 1 二元关系传递性的矩阵判别法 摘 要：通过关系矩阵MR研究有限集合上关系R的性质既直观又迅速，在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中，前四种性质已有了关系矩阵判别方法。而可传递关系R的特征较为复杂，所以不易从其关系矩阵MR中直接判别。本文对有限集合上的可传递关系进行了一般的讨论，并给出了定理及其证明，在此基础上给出通过其关系矩阵MR判别关系R的可传递性的方法，使得对可传递关系的判别变得非常简洁、有效。判断一个二元关系是否具有传递性，从定义与关系图的方法比较繁琐，利用关系矩阵判断其传递性,能避免繁琐的过程，文中通过对二元关系传递性定义的深入分析, 利用关系矩阵中元素的特点与关系，通过深入研究二元关系性质和相关定理，提出了四种利用关系矩阵判断传递性的有效方法，分别为中途点判别法、复合矩阵法、十字型法、传递闭包法，同时给阐述了各方法的实用性，给出了利用关系矩阵判定二元关系传递性的简捷高效的算法，具体算法在计算机上能够高速有效的运行，然后对传递性程度进行了研究，具有一定的理论价值跟现实价值。 关键词：二元关系；传递性；关系矩阵；传递闭包； Matrix Criterion For Transitive of Binary Relation Abstract:Through the relationship matrix MR,st