数论 - n元线性同余方程的解法

简介: note:n元线性同余方程因其编程的特殊性,一般在acm中用的很少,这里只是出于兴趣学了一下 n元线性同余方程的概念:   形如:(a1*x1+a2*x2+....+an*xn)%m=b%m           ..................(1) 当然也有很多变形,例如:a1*x1+a2*x2+...+an*xn+m*x(n+1)=b.这两个都是等价的。

 

note:n元线性同余方程因其编程的特殊性,一般在acm中用的很少,这里只是出于兴趣学了一下

n元线性同余方程的概念: 

 形如:(a1*x1+a2*x2+....+an*xn)%m=b%m           ..................(1)

当然也有很多变形,例如:a1*x1+a2*x2+...+an*xn+m*x(n+1)=b.这两个都是等价的。

判断是否有解:

 解线性同余方程,我们首先要来判断方程是否有解,方程有解的充要条件是:d%b==0.其中d=gcd(a1,a2,...an);

解n元线性同余方程,我们是通过将其转化为n元不定方程来解的。

a1*x1+a2*x2+...+an*xn+m*x(n+1)=b                 ...................(2)

不难证明(2)和(1)是完全等价的,具体证明也很简单,这里就不再证明。

(2)有解的充要条件是:d1%b==0.其中d1=gcd(a1,a2,....an,m).

定理:当(1)有解时,共有d1*m^(n-1)个不同的解。

定理:当(1)

 

解方程:

 设d1=gcd(a1,a2,....an,m),且有d1%b==0.

利用同余式的性质:

 

目录
相关文章
|
6月前
|
测试技术
代码随想录 Day37 完全背包理论基础 卡码网T52 LeetCode T518 零钱兑换II T377 组合总和IV
代码随想录 Day37 完全背包理论基础 卡码网T52 LeetCode T518 零钱兑换II T377 组合总和IV
58 0
|
算法
动态规划(以背包问题为例)
动态规划(以背包问题为例)
106 0
数论整理之特殊数one:斐波那契数列
数论整理之特殊数one:斐波那契数列
|
人工智能 C++ Python
蓝桥杯练习题八 - k倍区间(c++)(一)
蓝桥杯练习题八 - k倍区间(c++)
91 0
|
存储 C++
蓝桥杯练习题八 - k倍区间(c++)(二)
蓝桥杯练习题八 - k倍区间(c++)
131 0
|
机器学习/深度学习 算法 C++
算法基础系列第四章——数论之质数与约数(1)
算法基础系列第四章——数论之质数与约数(1)
181 0
算法基础系列第四章——数论之质数与约数(1)
|
算法 C++
算法基础系列第四章——数论之质数与约数(2)
算法基础系列第四章——数论之质数与约数(2)
120 0
算法基础系列第四章——数论之质数与约数(2)
代码随想录刷题|完全背包理论基础 LeetCode 518. 零钱兑换II 377. 组合总和 Ⅳ(下)
代码随想录刷题|完全背包理论基础 LeetCode 518. 零钱兑换II 377. 组合总和 Ⅳ
代码随想录刷题|完全背包理论基础 LeetCode 518. 零钱兑换II 377. 组合总和 Ⅳ(上)
代码随想录刷题|完全背包理论基础 LeetCode 518. 零钱兑换II 377. 组合总和 Ⅳ
每日一题1054:计算素数和
题目描述 输入两个正整数m和n(m<n),求m到n之间(包括m和n)所有素数的和,要求定义并调用函数isprime(x)来判断x是否为素数。
212 0