数论篇7——组合数 & 卢卡斯定理(Lucas)
组合数
组合数就是高中排列组合的知识,求解组合数C(n,m),即从n个相同物品中取出m个的方案数。
求解方式
求解通式:$C^{m}_{n}=\dfrac {n!}{m!\left( n-m\right) !}$
性质1:$C^{m}_{n}=C_{n}^{n-m}$
性质2:$C^{m}_{n}=C^{m-1}_{n-1}-i+C^{m}_{n-1}$
打表递推
根据性质2:$C^{m}_{n}=C^{m-1}_{n-1}+C^{m}_{n-1}$
组合数算出来特别大,往往都会要求取余,这里取$P=1e9+7$。时间复杂度$O(n^2)$
;
#define N 1000
int comb[N][N];
int main() {
; i < N; i++) {
comb[i][] = comb[i][i] = ;
; j < i; j++) {
comb[i][j] = comb[i - ][j] + comb[i - ][j - ];
comb[i][j] %= P;
//cout << comb[i][j] << endl;
}
}
}
逆元法
因为大部分题都有求余,可利用逆元的原理(没求余的题目,自己找一个比较大的素数作为P,也可以用逆元做)
线性递推求逆元
当$p$为质数时有$a^{-1}=(p-[p/a])\cdot (p\%a)^{-1}\%p$
求阶乘的逆元
根据通式:$C^{m}_{n}=\dfrac {n!}{m!\left( n-m\right) !}$,有$C^{m}_{n}=n!\cdot inv[m!] \cdot inv[(n-m)!]$
设 $finv(i)=inv(i\ !)$
则根据:$finv(i-1)=\frac{1}{\ (i-1)\ !}=\frac{1}{i\ !}\times i =finv(i)\times i$
有:$finv(i) = finv(i-1)\times inv(i)$
初始化时间复杂度$O(n)$,求$C^{m}_{n}$为$O(1)$
;
;
], Finv[N+], inv[N+];//fact是阶乘,Finv是阶乘的逆元
void init() {
inv[] = ;
//线性递推求逆元
; i <= N; i++) {
inv[i] = (P - P / i) * 1ll * inv[P % i] % P;
}
fact[] = Finv[] = ;
; i < N; i++) {
fact[i] = fact[i - ] * 1ll * i % P;//求阶乘
Finv[i] = Finv[i - ] * 1ll * inv[i] % P;//求阶乘的逆元
}
}
int C(int n, int m) {//comb(n, m)就是C(n, m)
|| m > n) ;
return fact[n] * 1ll * Finv[n - m] % P * Finv[m] % P;
}
卢卡斯定理
现在有了新问题,如果$n$和$m$非常大,$p$为素数,比如求$C_n^m \% p \ ,\ n\leqslant 10^{18},m\leqslant 10^{18},p\leqslant 10^{9}$
$C_n^m\ \%\ p = C(n / p, m / p) * C(n\ \%\ p, m\ \%\ p)\ \%\ p$
或者写成这样更准确$Lucas(n,m)\ \%\ p=Lucas(n/p,m/p)*C(n\ \%\ p,m\ \%\ p)\ \%\ p$
证明请看此 lucas_百度百科,没仔细看证明,所以对不对我也不知道。
写成递归,代码就这么短:
LL Lucas(LL n, LL m, int p){
;
}
具体C的实现要看情况。
P较小时,打表
typedef long long ll;
const int N = 1e5 ;
;//取一个小于N的素数
ll fact[P + ], inv[P + ], Finv[P + ];//阶乘打表
void init() {
inv[] = ;
//线性递推求逆元
; i <= P; i++) {
inv[i] = (P - P / i) * 1ll * inv[P % i] % P;
}
fact[] = Finv[] = ;
; i < P; i++) {
fact[i] = fact[i - ] * 1ll * i % P;//求阶乘
Finv[i] = Finv[i - ] * 1ll * inv[i] % P;//求阶乘的逆元
}
}
ll C(ll n, ll m){//组合数C(n, m) % p
;
return fact[n] * Finv[n - m] % P * Finv[m] % P;
}
ll Lucas(ll n, ll m){
;
}
P较大时,没法打表,用快速幂算逆元
typedef long long ll;
const int N = 1e9 ;
;
ll quickPower(ll a, ll b) {
ll res = ;
a %= P;
while (b) {
)res = (res % P) * (a % P) % P;
a = (a % P) * (a % P) % P;
b >>= ;
}
return res;
}
ll inv(ll x) {//x关于p的逆元,p为素数
);
}
ll C(ll n, ll m) {
;
ll up = , down = ;//分子分母;
; i <= n; i++)
up = up * i % P;
; i <= m; i++)
down = down * i % P;
return up * inv(down) % P;
}
ll Lucas(ll n, ll m) {
);
return C(n % P, m % P) * Lucas(n / P, m / P) % P;
}
数论篇7——组合数 & 卢卡斯定理(Lucas)的更多相关文章
- 卢卡斯定理Lucas
卢卡斯定理Lucas 在数论中,\(Lucas\)定理用于快速计算\(C^m_n ~ \% ~p\),即证明\(C^m_n = \prod_{i = 0} ^kC^{m_i}_{n_i}\)其中\(m ...
- 【luogu P3807】【模板】卢卡斯定理/Lucas 定理(含 Lucas 定理证明)
[模板]卢卡斯定理/Lucas 定理 题目链接:luogu P3807 题目大意 求 C(n,n+m)%p 的值. p 保证是质数. 思路 Lucas 定理内容 对于非负整数 \(n\),\(m\), ...
- ACM数论之旅10---大组合数-卢卡斯定理(在下卢卡斯,你是我的Master吗?(。-`ω´-) )
记得前几章的组合数吧 我们学了O(n^2)的做法,加上逆元,我们又会了O(n)的做法 现在来了新问题,如果n和m很大呢, 比如求C(n, m) % p , n<=1e18,m<=1e18 ...
- 卢卡斯定理 Lucas (p为素数)
证明摘自:(我网上唯一看得懂的证明) https://blog.csdn.net/alan_cty/article/details/54318369 结论:(显然递归实现)lucas(n,m)=luc ...
- 洛谷.3807.[模板]卢卡斯定理(Lucas)
题目链接 Lucas定理 日常水题...sublime和C++字体死活不同步怎么办... //想错int范围了...不要被longlong坑 //这个范围现算阶乘比预处理快得多 #include &l ...
- CRT中国剩余定理 & Lucas卢卡斯定理
数论_CRT(中国剩余定理)& Lucas (卢卡斯定理) 前言 又是一脸懵逼的一天. 正文 按照道理来说,我们应该先做一个介绍. 中国剩余定理 中国剩余定理,Chinese Remainde ...
- 【数论】卢卡斯定理模板 洛谷P3807
[数论]卢卡斯定理模板 洛谷P3807 >>>>题目 [题目] https://www.luogu.org/problemnew/show/P3807 [输入格式] 第一行一个 ...
- 【Luogu3807】【模板】卢卡斯定理(数论)
题目描述 给定\(n,m,p(1≤n,m,p≤10^5)\) 求 \(C_{n+m}^m mod p\) 保证\(P\)为\(prime\) \(C\)表示组合数. 一个测试点内包含多组数据. 输入输 ...
- 【UOJ#275】组合数问题(卢卡斯定理,动态规划)
[UOJ#275]组合数问题(卢卡斯定理,动态规划) 题面 UOJ 题解 数据范围很大,并且涉及的是求值,没法用矩阵乘法考虑. 发现\(k\)的限制是,\(k\)是一个质数,那么在大组合数模小质数的情 ...
随机推荐
- ACT开发初步(一)
ACT的全称是Application Customization Toolkit,是面向ANSYS系列产品的统一的二次开发平台.利用基于Python的API(Application Programmi ...
- 最新版IntelliJ IDEA2019破解方法、补丁、注册码(激活码),永久激活
最新版IntelliJ IDEA2019破解方法.补丁.注册码(激活码),永久激活 目录 1.打赏记录 2.适用版本(适用于Windows及MacOS系统) 3.下载补丁 4.JetbrainsIde ...
- 如何实现有返回值的多线程 JAVA多线程实现的三种方式
可返回值的任务必须实现Callable接口,类似的,无返回值的任务必须Runnable接口.执行Callable任务后,可以获取一个Future的对象,在该对象上调用get就可以获取到Callable ...
- c++primer(第五版) 阅读笔记_第1章
一.结构图: 二.代码及练习题 1.1节 编写一个简单的C++程序 1.1节练习 练习1.1: 查阅使用的编译器的文档:我使用的是vs2013,其文档为https://docs.microsoft.c ...
- Ribbon核心组件IRule及配置指定的负载均衡算法
Ribbon在工作时分为两步: 第一步:先选择 EurekaServer,它优先选择在同一个区域内负载较少的Server: 第二步:再根据用户指定的策略,在从Server取到的服务注册列表中选择一个地 ...
- 通过inspect在电脑的Chrome上查看手机上的H5
首先打开手机的开发者模式,(在连续点击7次版本号,系统会提示已经打开开发者模式) 然后打开一个手机浏览器. 然后在电脑上打开chrome://inspect/#devices.这是就会出现手机上浏览器 ...
- OpenCV4.1.2 QRCode解码体验测评(附源码+支持中文)
目前官方Release的OpenCV最新版本为4.1.2,偶然看到更新信息里面QRCode解码性能有提升,所以迫不及待想尝试一下,因为上次测试了4.0版本的效果不太好. 下载和配置OpenCV的步骤此 ...
- Linux文件和目录管理
一.与文档相关的命令 1,命令head:用于显示文件前10行,后面直接跟文件名.如果加-n,则显示文件的前几行. 选项-n后有无空格均可也可以省略字母n,直接跟数字 2,命令tail:和命令head类 ...
- storm并行
Storm并行度 wordcount 统计job代码 public class WordCountTopology { private static final String SENTENCE_SPO ...
- [转帖]从 SOA 到微服务,企业分布式应用架构在云原生时代如何重塑?
从 SOA 到微服务,企业分布式应用架构在云原生时代如何重塑? 2019-10-08 10:26:28 阿里云云栖社区 阅读数 54 版权声明:本文为博主原创文章,遵循CC 4.0 BY-SA版权 ...