闭包

http://wenku.baidu.com/link?url=r-ufA-ZHKbWm4OOJK1J4GHpEBs6t0PpQoreRHUjkW1ViEy4xVcn4rOABWM2Ff1Cm72WDKcbM_o1BBgl_feEX4524HfGULCCi9FEVPQyw3aa

传递闭包的计算过程一般可以用Warshell算法描述：

For 每个节点i Do
For 每个节点j Do
If j能到i Then
For 每个节点k Do
a[j, k] := a[j, k] Or ( a[j, i] And a[ i, k] )

其中a数组为布尔数组，用来描述两个节点是否相连，可以看做一个无权图的邻接矩阵。可以看到，算法过程跟Floyd很相似，三重循环，枚举每个中间节点。只不过传递闭包只需要求出两个节点是否相连，而不用求其间的最短路径长。