首页 > 其他分享 >「学习笔记」(扩展)中国剩余定理

「学习笔记」(扩展)中国剩余定理

时间:2023-05-28 21:24:21浏览次数:40  
标签:剩余 p1 int 定理 笔记 a1 k2 k1 ll

有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何?

该问题出自《孙子算经》,具体问题的解答口诀由明朝数学家程大位在《算法统宗》中给出:

三人同行七十希,五树梅花廿一支,七子团圆正半月,除百零五便得知。

\(2 \times 70 + 3 \times 21 + 2 \times 15 = 233 = 2 \times 105 + 23\),故答案为 \(23\)。

定义

中国剩余定理 (Chinese Remainder Theorem, CRT) 可求解如下形式的一元线性同余方程组(其中 \(n_1, n_2, \cdots, n_k\) 两两互质):

\[\begin{cases} x \bmod p_1 = a_1\\ x \bmod p_2 = a_2\\ \cdots\\ x \bmod p_n = a_n\\ \end{cases} \]

过程

对于方程

\[\begin{cases} x \bmod p_1 = a_1\\ x \bmod p_2 = a_2\\ \end{cases} \]

我们可以得知 \(x = k_1 p_1 + a_1 = k_2 p_2 + a_2\),进而推出 \(k_1 p_1 - k_2 p_2 = a_2 - a_1\)
我们观察这个式子,是不是跟 \(xa + yg = g\) 很像?
我们可以用扩展欧几里得算法来做。
扩展欧几里得算法代码

int exgcd(int a, int b, int &x, int &y) {
    if (!b) {
        x = 1, y = 0;
        return a;
    }
    int xp, yp;
    int g = exgcd(b, a % b, xp, yp);
    x = yp, y = xp - yp * (a / b);
    return g;
}

中国剩余定理代码

void solve(int p1, int a1, int p2, int a2, int &p, int &a) {
// x % p1 = a1
// x % p2 = a2
// x % p = a
// x = k1 * p1 + a1 = k2 * p2 + a2
// k1 * p1 - k2 * p2 = a2 - a1
    int g, k1, k2;
    g = exgcd(p1, p2, k1, k2);
// k1 * p1 + k2 * p2 = g
    k2 = -k2;
// k1 * p1 - k2 * p2 = g
    if ((a2 - a1) % g != 0) {
        p = -1, a = -1;
    }
    else {
        int k = (a2 - a1) / g;
        k1 = k1 * k, k2 = k2 * k;
        // k1 * p1 - k2 * p2 = a2 - a1
        int x = k1 * p1 + a1;
        p = p1 / g * p2;
        a = (x % p + p) % p;
    }
}

通过观察,你会发现,这种解法不需要 \(p_1 \perp p_2\),因此扩展中国剩余定理也是这个解法,这是一种通解。

题目

【模板】扩展中国剩余定理(EXCRT)
__int128

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

const int N = 1e5 + 5;

int n;
ll a[N], b[N];

ll qtimes(ll x, ll y, ll p) {
	if (y == 0)    return 0;
	ll z = qtimes(x, y / 2, p);
	z = (z + z) % p;
	if (y & 1) {
		z = (1ll * z + x) % p;
	}
	return z;
}

ll exgcd(ll a, ll b, ll &x, ll &y) {
	if (b == 0) {
		x = 1, y = 0;
		return a;
	}
	ll xp, yp;
	ll g = exgcd(b, a % b, xp, yp);
	x = yp, y = xp - yp * (a / b);
	return g;
}

void CRT(ll p1, ll a1, ll p2, ll a2, ll &p, ll &a) {
	ll g, k1, k2;
	g = exgcd(p1, p2, k1, k2);
	k2 = -k2;
	if ((a2 - a1) % g != 0) {
		p = -1, a = -1;
	}
	else {
		ll k = (a2 - a1) / g;
		__int128 K1 = k1 * k, K2 = k2 * k;
		__int128 x = K1 * p1 + a1;
		p = p1 / g * p2;
		a = (x % p + p) % p;
	}
}

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);
	cin >> n;
	for (int i = 1; i <= n; ++ i) {
		cin >> a[i] >> b[i];
	}
	ll mod = a[1], rest = b[1];
	for (int i = 2; i <= n; ++ i) {
		CRT(mod, rest, a[i], b[i], mod, rest);
	}
	cout << rest % mod << '\n';
	return 0;
}

【模板】中国剩余定理(CRT)/ 曹冲养猪

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

const int N = 1e5 + 5;

int n;
ll a[N], b[N];

ll qtimes(ll x, ll y, ll p) {
	if (y == 0)    return 0;
	ll z = qtimes(x, y / 2, p);
	z = (z + z) % p;
	if (y & 1) {
		z = (1ll * z + x) % p;
	}
	return z;
}

ll exgcd(ll a, ll b, ll &x, ll &y) {
	if (b == 0) {
		x = 1, y = 0;
		return a;
	}
	ll xp, yp;
	ll g = exgcd(b, a % b, xp, yp);
	x = yp, y = xp - yp * (a / b);
	return g;
}

void CRT(ll p1, ll a1, ll p2, ll a2, ll &p, ll &a) {
	ll g, k1, k2;
	g = exgcd(p1, p2, k1, k2);
	k2 = -k2;
	if ((a2 - a1) % g != 0) {
		p = -1, a = -1;
	}
	else {
		ll k = (a2 - a1) / g;
		__int128 K1 = k1 * k, K2 = k2 * k;
		__int128 x = K1 * p1 + a1;
		p = p1 / g * p2;
		a = (x % p + p) % p;
	}
}

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);
	cin >> n;
	for (int i = 1; i <= n; ++ i) {
		cin >> a[i] >> b[i];
	}
	ll mod = a[1], rest = b[1];
	for (int i = 2; i <= n; ++ i) {
		CRT(mod, rest, a[i], b[i], mod, rest);
	}
	cout << rest % mod << '\n';
	return 0;
}

标签:剩余,p1,int,定理,笔记,a1,k2,k1,ll
From: https://www.cnblogs.com/yifan0305/p/17438869.html

相关文章

  • 数论-裴蜀定理-扩展欧几里得算法
    裴蜀定理对于任意的整数a、b,都存在一对整数x、y(注意x和y可以是负整数),使得\(ax+by=gcd(a,b)\)成立。或者可以这样描述:对方程\(ax+by=c,(a,b,c∈Z)\),只有满足\(gcd(a,b)|c\)(即a和b的最大公约数可以整除c),方程才有整数解。扩展欧几里得算法的证明已知\(gcd(a,b)=gcd(b,a\%b)\)......
  • 《HTML入门笔记2》
    HTML常用标签分别有:a标签、img标签、table标签、form标签、input标签等。a标签(特别常用)a标签即超级链接,又叫超链接。一个网站通常由多个页面构成,进入网站时首先看到的就是其首页,如果想从首页跳转至其他页面,就需要在首页相应的位置添加超级链接。a标签其基本语法格式如......
  • 用redis项目练习笔记,跟着黑马敲,并有自己的理解在里面
    点评中,优惠卷牵扯到的秒杀问题。超卖现象如果多线程同时执行会因为高并发,先查询再插入之间会有空档时间,发生超卖问题。可以使用悲观锁或者乐观锁解决,出于对性能的考虑,用到了乐观锁。乐观锁的实现,用到了数据库where语句多加一个条件。每次判断跟上次相同,(这样会造成大量的失......
  • 软件工程日报——《人间》读书笔记
    总结以下《人件》这本书中涉及到的几个概念和建议1、帕金森定律帕金森定律讲述了如下的定律:如果一个很平庸的人作了管理,那么摆在它面前的只有三条路:退位给有能力的人。使用比自己更优秀的属下。运用比自己还平庸的手下。第一条路和第二条路一般是个有欲望的人,都不会采取,......
  • 【ABAQUS文档笔记】实体单元
    来自ABAQUSDOCUMENT/GETTINGSTARTEDWITHABAQUS/CAE/USINGCONTINUUMELEMENTS单元公式和积分fullintegration“完全积分”是指当单元具有规则形状时,对单元刚度矩阵中的多项式项进行精确积分所需的高斯点数。对于六面体和四边形元素,“规则形状”意味着边缘是直的,并以直......
  • WPF 入门笔记 - 02 - 布局综合应用
    本篇博文对接上篇末尾处WPF常用布局控件的综合应用,为痕迹g布局控件介绍课后作业的一个思路方法。前言首先来谈一谈布局原则:WPF窗口只能包含一个元素(Window元素属于内容控件,内容控件只允许有一个子元素),所以我们得在窗口中放置一个容器,才能使我们的窗口放置更多的内容。所以......
  • Git日常使用技巧 - 笔记
    Git日常使用技巧-笔记Git是目前世界上最先进的分布式版本控制系统学习资料廖雪峰学习视频https://www.bilibili.com/video/BV1pX4y1S7Dq/?spm_id_from=333.337.search-card.all.click&vd_source=2ac127043ccd79c92d5b966fd4a54cd7Git命令在线练习工具https......
  • [CMake] CMake学习笔记
    自己的学习和使用总结,还不完善,不定时更新。一.简介cmake是一款高级编译配置工具;所有操作都是通过编译CMakeLists.txt来完成的;CMake官方全部推荐使用大写指令;学习目的:为将来处理大型的C/C++、Java项目做准备;环境:Ubuntu:20.04cmake:3.16.3简单尝试:用C++写......
  • Rust学习笔记——基础篇3:数据类型
    数据类型整数类型位长度有符号无符号8-biti8u816-biti16u1632-biti32u3264-biti64u64128-biti128u128archisizeusize整数型的表述方式进制例十进制98_222十六进制0xff八进制0o77二进制0b1111_0000字节(只能......
  • CAN笔记
    一、为什么需要总线1、人类需要交换信息的时候可以通过语言、文字,机器、电器设备之间需要交流该如何呢?是的需要一门他们能够读懂的语言,那就是通信协议,这也是在最早的汽车上都是使用了大量的线束,后来慢慢的通过各类的总线进行信息的交换。2、人类的交流手段:文字、语言、动作->......