Warshall算法正确性的矩阵分析

• 作者: 刘宏兵 邬长安
• 来源期刊: 大学数学
• 学科: 数学
• 关键词: 布尔矩阵 Warshall算法 布尔初等变换
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 教学参考
• 页码范围: 117-119
• 页数: 3页
• 分类号: O159
• 字数: 1724字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-1454.2005.01.027

摘要

Warshall算法是二元关系中求传递闭包的一种简洁有效的方法.它在形式语言与自动机理论、图的可达性和路径优化等方面都有很重要的应用.本文通过布尔初等变换证明该算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘宏兵	武汉理工大学计算机学院	11	75	5.0	8.0
5	邬长安	信阳师范学院计算机系	36	223	9.0	12.0