中国剩余定理解析

最新推荐文章于 2025-02-27 18:07:26 发布

一根牛蒡

最新推荐文章于 2025-02-27 18:07:26 发布

阅读量1.3k

点赞数 32

文章标签： python 开发语言

本文链接：https://blog.csdn.net/u014177256/article/details/144725507

版权

解释中国剩余定理

1. 生活中的例子 🌟

想象你去买水果：

如果 3 个一数，最后剩 2 个
如果 5 个一数，最后剩 3 个
如果 7 个一数，最后剩 2 个

问题是：最少要有多少个水果？

这就是中国剩余定理要解决的问题！

2. 简单理解 📝

中国剩余定理就是用来解决这样的问题：

找一个数字
这个数字除以几个不同的数
我们知道每次除完后的余数
要找出符合所有条件的最小数字

3. 举个简单例子 🎯

比如：找一个数字 x

x ÷ 3 余 2
x ÷ 5 余 3
x ÷ 7 余 2

解答过程：

这个数是 23
检验：
- 23 ÷ 3 = 7 余 2 ✓
- 23 ÷ 5 = 4 余 3 ✓
- 23 ÷ 7 = 3 余 2 ✓

4. Python 代码（简化版）📊

def simple_chinese_remainder(remainders, moduli):
    """
    简单版中国剩余定理
    remainders: 余数列表
    moduli: 除数列表
    """
    x = 0  # 从0开始试
    while True:
        # 检查当前的x是否满足所有条件
        all_match = True
        for i in range(len(remainders)):
            if x % moduli[i] != remainders[i]:
                all_match = False
                break
        
        if all_match:
            return x  # 找到答案了！
        x += 1  # 试下一个数

# 测试
remainders = [2, 3, 2]  # 余数
moduli = [3, 5, 7]      # 除数
result = simple_chinese_remainder(remainders, moduli)
print(f"答案是: {result}")  # 输出：23

5. 实际应用 🌍

生活中的应用
- 排班问题（不同工作日期的循环）
- 活动安排（找到符合多个时间要求的日期）
编程中的应用
- 密码学
- 日期计算
- 任务调度

6. 为什么叫"中国"剩余定理？ 🎓

这个定理最早出现在中国古代数学家孙子的《孙子算经》中
书中有一个著名的"物不知数"问题
所以这个定理被国际数学界命名为"中国剩余定理"

7. 小结 ✨

中国剩余定理就是用来解决：

一个数字除以不同的数
知道每次除完的余数
找出最小的符合条件的数

进阶解释

1. 理论解释

中国剩余定理是求解一元线性同余方程组的重要方法，最早记载于中国古代数学著作《孙子算经》中的"物不知数"问题。

2. LeetCode 实例

通过 LeetCode 1799. N 次操作后的最大分数和来展示 CRT 的实际应用：

def gcd(a: int, b: int) -> int:
    """
    计算两个数的最大公约数
    使用欧几里得算法
    """
    while b:
        a, b = b, a % b
    return a

def extended_gcd(a: int, b: int) -> tuple:
    """
    扩展欧几里得算法
    返回 (gcd, x, y)，其中 ax + by = gcd
    """
    if b == 0:
        return a, 1, 0
    d, x, y = extended_gcd(b, a % b)
    return d, y, x - (a // b) * y

def mod_inverse(a: int, m: int) -> int:
    """
    计算 a 模 m 的乘法逆元
    要求 a 和 m 互质
    """
    g, x, _ = extended_gcd(a, m)
    if g != 1:
        raise ValueError("乘法逆元不存在")
    return x % m

def chinese_remainder(remainders: list, moduli: list) -> int:
    """
    中国剩余定理的实现
    remainders: 余数列表 [a1, a2, ..., an]
    moduli: 模数列表 [m1, m2, ..., mn]
    返回满足所有同余方程的最小正整数解
    """
    # 1. 计算所有模数的乘积 M
    M = 1
    for m in moduli:
        M *= m
    
    # 2. 计算每个Mi和对应的逆元
    result = 0
    for i in range(len(remainders)):
        Mi = M // moduli[i]
        yi = mod_inverse(Mi, moduli[i])
        result += remainders[i] * Mi * yi
    
    # 3. 返回最小正整数解
    return result % M

# 测试示例
if __name__ == "__main__":
    # 解方程组：
    # x ≡ 2 (mod 3)
    # x ≡ 3 (mod 5)
    # x ≡ 2 (mod 7)
    remainders = [2, 3, 2]
    moduli = [3, 5, 7]
    
    result = chinese_remainder(remainders, moduli)
    print(f"解为: {result}")  # 应输出 23