传递闭包递推算法的解析表达式

求n×n的模糊矩阵A的传递团包的快速算法是：a^(1)i,j=a:i,j,ai,j^(P 1)=a^pi,jV（ai,p 1)^(p)Aa^(p)p 1,j).本文证明（k≤n)a^(k)i,j=aj,jV1≤l1≤kVai,l1V↑1≤l1,lq≤kl1≠l2aio,l1V↑al1,l2V↑a12,jV...V1≤l1,l2,...,lk≤lr≠ls(r≠s)ai,l1V↑l1,l2V↑...V↓alk。