一种离散数学中求传递闭包的算法实现