一种快速求解关系的传递闭包的算法.pdfVIP

计算机科学2004Vo1.31N2.10(增刊) 一种快速求解关系的传递闭包的算法 AFastAlgorithmforSolvingTransitiveClosureofRelation 韩俊英，.2徐德启 ‘ (兰州大学信息科学与工程学院 兰州730000) (甘肃农业大学计算机与信息技术系 兰州730070) Abstract ItisdifficulttodirectlydecidewhethertherelationRistransitiveornot.AndSimultaneously,itisalso difficultforustosolvetransitiveclosureoftherelationR.Thetwoquestionsarerelated,bothofwhicharedifficult tosolve.Theeffortsofthispaperareprovidingafastalgorithmforsolvingthetwoquestionsandcomparingand analysizingit. KeywordsRelationmatrix,Transitive,Transitiveclosure 直角三角形RtAijt为关系R的特殊直角三角形。 I 引言 3 主要结果 离散数学是研究离散量的结构及其相互间关系 的一门学科，是计算机科学的数学基础。集合论中的 命题1 关系R具有传递性的充分必要条件 有关关系的研究在计算机科学中得到了广泛的应 是:在关系矩阵MR中，所有的特殊直角三角形Rtijt 用。关系的各种闭包运算实际上是获得具有良好性 的三个顶点的取值均为1, 质的关系的方法[[i]，而由关系矩阵直接判断关系的 证明:充分性。若所有的特殊直角三角形RtAijt 传递性、求解关系的传递闭包是一个经常碰到但又 的三个顶点的取值均为1，则说明在MR中rti,rit,rit 不容易解决的问题[[21 的取值均为1。由定义1及定义2得出:Va;,a;,atEA, 2 术语和约定 aR;a;,aR;at，则有aR;at成立，所以R具有传递性。 必要性。反证法。设在关系矩阵MR中3特殊直 定义1[2〕给定集合A=(a,,a2,-,a}，及A上 角三角形RtAijt的顶点r;，的取值不为1，则说明 门 ， 如果a;Ra; 的二元关系R，使r,j= _ ，则称MR= 3a;,a;,a,EA，使得a;Ra;,a;Ra,，但是a;Rat。这与R to，如果a;Ra; 具有传递性矛盾。 民;]nXn矩阵是R的关系矩阵。 推论1 在关系矩阵MR中，如果日特殊直角三 定义2[2〕如果对任意x,y,zEA,xRy,yRz蕴 角形RtAijt的顶点r;:的取值不为1，则R不具有传 含着xRz，那么称R具有传递性。 递性。反之，R具有传递性。 定义3[2] 设R是A上的二元关系，R的传递 下面讨论快速求集合A上的关系R的传递闭 闭包是关系R，使:(i)R’是传递的;(ii)RQR;(iii)