拓展lucas结论及模板
lucas及其拓展
模板题 洛谷 P4720
本文侧向结论和代码实现,
推导请转至lucas定理及其拓展的推导 https://blog.csdn.net/yuyilahanbao/article/details/100568285
lucas定理
请阅读lucas定理 https://blog.csdn.net/yuyilahanbao/article/details/100550317
拓展lucas的结论
(nm)≡pk1−k2−k3×b1×b2−1×b3−1×cu1−u2−u3×k1!k2!×k3!(modpw)\tbinom{n}{m} \equiv
{
p^{k_1-k_2-k_3} \times b_1 \times {b_2}^{-1} \times {b_3}^{-1}
\times c^{u_1-u_2-u_3}
\times \frac{{k_1}!}{{k_2}! \times {k_3}!}
} \pmod{p^w}(mn)≡pk1−k2−k3×b1×b2−1×b3−1×cu1−u2−u3×k2!×k3!k1!(modpw).
当r1≥r2r_1 \geq r_2r1≥r2时,k1=k2+k3k_1=k_2+k_3k1=k2+k3,故上面这个式子最后分式的部分k1!k2!×k3!=(k1k2)\frac{{k_1}!}{{k_2}! \times {k_3}!}=\tbinom{k_1}{k_2}k2!×k3!k1!=(k2k1).
当r1<r2r_1 < r_2r1<r2时,k1=k2+k3+1k_1=k_2+k_3+1k1=k2+k3+1,最后的那个分式无法直接变成组合数,但是我们只需要分子分母同时乘以k1−k2k_1-k_2k1−k2,即可变成组合数。k1!k2!×k3!=(k1−k2)×(k1k2)\frac{{k_1}!}{{k_2}! \times {k_3}!}=(k_1-k_2) \times \tbinom{k_1}{k_2}k2!×k3!k1!=(k1−k2)×(k2k1)
各个字母代表的含义。
与n,m,n-m有关的量k,r,u,v分别用下标1,2,3区分.
k,r是除以ppp的商与余数,u,v是除以模数pwp^wpw的商与余数。
b是n!n!n!(m!m!m!或(n−m)!(n-m)!(n−m)!)最后剩下的v个数中不是p的倍数的数的乘积。
c是[1,pw]\left[1,p^w\right][1,pw]中不是p的倍数的数的乘积。
从结论中的式子可以看到b,c我们只关注模pkp^kpk意义下的值,因此可以预先求出[1..i]  (i<pw)[1..i] \; (i < p^w)[1..i](i<pw)中不是p的倍数的数的乘积f(i)f(i)f(i)(模pkp^kpk意义下的)。
(nm) mod N\tbinom{n}{m} \bmod N(mn)modN的求取
N是任意正整数。对NNN进行素数分解。N=∏i=1qpikiN=\prod\limits_{i=1}^{q}p_i^{k_i}N=i=1∏qpiki.
对(nm) mod piki\tbinom{n}{m} \bmod p_i^{k_i}(mn)modpiki问题,可以通过上一小节的拓展lucas求得,记答案是cic_ici.
于是得到了qqq个线性同余方程,即线性同余方程组(nm)≡ci(modpiki)(1≤i≤q)\tbinom{n}{m} \equiv c_i \pmod{p_i^{k_i}} \quad (1 \leq i \leq q)(mn)≡ci(modpiki)(1≤i≤q).
对于线性同余方程组,并且注意到模数pikip_i^{k_i}piki两两互质,可以用中国剩余定理(也可以用拓欧)解出其通解x=x0+ktx=x_0+ktx=x0+kt。并且由于模数互质,k=lcm(piki)=N(1≤i≤q)k=lcm(p_i^{k_i})=N \quad (1 \leq i \leq q)k=lcm(piki)=N(1≤i≤q).所以在[0,N)[0,N)[0,N)内只有一个特解x0x_0x0,而这个特解就是(nm) mod N\tbinom{n}{m} \bmod N(mn)modN.
核心代码
ll pow(ll a, ll n)
{
if (n == 0) return 1;
// 始终维持要求的数可以表示为(a)^n*t
ll t = 1;
while (n > 1)
{
if (n&1) t = t*a;
n >>= 1; a = a*a;
}
return a*t; // now n = 1
}
// 质因数分解,p_i^{k_i} 共q项 返回q
int factor(ll n, vector<ll>&p, vector<int>&k) {
p.clear(); k.clear();
if (n <= 1) return 0;
int q = 0;
for (ll i = 2; i*i <= n; ++i) { // 不必担心溢出,因为会溢出说明肯定会tle
if (!(n%i)) {
p.push_back(i);
k.push_back(0);
do {n /= i; ++k[q];} while (!(n%i));
++q;
}
}
if (n > 1) {
p.push_back(n);
k.push_back(1);
++q;
}
return q;
}
// 求C(n,m)%(p^k)
const ll kMaxPk = 1000000;
// f[i]表示1..i中不是p的倍数的数的乘积(%pk) inv_f则是相应的逆元
ll f[kMaxPk],inv_f[kMaxPk];
ll ex_lucas(ll n, ll m, ll p, ll k, ll pk) {
ll k1,k2,k3,r1,r2,r3,u1,u2,u3,v1,v2,v3;
ll ans = 1;
f[0] = 1; inv_f[0] = 1;
for (ll j = 1; j < pk; ++j) {
if (j%p) {
f[j] = (f[j-1]*j)%pk;
multiplicative_inverse(f[j],pk,inv_f[j]); // 肯定存在逆元
} else {
f[j] = f[j-1];
inv_f[j] = inv_f[j-1];
}
}
while(1) {
if (m == 0) return ans;
k1 = n/p, r1 = n%p;
k2 = m/p, r2 = m%p;
k3 = (n-m)/p, r3 = (n-m)%p;
u1 = n/pk, v1 = n%pk;
u2 = m/pk, v2 = m%pk;
u3 = (n-m)/pk, v3 = (n-m)%pk;
if (k1-k2-k3) { // == 1
ans = (ans*p)%pk;
} // else == 0
ans = (ans*f[v1])%pk;
ans = (ans*inv_f[v2])%pk;
ans = (ans*inv_f[v3])%pk;
if (u1-u2-u3) { // == 1
ans = (ans*f[pk-1])%pk;
} // else == 0
if (r1 < r2) ans = ans*((k1-k2)%pk)%pk;
n = k1; m = k2;
}
}
const int kMaxQ = 30;
ll a[kMaxQ];
ll c[kMaxQ];
ll mm[kMaxQ];
// 返回C(n,m)%N N的分解因式后最大的x=p^k
// 可以开x大小的数组
ll ex_lucas_N(ll n, ll m, ll N) {
vector<ll>p;
vector<int>k;
int q = factor(N,p,k);
for (int i = 0; i < q; ++i) {
a[i] = 1;
mm[i] = pow(p[i],k[i]);
c[i] = ex_lucas(n,m, p[i], k[i], mm[i]);
}
ll ans,kk;
linear_congruence_equations(q,a,c,mm,ans,kk);
return ans;
}
完整ac代码
// luogu p4720
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
// 求解不定方程ax+by=(a,b)的一组特解并返回a,b最大公约数
// x,y存储返回的一组特解。
ll ex_gcd(ll a, ll b, ll &x, ll &y) {
if (b) {
auto d = ex_gcd(b, a%b, y, x); // 注意x和y位置互换了。
// x是后,无需赋值,y是 前-a/b*后 即 y -= a/b*x
y -= a/b*x;
return d;
} else {
x = 1; y = 0;
return a;
}
}
// 求解不定方程ax+by=c.
// 返回值表示是否有解
// d存储是(a,b)
// 当有解的情况下
// x,y存储一组特解,并且确保x是最小的非负整数。
// 通解是X=x+(b/d)*t,Y=y-(a/d)*t t是整数。
bool binary_linear_indefinite_equation(ll a, ll b, ll c, ll &x, ll &y, ll &d) {
d = ex_gcd(a, b, x, y); // solve: ax+by=(a,b)
if (c%d) return false;
x *= c/d;
y *= c/d;
auto k = b/d;
x = (x%k+k)%k; // 调为最小非负整数
y = (d-a*x)/b;
return true;
}
// 线性同余方程 Linear congruence equation
// ax = c (mod m) <===> ax+my=c
// x存储最小非负解,通解X=x+kt t为整数
// 有解的情况下,最小非负解x肯定在[0,m)范围内
bool linear_congruence_equation(ll a, ll c, ll m, ll &x, ll &k) {
ll y, d;
auto ans = binary_linear_indefinite_equation(a, m, c, x, y, d);
k = m/d;
return ans;
}
// 求a在Zm<+,*>中的乘法逆元x
// 返回逆元是否存在,x存储逆元
// ax = 1 (mod m)
bool multiplicative_inverse(ll a, ll m, ll &x) {
ll k;
return linear_congruence_equation(a, 1, m, x, k);
// assert(k == m);
}
// 线性同余方程组 Linear congruence equations
// a_ix = c_i (mod m_i) 共n个
// 可能存在的问题,由于迭代过程中k一直在求最小公倍数,所以可能会爆long long,这个,最佳的方法是直接暴力把ll的定义改为__int128
// 但是要注意__int128的输入输出
// 如果还是爆,我没法子了
bool linear_congruence_equations(int n, ll a[], ll c[], ll m[], ll &x, ll &k) {
ll x_i, k_i, t, t_i, d;
x = 0; k = 1;
for (int i = 0; i < n; ++i) {
if (!linear_congruence_equation(a[i], c[i], m[i], x_i, k_i))
return false;
// kt+x
// k_it_i+x_i
if (!binary_linear_indefinite_equation(
k, k_i, x_i-x, t, t_i, d))
return false;
x += k*t;
k *= k_i/d;
}
return true;
}
ll pow(ll a, ll n)
{
if (n == 0) return 1;
// 始终维持要求的数可以表示为(a)^n*t
ll t = 1;
while (n > 1)
{
if (n&1) t = t*a;
n >>= 1; a = a*a;
}
return a*t; // now n = 1
}
int factor(ll n, vector<ll>&p, vector<int>&k) {
p.clear(); k.clear();
if (n <= 1) return 0;
int q = 0;
for (ll i = 2; i*i <= n; ++i) { // 不必担心溢出,因为会溢出说明肯定会tle
if (!(n%i)) {
p.push_back(i);
k.push_back(0);
do {n /= i; ++k[q];} while (!(n%i));
++q;
}
}
if (n > 1) {
p.push_back(n);
k.push_back(1);
++q;
}
return q;
}
// 求C(n,m)%(p^k)
const ll kMaxPk = 1000000;
// f[i]表示1..i中不是p的倍数的数的乘积(%pk) inv_f则是相应的逆元
ll f[kMaxPk],inv_f[kMaxPk];
ll ex_lucas(ll n, ll m, ll p, ll k, ll pk) {
ll k1,k2,k3,r1,r2,r3,u1,u2,u3,v1,v2,v3;
ll ans = 1;
f[0] = 1; inv_f[0] = 1;
for (ll j = 1; j < pk; ++j) {
if (j%p) {
f[j] = (f[j-1]*j)%pk;
multiplicative_inverse(f[j],pk,inv_f[j]); // 肯定存在逆元
} else {
f[j] = f[j-1];
inv_f[j] = inv_f[j-1];
}
}
while(1) {
if (m == 0) return ans;
k1 = n/p, r1 = n%p;
k2 = m/p, r2 = m%p;
k3 = (n-m)/p, r3 = (n-m)%p;
u1 = n/pk, v1 = n%pk;
u2 = m/pk, v2 = m%pk;
u3 = (n-m)/pk, v3 = (n-m)%pk;
if (k1-k2-k3) { // == 1
ans = (ans*p)%pk;
} // else == 0
ans = (ans*f[v1])%pk;
ans = (ans*inv_f[v2])%pk;
ans = (ans*inv_f[v3])%pk;
if (u1-u2-u3) { // == 1
ans = (ans*f[pk-1])%pk;
} // else == 0
if (r1 < r2) ans = ans*((k1-k2)%pk)%pk;
n = k1; m = k2;
}
}
const int kMaxQ = 30;
ll a[kMaxQ];
ll c[kMaxQ];
ll mm[kMaxQ];
// 返回C(n,m)%N N的分解因式后最大的x=p^k
// 可以开x大小的数组
ll ex_lucas_N(ll n, ll m, ll N) {
vector<ll>p;
vector<int>k;
int q = factor(N,p,k);
for (int i = 0; i < q; ++i) {
a[i] = 1;
mm[i] = pow(p[i],k[i]);
c[i] = ex_lucas(n,m, p[i], k[i], mm[i]);
}
ll ans,kk;
linear_congruence_equations(q,a,c,mm,ans,kk);
return ans;
}
int main()
{
ll n,m,N;
scanf("%lld%lld%lld",&n,&m,&N);
ll ans = ex_lucas_N(n,m,N);
printf("%lld\n",ans);
return 0;
}
拓展lucas结论及模板的更多相关文章
- 【拓展Lucas】模板
求\(C_n^m \mod p\),写得太丑了qwq. 第一次写拓展Lucas竟然是在胡策的时候qwq写了两个半小时啊_(:з」∠)还写挂了一个地方qwq 当然今天胡策我也是第一次写中国剩余定理(ˇˍ ...
- BZOJ 3129 [SDOI2013]方程 (拓展Lucas)
题目大意:给定一个方程$X_{1}+X_{2}+X_{3}+X_{4}+...+X_{n}=M$,$\forall X_{i}<=A_{i} (i<=n1)$ $\forall X_{i} ...
- 数学:拓展Lucas定理
拓展Lucas定理解决大组合数取模并且模数为任意数的情况 大概的思路是把模数用唯一分解定理拆开之后然后去做 然后要解决的一个子问题是求模质数的k次方 将分母部分转化成逆元再去做就好了 这里贴一份别人的 ...
- 【bzoj2142】【礼物】拓展Lucas定理+孙子定理
(上不了p站我要死了,侵权度娘背锅) Description 一年一度的圣诞节快要来到了.每年的圣诞节小E都会收到许多礼物,当然他也会送出许多礼物.不同的人物在小E 心目中的重要性不同,在小E心中分量 ...
- 拓展Lucas小结
拓展Lucas是解决大组合数取模非质数(尤其是含平方因子的合数)问题的有力工具... 首先对模数质因数分解,把每个质因子单独拎出来处理答案,然后用中国剩余定理(excrt)合并 问题转化为,对于每个质 ...
- BZOJ2142: 礼物(拓展lucas)
Description 一年一度的圣诞节快要来到了.每年的圣诞节小E都会收到许多礼物,当然他也会送出许多礼物.不同的人物在小E 心目中的重要性不同,在小E心中分量越重的人,收到的礼物会越多.小E从商店 ...
- Lucas(卢卡斯)定理模板&&例题解析([SHOI2015]超能粒子炮·改)
Lucas定理 先上结论: 当p为素数: \(\binom{ N }{M} \equiv \binom{ N/p }{M/p}*\binom{ N mod p }{M mod p} (mod p)\) ...
- 【BZOJ-2142】礼物 拓展Lucas定理
2142: 礼物 Time Limit: 10 Sec Memory Limit: 259 MBSubmit: 1313 Solved: 541[Submit][Status][Discuss] ...
- 『Lucas定理以及拓展Lucas』
Lucas定理 在『组合数学基础』中,我们已经提出了\(Lucas\)定理,并给出了\(Lucas\)定理的证明,本文仅将简单回顾,并给出代码. \(Lucas\)定理:当\(p\)为质数时,\(C_ ...
随机推荐
- 如何更改cmd 编码为UTF-8
如何将cmd编码改为UTF—8 如图输入chcp 65001即可更改 改完之后是这样的 更改回GBK 输入 CHCP 936即可
- 项目SpringMVC+Spring+Mybatis 整合环境搭建(2)-> 测试Spring+Mybatis 环境
测试前期准备 第一步:创建easybuy数据库,设置utf-8格式 第二步:创建表test_tb CREATE TABLE `test_tb` ( `id` int(11) NOT NULL AUTO ...
- js的三种输出语句,以及html的运行循序
js最常见的三种输出语句 1.console.log()这个语句是在浏览器控制台输出的.进入网页点击f12可查看 2.alert()弹出一个对话框, 3.document.write这个语句是在页面输 ...
- Win32实现迷宫
跟着杨立祥老师的课程,为了完成扫雷的作业,打算先用DFS/BFS实现路径搜索的简单Demo. 生成迷宫: /* 扫雷程序生成方砖 */ #include <stdio.h> #includ ...
- 百度MP3音乐API接口及应用
当你在百度去搜索一首歌时,你会发现有种更简单的方法. http://box.zhangmen.baidu.com/x?op=12&count=1&title=歌名$$作者$$$$ 例如 ...
- CCF_201612-4_交通规划
http://115.28.138.223/view.page?gpid=T44 好像也没想象中的那么难,没办法,当初连个优先队列dij都不会写= = 在优先队列dij算法上加上相等的时候的处理就可以 ...
- 新的起航从这里开始 Encantado!
大家好,我是一名DBA之前也在其它地方写过blog,但是可惜目前在greatwall之内都不能访问了. 如果有小伙伴可以在墙外访问的话 可以尝试着看看这个地址 https://liuleiit.wix ...
- Nginx:Nginx limit_req limit_conn限速
简介 Nginx是一个异步框架的Web服务器,也可以用作反向代理,负载均衡器和HTTP缓存,最常用的便是Web服务器.nginx对于预防一些攻击也是很有效的,例如CC攻击,爬虫,本文将介绍限制这些攻击 ...
- Java并发编程-扩展可回调的Future
前提 最近在看JUC线程池java.util.concurrent.ThreadPoolExecutor的源码实现,其中了解到java.util.concurrent.Future的实现原理.从目前j ...
- 《C# 爬虫 破境之道》:第二境 爬虫应用 — 第四节:小说网站采集
之前的章节,我们陆续的介绍了使用C#制作爬虫的基础知识,而且现在也应该比较了解如何制作一只简单的Web爬虫了. 本节,我们来做一个完整的爬虫系统,将之前的零散的东西串联起来,可以作为一个爬虫项目运作流 ...