LeetCode题解证明——第1517题 LCP 02. 分式化简

最新推荐文章于 2023-07-28 10:15:52 发布

rokkie_coder

最新推荐文章于 2023-07-28 10:15:52 发布

阅读量175

点赞数

分类专栏： LeetCode题解

本文链接：https://blog.csdn.net/rokkie_coder/article/details/107327657

版权

LeetCode题解专栏收录该内容

1 篇文章 0 订阅

订阅专栏

解题思路

首先，假设 $f(i) = a_i + {1\over ...}$ 其中的分式通分后可以表示成 $a_i + {n_i\over d_i}$ 的形式。

进行完加法计算及通分后可得到最终的分式表达式为 ${a_i * d_i + n_i\over d_i}$

由于 ${n_{i-1}\over d_{i-1}} = {1\over f(i)}$ ,为了能够继续进行下一步的计算因此在for循环中有一个分子分母互换的步骤。

但最终返回的结果是 $f(0)$ ，不需要进行下一步的计算，不需要在进行分子分母的互换。因此return时的结果分子分母顺序与for循环结束时的结果相反。

然后解释为何不需要约分

这里使用数学归纳法和反证法

令 $f(i)={x_i\over y_i}=a_i+{1 \over f(i+1)}=a_i + {1\over {x_{i+1}\over y_{i+1}}} = a_i + {y_{i+1}\over x_{i+1}}$

假设第i+1项 $f(i+1) = \frac{x_{i+1}}{y_{i+1}}$ 中 $x_{i+1}$ 与 $y_{i+1}$ 互质，

则第i项 $f(i) =a_i + {y_{i+1}\over x_{i+1}} = {a_i * x_{i+1} + y_{i+1} \over x_{i+1}}$

假设第i项中分子与分母有不等于1的公因数c，则其分子分母分别可以表示为

$a_i * x_{i+1} + y_{i+1} = l*c$

$x_{i+1}=m*c$

联立两式可以得到 $y_{i+1} = (m-l*a_i)*c$ ，即 $x_{i+1}$ 与 $y_{i+1}$ 存在不等于1的公因数c，与之前它们互质的假设相悖，因此由反证法可得第i项中分子与分母互质。

根据数学归纳法可得 $f(n)$ 的各项分子分母均互质，因此不需要约分。

代码



class Solution:

    def fraction(self, cont: List[int]) -> List[int]:

        numerator = 1

        denumerator = cont[-1]

        for i in range(len(cont)-1,0,-1):

            numerator, denumerator = denumerator, cont[i-1] * denumerator + numerator

        return [denumerator, numerator]

rokkie_coder

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
LeetCode题解证明——第1517题 LCP 02. 分式化简

解题思路首先，假设其中的分式通分后可以表示成的形式。进行完加法计算及通分后可得到最终的分式表达式为${a_i * d_i + n_i\overd_i}$由于${n_{i-1}\overd_{i-1}} = {1\overf(i)} $,为了能够继续进行下一步的计算因此在for循环中有一个分子分母互换的步骤。但最终返回的结果是$f(0)$，不需要进行下一步的计算，不需要在进行分子分母的互换。因此return时的结果分子分母顺序与for循环结束时的结果相反。然后解释为何不需要约分这...
复制链接

扫一扫