摘要
首先,介绍布尔矩阵传递闭包的概念及计算问题;随后,分析布尔矩阵的传递闭包和由该布尔矩阵与单位矩阵取并所得到的自反矩阵的传递闭包之间的关系;最后,利用上述结果给出一种求解布尔矩阵传递闭包的基于自反矩阵构造的平方算法,并通过实例说明了其具体计算过程.
First, the transitive closure of general boolean matrix and it＇s computing problems are discussed. Then, the relations between the transitive closure of general boolean matrix and that of the reflexive boolean matrix constructed by the union of boolean matrix and identity matrix are studied. At last, the reflexive matrix contracting based square algorithm is presented for calculating the transitive closure of the general binary relation, and the procedure of it is showed through an example.
出处
《数学的实践与认识》
CSCD
北大核心
2007年第1期55-60,共6页
Mathematics in Practice and Theory
基金
国家自然科学基金(60474023)
973国家重大基础研究计划基金(2002CB312200)
中国博士后科学基金(2005037316)
关键词
布尔矩阵
传递闭包
自反矩阼
平方算法
boolean matrix
transitive closure
reflexive matrix
square algorithm
