P4720【模板】扩展卢卡斯,P2183 礼物
扩展卢卡斯定理
最近光做模板了
想了解卢卡斯定理的去这里,那题也有我的题解
然而这题和卢卡斯定理并没有太大关系(雾
但是,首先要会的是中国剩余定理和exgcd
卢卡斯定理用于求\(n,m\)大,但模数\(p\)是质数,且较小的情况
但这题\(p\)并不保证是质数
所以,首先可以通过唯一分解定理给\(p\)分解乘若干质数相乘的形式:\(p=\prod p_i^{r_i}\),当然\(r\)数列是分解后每个质数的指数
则我们可以对于每个\(p_i^{r_i}\),求出\(\tbinom{n}{m} \bmod {p_i^{r_i}}\),然后用crt进行合并,求出\(\tbinom{n}{m}\bmod p\)的值
所以,问题转化为:求\(\tbinom{n}{m} \bmod {p^{r}}\),\(p\)为质数(为了写起来方便 下文中所有\(p\)实际上都表示的是上文的\(p_i\),\(r\)表示\(r_i\))
又由于\(\tbinom{n}{m}=\dfrac{n!}{m!(n-m)!}\)
所以可以把\(n!\)中,所有是\(n\)的倍数的项都提出来,让它们都除以\(p\),然后就又得到了一个长度为\(\lfloor \dfrac{n}{p}\rfloor\)的从一开始的自然数数列,然后递归的求解\(\lfloor \dfrac{n}{k}\rfloor!\)
那么,对于不是\(n\)的倍数的项,可以发现,它们\(\bmod p^r\)的值以\(p^r\)为一个循环节,所以我们只要求出这个循环节内所有数相乘的积,然后做一个快速幂求它的\(\lfloor \dfrac{n}{k}\rfloor\)次方就行了
而对于\(n \bmod k\)个长度不足一个循环节的数,直接把它乘起来就行了
然后求\(n!\)中因数\(p\)出现的次数是很容易的(具体见代码),那么除法就对应减去\(p\)出现的次数
而剩下的数(也就是刚才把\(p\)除掉来求的)中不含\(p\),可以求\(\bmod p^r\)的逆元,就也能进行除法
最后记得能开long long的一定开long long
一遍过超开心
写了一晚上+一早上有什么可开心的。。。
另外这题的数据好像有些水,具体看这个帖,也不知道加强了没有
所以可以去看一下礼物这个题,loj和bzoj上都有
那题知道这个算法以后思维难度几乎为0,就是求
\]
然后这个礼物也成为了在洛谷A的第一个黑题虽然有些虚高
贴上代码
模板:
#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cmath>
#include<iomanip>
#include<cstring>
#define reg register
#define EN std::puts("")
#define LL long long
inline LL read(){
LL x=0,y=1;
char c=std::getchar();
while(c<'0'||c>'9'){if(c=='-') y=0;c=std::getchar();}
while(c>='0'&&c<='9'){x=x*10+(c^48);c=std::getchar();}
return y?x:-x;
}
LL n,m,p;
inline LL power(LL a,LL b,LL pr){
LL ret=1;
while(b){
if(b&1) ret=(ret*a)%pr;
b>>=1;a=(a*a)%pr;
}
return ret;
}
void exgcd(LL a,LL b,LL &x,LL &y){
if(!b) return x=1,y=0,void();
exgcd(b,a%b,x,y);
LL tmp=x;x=y;
y=tmp-a/b*y;
}
inline LL getinv(LL nn,LL mod){
LL x,y;
exgcd(nn,mod,x,y);
return (x+mod)%mod;
}
inline LL getfac(LL nn,LL pr,LL pp){//n!=x*p^y
if(!nn) return 1;
reg LL ans=1;
for(reg LL i=2;i<pr;i++)
if(i%pp) ans=ans*i%pr;
ans=power(ans,nn/pr,pr);
reg LL tmp=nn%pr;
for(reg LL i=2;i<=tmp;i++)
if(i%pp) ans=ans*i%pr;
return ans*getfac(nn/pp,pr,pp)%pr;
}
inline LL C(LL nn,LL mm,LL pp,LL pr){
LL x=getfac(nn,pr,pp),y=getfac(mm,pr,pp),z=getfac(nn-mm,pr,pp);
LL num=0;//计算因数种有几个p
for(reg LL i=nn;i;i/=pp) num+=i/pp;
for(reg LL i=mm;i;i/=pp) num-=i/pp;
for(reg LL i=nn-mm;i;i/=pp) num-=i/pp;
return x*getinv(y,pr)%pr*getinv(z,pr)%pr*power(pp,num,pr)%pr;
}
inline void crt(LL &ans,LL pr,LL ai){
ans=(ans+(getinv(p/pr,pr)*ai%p*(p/pr)%p))%p;//这里p/pr就相当于crt里的Mi
}
inline LL exlucas(){
LL ans=0,pp=p,pr,sqrt=std::sqrt(p);//pr=p^r
for(reg LL i=2;i<=sqrt;i++)if(!(pp%i)){
pr=1;
while(!(pp%i)) pp/=i,pr*=i;
crt(ans,pr,C(n,m,i,pr));
}
if(pp>1) crt(ans,pp,C(n,m,pp,pp));//还有因数
return ans;
}
int main(){
n=read();m=read();p=read();
std::printf("%lld",exlucas());
return 0;
}
礼物那题
#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cmath>
#include<iomanip>
#include<cstring>
#define reg register
#define EN std::puts("")
#define LL long long
inline LL read(){
LL x=0,y=1;
char c=std::getchar();
while(c<'0'||c>'9'){if(c=='-') y=0;c=std::getchar();}
while(c>='0'&&c<='9'){x=x*10+(c^48);c=std::getchar();}
return y?x:-x;
}
LL p;
inline LL power(LL a,LL b,LL pr){
LL ret=1;
while(b){
if(b&1) ret=(ret*a)%pr;
b>>=1;a=(a*a)%pr;
}
return ret;
}
void exgcd(LL a,LL b,LL &x,LL &y){
if(!b) return x=1,y=0,void();
exgcd(b,a%b,x,y);
LL tmp=x;x=y;
y=tmp-a/b*y;
}
inline LL getinv(LL nn,LL mod){
LL x,y;
exgcd(nn,mod,x,y);
return (x+mod)%mod;
}
inline LL getfac(LL nn,LL pr,LL pp){//n!=x*p^y
if(!nn) return 1;
reg LL ans=1;
for(reg LL i=2;i<pr;i++)
if(i%pp) ans=ans*i%pr;
ans=power(ans,nn/pr,pr);
reg LL tmp=nn%pr;
for(reg LL i=2;i<=tmp;i++)
if(i%pp) ans=ans*i%pr;
return ans*getfac(nn/pp,pr,pp)%pr;
}
inline LL C(LL nn,LL mm,LL pp,LL pr){
LL x=getfac(nn,pr,pp),y=getfac(mm,pr,pp),z=getfac(nn-mm,pr,pp);
LL num=0;//计算因数种有几个p
for(reg LL i=nn;i;i/=pp) num+=i/pp;
for(reg LL i=mm;i;i/=pp) num-=i/pp;
for(reg LL i=nn-mm;i;i/=pp) num-=i/pp;
return x*getinv(y,pr)%pr*getinv(z,pr)%pr*power(pp,num,pr)%pr;
}
inline void crt(LL &ans,LL pr,LL ai){
ans=(ans+(getinv(p/pr,pr)*ai%p*(p/pr)%p))%p;//这里p/pr就相当于crt里的Mi
}
inline LL exlucas(LL n,LL m){
LL ans=0,pp=p,pr,sqrt=std::sqrt(p);//pr=p^r
for(reg LL i=2;i<=sqrt;i++)if(!(pp%i)){
pr=1;
while(!(pp%i)) pp/=i,pr*=i;
crt(ans,pr,C(n,m,i,pr));
}
if(pp>1) crt(ans,pp,C(n,m,pp,pp));//还有因数
return ans;
}
LL w[10];
int main(){
p=read();LL n=read(),m=read();
LL sum=0;
for(reg int i=1;i<=m;i++) w[i]=read(),sum+=w[i];
if(sum>n) return std::puts("Impossible"),0;
LL ans=1;
for(reg int i=1;i<=m;i++){
ans=(ans*exlucas(n,w[i]))%p;
n-=w[i];
}
std::printf("%lld",ans);
return 0;
}
P4720【模板】扩展卢卡斯,P2183 礼物的更多相关文章
- [洛谷P4720] [模板] 扩展卢卡斯
题目传送门 求组合数的时候,如果模数p是质数,可以用卢卡斯定理解决. 但是卢卡斯定理仅仅适用于p是质数的情况. 当p不是质数的时候,我们就需要用扩展卢卡斯求解. 实际上,扩展卢卡斯=快速幂+快速乘+e ...
- 洛谷P4720 【模板】扩展卢卡斯
P4720 [模板]扩展卢卡斯 题目背景 这是一道模板题. 题目描述 求 C(n,m)%P 其中 C 为组合数. 输入输出格式 输入格式: 一行三个整数 n,m,p ,含义由题所述. 输出格式: 一行 ...
- 洛谷 P4720 【模板】扩展 / 卢卡斯 模板题
扩展卢卡斯定理 : https://www.luogu.org/problemnew/show/P4720 卢卡斯定理:https://www.luogu.org/problemnew/show/P3 ...
- Luogu P2183 [国家集训队]礼物 扩展卢卡斯+组合数
好吧学长说是板子...学了之后才发现就是板子qwq 题意:求$ C_n^{w_1}*C_{n-w_1}^{w_2}*C_{n-w_1-w_2}^{w_3}*...\space mod \space P ...
- BZOJ2142礼物——扩展卢卡斯
题目描述 一年一度的圣诞节快要来到了.每年的圣诞节小E都会收到许多礼物,当然他也会送出许多礼物.不同的人物在小E 心目中的重要性不同,在小E心中分量越重的人,收到的礼物会越多.小E从商店中购买了n件礼 ...
- bzoj2142 礼物——扩展卢卡斯定理
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=2142 前几天学了扩展卢卡斯定理,今天来磕模板! 这道题式子挺好推的(连我都自己推出来了) , ...
- 【luoguP4720】【模板】扩展卢卡斯
快速阶乘与(扩展)卢卡斯定理 \(p\)为质数时 考虑 \(n!~mod~p\) 的性质 当\(n>>p\)时,不妨将\(n!\)中的因子\(p\)提出来 \(n!\) 可以写成 \(a* ...
- LG4720 【模板】扩展卢卡斯定理
扩展卢卡斯定理 求 \(C_n^m \bmod{p}\),其中 \(C\) 为组合数. \(1≤m≤n≤10^{18},2≤p≤1000000\) ,不保证 \(p\) 是质数. Fading的题解 ...
- 【知识总结】扩展卢卡斯定理(exLucas)
扩展卢卡斯定理用于求如下式子(其中\(p\)不一定是质数): \[C_n^m\ mod\ p\] 我们将这个问题由总体到局部地分为三个层次解决. 层次一:原问题 首先对\(p\)进行质因数分解: \[ ...
随机推荐
- css3新的选择器
CSS3新的选择器 ele[att^="val"] /*属性att的值以val开头的元素*/ ele[att$="val"] /*属性att的值以val结尾的元 ...
- 9.2ArrayList 集合 案例,学生管理系统
循环的使用 添加学生:while嵌套for,for设置变量,内嵌if更新变量.if语句判断变量值 修改学生:for循环内嵌if,获取循环中的某个值. package day9_ArrayList.AL ...
- node实现防盗链
什么是防盗链 盗链,顾名思义就是盗窃链接,就是在他人未经允许的情况下,去使用他人站点的任何图片,视频,内容等资源,来借此提升已用的站点的活跃度,严重损坏了别人的利益.那么防盗链就是采用一些办法阻止自己 ...
- Java入门系列之线程池ThreadPoolExecutor原理分析思考(十五)
前言 关于线程池原理分析请参看<http://objcoding.com/2019/04/25/threadpool-running/>,建议对原理不太了解的童鞋先看下此文然后再来看本文, ...
- git如何清除远程 __pycahce__ 文件
第一步,清除已经存在的缓存文件 >> git rm -r -f --cached */__pycache__ rm 'common/__pycache__/__init__.cpython ...
- @suppressWarnings("unchecked") java 中是什么意思 (一般放dao查询方法上)
J2SE 提供的最后一个批注是 @SuppressWarnings.该批注的作用是给编译器一条指令,告诉它对被批注的代码元素内部的某些警告保持静默. 一点背景:J2SE 5.0 为 Java 语言增加 ...
- ES6构造函数class 和 ES5构造函数语法
构造函数就是JavaScript程序定义好的函数,我们直接使用就可以,实际也是一种函数,构造函数专门用于生成定义对象,通过构造函数生成的对象,称为实例化对象 构造函数分为两种,一种是JavaScrip ...
- 使用Scanner接受用户键盘输入的值
第一步导入Scanner import java.util.*; 第二步创建Scanner对象 Scanner input = new Scanner(System.in); 第二步创建Scanner ...
- OSI 七层模型以及TCP/IP模型
OSI 七层模型 定义 OSI(Open System Interconnection)即开放式系统互联通信参考模型.该模型是国际标准化组织(ISO)制定的一个用于计算机或通信系统间互联的标准体系,一 ...
- 亲测可以使用的Axmath和MathPix插入word公式
Axmath破解版链接 链接:https://pan.baidu.com/s/1Phak8mc3msKAMQ6H_5EN5g 提取码:glti MathPixTool和Axmath共同使用向word插 ...