Do thuật toán Floyd giãn tuần tự khoảng cách giữa tất cả các cặp đỉnh (i, j), kể cả những cặp có i=j và khoảng cách ban đầu giữa một cặp đỉnh (i, i) bằng 0, nên chỉ có thể xảy ra giãn nếu đỉnh k sao cho d[i][k]+d[k][i]<0, tương đương với việc có một chu trình âm qua đỉnh i