2019-2020 ICPC Asia Hong Kong Regional Contest J题

本文介绍了一种使用数位动态规划(数位DP)的方法来解决涉及极大数值的问题。具体探讨了如何通过优化状态表示减少内存消耗,并提供了一个实际的代码示例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题意:给定一个数x( x < = 1 0 5000 x<=10^{5000} x<=105000), d ( x , i ) d(x,i) d(x,i)表示 x x x的第 i i i位数字,令 f ( x ) = ∑ i = 1 k − 1 ∑ j = i + 1 k d ( x , i ) ∗ d ( x , j ) f(x)= \sum_{i=1}^{k-1}{\sum_{j=i+1}^{k}{d(x,i)*d(x,j)}} f(x)=i=1k1j=i+1kd(x,i)d(x,j)
[ L , R ] [L,R] [L,R]中,满足 x ≡ f ( x )   m o d   m x \equiv {f(x) \ mod \ m} xf(x) mod m x x x个数。
L , R < = 1 0 5000 , m < = 60 L,R<=10^{5000},m<=60 L,R<=105000m<=60

思考:
这道题很明显 f ( x ) f(x) f(x)的意义是任意两位数位的积,而且x很大。很容易联想到数位dp。
所谓数位dp,其实就是优雅的暴力。用dp数组保存状态,以记忆化的方式保存那些会反复用到的值。
这里用 d p [ i ] [ j ] [ k ] [ l ] dp[i][j][k][l] dp[i][j][k][l]表示前 i i i位数位,前缀和为 j j j,前 i i i位数位的 f ( x ) f(x) f(x) k k k,前 i i i位的x为 l l l。我们稍微计算一下空间 5000 ∗ 60 ∗ 60 ∗ 60 = 1 e 8 5000*60*60*60=1e8 5000606060=1e8,好像空间已经超了。考虑如何优化一下。
由于我们只关注 f ( x ) f(x) f(x) x x x的差值,那么可以将最后两维合并为一维。使用 d p [ i ] [ j ] [ k ] dp[i][j][k] dp[i][j][k]代表前 i i i位数位,前缀和为 j j j,前 i i i位数位的 f ( x ) − x f(x)-x f(x)x k k k
这里附上代码:

int dfs(int now, int psum, int div, int tp){
	if(now == len + 1) return div == 0;
	if(dp[now][psum][div] != -1 && !tp) return dp[now][psum][div];
	int res = 0;
	For(i, 0, tp ? a[now] : 9)
		res = (res + dfs(now+1, (psum + i) % m, (div + i * (psum -  ten[now] + m)) % m, tp && (i==a[now]))) % mod;
	if(!tp) dp[now][psum][div] = res;
	return res;
}

这里 d p [ i ] [ j ] [ k ] dp[i][j][k] dp[i][j][k]记录的是当前第 i i i位没有限制的条件下(大小限制),这个状态的后续状态的方案数。因为有限制的时候,由于限制,后面的数位不能都取到 9 9 9,后续状态的方案数也和没有限制的不一样,且这个不一样的方案数只会被用一遍。而没有限制的则可以被使用多遍,故记忆化保存没有限制的。当然,也可以增加一维专门用来保存是否是限制状态,这个也是可行的。

#include<bits/stdc++.h>
#define For(aa, bb, cc) for(int aa=(bb); aa<=(int)(cc); ++aa)
#define Forr(aa, bb, cc) for(int aa=(bb); aa>=(int)(cc); --aa)
using namespace std;
const int maxn=5e3+10,mod=1e9+7;
int m;
int dp[maxn][61][61];//前i位, 前缀为j, fx与x差为 k
int ten[maxn];
int a[maxn], len;

int dfs(int now, int psum, int div, int tp){
	if(now == len + 1) return div == 0;
	if(dp[now][psum][div] != -1 && !tp) return dp[now][psum][div];
	int res = 0;
	For(i, 0, tp ? a[now] : 9)
		res = (res + dfs(now+1, (psum + i) % m, (div + i * (psum -  ten[now] + m)) % m, tp && (i==a[now]))) % mod;
	if(!tp) dp[now][psum][div] = res;
	return res;
}

int solve(){
	ten[len] = 1 % m;
	Forr(i, len - 1, 1) ten[i] = ten[i + 1] * 10 % m;
	For(i, 1, len + 1) For(j, 0, m - 1) For(k, 0, m - 1) dp[i][j][k] = -1;
	return dfs(1, 0, 0, 1);
}

int main(){
#ifndef ONLINE_JUDGE
	freopen("in.txt", "r", stdin);
	freopen("out.txt", "w", stdout);
#endif
	int _;
	scanf("%d", &_);
	while(_--){
		char s[maxn];
		int lenl, lenr, L[maxn], R[maxn];
		scanf("%s", s+1);
		lenl = strlen(s+1);
		For(i, 1, lenl) L[i] = s[i] - '0';
		scanf("%s", s+1);
		lenr = strlen(s+1);
		For(i, 1, lenr) R[i] = s[i] - '0';
		int pos = lenl; 
		--L[pos];
		while(L[pos] < 0) L[pos] += 10, --L[pos-1], --pos;
		if(!L[1]){
			--lenl;
			For(i, 1, lenl) L[i] = L[i+1];
		}
		//For(i, 1, lenr) cout << R[i]; cout << endl;
		//For(i, 1, lenl) cout << L[i]; cout << endl;
		scanf("%d", &m);
		len = lenr;
		For(i, 1, len) a[i] = R[i];
		int r = solve();
		len = lenl;
		For(i, 1, len) a[i] = L[i];
		int l = solve();
		printf("%d\n", (r - l + mod) % mod);
	}
	return 0;
}
$(function(){ $.fn.extend({ SimpleTree:function(options){ //初始化参数 var option = $.extend({ click:function(a){ } },options); option.tree=this; /* 在参数对象中添加对当前菜单树的引用,以便在对象中使用该菜单树 */ option._init=function(){ /* * 初始化菜单展开状态,以及分叉节点的样式 */ this.tree.find("ul ul").hide(); /* 隐藏所有子级菜单 */ this.tree.find("ul ul").prev("li").removeClass("open"); /* 移除所有子级菜单父节点的 open 样式 */ this.tree.find("ul ul[show='true']").show(); /* 显示 show 属性为 true 的子级菜单 */ this.tree.find("ul ul[show='true']").prev("li").addClass("open"); /* 添加 show 属性为 true 的子级菜单父节点的 open 样式 */ }/* option._init() End */ /* 设置所有超链接不响应单击事件 */ this.find("a").click(function(){ $(this).parent("li").click(); return false; }); /* 菜单项 接受单击 */ this.find("li").click(function(){ /* * 当单击菜单项 * 1.触发用户自定义的单击事件,将该 标签中的第一个超链接做为参数传递过去 * 2.修改当前菜单项所属的子菜单的显示状态(如果等于 true 将其设置为 false,否则将其设置为 true) * 3.重新初始化菜单 */ option.click($(this).find("a")[0]); /* 触发单击 */ /* * 如果当前节点下面包含子菜单,并且其 show 属性的值为 true,则修改其 show 属性为 false * 否则修改其 show 属性为 true */ /* if($(this).next("ul").attr("show")=="true"){ $(this).next("ul").attr("show","false"); }else{ $(this).next("ul").attr("show","true"); }*/ /* 初始化菜单 */ option._init(); }); /* 设置所有父节点样式 */ this.find("ul").prev("li").addClass("folder"); /* 设置节点“是否包含子节点”属性 */ this.find("li").find("a").attr("hasChild",false); this.find("ul").prev("li").find("a").attr("hasChild",true); /* 初始化菜单 */ option._init(); }/* SimpleTree Function End */ }); });
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值