中国剩余定理(excrt) 模板

本文详细介绍了如何使用中国剩余定理(CRT)解决特定数学问题的算法实现。通过具体的代码示例,展示了如何计算在一组模数下满足特定余数条件的最小正整数解。此算法广泛应用于数论、密码学等领域。

excrt板子题

#include <cmath>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define ll long long 
#define N 100010
#define rint register int
#define ll long long 
#define il inline
using namespace std;
//re
int n;
ll A[N],B[N];
ll qadd(ll x,ll y,const ll &mo){ll ans=0;while(y){if(y&1)ans=(ans+x)%mo;x=(x+x)%mo;y>>=1;}return ans;}
ll qpow(ll x,ll y,const ll &mo){ll ans=1;while(y){if(y&1)ans=(ans*x)%mo;x=(x*x)%mo;y>>=1;}return ans;}
ll exgcd(ll a,ll b,ll &x,ll &y){
    if(b==0){x=1,y=0;return a;}
    ll ans=exgcd(b,a%b,x,y);
    ll t=x;x=y;y=t-a/b*y;
    return ans;
}
ll excrt()
{
    ll x,y,ans=A[1],M=B[1],bg;
    for(int i=2;i<=n;i++)
    {
        ll a=M,b=B[i],c=(A[i]-ans%b+b)%b;
        ll gcd=exgcd(M,b,x,y);bg=b/gcd;
        if(c%gcd!=0) return -1;
        x=qadd(x,c/gcd,bg);
        ans+=x*M;
        M*=bg;
        ans=(ans%M+M)%M;
    }
    return ans;
}

int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
        scanf("%lld%lld",&B[i],&A[i]);
    printf("%lld\n",excrt());
    return 0;
}





 

### 关于中国剩余定理的算法模板与实现 以下是基于中国剩余定理的一个经典实现示例,该算法用于解决模线性同余方程组的问题。此实现考虑了输入的一系列模数和对应的余数,并返回满足所有条件的最小非负整数解。 #### 输入说明 给定一组模数 $m_1, m_2, \ldots, m_k$ 和对应的一组余数 $a_1, a_2, \ldots, a_k$,目标是找到一个整数 $x$ 满足以下同余方程组: $$ \begin{aligned} &x \equiv a_1 \pmod{m_1}, \\ &x \equiv a_2 \pmod{m_2}, \\ &\cdots \\ &x \equiv a_k \pmod{m_k}. \end{aligned} $$ 如果存在这样的 $x$,则输出其最小非负整数值;否则输出 `-1` 表明无解。 --- #### 算法核心逻辑 通过逐步合并两个同余方程来扩展到多个方程的情况。对于每一对 $(M_i, A_i)$ 和 $(M_j, A_j)$,可以利用 **扩展欧几里得算法** 来计算它们的组合形式的新模数和新余数[^1]。 具体而言,假设当前已知解的形式为: $$ x \equiv r \pmod{n}, $$ 以及下一个待处理的方程为: $$ x \equiv b \pmod{m}. $$ 那么可以通过如下方式更新新的解: $$ r' = (r + k \cdot n) \% lcm(n, m), $$ 其中 $k$ 是由扩展欧几里得算法得出的系数,而 $\text{lcm}(n, m)$ 则表示两者的最小公倍数。 需要注意的是,在实际编程过程中应特别关注大整数运算可能导致的溢出问题[^3]。 --- #### Python 实现代码 下面是完整的 Python 实现代码: ```python from math import gcd def exgcd(a, b): """ 扩展欧几里得算法 """ if b == 0: return 1, 0, a else: x, y, g = exgcd(b, a % b) return y, x - (a // b) * y, g def crt(moduli, remainders): """ 中国剩余定理实现 """ M = moduli[0] R = remainders[0] for i in range(1, len(moduli)): mi = moduli[i] ai = remainders[i] # 计算lcm(M, mi),并验证是否有解 g, _, _ = exgcd(M, mi) if (ai - R) % g != 0: return -1 w = ((ai - R) // g) * pow(mi // g, -1, M // g) % (M // g) R += w * M M = M * mi // g return R % M # 测试数据 if __name__ == "__main__": moduli = [3, 5, 7] # 模数组 remainders = [2, 3, 2] # 对应余数 result = crt(moduli, remainders) print(result) # 输出结果:23 ``` 上述代码实现了中国剩余定理的核心功能,并能够正确处理多组模数和余数的情形。它还包含了必要的边界情况检测机制,比如当某些子问题不存在有效解时会及时退出并返回错误标志 `-1`。 --- #### 注意事项 - 如果所有的模数互质,则可以直接应用标准版本的 CRT 方法。 - 当模数不完全互素时,需借助扩展欧几里得算法动态调整参数以确保最终解答的有效性和唯一性。 - 运行期间务必留意可能发生的数值范围越界现象,尤其是在涉及较大规模的数据集时更应该小心谨慎。 ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值