OI中组合数的若干求法与CRT
OI中组合数的若干求法与CRT
只是下决心整理一下子呢~
说明:本篇文章采用\(\binom{a}{b}\)而不是\(C_{a}^b\),以\(p\)指代模数,\(fac_i\)指代\(i!\),\(inv_i\)指代\(i\)在\(\mod p\)下的逆元,\(invf_i\)指代\(i!\)在\(\mod p\)下的逆元。
一般性的组合数求法
计算式:
$$\binom{m}{n}=\frac{m!}{n!\times (m-n)!}$$
一、 杨辉三角法
\]
证明可以从计算式或者组合意义入手,不过多赘述了。
一般情况下,这个适用性并不是很广,但打起来还是很方便的,也不容易错。
值得一提的是,在有关容斥的一些证明中,经常用到这个式子消去一些项,比如证明\(\sum_{d|n}\mu(d)=[n=1]\)中
复杂度\(O(n^2)\sim O(1)\),对\(p\)无要求
二、 预处理阶乘和阶乘逆元法
根据计算式得到
\]
我们事先预处理阶乘及阶乘逆元,关于预处理阶乘逆元,有
\]
证明:
\]
\]
只需要算一个就可以了
复杂度\(O(n+\log p)\sim O(1)\),\(p\)为质数
这里\(p\)为质数才能保证一定有解,若不为质数,可能求不出来,因为不存在逆元。
麻烦一些的组合数求法
三、 Lucas定理
\]
证明(有兴趣的可以看一下):
设\(n=ap+r_1,m=bp+r_2\)
取\((1+x)^n\bmod p\)这样一个式子,我们对它进行变形(本质上对应将数进行p进制分解)
\]
\]
\]
引理:
①\((a+b)^x=\sum_{i=0}^x\binom{x}{i}a^ib^{x-i}\)
②当\(p\)为质数时,任取\(x \in [1,p-1]\)且\(x \in N\),满足\(\binom{p}{x}\equiv0 \pmod p\)。
则上式
\]
\]
整理得\((1+x)^n=\sum_{i=0}^n\binom{n}{i}x^i≡\sum_{i=0}^a \binom{a}{i}x^{ip}\times \sum_{j=0}^{r1} \binom{r_1}{j}x^j \pmod p\)
对左边这样展开的这一项\(x^{bp+r_2}\)来说,它的系数为\(\binom{ap+r_1}{bq+r_2}\)
而右边当且仅当\(i=b,j=r_2\)时,可以构成这个项,而它的系数为\(\binom{a}{b}\times\binom{r_1}{r_2}\)
即$$\binom{m}{n}=\binom{m \bmod p}{n \bmod p} \times \binom{m/p}{n/p}$$则得证
用法上,这个要配合阶乘和阶乘逆元完成,当\(m\)小于\(p\)时,我们就要按照计算式直接算了。因此,\(\tt{lucas}\)定理适用于\(m,n\)较大的情况
这个定理其实用处不是很大,但是实现和形式上比较简单,所以可以按实际情况考虑使用。它还有一个优点,有时候可以避免\(n,m\)过大而强制使用龟速乘。
复杂度\(O(p+\log p)\sim O(\log n)\),\(p\)为质数
四、 lucas+CRT合并
先说说前置的\(\tt{CRT}\)合并吧
\(\tt{CRT}\)合并
考虑两个同余方程
\]
\]
设\(x=kp_1+b_1\),\(t=gcd(p_1,p_2)\)
将\(x\)代入方程\(2\)
\]
此时解\(k\)
\]
由裴蜀定理等,若\(k\)有解\(k_0\)(即\(t|b_2-b_1\)),则\(k \equiv k_0 \pmod {\frac{p_1p_2}{t}}\)
则$$x \equiv k_0p_1+b_1 \pmod {\frac{p_1p_2}{t}}$$
其实这个就是\(\tt{EXCRT}\)了。我们对可能不互质的\(p\),从第一个方程开始进行合并,只要有一个无解,整个同余方程组就无解了。
按理说\(\tt{EXCRT}\)是可以代替\(\tt{CRT}\)的所有功能的,但是\(\tt{CRT}\)打起来相对较简单,而且在扩展\(\tt{lucas}\)中用\(\tt{CRT}\)就够了,所以还是了解一下比较好。
中国剩余定理
对同余方程组
\]
设\(P_0=\prod\limits_{i=1}^np_i\),\(P_i=\frac{P_0}{p_i}\)
则方程组有通解$$x \equiv \sum\limits_{i=1}^nP_i\times inv_{P_i}\times a_1 \pmod {P_0}$$
理解起来不难,对\(P_i\)满足了可以整除其他的\(p_i\),不会对其他方程产生影响,乘上自己的逆元和\(a_i\),就满足了自己的方程。
两个方法的复杂度是一样的,均为\(O(n\log p)\),但实际上普通的\(\tt{CRT}\)用的更多一些,注意有时候避免乘起来爆\(\text{long long}\)要用龟速乘
把前置技能点上了以后,就可以说一下方法\(4\)了
求$$\binom{m}{n} \bmod p$$
对\(p\)唯一分解\(p=\prod p_i^{c_i}\)
显然我们对每一个\(p_i^{c_i}\)得到一个答案之后,是可以用\(\tt{CRT}\)合并的。
但是发现模数不是质数的情况可能无解,因此实际上这种方法的局限性很大。
当题目已经给定模数而不是输入模数时,可能会用的到,比如古代猪文这个题。
为什么又强调\(\tt{lucas}\)定理呢?大概是因为分解以后模数不会太大的考虑。
这个方法的复杂度其实不好具体计算,但跑起来大概像这个\(O(\max p_i)\sim O(\log p)\)
五、 exLucas
其实这个东西挺麻烦的,能不写应该不会去写这玩意儿。
首先这个东西跟\(\tt{lucas}\)没关系,直接考虑组合数的计算式
\]
对\(p\)唯一分解\(p=\prod p_i^{c_i}\)
像四一样,考虑分解以后再合并
\]
因为\(p_i\)可能是\(m!\)的约数之类的,所以不妨先把分子分母的\(p_i\)都给拿下来。
首先,我们考虑\(m!\)里面有多少个\(p_i\),设\(f(n)\)代表\(n!\)中有多少个,考虑一个递推式
\]
理解起来很简单,先把所有\(p_i\)的倍数拿出来,都只产生\(1\)的贡献以后,这些\(p_i\)的倍数除上一个\(p_i\)后产生的序列就构成了子问题。
然后我们求剩下来的除掉所有\(p_i\)以后的阶乘
因为\(a\equiv a+p_i^{c_i}\),所以我们把\(m!\)阶乘分成\(\lfloor\frac{m}{p_i^{c_i}}\rfloor\)段,然后暴力算一整段的贡献并用快速幂乘起来。
为了方便,我们依然不计算\(p_i\)的倍数,并把它当做一个子问题递归计算。
这个的求阶乘复杂度算起来其实是一个等比数列,是\(O(n)\)的
然后剩下的计算对求出来的东西求逆元并和剩下的\(p_i\)相乘,就得到了在模\(p_i^{c_i}\)意义下的答案,把所有的求出来以后直接\(\tt{CRT}\)合并即可。
发现这个东西的复杂度中有一堆并不重要的\(\log\),比如\(\tt{CRT}\),逆元什么的。真正复杂度瓶颈在于求阶乘的那个\(O(n)\),可以近似的认为复杂度是\(O(\max p_i^{c_i})\)的。
贴一下我写的代码吧,写的不好看轻喷
#include <cstdio>
#define ll long long
ll mod;
void exgcd(ll &x,ll &y,ll a,ll b)
{
if(!b){x=1,y=0;return;}
exgcd(x,y,b,a%b);
ll tmp=x;
x=y;
y=tmp-a/b*y;
}
ll inv(ll a,ll p)
{
ll x,y;
exgcd(x,y,a,p);
return x;
}
ll quickpow(ll d,ll k,ll p)
{
ll f=1;
while(k) {if(k&1)f=f*d%p;d=d*d%p;k>>=1;}
return f;
}
ll fac(ll n,ll p,ll tp)
{
if(!n) return 1;
ll f=1,res=1;
for(ll i=1;i<tp;i++)
{
if(i%p) (f*=i)%=tp;
if(i==n%tp) res=f;
}
f=quickpow(f,n/tp,tp);
return fac(n/p,p,tp)*f%tp*res%tp;
}
ll C(ll m,ll n,ll p,ll tp)
{
ll ct=0;
for(ll i=m;i;i/=p) ct+=i/p;
for(ll i=n;i;i/=p) ct-=i/p;
for(ll i=m-n;i;i/=p) ct-=i/p;
return fac(m,p,tp)*inv(fac(n,p,tp),tp)%tp*inv(fac(m-n,p,tp),tp)%tp*quickpow(p,ct,tp)%tp;
}
ll CRT(ll m,ll n,ll p,ll tp)
{
return C(m,n,p,tp)*(mod/tp)%mod*inv(mod/tp,tp)%mod;
}
ll exlucas(ll m,ll n,ll p)
{
ll ans=0;
for(ll i=2;i*i<=p;i++)
{
if(p%i==0)
{
ll tp=1;
while(p%i==0) tp*=i,p/=i;
(ans+=CRT(m,n,i,tp))%=mod;
}
}
if(p!=1) (ans+=CRT(m,n,p,p))%=mod;
return (ans%mod+mod)%mod;
}
int main()
{
ll n,m;
scanf("%lld%lld%lld",&n,&m,&mod);
printf("%lld\n",exlucas(n,m,mod));
return 0;
}
六、 一些灵活一点的应用
- 给定一个长为\(n(n\le 3\times10^5)\)的有重序列,求这个序列在所有排列中的排名,对\(p(p\le 2\times 10^9)\)取模
其实就是有重复元素的排列问题。
像康托展开那样,讨论每一位的贡献。
不妨设当前处理到第\(i\)位的子问题了,令\(a_1,a_2,\dots,a_m\)代表从第\(i\)位到第\(n\)位的排列,\(b_1,b_2,\dots,b_m\)代表\(i\)到第\(n\)位的第一个排列,\(c_i\)代表数值为\(i\)的数字的出现次数。
若\(a_1=b_1\),则当前位无贡献,处理下一位的子问题。
若\(a_1>b_1\),则计算所有小于\(a_1\)的数值排在第一位后,后面的全排列,即为
\]
这里\(c_i\)代表从第\(i\)为到之后的每一位的出现次数,你把后面的\(c_d\)乘下去就是后面的排列了。
后面的求和用树状数组维护,前面的删一个维护一个就可以了。
发现\(p_i^{c_i}\)可能很大,而\(n\)比较小,所以我们可以直接预处理到\(n\)的阶乘,当然也要先把\(p_i\)拿出来。
- 给出\(n(n\le 2\times 10^5)\)个质数,求这些质数乘积的约数之积模\(10^9+7\)
设乘积\(N=\prod\limits_{i=1}^kp_i^{c_i}\),则约数个数\(d=\prod\limits_{i=1}^kc_i+1\),那么答案为
\]
\]
用扩展欧拉定理求一下指数,即\(\frac{d\times c_i}{2} \bmod \varphi(p)\)
把\(\varphi(p)\)拆成\(2\times 500000003\)做然后合并。对那个\(2\)随便从\(d\)中间拿下来一个就可以了,不需要多麻烦,因为只有一个。
- 有\(n(n\le 20)\)个集合,第\(i\)个集合有\(c_i(0\le c_i \le 10^{12})\)个相同元素,不同集合的元素互不相同,从中取出\(m(0\le m\le 10^{14})\)个元素,问有多少种取法,对\(10^9+7\)取膜
其实就是求多重集的组合数,设有多重集\(\{x_1\cdot c_1,x_2\cdot c_2,\dots,x_k\cdot c_k\}\),\(x\)是元素的值,而\(c\)是这个值的个数,设\(C=\sum\limits_{i=1}^k c_i\)。
首先我们不考虑每种元素的上限时(也就是当每种元素都有无限个的时候)的方案数
从组合的意义出发,相当于把\(n\)个元素有序的划分成\(k\)组,每组可以为空的方案数,即为
\]
考虑\(x_i\)取了至少\(c_i+1\)个的方案数,首先我们把这\(c_i+1\)个取出来,然后再随便取,为\(\binom{n+k-c_i-2}{k-1}\)
则至少某一种元素取多了的方案数为\(\sum_{i=1}^{k}\binom{n+k-c_i-2}{k-1}\),注意这里的方案数是有算重的。
类比可以得到至少两种元素取多了的方案数等等
套用容斥原理了,即为
\]
上式代表的是至少某一种元素取多了的方案数,注意这一步的“至少”和之前的意义并不一样。
则总方案为无限制的多重集的总排列数减去至少某一个元素多取了个数的方案数。
在计算这个题的组合数时,发现\(m,p\)都很大,而\(n\)很小,我们可以直接把计算式给约分,就是在算
\]
处理一下底下的逆元直接爆算就可以了。
最后一点发现要用龟速乘,不过发现也可以先用\(\tt{lucas}\)定理就不需要龟速乘了。
题目地址
没找到。
OI中组合数的若干求法与CRT的更多相关文章
- GCC&&GDB在OI中的介绍
序言 这本来是用Word写的,但是后来我换了系统所以只能用markdown迁移然后写了...... $\qquad$本文主要投食给那些在Windows下活了很久然后考试时发现需要用命令行来操作时困惑万 ...
- 浅谈分治算法在OI中的应用
分治虽然是基本思想,但是OI中不会出裸分治让你一眼看出来,往往都是结合到找规律里面. 先来个简单的: 奇妙变换 (magic.pas/c/cpp) [问题描述] 为了奖励牛牛同学帮妈妈解决了大写中 ...
- [技术]浅谈OI中矩阵快速幂的用法
前言 矩阵是高等代数学中的常见工具,也常见于统计分析等应用数学学科中,矩阵的运算是数值分析领域的重要问题. 基本介绍 (该部分为入门向,非入门选手可以跳过) 由 m行n列元素排列成的矩形阵列.矩阵里的 ...
- OI中常犯的傻逼错误总结
OI中常犯的傻逼错误总结 问题 解决方案 文件名出错,包括文件夹,程序文件名,输入输出文件名 复制pdf的名字 没有去掉调试信息 调试时在后面加个显眼的标记 数组开小,超过定义大小,maxn/ ...
- OI中的莫比乌斯反演
OI中的莫比乌斯反演 莫比乌斯函数 想要学习莫比乌斯反演,首先要学习莫比乌斯函数. 定义 莫比乌斯函数用\(\mu(x)\)表示.如果\(x\)是\(k\)个不同质数的积,则\(\mu(x) = (- ...
- 浅谈OI中的提交答案
在OI中,题目有三类: 传统题 交互题 提交答案题 今天来了解一下第三类 概述 传统题:给你一个题面,你需要交一个程序,评测姬会用你的程序运行你看不到的一些测试点,用输出和正确答案比较 提交答案题:给 ...
- OI中字符串读入和处理
OI中字符串读入和处理 在NOIP的"大模拟"题中,往往要对字符串进行读入并处理,这些字符串有可能包含空格并以\n作为分割,传统的cin >> scanf() 等等,不 ...
- 浅谈OI中的底层优化!
众所周知,OI中其实就是算法竞赛,所以时间复杂度非常重要,一个是否优秀的算法或许就决定了人生,而在大多数情况下,我们想出的算法或许并不那么尽如人意,所以这时候就需要一中神奇的的东西,就是底层优化: 其 ...
- OI中的快速傅里叶变换(FFT)
快速傅里叶变换(FFT) ---- LLpp ...
随机推荐
- phpstudy apache启动失败,80端口占用问题解决方案
安装phpstydy,启动apache时,启动失败,提示80端口占用,需要将占用80端口的服务进程关闭 1.运行cmd, netstat -ano 找到80端口对应的pid 4 2.一般都是调用 h ...
- eclipse 右键没有Build Path
如果Project Explorer右键没有build pathWindow ->show view 选择package explorer 参考https://blog.csdn.net/cod ...
- 误删 EhCache 中的数据?
最近遇到一个问题:在使用ehcache时,通过CacheManager.getCache(chachename).get(key),获取相应的缓存内对象(当时这个对象是个list), 有个同事写个方法 ...
- pynlpir + pandas 文本分析
pynlpir是中科院发布的一个分词系统,pandas(Python Data Analysis Library) 是python中一个常用的用来进行数据分析和统计的库,利用这两个库能够对中文文本数据 ...
- Go web表单验证
开发Web的一个原则就是,不能信任用户输入的任何信息,所以验证和过滤用户的输入信息就变得非常重要 必填字段 if len(r.Form["username"][0])==0{ // ...
- dns文件
1.dns简介 dns为域名解析系统,当本地浏览器输入域名访问网站时,如果本地host中没有配置域名与IP的对应关系,那么域名信息将会被发送到dns服务器上,由dns服务器将域名解析为IP(过程较为复 ...
- SPLIT(文字列の分割)
概要 SPLIT命令は特定の文字で値を分割する命令だ.タブ区切りや.カンマ区切り等のファイルからデータを取得し値を各項目に振り分けたい時に使用する事が多いだろう.また.XMLファイル等を使用してインタ ...
- linux挂载命令mount及U盘、移动硬盘的挂载
一.mount的命令格式是(注意mount只能在root权限下运行) mount dervice dir dervice是要挂载的设备,dir是挂载点 二.查看当前磁盘列表的设备 fdisk -l 显 ...
- 第5模块闯关Bootstrap
“行(row)”必须包含在 .container (固定宽度)或 .container-fluid (100% 宽度)中,以便为其赋予合适的排列(aligment)和内补(padding). 通过“行 ...
- 安装和配置Sentry(收录)
安装和配置Sentry 本文主要记录安装和配置Sentry的过程,关于Sentry的介绍,请参考 Apache Sentry架构介绍 . 1. 环境说明 系统环境: 操作系统:CentOs 6.6 H ...