Floyd 算法，“哈利波特的考试”

Floyd 算法：

Floyd 算法利用一个三重循环计算一个存储边长度的图中任意两点间最短的路径，其逻辑可以简单地被表示为：

def floyd(weight_list, vertex_num):
    for k in range(vertex_num):
        for i in range(vertex_num):
            for j in range(vertex_num):
                if weight_list[i][k] + weight_list[k][j] < weight_list[i][j]:
                    weight_list[i][j] = weight_list[i][k] + weight_list[k][j]
                    if i == j and weight_list[i][j] < 0:
                        return False
    return True

如同上述函数表示的，weight_list 作为一个长和宽都为 vertex_num 的二维数组 (在保存边长度之前其中的值被初始化为一个很大的数。或者如果你愿意，可以称呼其为 邻接矩阵)，对在图中的两点 v 和 w，weight_list[v][w] 保存点 v 到点 w 的距离(或者从 v 到 w 的开销，或者其他有意义的值)。算法完成后 weight_list 保存在图中任意联通的两点 v 和 w 之间最短的距离。

因为算法的特性，Floyd 算法不适用于计算存在边长为负值的图 (这会在图中形成有矛盾的闭环)，循环内的判断条件会使函数被传入含有负值边的图后返回 False。

函数 floyd() 会改变传入其中的图的内容，所以传入的图应当是输入的“原图”的一个副本。