BZOJ4737 组合数问题 【Lucas定理 + 数位dp】

题目

组合数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

(nm)i=1(nki1modkimki1modki)(modk)

由此,结果为0,当且仅当存在一个i,使得(nmodkimmodki)0(modk)
一个组合数在模质数意义下为0,当且仅当n<m
一个组合数在模质数意义下不为0,那么就是n>=m

那么我们将nm拆分为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;
}
posted @   Mychael  阅读(390)  评论(0编辑  收藏  举报
编辑推荐:
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
· Linux系列:如何用 C#调用 C方法造成内存泄露
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
阅读排行:
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
· 园子的第一款AI主题卫衣上架——"HELLO! HOW CAN I ASSIST YOU TODAY
· 【自荐】一款简洁、开源的在线白板工具 Drawnix
点击右上角即可分享
微信分享提示