![](https://img-blog.csdnimg.cn/20190927151124774.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
------------Math-------------
文章平均质量分 90
数学
aWty_
在 AFO 的边缘徘徊的 OIer
展开
-
关于 1 + 1 = 2 的证明
∀xx0x∀xx0x∀xyxSySxy∀xyxSySxy∀xx⋅00∀xx⋅00∀xyx⋅Syx⋅yx∀xyx⋅Syx⋅yx上面这些定义都非常显而易见,很显然这些定义满足我们对自然数的认知。证明过程非常简单:首先我们把式子列出来111 + 111然后我们知道S01S(0) = 1S01111S0111S0又因为∀xyxSySxy。原创 2023-08-05 23:21:27 · 1171 阅读 · 0 评论 -
关于柯西不等式
∣a⋅b∣≤∣a∣∣b∣其中aabbcdacbd≤a2b2c2d2acbd2≤a2b2c2d2。原创 2023-07-23 10:34:41 · 242 阅读 · 0 评论 -
关于 GCD
相信大家都会辗转相除吧 qwq。 首先有一个引理:gcd(a,b)=gcd(a−b,b)\gcd(a, b) = \gcd(a - b, b)gcd(a,b)=gcd(a−b,b) 证明: 令 a=k1gcd(a,b),b=k2gcd(a,b)a = k_1\gcd(a, b), b = k_2\gcd(a, b)a=k1gcd(a,b),b=k2gcd(a,b) 显然有 gcd(k1,k2)=1\gcd(k_1, k_2) = 1gcd(k1,k2)=1。然后 gcd(a−b,原创 2022-08-15 15:28:38 · 198 阅读 · 0 评论 -
扩展中国剩余定理
在所有方程中取两个出来合并(如果不能合并输出无解)只剩下一个方程直接解这唯一的一个方程得到答案完结撒花!!!原创 2022-08-10 19:22:06 · 194 阅读 · 0 评论 -
2022.8.8好题选讲(数论场)
简单来说无限维的空间就可以理解成一个希尔伯特空间。操作就变成了对于很多的无限维向量,在每一个维度上取一个最大值,得到的新的数就是这些。然后我们发现好像式子已经化到最简了,但是我们算一下复杂度就会发现我们愉快的。了,就是尝试确定每一个质数的指数,同时记录一个约数个数就好了。这个东西是写在指数上的,所以根据扩展欧拉定理,运算的时候是对。对他质因数分解,然后希尔伯特空间中的维度就代表质因子的次数。,那么我们就得到了一个因数个数与原数相同的且值比原数小的数。就能被看成希尔伯特空间中的一个向量。...........原创 2022-08-09 18:01:10 · 183 阅读 · 0 评论 -
2022.7.29好题选讲(计数专题)
热身题qwq 传送门:树上最远点对 tagtagtag:树上最远点对的结论??? 对于一个点集,其中的最远点对是 (x1,y1)(x_1, y_1)(x1,y1),另一个点集,最远点对是 (x2,x2)(x_2, x_2)(x2,x2),那么这两个点集合并后最远点对必定在 (x1,y1)(x_1, y_1)(x1,y1) ,(x1,y2)(x_1, y_2)(x1,y2),(x2,y1)(x_2, y_1)(x2,y1),(x2,y2)(x_2, y_2)(x2,y2),(原创 2022-08-03 15:24:32 · 120 阅读 · 0 评论 -
关于不定方程解的个数的问题
不定方程解的数量原创 2022-07-21 18:40:37 · 877 阅读 · 0 评论 -
笔记-二次剩余
二次剩余 传送门:P5491 模板 二次剩余题目大意 二次剩余俗称模意义开根,给出 nnn 和 ppp 解方程:x2≡n(modp) x^2 \equiv n \pmod p x2≡n(modp) 我们保证 ppp 是一个奇素数定义 其实二次剩余的意思就是一个数 nnn,我们将 111 到 nnn 的所有数都平方一下变成:1,4,9,16,⋯ ,n21, 4, 9, 16, \cdots, n^21,4,9,16,⋯,n2 然后将这些数都模一个 ppp,这样就剩下了一些数,这些原创 2022-05-21 13:46:46 · 421 阅读 · 0 评论 -
原根和阶的口胡笔记
阶和原根阶定义 m>1,m∈Z,gcd(a,m)=1,∃r∈[1,m−1]m > 1, m \in Z, gcd(a, m) = 1, \exist r \in[1, m - 1]m>1,m∈Z,gcd(a,m)=1,∃r∈[1,m−1] 使得 ar≡1(modm)a^{r} \equiv 1 \pmod mar≡1(modm),满足条件的 rrr 中最小的一个就是 aaa 模 mmm 的阶一些性质 因为 gcd(a,m)=1gcd(a, m) = 1gcd(a,m)=1 所原创 2022-04-30 16:18:02 · 228 阅读 · 0 评论 -
关于杜教筛
n=φ∗I=∑d∣nφ(d)=φ(n)+∑d∣n∧d<nφ(d)φ(n)=n−∑d∣n∧d<nφ(d)∑i=1nφ(i)=∑i=1n(i−∑d∣i∧d<iφ(d))=∑i=1ni−∑i=1n∑d∣i∧d<iφ(d)=12n(n−1)−∑\begin{aligned}n = \varphi * I & = \sum_{d | n}\varphi(d) = \varphi(n) + \sum_{d | n \land d < n}\varphi(d) \\\varp原创 2022-04-16 09:02:21 · 211 阅读 · 0 评论 -
NOIP Practice Recodings Math
我的 NOIP 数学 刷题记录原创 2022-04-11 23:36:16 · 222 阅读 · 0 评论 -
Lucas 定理
Lucas 定理结论 结论很简单,就是一个简单的式子(ppp 是质数):Cnm≡Cnmod pmmod p×Cnpmp(modp) C_n^m \equiv C_{n \mod p}^{m \mod p} \times C_{\frac{n}{p}}^{\frac{m}{p}} \pmod p Cnm≡Cnmodpmmodp×Cpnpm(modp) 根据这个式子,我们就能快速计算 ppp 较小的组合数了。 具体来说,现预处理出一个数组 frac[i]frac[i]frac[i]原创 2022-04-05 20:13:36 · 357 阅读 · 0 评论 -
“手撕“ 科技
手撕根号 我们先来举个例子,算一算 87\sqrt{87}87。首先我们知道 81=9281 = 9^281=92,然后 87−81=687 - 81 = 687−81=6,然后用 9+69×2=9139 + \frac{6}{9 \times 2} = 9\frac 139+9×26=931,这个数约等于 9.39.39.3。所以 87\sqrt{87}87 也就约等于 9.39.39.3 了。我们用计算器计算一下看我们算的准不准: 我们可以看到,这玩意儿还是比较准的。而且这个数也不是特原创 2021-12-11 15:43:06 · 1795 阅读 · 1 评论 -
拉格朗日插值
拉格朗日插值 插值就是有 nnn 个已知的平面直角坐标系中的点,然后求出一个 n−1n-1n−1 次多项式,这个多项式穿过这些点。{x}:x0,x1,x2,⋯ ,xn{y}:y0,y1,y2,⋯ ,yn \{ x \} : x_0, x_1, x_2, \cdots, x_n \\ \{ y \} : y_0, y_1, y_2, \cdots, y_n {x}:x0,x1,x2,⋯,xn{y}:y0,y1,y2,⋯,yn 然后我们要找到一个 f(x)f(x)f(x) 穿过这些原创 2021-12-08 22:56:57 · 231 阅读 · 0 评论 -
关于勾股数组
关于勾股数组勾股定理 首先是勾股定理:a2+b2=c2 a^2 + b^2 = c^2 a2+b2=c2勾股数组的定义 然后是勾股数组:一个正整数三元组:(a,b,c)(a, b, c)(a,b,c),满足 a2+b2=c2a^2 + b^2 = c^2a2+b2=c2,那么这个三元组就是一个勾股数组 (是有够简单的了)。非常简单,是不是?但是如果你想 装逼 让别人觉得你很厉害的话,那么你可以把这玩意儿叫做 “毕达哥拉斯三元组” (逼格瞬间就上来了有没有 qwq)。 我们来举几个例子:原创 2021-11-17 21:34:13 · 1317 阅读 · 0 评论 -
学习笔记--生成函数
生成函数定义 一般来说,对于有限数列a0,a1,a2,⋯an a_0, a_1, a_2, \cdots a_n a0,a1,a2,⋯an 多项式f(x)=∑k=0nakxk=a0+a1x+a2x2+⋯+anxn f(x) = \sum_{k = 0}^{n}a_kx^k = a_0 + a_1 x + a_2 x ^ 2 + \cdots + a_nx^n f(x)=k=0∑nakxk=a0+a1x+a2x2+⋯+anxn 称为数列 {an}\lbrace a_n \原创 2021-11-10 22:00:48 · 767 阅读 · 0 评论 -
学习笔记--FFT
FFT FFT 也就是快速傅里叶变换,这玩意儿应该很多人都听过,这个就是利用卷积来快速解决多项式乘积问题的一个算法。时间复杂度是 O(nlogn)O(n \log n)O(nlogn)简要的说明 很显然,如果直接暴力地计算两个多项式的乘积的话,那么时间复杂度肯定是 O(n2)O(n^2)O(n2) 的,如果不知道为什么的话,看完下面这个例子肯定也就说知道了:(3x3+7x2+x+2)(6x3+3x+1)=6x3(3x3+7x2+x+2)+3x(3x3+7x2+x+2)+(3x3+7x2+x+2原创 2021-11-09 19:13:15 · 456 阅读 · 4 评论 -
数论函数(一些题)
传送门:数论函数学习笔记埃氏筛 埃氏筛的思想很简单,就是从前往后,遇到一个质数就把所有后面小于 n 的这个质数的倍数全都标记为合数。后面遇到他们就直接跳过。一、筛质数 按照上面的思想直接模拟就好了,时间复杂度 O(nloglogn)O(n \log \log n)O(nloglogn):#include<bits/stdc++.h>using namespace std;#define MAXN 100100int v[MAXN] = { 0 };原创 2021-11-08 16:35:27 · 181 阅读 · 0 评论 -
关于整除分块
整除分块 大概要是长成这样的就能用到整除分块:∑i=1n⌊ni⌋ \sum_{i=1}^n \left\lfloor \frac ni \right\rfloor i=1∑n⌊in⌋ 计算这个东西用 O(n)O(n)O(n) 的复杂度是显然能解决的,但是在某些考大家思维 毒瘤 的题目里面,就会把你这种做法给卡掉。这时候我们就可以用整除分块来把这个东西的复杂度降到 O()nO()\sqrt{n}O()n。 我们可以通过打表 证明 发现许多的 ⌊ni⌋\left\lfloor \frac n原创 2021-11-08 15:20:02 · 218 阅读 · 0 评论 -
学习笔记--数论函数
数论函数 定义在整数域上的实值或复值函数叫做数论函数积性函数 一个数论函数如果满足 gcd(p,q)=1gcd(p, q) = 1gcd(p,q)=1(也就是 p, q 互质)的时候有 f(pq)=f(p)f(q)f(pq) = f(p)f(q)f(pq)=f(p)f(q),那么这个函数叫做积性函数。 几个是积性函数的例子:I(n)=1不变的函数id(n)=n单位函数Ik(n)=nk幂函数ε(n)=[n=1]={1(n=1)0otherwise原函数\begin{aligned}&原创 2021-11-05 23:29:57 · 564 阅读 · 0 评论 -
初等行变换和高斯消元
高斯消元 前置芝士:关于线性代数的基本知识 高斯消元是在数学中一种用去求解线性方程组的方法,并且这个算法还能用来求出矩阵的秩和矩阵的逆矩阵。在说高斯消元之前,我们先要说一下什么是矩阵的初等行变换。初等行变换 首先,我们知道 M 个 N 元一次方程组能够成一个线性方程组,而这些方程组的系数能够写成一个 M 行 N 列的 “系数矩阵”,这个系数矩阵再加上每个方程等号右侧的常数,可以写成一个 M 行 N + 1 列的 “增广矩阵”,举个例子:{x1+2x2+x3=72x1−x2+3x3=73x1+原创 2021-11-05 10:06:53 · 1921 阅读 · 0 评论 -
高等数学学习笔记2
微分定义 设函数 y=f(x)y = f(x)y=f(x) 在 x 的领域内有定义, 如果函数的增量 Δy=y(x+Δx)−f(x)\Delta y = y(x + \Delta x) - f(x)Δy=y(x+Δx)−f(x) 可以表示为:Δy=AΔx+ο(Δx) \Delta y = A \Delta x + \omicron(\Delta x) Δy=AΔx+ο(Δx) 那么称函数 f(x)f(x)f(x) 在 xxx 处可微。且 AΔxA\Delta xAΔx 称为函数在点 xxx 相原创 2021-11-03 20:11:25 · 747 阅读 · 0 评论 -
学习笔记--概率期望(一些题)
一些公式概率P(A∪B)=P(A)+P(B)−P(A∩B)P(B−A)=P(B)−P(A)(P(A)≤P(B))P(B−A)=P(B)−P(A∩B)(∀A,B)P(A∣B)=P(A∩B)P(B)P(AB)=P(A)×P(B∣A)=P(B)×P(A∣B)(A,B有关联)\begin{aligned}& P(A\cup B) = P(A) + P(B) - P(A \cap B) \\& P(B-A) = P(B) - P(A) \qquad (P(A) \leq P(B)) \\&原创 2021-11-03 08:37:54 · 199 阅读 · 0 评论 -
关于圆周率
关于圆周率圆周率为什么是一个定值 我们都知道,圆周率是一个圆的周长与直径的比值,我们在这里介绍一种利用数列极限来证明圆周率收敛于 π\piπ。 设单位圆内接正 nnn 边形的周长为 LnL_nLn ,则 Ln=nsin180∘nL_n = nsin\frac{180^\circ}{n}Ln=nsinn180∘。数列 LnL_nLn 应该收敛与单位元的半周长,及圆周率 π\piπ 。现在我们来严格证明这一点。 证明:令 t=180∘n(n+1)t = \frac{180^\circ}{n原创 2021-11-01 19:58:51 · 1279 阅读 · 0 评论 -
高等数学学习笔记1
(1)limn→∞(1+12+13+⋯+1n)1n≤limn→∞n1n=1\lim_{n\to \infty}(1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n})^{\frac{1}{n}} \leq \lim_{n\to \infty}n^{\frac{1}{n}} = 1 n→∞lim(1+21+31+⋯+n1)n1≤n→∞limnn1=1limn→∞(1+12+13+⋯+1n)1n≥limn→∞11n=1 \li...原创 2021-10-27 23:06:42 · 466 阅读 · 0 评论 -
关于二进制翻转(Kathy 函数?)
二进制翻转一道题 今天在看关于数位 DP 的东西的时候看到这这道题:luogu P2235 Kathy 函数。在这道题里面给出了一个神秘的函数(就是 Kathy 函数啦),它长这样:{f(1)=1f(3)=3f(2n)=f(n)f(4n+1)=2f(2n+1)−f(n)f(4n+3)=3f(2n+1)−2f(n) \begin{cases} \begin{aligned} &f(1) = 1 \\ &f(3) = 3\\ &f(2n) = f(n)\\原创 2021-10-27 14:21:20 · 494 阅读 · 0 评论 -
关于线性代数
线性代数 关于这部分内容,作者也就是我是本着了解竞赛相关知识而学习的。所以文章中的理解大部分是我个人的,如有错误请大家指出。(本文为学习笔记,会不定时更新一些内容)向量 众所周知 n 维向量是一个长这样的东西:[abc⋮n] \begin{bmatrix} a \\ b \\ c \\ \vdots \\ n \end{bmatrix} ⎣⎢⎢⎢⎢⎢⎡abc⋮n⎦⎥⎥⎥⎥⎥⎤ 而且它遵循着两种最基本的运算规则,两个向量的和和向量与标量的乘法:[a1b1c1⋮n1]+[a2b2c2⋮n原创 2021-10-25 00:08:23 · 1131 阅读 · 0 评论 -
关于错排数问题
错排数问题有 n 个箱子,颜色分别为 1⋯n1\cdots n1⋯n 还有 n 个球,颜色也分别为 1⋯n1\cdots n1⋯n。现在要将每一个球分别放入一个箱子里,并且一个箱子里只能放一个球。试求有多少种方案满足:每个箱子,和它里面球的颜色,都不一样。(如下图,虚线表示一个球不能放进箱子里)递推式 我们假设 n 个球和 n 个箱子的错排数为 DnD_nDn。我们很容易算出来, D1=0,D2=1,D3=2D_1 = 0,D_2 = 1,D_3 = 2D1=0,D2=1,D3=2原创 2021-10-21 15:07:45 · 487 阅读 · 0 评论 -
傅里叶变换公式推导
(作者是个没有系统学习过高等数学的高中OIer,推导过程可能不严谨,有问题的地方望大家纠正一下qwq) 傅里叶变换公式:f(t)=A0+∑n=1∞[ancos(nωt)+bnsin(nωt)],{A0=12π∫−ππf(t)dtan=12π∫−ππcos(nωt)f(t)dtbn=12π∫−ππsin(nωt)f(t)dtf(t) = A_0 + \sum_{n=1}^{\infty}\Big[ a_ncos(n\omega t) + b_nsin(n\omega t) \Big] ,\begi原创 2021-10-19 20:24:51 · 2074 阅读 · 0 评论 -
学习笔记--关于一个公式的证明
关于一个公式(本文的大多数推导过程是作者自己 YY 出来的,不能保证严谨性) 就是在写关于莫比乌斯反演的东西的时候,我就想着自己证明一遍莫比乌斯函数的性质(当时还没学,在边学边写),然后我就开始了疯狂的分类讨论,大概的流程是这样的: 证明: 首先我要证明 ∑d∣nμ(d)=[n=1]\sum_{d \mid n} \mu(d) = [n = 1]∑d∣nμ(d)=[n=1] 然后我就想, n=1n = 1n=1 的时候这个式子显然成立,然后我就讨论 n≠1n \neq 1n=1 的时候原创 2021-10-19 11:17:31 · 198 阅读 · 0 评论 -
莫比乌斯反演
Mo¨biusM\ddot{o}biusMo¨bius 反演 这个人将的超级好!:https://www.cnblogs.com/chenyang920/p/4811995.html。原创 2021-10-19 09:57:07 · 227 阅读 · 0 评论 -
关于斐波那契数列
关于斐波那契数列 友情提醒:由于本人很蒻,所以文章中的一些推导会有一些不严谨,大家看着就当图个乐qwq。一、斐波那契数列的生成函数 在说这个玩意儿之前,我们先讲一下什么是生成函数。生成函数即母函数,是组合数学中尤其是计数方面的一个重要理论和工具。最早提出母函数的人是法国数学家LaplaceP.S.在其1812年出版的《概率的分析理论》中明确提出。 生成函数有普通型生成函数和指数型生成函数两种,其中普通型用的比较多。 生成函数的应用简单来说在于研究未知(通项)数列规律,用这种方法在给出递推式的情原创 2021-10-17 19:56:00 · 540 阅读 · 0 评论 -
乘法逆元.
乘法逆元#include<bits/stdc++.h>using namespace std;int a = 0, b = 0;int exgcd(int a, int b, int &x, int &y){ // ax + by = gcd(a, b) --> (x, y) if(b == 0){ x = 1; y = 0; return a; } int d = exgcd(b, a % b, x, y); int z = x;原创 2021-10-14 07:33:16 · 211 阅读 · 0 评论 -
扩展欧几里得
扩展欧几里得BeˊzoutB\acute{e}zoutBeˊzout定理对任何整数a、b和它们的最大公约数d,关于未知数x和y的线性不定方程(称为裴蜀等式):若a,b是整数,且gcd(a,b)=d,那么对于任意的整数x,y,ax+by都一定是d的倍数,特别地,一定存在整数x,y,使ax+by=d成立。它的一个重要推论是:a,b互质的充分必要条件是存在整数x, y使ax+by=1.(以上内容来自百度)证明:我们知道在欧几里得算发的最后一步,即 b = 0 时,显然有 x = 1, y = 0原创 2021-10-14 15:10:16 · 87 阅读 · 0 评论 -
欧拉定理与费马小定理
一、互质与欧拉函数互质: ∀a,b∈N\forall a, b \in N∀a,b∈N,如果 gcd(a, b) = 1,则称 a, b 互质。 对于三个或以上的数,我们吧 gcd(a, b, c) = 1 的情况称为 a, b, c 互质。把 gcd(a, b) = gcd(a, c) = gcd(b, c) = 1 的情况称为 a, b, c 两两互质。欧拉函数: 1 ~ N 中的与 N 互质的整数的个数叫做欧拉函数 记做 φ(N)\varphi(N)φ(N)。 在算术基本定理中 n原创 2021-10-15 21:16:52 · 1090 阅读 · 0 评论 -
中国剩余定理
中国剩余定理 设 m1,m2,⋯ ,mnm_1, m_2, \cdots, m_nm1,m2,⋯,mn 是两两互质的整数,m=∏i=1nmi, Mi=mmim = \prod_{i=1}^{n}m_i,\;\; M_i = \frac{m}{m_i}m=∏i=1nmi,Mi=mim,tit_iti 是线性同余方程 Miti≡1(modmi)M_it_i \equiv 1 \pmod {m_i}Miti≡1(modmi)的一个解。对任意一的 n 个整数 a1,a2,⋯ ,an原创 2021-10-15 21:58:39 · 126 阅读 · 0 评论 -
关于泰勒展开
关于泰勒展开 提醒:本人是一个高一的蒟蒻,没有系统的学习过高等数学,所以本文关于泰勒展开的推导过程会及其不严谨,大家看着就当图个乐。泰勒展开推导 :我们设一个函数写成多项式的形式如下:f(x)=a0+a1x+a2x2+a3x3+⋯+anxn f(x) = a_0 + a_1x + a_2x^2 + a_3x^3 + \cdots + a_nx^n f(x)=a0+a1x+a2x2+a3x3+⋯+anxn∴f(0)=a0+a1∗0+a2∗02+a3∗03+⋯+an∗0n=a0 \ther原创 2021-10-17 16:46:23 · 335 阅读 · 0 评论