离散数学中的warshall算法应用