| Warshall算法正确性的矩阵分析 |
| |
| 引用本文： | 刘宏兵,邬长安. Warshall算法正确性的矩阵分析[J]. 大学数学, 2005, 21(1): 117-119 |
| |
| 作者姓名： | 刘宏兵 邬长安 |
| |
| 作者单位： | 武汉理工大学,计算机学院,湖北,武汉,430070;信阳师范学院,计算机系,河南,信阳,464000;信阳师范学院,计算机系,河南,信阳,464000 |
| |
| 摘 要： | Warshall算法是二元关系中求传递闭包的一种简洁有效的方法.它在形式语言与自动机理论、图的可达性和路径优化等方面都有很重要的应用.本文通过布尔初等变换证明该算法的正确性.
|
| 关 键 词： | 布尔矩阵 Warshall算法 布尔初等变换 |
| 文章编号： | 1672-1454(2005)01-0117-03 |
| 修稿时间： | 2004-02-27 |
Matrix Analysis of Warshall Algorithm Correctness |
| |
| LIU Hong-bing,WU Chan-gan. Matrix Analysis of Warshall Algorithm Correctness[J]. College Mathematics, 2005, 21(1): 117-119 |
| |
| Authors: | LIU Hong-bing WU Chan-gan |
| |
| Abstract: | Warshall algorithm is an efficient method of getting transitive closures in 2-tuple relations. It has very important application in formal languages and automata theory, the reachability of graphics and the route optimization. The proof of Warshall algorithm is proposed through the Boolean transformation. |
| |
| Keywords: | boolean matrix Warshall algorithm boolean transformation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
