题目

组合数C(n,m)表示的是从n个物品中选出m个物品的方案数。举个例子,从(1,2,3)三个物品中选择两个物品可以有(

1,2),(1,3),(2,3)这三种选择方法。根据组合数的定义,我们可以给出计算组合数C(n,m)的一般公式:

C(n,m)=n!/m!*(n?m)!

其中n!=1×2×?×n。(额外的,当n=0时,n!=1)

小葱想知道如果给定n,m和k,对于所有的0≤i≤n,0≤j≤min(i,m)有多少对(i,j)满足C(i,j)是k的倍数。

输入格式

第一行有两个整数t,k,其中t代表该测试点总共有多少组测试数据,k的意义见。

接下来t行每行两个整数n,m,其中n,m的意义见。

输出格式

t行,每行一个整数代表所有的0≤i≤n,0≤j≤min(i,m)中有多少对(i,j))满足C(i,j)是k的倍数

答案对10^9+7取模。

输入样例

3 23

23333333 23333333

233333333 233333333

2333333333 2333333333

输出样例

851883128

959557926

680723120

提示

1≤n,m≤10^18,1≤t,k≤100,且 k 是一个质数

题解

根据\(Lucas\)定理我们知道,在模质数\(k\)下

\[{n \choose m} \equiv \prod_{i = 1} {\lfloor \frac{n}{k^{i - 1}} \rfloor \mod k^i \choose \lfloor \frac{m}{k^{i - 1}} \rfloor \mod k^i} \pmod k
\]

由此,结果为\(0\),当且仅当存在一个\(i\),使得\({n \mod k^i \choose m \mod k^i} \equiv 0 \pmod k\)

一个组合数在模质数意义下为0,当且仅当\(n < m\)

一个组合数在模质数意义下不为0,那么就是\(n >= m\)

那么我们将\(n\)和\(m\)拆分为\(k\)进制数,就可以设一个dp:

\(f[i][0/1][0/1]\)表示第\(i\)位之前(\(n\)是否达到上界) (\(m\)是否达到上界) 的\(n >= m\)方案数,即不为\(0\)的方案数

最后用总方案减去就可以了

转移就自己推推

要注意乘法可能溢出,要用快速乘

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define LL long long int
#define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
#define REP(i,n) for (int i = 1; i <= (n); i++)
#define BUG(s,n) for (int i = 1; i <= (n); i++) cout<<s[i]<<' '; puts("");
#define cls(s) memset(s,0,sizeof(s))
using namespace std;
const int maxn = 105,maxm = 100005,INF = 1000000000,P = 1e9 + 7;
LL n,m,f[maxn][2][2],a[maxn],b[maxn],ai,bi,N,K,v2;
LL qpow(LL a,LL b){
LL ans = 1;
for (; b; b >>= 1,a = a * a % P)
if (b & 1) ans = ans * a % P;
return ans;
}
void add(LL& a,LL b){
a += b;
if (a >= P) a -= P;
}
LL Mul(LL a,LL b){
LL re = 0;
for (; b; b >>= 1,a = (a + a) % P) if (b & 1) re = (re + a) % P;
return re;
}
LL S(LL x){return Mul(x,x + 1) * v2 % P;}
int main(){
int T; scanf("%d%lld",&T,&K); v2 = qpow(2,P - 2);
while (T--){
cls(a); cls(b); cls(f);
scanf("%lld%lld",&n,&m); ai = bi = 0;
LL ans = S(min(n,m) + 1);
ans = (ans + Mul(m + 1,max(n - m,0ll))) % P;
while (n) a[++ai] = n % K,n /= K;
while (m) b[++bi] = m % K,m /= K;
N = max(ai,bi);
f[N][1][1] = 1;
for (int i = N; i; i--){
//0 0
add(f[i - 1][0][0],S(K) * f[i][0][0] % P);
//0 1
add(f[i - 1][0][0] ,(S(b[i]) + b[i] * (K - b[i]) % P) % P * f[i][0][1] % P);
add(f[i - 1][0][1],(K - b[i]) * f[i][0][1] % P);
//1 0
add(f[i - 1][0][0],S(a[i]) * f[i][1][0] % P);
add(f[i - 1][1][0],(a[i] + 1) * f[i][1][0] % P);
//1 1
if (a[i] >= b[i]){
add(f[i - 1][0][0],(S(b[i]) + b[i] * ((a[i] - b[i] + P) % P) % P) % P * f[i][1][1] % P);
add(f[i - 1][1][0],b[i] * f[i][1][1] % P);
add(f[i - 1][0][1],(a[i] - b[i] + P) % P * f[i][1][1] % P);
add(f[i - 1][1][1],f[i][1][1]);
}
else {
add(f[i - 1][0][0],S(a[i]) * f[i][1][1] % P);
add(f[i - 1][1][0],(a[i] + 1) % P * f[i][1][1] % P);
}
}
for (int i = 0; i < 2; i++)
for (int j = 0; j < 2; j++)
ans = (ans - f[0][i][j] + P) % P;
printf("%lld\n",(ans % P + P) % P);
}
return 0;
}

BZOJ4737 组合数问题 【Lucas定理 + 数位dp】的更多相关文章

  1. uoj86 mx的组合数 (lucas定理+数位dp+原根与指标+NTT)

    uoj86 mx的组合数 (lucas定理+数位dp+原根与指标+NTT) uoj 题目描述自己看去吧( 题解时间 首先看到 $ p $ 这么小还是质数,第一时间想到 $ lucas $ 定理. 注意 ...

  2. [BZOJ4591][SHOI2015]超能粒子炮·改(Lucas定理+数位DP)

    大组合数取模可以想到Lucas,考虑Lucas的意义,实际上是把数看成P进制计算. 于是问题变成求1~k的所有2333进制数上每一位数的组合数之积. 数位DP,f[i][0/1]表示从高到低第i位,这 ...

  3. bzoj 1902: Zju2116 Christopher lucas定理 && 数位DP

    1902: Zju2116 Christopher Time Limit: 1 Sec  Memory Limit: 64 MBSubmit: 172  Solved: 67[Submit][Stat ...

  4. [UOJ 275/BZOJ4737] 【清华集训2016】组合数问题 (LUCAS定理的运用+数位DP)

    题面 传送门:UOJ Solution 这题的数位DP好蛋疼啊qwq 好吧,我们说回正题. 首先,我们先回忆一下LUCAS定理: \(C_n^m \equiv C_{n/p}^{m/p} \times ...

  5. BZOJ4737 组合数问题(卢卡斯定理+数位dp)

    不妨不管j<=i的限制.由卢卡斯定理,C(i,j) mod k=0相当于k进制下存在某位上j大于i.容易想到数位dp,即设f[x][0/1][0/1][0/1]为到第x位时是否有某位上j> ...

  6. 【NOI2019模拟2019.6.29】组合数(Lucas定理、数位dp)

    Description: p<=10且p是质数,n<=7,l,r<=1e18 题解: Lucas定理: \(C_{n}^m=C_{n~mod~p}^{m~mod~p}*C_{n/p} ...

  7. BZOJ4591 SHOI2015超能粒子炮·改(卢卡斯定理+数位dp)

    注意到模数很小,容易想到使用卢卡斯定理,即变成一个2333进制数各位组合数的乘积.对于k的限制容易想到数位dp.可以预处理一发2333以内的组合数及组合数前缀和,然后设f[i][0/1]为前i位是否卡 ...

  8. Codeforces 582D - Number of Binominal Coefficients(Kummer 定理+数位 dp)

    Codeforces 题目传送门 & 洛谷题目传送门 一道数论与数位 dp 结合的神题 %%% 首先在做这道题之前你需要知道一个定理:对于质数 \(p\) 及 \(n,k\),最大的满足 \( ...

  9. 【XSY2691】中关村 卢卡斯定理 数位DP

    题目描述 在一个\(k\)维空间中,每个整点被黑白染色.对于一个坐标为\((x_1,x_2,\ldots,x_k)\)的点,他的颜色我们通过如下方式计算: 如果存在一维坐标是\(0\),则颜色是黑色. ...

随机推荐

  1. Bootstrap历练实例:简单的可折叠

    <!DOCTYPE html><html><head><meta http-equiv="Content-Type" content=&q ...

  2. Oracle 表的连接方式

    1. 连接说明 ① Oracle一次只能连接两个表.不管查询中有多少个表,Oracle 在连接中一次仅能操作两张表. ② 当执行多个表的连接时,优化器从一个表开始,将它与另一个表连接:然后将中间结果与 ...

  3. JavaScript获取时间戳与时间戳转化

    第一种方法(精确到秒): var timestamp1 = Date.parse( new Date()); 第二种方法(精确到毫秒): var timestamp2 = ( new Date()). ...

  4. git出现误修改如何撤销

    场景1:当你改乱了工作区某个文件的内容,想直接丢弃工作区的修改时,用命令git checkout -- file. 场景2:当你不但改乱了工作区某个文件的内容,还添加到了暂存区时,想丢弃修改,分两步, ...

  5. 洛谷 P1346 电车

    这道题的关键在建图 把每一个车站看成一个点,将这个车站相连的第一个车站建立一条边权为0的边,对于它所相连的其他车站,建立边权为1的边: 这样我们可以得到一张图: 起点,终点都知道了,跑一边最短路即可 ...

  6. centos下 将(jgp、png)图片转换成webp格式

    由于项目要求需要将jpg.png类型的图片  转换成webp格式,最开始使用了php gd类库里 imagewebp 方法实现,结果发现转换成的webp格式文件会偶尔出现空白内容的情况.像创建了一个透 ...

  7. 【Django】Django中的模糊查询以及Q对象的简单使用

    Django中的模糊查询: 需要做一个查找的功能,所以需要使用到模糊查询. 使用方法是:字段名加上双下划线跟上contains或者icontains,icontains和contains表示是否区分大 ...

  8. rsync常用命令和使用方法

    rsync是一个远程数据同步工具,可以实现数据的增量备份,这点比scp要好,scp只能全量备份.同步可以保持文件原有属性,传输过程加密,数据传输全. rsync 的传输模式有:        1. 本 ...

  9. js字符串去掉所有空格

    字符串去掉所有空格 "abc 123 def".replace(/\s/g, "") 字符串去掉左右两端空格 " abc 123 def " ...

  10. ZendFramework-2.4 源代码 - 关于MVC - Model层

    所谓的谓词Predicate // ------ 所谓的谓词 ------ // 条件 case.3 $where = new \Zend\Db\Sql\Where(); $expression = ...