对于弗洛伊德-华沙算法首先是要假设研究的图中是不包含有负边的，对于所给的图中的任意亮点v1，vm，假设两点之间存在一条连通路径，对于该路径中去掉头和尾节点，也就是v1，vm，剩下的节点也就称之为这条路径的过渡节点。为图中每个节点进行编号，然后如果图中有n个节点，那么节点编号就是从1到n。

对于给定的任意亮点v1和vm，如果他们之间相互连通，那么从节点v1开始，就可以找到至少一条以上v1路径抵达vm的路径，假设所有路径中对应节点最大编号是为k，那么也就是知道如果遍历所有从v1出发最终抵达vm的路径，组成这些路径的节点没有一个编号是能够超过k的。

于是k就能够将这些路径分为两部分，一部分包含了节点k，另一部分不包含节点k，于是从v1-vm的最短路径只有两种情况，一种就是要么包含节点k，另一种就是要么不包含节点k，如果是后者的话，那么最短路径中所有的节点的编号都不会大于k，如果情况属于前者的话，假设起始节点v1的编号为j，终节点vm的编号为j，那么最短路径可以切割成两部分，前一部分由编号为i的节点抵达编号为k的节点，后一部分由编号为k的节点抵达编号为j的节点，如下图所示：

添加图片注释，不超过 140 字（可选）

注意到由于编号k是节点i到节点j最短路径中的最大编号，那么路径p1和p2中的节点编号最大不超过k-1，有如下的关系成立：

添加图片注释，不超过 140 字（可选）

当然节点i到节点j的最短路径可能属于另一部分，也就是那些节点编号最大不超过k-1的路径，如果是这种情况的话，那么最短路径可以表示，如果节点i到节点j的最短路径不包含中间节点，也就是边(i,j)就是两者间的最短距离，这种情况认为路径中最大节点编号为0，那么如下公式成立：

添加图片注释，不超过 140 字（可选）