《算法导论》第三版第31章数论算法练习&思考题个人答案

最新推荐文章于 2023-07-01 21:36:38 发布

张劲声

最新推荐文章于 2023-07-01 21:36:38 发布

阅读量4.5k

点赞数 4

分类专栏：算法文章标签：算法导论

本文链接：https://blog.csdn.net/u013762431/article/details/86597987

版权

本文详细解答了《算法导论》第三版第31章中的基础数论概念、最大公约数、模运算、求解模线性方程等内容的练习题，涵盖31.1-1至31.7-3等多个知识点，并提供了证明和解题思路。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

31.8节和以后内容由于和所学专业相差过远，暂时停更。。。

31.1 基础数论概念

31.1-1

证明：
$\begin{aligned} c\mod a & =(a+b)\mod a \\ &=b\mod a \\ &=b \end{aligned}$

31.1-2

证明： $[(p_1p_2...p_i...p_k)+1]\mod{p_i}=[(p_1p_2...p_i...p_k)\mod{p_i}]+[1\mod{p_i}]=1$
所以其中任意素数都不能整除该数，所以该数仍是个素数，所以有无穷多个素数。

31.1-3

证明：设 $b = m a$ ， $c = n b$ ，则 $c = m n a$ ，所以 $a\mid c$ 。

31.1-4

证明：如果k不是1，则k不能整除p，得出结论；如果k是1，则直接得出结论。

31.1-5

证明：设 $a b = n k$ ，则 $b=\frac{nk}{a}$ 。因为 $\gcd(a,n)=1$ ，所以 $\frac{n}{a}$ 不是整数（只要a不是1，如果是的话就易证了）。又因为b是整数，所以 $\frac{k}{a}$ 是一个整数，所以 $n\mid b$ 。

31.1-6

证明：
$\begin{array}{rlll} (a + b) ^ p & \equiv & a^p + \binom{p}{1} a^{p - 1}b^{1} + \cdots + \binom{p}{p - 1} a^{1}b^{p - 1} + b^p & (\mod p) \\ & \equiv & a^p + 0 + \cdots + 0 + b^p & (\mod p) \\ & \equiv & a^p + b^p & (\mod p) \end{array}$

31.1-7

证明：假设 $x = k b + c$ ，有 $\mod b) \mod a = c \mod a$ 和 $\mod a = (kb + c) \mod a = (kb \mod a) + (c \mod a) = c \mod a$

31.1-8

证明：因为 $2^\beta > n$ ，所以只要验证满足 $\le k < \beta$ 的 $k$ 值，因此验证过程的时间复杂度是 $O(\beta)$ 。
对任意非平凡指数 $k$ ， $\le k < \beta$ ，使用二分查找找到 $a$ ，时间复杂度 $O(\log \sqrt n) = O(\log \sqrt{2^\beta}) = O(\frac 1 2\log 2^\beta) = O(\beta)$ 。因此，总时间复杂度是 $O(\beta) \times O(\beta) = O(\beta^2)$ 。

31.1-9

证明：
（31.6）略
（31.7）gcd(a,b)是a的约数中能整除b的最大的一个，而a和-a有相同的约数，所以也是-a的约数中能整除b的最大的一个，所以也是gcd(-a,b)。
（31.8）由（31.7）可得。
（31.9）a的最大约数是|a|，而它也能整除0，所以gcd(a,0)=|a|。
（31.10）思路同（31.9）