05 2023 档案
摘要:来自潘承洞、潘承彪《初等数论》,有删改。 定义 1(同余类) 把全体整数分为若干个两两不相交的集合,使得 在同一个集合中的任两个数模 一定同余; 在两个不同集合中的任两个数模 一定不同余。 每一个这样的集合称为模 的同余类。我们以 $r\bmod m
阅读全文
摘要:1. 欧拉函数的定义以及性质 定义一个数 的欧拉函数 为 中与 互质的整数个数。 首先,明显地, 如果 是质数,那么 。 如果 是质数,那么 $\varphi(m^k)=(m-1)\times
阅读全文
摘要:一、问题 给定 ,求 , 。 现在不一定是质数了,该怎么办? 二、解法 首先,数论题一个常见的做法:如果模数不一定是质数,那就把模数拆成若干个质数的积,然后分别求解,最后用中国剩余定理求解。 1. 拆
阅读全文
摘要:一、定理 给定 , 是质数,求 , 。 这题可以用 Lucas 定理求解。 Lucas 定理: 当 是个质数时,$\forall m,n\in N,C_n^m\equiv C_{\lfl
阅读全文
摘要:给定 组非负整数 ,其中 两两互质,求解关于 的方程组的最小非负整数解。 $\begin{cases} x \equiv b_1\ ({\rm mod}\ a_1) \ x\equiv b_2\ ({\rm mod}\ a_2) \ ... \ x \
阅读全文
摘要:### 数论 #### 一、整除理论 ##### 1. 自然数与整数 ##### 2. 整除的基本知识 ##### 3. 带余除法 ##### 4. 最大公约数理论 1. [计算两个数的最大公约数](https://www.cnblogs.com/qwq-qaq-tat/p
阅读全文
摘要:给定 组非负整数 ,求解关于 的方程组的最小非负整数解。 $\begin{cases} x \equiv b_1\ ({\rm mod}\ a_1) \ x\equiv b_2\ ({\rm mod}\ a_2) \ ... \ x \equiv b_n\ ({
阅读全文
摘要:一、裴蜀定理 裴蜀定理(或贝祖定理)得名于法国数学家艾蒂安·裴蜀,说明了对任何整数 和它们的最大公约数 ,关于未知数 和 的线性不定方程(称为裴蜀等式):若 是整数,且 ,那么对于任意的整数 都一定是 $
阅读全文
摘要:一、Treap Treap 是一种通过旋转操作维护性质的二叉搜索树。 定义详见 要维护的东西还是一样,对于每个节点,要维护它的左右儿子,子树大小,还有权值和随机的优先级(这样才能保证树的高度是 级别的)。 注意:旋转、分裂、伸展什么的都是手段,维持平衡树的 2 个性质才是目的
阅读全文