399 除法求值（floyd算法）

1. 问题描述：

给你一个变量对数组 equations 和一个实数值数组 values 作为已知条件，其中 equations[i] = [Ai, Bi] 和 values[i] 共同表示等式 Ai / Bi = values[i] 。

每个 Ai 或 Bi 是一个表示单个变量的字符串。另有一些以数组 queries 表示的问题，其中 queries[j] = [Cj, Dj] 表示第 j 个问题，请你根据已知条件找出 Cj / Dj = ? 的结果作为答案。返回所有问题的答案 。如果存在某个无法确定的答案，则用 -1.0 替代这个答案。如果问题中出现了给定的已知条件中没有出现的字符串，也需要用 -1.0 替代这个答案。注意：输入总是有效的。你可以假设除法运算中不会出现除数为 0 的情况，且不存在任何矛盾的结果。

示例 1：

输入：equations = [["a","b"],["b","c"]], values = [2.0,3.0], queries = [["a","c"],["b","a"],["a","e"],["a","a"],["x","x"]]
输出：[6.00000,0.50000,-1.00000,1.00000,-1.00000]
解释：
条件：a / b = 2.0, b / c = 3.0
问题：a / c = ?, b / a = ?, a / e = ?, a / a = ?, x / x = ?
结果：[6.0, 0.5, -1.0, 1.0, -1.0 ]

示例 2：

输入：equations = [["a","b"],["b","c"],["bc","cd"]], values = [1.5,2.5,5.0], queries = [["a","c"],["c","b"],["bc","cd"],["cd","bc"]]
输出：[3.75000,0.40000,5.00000,0.20000]

示例 3：

输入：equations = [["a","b"]], values = [0.5], queries = [["a","b"],["b","a"],["a","c"],["x","y"]]
输出：[0.50000,2.00000,-1.00000,-1.00000]

提示：

1 <= equations.length <= 20
equations[i].length == 2
1 <= Ai.length, Bi.length <= 5
values.length == equations.length
0.0 < values[i] <= 20.0
1 <= queries.length <= 20
queries[i].length == 2
1 <= Cj.length, Dj.length <= 5
Ai, Bi, Cj, Dj 由小写英文字母与数字组成
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/evaluate-division

2. 思路分析：

题目中给出了若干个整除的方程，我们需要在已知的方程中求解出某两个字符串数字整除的方程的值，这道题目其实是可以转换为图论的知识点来解决的，想到这一点很重要，例如a / b = c可以看成是a->b之间有一条权重为c的路径，因为题目中有一个限制为不会存在矛盾的解，所以任意两个点之间的距离都是唯一的，我们要求解的是从顶点i到顶点j的距离，所以求解的距离是唯一的，我们可以使用floyd算法求解任意两点之间的最短距离，求解的这个最短距离是也就是唯一的距离。因为使用的是python语言所以使用列表来维护题目中给出的equations中对应的顶点，使用字典来维护两个顶点之间的距离（字典的键为元组类型，表示a->b，值为a->b的距离），由题目可知由各个顶点构成的图为无向图，也即任意两个顶点有权重就可以相互到达，所以在遍历的时候按照无向边进行处理，存储a->b与b->a的权重。当我们求解出任意两点之间的距离之后遍历查询列表，查询当前的顶点之间是否有可达的路径，如果可达那么添加字典中对应的值，否则添加-1.0。

3. 代码如下：

from typing import List
import collections


class Solution:
    def calcEquation(self, equations: List[List[str]], values: List[float], queries: List[List[str]]) -> List[float]:
        # vers用来存储给出的节点
        vers = set()
        # 字典维护i->j的距离
        d = collections.defaultdict(float)
        for i in range(len(equations)):
            # a->b与b->a的距离为c
            a, b = equations[i][0], equations[i][1]
            c = values[i]
            # 因为是任意两个顶点有路径都可以相互到达所以应该需要设置a->b和b->a
            d[(a, b)] = c
            d[(b, a)] = 1 / c
            # 添加已知的顶点
            vers.add(a)
            vers.add(b)
        # 因为是唯一的距离所以不用求解最小值
        for k in vers:
            for i in vers:
                for j in vers:
                    if (i, k) in d and (k, j) in d:
                        d[(i, j)] = d[(i, k)] * d[(k, j)]
        # 查询a, b之间是否可达
        res = list()
        for i in range(len(queries)):
            a, b = queries[i][0], queries[i][1]
            if (a, b) not in d:
                res.append(-1.0)
            else:
                res.append(d[(a, b)])
        return res