oi-math 重修 (upd:求导中的四则运算与复合函数求导)
OI 数学重修
注: 很多东西没来得及写例题和代码,以后遇到会补上
想了一下虽然还有很多没写完,但是这两天要开数学了,决定后面的分成一个一个博客写然后在这挂链接,所以发出来了。
主题是看着 oi-wiki 写的,但细节上尤其是证明部分不太一样,毕竟也不是什么教学性质的,权当一个学习笔记罢了,所以可能不适合给别人学,不过可以看看里面的证明。
有错误请及时联系我。
一、 数论 :
1、欧拉函数:
定义:
$ \varphi (n) = $ 小于 n 的正整数中与 n 互质的数的个数。
性质:
1、 欧拉函数是积性函数
当 $ \gcd(a,b) = 1 $ 时, $ \varphi(ab) = \varphi(a) \varphi(b) $
2、 $ n = \sum_{ d | n } \varphi(d) $ (欧拉反演)
给个证明:
首先设 $ f_x $ 表示 $ \gcd(k,n) = x , k \lt x $ 的 $ k $ 的个数,所以 $ n = \sum_{i=1}^{n} f_i $ 。然后有这么一个事: $ \gcd(x,y) = k \to \gcd( \frac{x}{k} , \frac{y}{k} ) = 1 $ ,所以 $ f_x = \sum [ gcd( \frac{k}{x} , \frac{n}{x} ) = 1 ] = \varphi( \frac{n}{x} ) $ ,所以 $ n = \sum_{i | n} \varphi(i) $
3、 $ n = p^k $ ,$ p $ 是质数,那么 $ \varphi(n) = p^k - p^{k-1} $
其实就是所有的数 $ n $ 减去能被 $ p $ 整除的数的个数 $ \frac{n}{p} = p^{k-1} $
4、 $ n = \prod_{i=1}^{m} p_{i}^{k_i} ,p_i 是质数, \varphi(n) = n \prod_{i=1}^{m} \frac{p_i - 1}{ p_i } $
证明:
因为 $ \varphi $ 是积性函数,所以 $ \varphi(n) = \prod_{i=1}^{m} \varphi(p_{i}^{k_i}) $ ,然后我们又知道 $ \varphi(p_{i}^{k_i}) = p_i^{k_i} - p_{i}^{k_i-1} = p_i^{k_i} ( 1 - \frac{1}{p} ) $ ,所以 $ n =\prod_{i=1}^{m} p_i^{k_i} (1- \frac{1}{p}) = n \prod_{i=1}^{m} (1- \frac{1}{p} ) $
5、对于不为 0 的整数 $ n,m $ , $ \varphi(nm) \varphi( \gcd(n,m) ) = \varphi(n) \varphi(m) \gcd(n,m) $
证明:
设 $ g = \gcd(n,m) $ ,因为积性函数,所以 $ \varphi(n,m) = \varphi(\frac{n}{g}) \varphi(\frac{m}{g}) \varphi(g^2) $ ,然后 $ \varphi(g^2) = g \varphi(g) $ ,所以
2、筛法:
这就不再说了,学好线性筛筛积性函数就行。
什么神秘筛法以后再来补充吧。
3、数论分块:
有一些式子里面有的值只和 $ \lfloor \frac{n}{x} \rfloor $ 有关,比如 : $ \sum_{i=1}^{n} \lfloor \frac{n}{x} \rfloor $ 。
贴张图:

$ n = 11 $ ,但是 $ \lfloor \frac{n}{x} \rfloor $ (图中的绿点) 只有 4 个取值,由此我们可以知道 $ \lfloor \frac{n}{x} \rfloor $ 的取值很少,实际上只有 $ \sqrt n $ 级别个。
证明: 当 $ x \le \sqrt{n} $ 时, $ \lfloor \frac{n}{x} \rfloor $ 最多只有 $ \sqrt{n} $ 个, 当 $ x \gt \sqrt n $ 时, $ \lfloor \frac{n}{x} \rfloor \lt \sqrt n $ ,所以 $ \lfloor \frac{n}{x} \rfloor $ 也只有 $ \sqrt n $ 个。
因此我们可以不用直接枚举 $ x $ ,而是枚举 $ \lfloor \frac{n}{x} \rfloor $ ,对 $ \lfloor \frac{n}{x} \rfloor $ 相同值的 $ x $ 打包处理。
总之看了代码就会了:
int n=read();
for(int l=1,r;l<=n;l=r+1){
r=n/(n/l);// 当前的取值为 n/l ,取到这个值的右边界是 r
ans+=(r-l+1)*(n/l);
}
然后更进阶的就有高维数论分块,那么为了每次移动不会跳过任意一维,每次我们取各个维的下一个分界线的最小值。
4、裴蜀定理:
其主要内容有两条:
设 $ a,b $ 是不全为 $ 0 $ 的整数 。
1、 对于任意整数 $ x,y $ ,满足 $ \gcd(a,b) \ | \ ax + by $
证明:
∵ $ \gcd(a,b) | a , \gcd(a,b) | b $
∴ $ \gcd(a,b) | ax , \gcd(a,b) |by $
∴ $ \gcd(a,b) | ax + by $
2、 存在整数 $ x,y $ 使得 $ ax + by = \gcd(a,b) $
如果 $ x,y $ 中有一个为 0 ,那么该式成立,接下来只考虑两者都是 正整数 ,且 $ a \ge b $ 的情况。
首先 令 $ \gcd(a,b) = d $ , 并将等式两边同时除去 $ d $ ,得到 $ a_1 x + b_1 y = 1 $ , 且 $ \gcd( a_1 , b_1 ) = 1 $ 。
然后我们模拟 辗转相除法 的过程:
第一步 : $ a \gets b_1 , b \gets a_1 - k b_1 $
第二步 : $ a \gets b , b \gets a - k b $
第 $ n $ 步: $ a \gets 1 , b \gets 0 $
最后一步,我们注意到 $ a = 1 $ ,且 $ a $ 一定可以被表示为 $ k_1 x + k_2 y $ 的形式,所以我们自然证明了上面的式子。
上述证明也给出了我们如何求解 $ a x + b y = \gcd(a,b) $ 的一组解:
我们在 求解 $ gcd $ 递归过程中额外记两个变量 $ k_1 , k_2 $ ,那么函数 $ gcd ( int \ a,int \ b,int \ k_1,int \ k_2 ) $ 表示 $ k_1 a + k_2 b =0 $ ,那么我们知道 递归的下一步会 $ a \gets b , b \gets a - \lfloor \frac{a}{b} \rfloor b $ ,那么他会递归求解出 $ k_1 , k_2 $ , 所以 $ b k_1 + a k_2 - \lfloor \frac{a}{b} \rfloor b k_2 = 1 $ ,因此我们可以知道本层的 $ k_1 = k_2 , k_2 = k_1 - \lfloor \frac{a}{b} \rfloor k_2 $ ,用时注意边界 $ a = 1 ,b = 0 $ 时直接令 $ k_1 = 1 , k_2 =0 $ ,最终我们可以知道方程的一组解为 $ k_1 , k_2 $ 。
上述方法可以求得方程的一组特解,该怎么求其他的解呢?
考虑我们知道那组特解 $ a x + b y = 1 $ , 我们尝试调整 $ x $ 的值,即给 $ x $ 加上一个尽量小的数,并给 $ y $ 减去一个数使得获得一组新解 $ x_1 , y_1 $ ,那么我们假设 $ x_1 \gets x + k , y_1 \gets y - \frac{a}{b} k $ ,可以知道只要满足 $ y_1 $ 是 整数 就是一组合法解,那么也就是满足 $ \frac{a}{b} k = \frac{ \frac{a}{d} }{ \frac{b}{d} } k $ 是整数,其中 $ d = \gcd(a,b) $ ,所以只要满足 $ \frac{b}{d} | k $ 即可。最终我们知道 $ x_1 \gets x + t \frac{b}{d} , y_1 \gets t \frac{a}{d} $ 就是通解。
5、 费马小定理与欧拉定理
费马小定理:
若 $ p $ 是素数,则 $ a^{p-1} \equiv 1 \pmod p $ 。
欧拉定理:
若 $ \gcd(a,m) = 1 $ ,则 $ a^ { \phi (m) } \equiv 1 \pmod m $
ex欧拉定理
证明咕咕咕。
6、 求乘法逆元:
(1)如果模数 $ p $ 是素数,那么根据费马小定理 $ a^{p-2}\equiv a^{-1} \pmod p $ ,我们可以使用快速幂求解。
(2)当模数 $ p $ 与 $ a $ 互质时,可以用 exgcd 求解逆元 ,设逆元为 $ x $ ,那么可知 $ a x \equiv 1 \pmod p \to a x + k p = 1 $ ,用 exgcd 求解 $ x $ 即可。
7、 CRT(中国剩余定理)
CRT 是用来求解一组形式如下的一元线性方程组 ( $ n_1 , n_2 ...... n_k $ 两两互质 ) 的:

先给出计算过程:
(1): 计算 $ n = \prod n_i $
(2): 对于第 $ i $ 个方程:
计算 $ m_i = \frac{n}{n_i} $ , $ m_i ^ {-1} \pmod {n_i} , c_i = m_i m_i ^{-1} $ 不取模。
(3): 然后该方程组在模 $ n $ 意义下的唯一解为 $ x = \sum_{i=1}^{k} a_i c_i \pmod n $
证明:
首先证明解的正确性:
对于 $ i $ , $ m_i = \prod_{j≠i} n_j $ ,所以 $ m_i \equiv 0 \pmod { n_j , j≠ i } $ ,所以
∵ $ m_i m_i^{-1} \equiv 1 \pmod {n_i} $
∴ $ x \equiv a_i \pmod {n_i} $
然后来证明唯一对应性:
考虑方程组在模 $ n_i $ 意义下的值域为 $ [0,n) 的整数 $ ,而所有方程组的个数为 $ \prod_{i} n_i = n $ ,所以方程与答案唯一对应。
应用:
除了求解上述形式的线性方程组之外,还可以使用 CRT 表示一个大数,比如题目要求我们对一个 非质数 取模,这其中需要使用逆元,那我们就可以把这个模数拆开成为几个不互质的模数分别对他们算出答案,然后用 CRT 组合回去。又或者一个 DP 是 $ O (值域) $ 的,模数很大,无法直接DP, 那么我们可以把模数拆成小模数然后直接 DP ,最后组合回去。
8、 威尔逊定理:
对于素数 $ p $ 有 $ (p-1) ! \equiv -1 \pmod p $ 。
证明:
当 $ p = 2 $ 时,一定成立。
当 $ p \ge 3 $ 时:
考虑逆元,对于一个数 $ 1 \le i \lt p $ ,他的逆元 $ 1 \le i^{-1} \lt p $,那么分两种情况:
(1): $ i \not = i^{-1} $ ,也就是说 $ i $ 和他的逆元不同,所以他们相乘 = 1 。
(2): $ i = i^{-1} $ ,则 $ i^2 \equiv 1 \pmod p \to i^2 - 1 \equiv 0 \to (i+1) (i-1) \equiv 0 \to i= ±1 $ ,因为 $ p \ge 3 $ ,所以 $ 1 \not \equiv p - 1 $ ,再算上他俩的乘积 $ -1 $ 可得 $ (p-1) ! \equiv -1 \pmod p $ 。
9、 卢卡斯定理:
卢卡斯定理用于求解大组合数取模的问题,说白了就是你要求一个 $ n , m $ 很大 , 但是 $ p $ 不是很大可以 $ O(n) $ 预处理的质数时,就可以用卢卡斯定理来算 $ \binom{n}{m} $ 。
内容:
对于质数 $ p $ ,有:
证明:
首先考虑 $ \binom{p}{n} \mod p $ 的取值, $ \binom{p}{n} = \frac{p!}{n!(p-n)!} $ ,注意到如果 $ n \not = 0 \ and \ n \not = p $ 时 , 分子中的 $ p $ 不会被消去,所以 $ \binom{p}{n} = 0 $ ,否则, $ \binom{p}{n} = 1 $ ,总结可写成 : $ \binom{p}{n} \mod p = [n = 0 \ or \ n = p] $ ,由此可得:
上述结论可以应用到多项式中:
考虑一个二项式
所以对于二项式 $ (1+x)^n \mod p $ ,有:
可以知道 $ \binom{n}{m} $ 就是 $ (1+x)^n \mod p $ 在 $ x^m $ 次上的取值,然后我们可以注意到原式经过上述变化后分成了两部分,前者对 $ x $ 次数的贡献是 $ k_1 p , k_1 \le \lfloor n / p \rfloor $ ,后者的贡献是 $ k_2 , k_2 \le n \mod p $ ,也就意味着 $ x^m $ 是有 第一部分的 $ x^ {k_1p} \times $ 第二部分中 $ x^{k_2} $ 来的 ,所以可知 $ \binom{n}{m} \mod p = \binom{\lfloor n / p \rfloor}{\lfloor m / p \rfloor} \binom{n \mod p}{m \mod p} \mod p $ 也就证明了卢卡斯定理。
exlucas
咕咕咕。
10、 原根:
决定以后再胡。
11、 莫比乌斯反演:
定义:
$ \mu $ 为莫比乌斯函数,其定义是:
性质:
(1) $ \mu $ 是积性函数。
(2)
证明:
首先 如果 $ n $ 含有 平方因子 ,那么 $ \mu (n) = 0 $ ,因此对于 $ n = \prod {{p_i} ^ {c_i}} , n' = \prod p_i $ , 有 $ \sum_{d | n} \mu (d) = \sum_{d | n'} \mu (d) $ 。
接下来我们只讨论 没有平方因子的情况 , $ \sum_{d | n'} \mu (d) = \sum_{i=0}^{k} \binom{k}{i} (-1)^i = (1+(-1)) ^ k = 0 $ 。
于是我们证明了结论 $ [n = 1] = \sum_{d | n} \mu (d) $ 。
(3)
$ \phi (n) = \sum _{d | n} d \mu (\frac{n}{d}) $
不会证明,学了狄利克雷卷积再补。
线性筛求解:
因为 $ \mu $ 是积性函数,所以我们可以用线性筛去筛:
inline void sol(){
mu[1]=1;
for(int i=2;i<=n;++i){
if(!no[i])p[++cnt]=i,mu[i]=-1;// 质数只有一个素因子,所以 mu[i]=(-1)^1
for(int j=1;j<=cnt&&p[j]*i<=n;++j){
no[p[j]*i]=1;
if(i%p[j]==0){mu[p[j]*i]=0;break;}// 有平方因子,所以 mu[i]=0
mu[p[j]*i]=-mu[i];//相比于 i , p[j]*i 多了一个 p[j] ,所以 mu[p[j]*i]=-mu[i]
}
}
}
莫比乌斯变换:
这个直接看题吧,主要记住 $ [n=1] = \sum_{d | n} \mu(d) $
经典题: 「HAOI 2011」Problem b
首先拆分可以变换为求 $ \sum_{i=1}^{n} \sum_{j=1}^{m} [\gcd (i,j) = k ] $
将其整体除以 $ k $ , 变成
注意到有了我们想要的 $ n = 1 $ 的形式,所以直接变成了
看起来好像更难求了,但是我们考虑枚举 $ d $ ,那么他可以对 $ d | i , d | j $ 的 $ i , j $ 做贡献,而且 $ i , j $ 不相关,所以我们可以写成:
然后数论分块可以做到 $ O ( \sqrt { n } ) $
下一个,感觉没用到莫反啊: 「SPOJ 5971」LCMSUM
求
然后一看 $ T \le 3 \times 10^5 $ ,感觉很不可做,硬着头皮推式子:
首先尝试转化成 $ \gcd $ 的形式
然后运用人类智慧 ,注意到 $ \gcd(i,n) = \gcd(n-i,n) $ ,于是我们把 $ i $ 从 0 开始,并将分母相同的项合并:
然后还是很难处理 $ \gcd $ ,因为枚举 $ i $ ,仍然是 $ O (n) $ 的,所以我们考虑能不能枚举 $ \gcd(i,n) $ ,并尝试降低复杂度。枚举 $ \gcd(i,n) = d $ ,考虑满足的 $ i $ 的个数, $ \gcd(i,n) = d $ 等价于 $ \gcd( \frac{i}{d} , \frac{n}{d} ) = 1 $ ,所以满足 $ \gcd(i,n) = d $ 的 $ i $ 的个数就等于 满足 $ \gcd( \frac{i}{d} , \frac{n}{d} ) = 1 $ 的 $ \frac{i}{d} $ 的个数 ,等于 $ \phi( \frac{n}{d} ) $ ,然后你可能去写了发现错了,因为 $ \phi (n) $ 的定义是 小于 $ n $ 且与 $ n $ 互质的 正整数 的个数,没算 0 ,所以我们得单算 0 的贡献 。
所以写成:
然后一个会经常用到的 $ trick $ 是,我们使用超人的注意力注意到 $ \phi $ 里的 $ \frac{n}{d} $ 和 外面的 $ \frac{n^2}{d} $ 只差一个 $ n $ ,于是 令 $ d = \frac{d}{n} $ ,原式写成:
然后考虑线性筛去筛 $ f(n) = \sum_{d | n} d \times \phi (d) $ 。
下面这个题会涉及很多经典化简方法,P1829 [国家集训队] Crash的数字表格 / JZPTAB
求
看起来好像是上个题的进阶版,能不能用同样的方法化简呢(反正我没化出来一个可求的样子)
起手把 $ \operatorname{lcm} $ 改为 $ \gcd $ :
经过上述化简我们竟然将 $ d $ 从分母上消去了,然后 对后面两个求和 设为函数 $ f( n,m ) $ 直接莫反,成为:
其中一步和上面化简一样。
对于后面的形如 $ \sum_{i=1}^{n} \sum_{j=1}^{m} i \cdot j = \frac{(1+n)n}{2} \cdot \frac{(1+m)m}{2} $
然后对于
我们可以数论分块 $ O (\sqrt n) $ 求解
回到一开始的式子
还是可以数论分块,于是 时间复杂度为 $ O(\sqrt n \cdot \sqrt n) $
如果上面的你都会了,那么下面这道题除了一个结论,别的应该比较容易, P3327 [SDOI2015] 约数个数和
$ d(x) $ 表示 $ x $ 的约数个数,求:
首先我们知道应该把 $ d(ij) $ 给转化成一个什么东西,以方便我们套莫反,然后就不会了(
然后又一个比较神秘的结论是:
我们来证一下:
考虑把 $ n , m $ 写成分解形式 $ n = \prod p_i ^ {c_i} , m = \prod p_i ^ {d_i} , nm = \prod p_i ^ { c_i + d_i } $ ,我们对每一个 $ p_i $ 进行考虑 , 对于一个 $ p_i $ 他的次数可以是 $ 0 ...... c_i + d_i $ ,然后看上面那个式子,发现这个构造刚好满足 $ p_i $ 会被算 $ c_i + d_i + 1 $ 次 (在 $ n $ 上取 $ c_i +1 $ 次,在 $ m $ 上取 $ d_i + 1 $ 次,但要去掉两个都是 $ 0 $ 的时候重复的一次 ) ,那么对于每个 $ p_i $ 上面的枚举都不重不漏,证毕。
会了结论之后就可以直接套莫反了:
以下用 $ f $ 代替 $ d $ 函数
发现后面两个求和可以直接预处理,用 $ pre (n) $ 表示 $ \sum_{i=1}^{n} f(i) $ ,原始写成:
可以数论分块,至此我们可以 $ O ( T \sqrt n ) $ 解决本题。
再来一个: P3312 [SDOI2014] 数表
有 $ Q $ 次询问,每次询问给出 $ n , m , a $ ,求:
其中 $ f_i $ 表示 $ i $ 的约数和。
考虑枚举 $ \gcd $ :
单词询问的复杂度为 $ O ( \sqrt n \times \sqrt n ) $ 的,跑不过去,考虑枚举 $ kd = T $ 会不会有什么好方法:
这个 $ f_i \le a $ 的限制很难用推式子去直接做了,那要不就上点暴力的数据结构?
考虑将询问按 $ a $ 离线下来进行扫描线,每次将新加入的合法的 $ f_i $ 暴力插入数据结构里,我们枚举合法的 $ f_i $ 是调和级数 $ O ( n \log n ) $ 的,每次树状数组或者线段树等只要能维护前缀和的东西是 $ O( \log n ) $ 的,所以这部分是 $ O( n \log ^2 n ) $ 的,然后每次询问用数论分块加树状数组是 $ O ( Q \sqrt n \log n ) $ 的,所以总时间复杂度 $ O( n \log ^2 n + Q \sqrt n \log n ) $ ,可以通过。
二、 组合数学:
1、 排列组合:
主要介绍二项式定理相关内容,简单的排列组合未进行讲解。
二项式定理:
二项式定理与组合数关系密切,他写作:
考虑它的实际意义,每个 $ (a+b) $ 里面可以提供一个 $ a $ ,或者一个 $ b $ ,那么得出来的项 $ a^i b^{n-i} $ 中 $ a $ 的 $ i $ 是从 $ i $ 个 $ (a+b) $ 里面得到的,所以有 $ \binom{n}{i} $ 个,于是上式成立。
然后它还可以扩展到多项式上:
其中 $ \binom{n}{n1,n2,n3,......,nk} $ 是多项式系数,个人认为可以将它理解为 把 $ n $ 个东西分成 $ k $ 堆,第 $ i $ 堆的数量为 $ n_i $ ,所以有式子:
只需要把原式展开成为组合数,然后一消便可证明。
多重集的排列数 | 多重组合数
一个集合 $ S = $ { $ n_i \cdot a_i | 1 \le i \le k $ } ,表示有 $ k $ 种物品,每种物品 $ a_i $ 有 $ n_i $ 个。那么 $ S $ 的全排为:
多重集的组合数
一个可重集 $ S $ ,对于 $ r \le n_i , \forall i \le k $ ,求从 $ S $ 中选出 $ r $ 个元素组成一个可重集的方案数。
这等价于 $ \sum_{i=1}^{k} x_i = r $ 的非负整数解的数目,直接插板:
另一个问题:还是可重集 $ S $ ,从 $ S $ 中选出 $ r $ 各元素组成一个可重集的方案数。问题等价于求方程 $ \sum_{i=1}^{k} x_i = r , \forall i \in [1,k] , x_i \le n_i $ 的非负解的数目。 $ \le $ 并不好做,我们考虑用全集减去非法方案数即为答案。
设 $ S_i $ 表示对于 $ i $ 满足 $ x_i \le n_i $ 的集合, $ \overline{S_i} $ 表示对于 $ i $ 不符合的集合,那么有:
易知 $ | U | = \binom{r+k-1}{k-1} $ ,对于后面的,我们考虑容斥:
考虑对于每一个怎么求和怎么求,这相当于求 不同下界整数和的数目 ,即方程 $ \sum_{i=1}^{k} x_i = r , \forall i \in [1,k] , x_i \ge q_i $ 的非负整数解的数目。
我们考虑直接给每个 $ x_i $ 人为加上 $ q_i $ ,以保证他们不会低于下界,也就相当于求 $ \sum_{i=1}^{k} x_i = r - \sum_{i=1}^{k} q_i $ 的非负整数解的方案数,然后就可以直接插板:
其中 $ A $ 为枚举的集合
那么最终答案为:
组合数性质:
1、
由组合意义可知
2、
将计算式展开即可得
3、
递推式,也是杨辉三角的公式
4、
二项式定理的特殊情况,即 $ a=b=1 $ 时,用来快速求和
5、
二项式定理 $ a=-1,b=1 $ 时,但 $ n=0 $ 时比较特殊。
6、
可以将一个组合数拆开,也成为 范德蒙恒等式 。
证明:
有 $ n+m $ 个物品,要从中选择 $ k $ 个物品,我们直接将物品分成两堆 $ n,m $ 的,然后枚举 $ k $ 个物品在两堆分别选了多少,这些情况和就是所有情况。
7、
6的特殊形式。
8、
考虑转化一个实际意义: 选了 $ i $ 个就有 $ i $ 的贡献,那么选了一个就有 $ 1 $ 的贡献,那么我们考虑贡献的期望为 $ \frac{n}{2} $ ,一共有 $ 2^n $ 种方案数,所以总方案数为 $ \frac{n}{2} \times 2^n = n 2^{n-1} $ 。
9、
同上,也可以用期望来证明,只需考虑期望的线性性。
10、
从 $ n+1 $ 个物品中选出 $ k+1 $ 个物品,我们考虑枚举最后一个物品在哪,然后从他前面的物品里选出 $ k $ 个来,得证。
还有一种证明的方法,具体来说因为 $ \binom{n}{m} = \binom{n-1}{m} + \binom{n-1}{m-1} $ ,所以 $ \binom{n}{m} = \binom{n+1}{m+1} - \binom{n}{m+1} $ ,然后把式子展开即可消去后面的部分。
用杨辉三角证明和上面的方法基本一样。
11、
证明通过暴力拆式子或者考虑组合意义都可得出。
12、
其中 $ F_i $ 是 斐波那契数列 的第 $ i $ 项。
但我不会证,run了。
二项式反演
设 $ f_i $ 表示 恰好选了 $ i $ 个物品组成特定结构的方案数 , $ g_i $ 表示 在 $ i $ 个物品中至少选了 $ j \ge 0 $ 个物品构成特定结构的方案数。
如果已知 $ f $ 显然有
如果已知 $ g $ 则有
上面已知 $ g $ 求 $ f $ 的过程就是二项式反演。
证明:
首先将 $ g $ 展开,得:
然后交换枚举顺序:
对于后面的求和式,设 $ k = i-j $ ,有
由前面的第 5 个式子可以知道上式等价于 $ [n-j=0] $ 即 $ [n=j] $ ,代入可得:
不得不说非常巧妙。
2、 抽屉原理
这玩意没啥,(因为我不会用)。
3、 容斥原理
定义
对于全集 $ U $ 里面的元素有 $ n $ 种属性,称之为 $ P_i $ ,拥有 $ P_i $ 的元素的集合为 $ S_i $ , 那么有
证明
我们对每个元素进行考虑,对于元素 $ x $ ,假设他出现在了 $ S_1 , S_2 , S_3 , ...... , S_k $ 中,那么他被计算的次数就是
上述推到说明公式不重不漏的计算所有出现过的数 1 次,所以最后算出来是全集。
应用
容斥的公式比较简单,但应用较多。
不定方程非负整数解计数
在刚才说组合数的时候,我们已经用到了容斥来解决这个问题,即 多重集的组合数 的第二个问题,求方程 $ \sum_{i=1}^{n} x_i = m , \forall \ i \in [1,m] , x_i \le n_i $ ,的非负整数解数目。
上次我们的确用容斥解决了这个题,但一般使用容斥时都会有容斥模型,我们就这道题来说说容斥模型是什么。
容斥模型
1、 首先有全集 $ U $ 表示上述方程的非负整数解。
2、 这个问题关心的变量是 $ x_i $ 。
3、 每个变量的属性,在这就是 $ x_i $ 的限制条件 $ x_i \le n_i $ 。
那么我们要求的是 $ | \bigcap_{i=1}^{n} S_i | $ ,对于交集我们不好直接容斥,所以将它转化为 $ | \bigcap_{i=1}^{n} S_i | = | U | - | \bigcup_{i=1}^{n} \overline{S_i} | $ ,然后我们就可以对着后面那个上容斥公式了。
然后就和之前说的一样。
P1450 [HAOI2008] 硬币购物
其实和上面那道题基本一样,采用同样的容斥模型,只不过这次算方案数需要用背包去做。
完全子图染色(容斥逆用)
A 和 B 喜欢对图(不一定连通)进行染色,而他们的规则是,相邻的结点必须染同一种颜色。今天 A 和 B 玩游戏,对于 $ n $ 阶 完全图 $ G=(V,E) $ 。他们定义一个估价函数 $ f(S) $ ,其中 S 是边集, $ S\subseteq E $ . $ f(S) $ 的值是对图 $ G'=(V,S) $ 用 $ m $ 种颜色染色的总方案数。他们的另一个规则是,如果 $ |S| $ 是奇数,那么 A 的得分增加 $ f(S) $ ,否则 B 的得分增加 $ f(S) $ . 问 A 和 B 的得分差值。
这题这是一眼没思路,尝试写出计算式:
rt,这个式子中 $ (-1)^{i} $ 的形式和标题可以提醒我们他和容斥有关,那么我们尝试写出容斥模型。
容斥模型
首先如果确定了 $ S $ 的话,每种染色方案合法当且仅当对于 $ \forall (u,v) \in S , col_u = col_v $ ,那么他的容斥模型即:
1、 元素为每对边 $ (x,y) $ 。
2、 属性为边 $ (x,y) $ 满足 $ col_x = col_y $ .
我们称满足属性 $ (x,y) $ 的集合为 $ s_{x,y} $ ,那么有
给每条边编号,然后以 $ s_{id_{i,j}} $ 代替 $ s_{i,j} $ ,有
将 $ f(S) $ 代回原式
然后逆向容斥可得
即将答案转化为了至少有一条边满足两点颜色相同的方案数,用全集减去相邻两点不同的方案数即可,所以有
从刚看这道题无从入手,到后来由计算式中的 $ (-1)^{k} $ 猜想容斥,建立合适的容斥模型,感觉这就是这个容斥的思路吧。
4、 斐波那契数列
定义:
定义斐波那契数列 $ F $ 表示斐波那契数列,有:
一些性质:
1、 $ F_{n-1} F_{n+1} - F_{n}^2 = (-1) ^ n $
首先在 $ n $ 比较小的时候成立,然后我们尝试归纳,设 $ g_n = F_{n-1} F_{n+1} - F_{n}^2 $ ,我们把 $ g_n $ 拆开:
证毕。
2、 $ F_{n+k} = F_k F_{n+1} + F_{k-1} F_n $
还是考虑归纳,在 $ k \le 2 $ 该式成立,那么:
证毕。
3、 $ \forall k \in N , F_n | F_{nk} $
归纳假设我们已经证明了对于 $ k-1 , F_n | F_{n (k-1) } $ ,接下来:
因为 $ F_n | F_n F_{n(k-1)+1} , F_n | F_{n-1} F_{n(k-1)} $ ,所以 $ F_n | F_{nk} $
4、 $ \forall F_a | F_b , a | b , ( a , b \ge 2 ) $
也就是说 (3) 是可逆的。
还是利用 (2) 并进行归纳,首先 $ F_n \not | \ F_i , i \lt n $ ,那么对于 $ 1 \le k \lt n $ ,有:
然后对于 $ n+1 \le k \lt 2n $ 自然也可证明,然后一直归纳下去即可证明。
5、 $ (F_m,F_n) = F_{(m,n)} $
结合 (3) 、 (4) 感性理解一下就行了。
三、 多项式有关
1、 拉格朗日插值
2、 FFT & NTT & FWT
?、 和 whk 有关的
1、 导数
定义:
定义比较简单,就是对于一个多项式 $ f $ ,求对于每个点 $ (i,f_i) $ 的切线斜率是多少。
如何求:
直接做的话就是求 $ \lim\limits_{ \Delta x \to 0 } \frac{f_{ x + \Delta x } - f_{x} }{\Delta x} $ 。谁都知道每次都这么求一遍实在是太麻烦了,于是我们发现有很多求导的式子本质相同,我们称这些本质为基本初等函数,我们只需要知道基本初等函数的求导公式即可。
基本初等函数求导公式:
(1)、 $ f_x = c $ (c为常数) , $ f'_{x} = 0 $
推导比较简单
(2)、 $ f_x = x^a , a \in R $ , $ f'_{x} = a x^{a-1} $
如果 $ a \in N $ 的话,那我们直接上二项式定理:
注意到对于求和中第 $ i=0 $ 项与后面的 $ -x^a $ 相消,求和后面的除了 $ i=1 $ 项,别的项最后都会保留 $ t $ 的因子,而 $ t \to 0 $ ,所只需要管第 $ i=1 $ 项 ,即 $ \binom{a}{1} t x_{a-1} $ ,于是就有了 $ f_x' = a x_{a-1} $ ,虽然这是整数域上的,但是二项式定理这个东西他在实数域上也适用,所以可以这样来证明 公式(2)。
(3)、 $ f_x = \sin(x) , f'_x = \cos(x) $
我们先将式子写出来:
然后咋证呢?把右边那个 $ \sin(x+t) $ 拆开并不好处理,我们考虑一个叫 和差化积 的东西其中一个用来证明本题的就是:
为啥对?令 $ x = \frac{a+b}{2} , y = \frac{a-b}{2} $ ,我们对原式展开得到, $ 2 \sin \frac{a}{2} \cos \frac{b}{2} $ ,然后我们用 $ x,y $ 表示 $ a,b $ 即可得到 $ a = x+y , b = x-y $ ,所以我们得到上式。
然后将公式代入原式,得到
然后求导时有一个重要结论是:
证明嘛,先咕咕咕,目前只会感性理解。
然后就直接上公式,将 $ \frac{\sin(\frac{t}{2})}{t} $ 替换为 $ \frac{1}{2} $
最终得到
(4)、 $ f_x = cos(x) , f'_x = -sin(x) $
和 (3) 一样。
(5)、 $ f_x = a^x , f'_x = a^x \ln a (a \gt 0 \ \ and \ \ a != 1) $
再次给出一个求导中的公式:
证明还是先咕了。
然后直接上推导过程吧:
设 $ k = a^t - 1 $ ,那么 $ t = \log_{a} {k+1} $ ,于是:
我们看到了 $ \lim\limits_{k \to 0} (k+1)^ \frac{1}{k} = e $ ,说明 $ \lim\limits_{t \to 0} \frac{a^t - 1}{t} = \ln (k+1) $
于是代回原式得到:
(6)、 $ f_x = e^x , f'_x = e^x $
(5)的特殊形式。
(7)、 $ f_x = \log_a x , f'_x = \frac{1}{x \ln a } $
类似于 (5) 但较为简单的推导:
(8)、 $ f_x = \ln x , f'_x = \frac{1}{x} $
(7) 的特殊形式
求导中的四则运算与复合函数求导
加法
减法
乘法
证明
除法
证明
令 $ F(x) = \frac{f(x)}{g(x)} $ ,有
移个项
同时给出伪证一例
证伪原因是,在分母上有 $ t $ 时,不能直接认为 $ t = 0 $ ,也就不能用 $ \lim_{t=0} f(x+t)g(x+t) - f(x)g(x) = 0 $

浙公网安备 33010602011771号