IncreasingNumber

一个数是Increasing当且仅当它的十进制表示是不降的,\(1123579\)。

求 \(n\) 位不降十进制数中被 \(d\) 整除的有多少个。

\(n\leq 10^{18},d \leq 500\)

题解

简单的想法:\(dp(i,j,k)\) 表示前 \(i\) 位已填好,第 \(i\) 位是 \(j\),模 \(d=k\) 的数的个数。

但是即使加上矩阵优化,复杂度仍然达到了 \(O(10^3d^3 \log n)\)。不可过。

观察性质:一个数是Increasing的当且仅当它是至多 \(9\) 个全 \(1\) 的数的和。

由于最终产生的数必须严格 \(n\) 位,不能有前导 \(0\),所以我们对位数 \(< n\) 的全 \(1\) 数和 \(=n\) 的全 \(1\) 数分开做。

我们可以用 \(dp(k,j,mod)\) 表示考虑了 \(\bmod d=0\sim k\) 的全 \(1\) 数,用了 \(j\) 个数,余数是 \(mod\) 的方案数。

转移系数是 \(\binom{j+cnt_k-1}{cnt_k-1}\),其中 \(cnt_k\) 表示 \(1\sim n-1\) 位的全 \(1\) 数中,\(\bmod d=k\) 的数的个数。开始我想的是 \(cnt_k^j​\),后来发现这样就相当于有标号了。

考虑 \(n\) 位全 \(1\) 数模 \(d\) 的余数和 \(cnt\) 数组如何求。可以利用 \(d\) 比较小来找循环节。注意循环节和起始点可能类似符号 \(\rho\) ,要加上对 \(n\) 的特判。

AC程序:

#include<bits/stdc++.h>
using namespace std;
template<class T> T read(){
T x=0,w=1;char c=getchar();
for(;!isdigit(c);c=getchar())if(c=='-') w=-w;
for(;isdigit(c);c=getchar()) x=x*10+c-'0';
return x*w;
}
template<class T> T read(T&x){
return x=read<T>();
}
#define CO const
#define IN inline
typedef long long LL; CO int mod=1000000000+7;
IN int add(int a,int b){
return (a+=b)>=mod?a-mod:a;
}
IN int mul(int a,int b){
return (LL)a*b%mod;
}
IN int fpow(int a,int b){
int ans=1;
for(;b;b>>=1,a=mul(a,a))
if(b&1) ans=mul(ans,a);
return ans;
}
IN void upd(int&a,int b){
a=add(a,b);
} CO int N=500+10;
int pw[N],pst,pcir;
int bas[N],bst,bcir;
LL cnt[N];
int dp[N][10][N]; CO int inv[10]={1,1,500000004,333333336,250000002,400000003,166666668,142857144,125000001,111111112,};
IN int binom(LL n,int m){
if(m==0) return 1;
if(n<m) return 0;
int ans=1;
for(int i=1;i<=m;++i) ans=mul(ans,mul((n-i+1)%mod,inv[i]));
return ans;
}
struct IncreasingNumber{
static int countNumbers(LL n,int d){
--n;
pw[0]=1%d;
for(int i=1;i<=d;++i){
pw[i]=pw[i-1]*10%d;
for(int j=0;j<i;++j)
if(pw[j]==pw[i]){
pst=j,pcir=i-j;
break;
}
if(pcir) break;
}
int rn=0;
if(n<pst){
for(int i=0;i<=n;++i) rn=(rn+pw[i])%d;
}
else{
for(int i=0;i<pst;++i) rn=(rn+pw[i])%d;
int sum=0;
for(int i=1;i<=pcir;++i) sum=(sum+pw[pst-1+i])%d;
rn=(rn+(n-pst+1)/pcir%d*sum)%d;
for(int i=1;i<=(n-pst+1)%pcir;++i) rn=(rn+pw[pst-1+i])%d;
}
// cerr<<"rn="<<rn<<endl;
bas[1]=1%d;
for(int i=2;i<=d+1;++i){
bas[i]=(10*bas[i-1]+1)%d;
for(int j=1;j<i;++j)
if(bas[j]==bas[i]){
bst=j,bcir=i-j;
break;
}
if(bcir) break;
}
if(n<bst){
for(int i=1;i<=n;++i) ++cnt[bas[i]];
}
else{
for(int i=1;i<bst;++i) ++cnt[bas[i]];
for(int i=1;i<=bcir;++i) cnt[bas[bst-1+i]]+=(n-bst+1)/bcir;
for(int i=1;i<=(n-bst+1)%bcir;++i) ++cnt[bas[bst-1+i]];
}
// cerr<<"cnt=";
// for(int k=0;k<d;++k)if(cnt[k])
// cerr<<" ("<<k<<","<<cnt[k]<<")";
// cerr<<endl;
for(int j=0;j<=9;++j)
dp[0][j][0]=binom(j+cnt[0]-1,j);
for(int k=0;k<d;++k)for(int j=0;j<=9;++j)
for(int r=0;r<d;++r)if(dp[k][j][r])
for(int j1=0;j1<=9-j;++j1)
upd(dp[k+1][j+j1][(r+j1*(k+1))%d],mul(binom(j1+cnt[k+1]-1,j1),dp[k][j][r]));
int ans=0;
for(int j=0;j<=8;++j)
for(int j1=1;j1<=9-j;++j1)
upd(ans,dp[d-1][j][(d-j1*rn%d)%d]);
return ans;
}
}; //int main(){
// LL n=read<LL>();
// int d=read<int>();
// int ans=IncreasingNumber::countNumbers(n,d);
// printf("%d\n",ans);
//}

话说Topcoder让你实现一个类,我没看出这样做有什么好处。Z前辈告诉我这样大概不用消除了读入时间的影响?

开始我的程序漏洞百出,最后写了个对拍才调出来。

暴力DP程序:

CO int N=500+10;
int f[N][N][N]; int main(){
int n=read<int>(),d=read<int>();
f[0][1][0]=1;
for(int i=0;i<n;++i)for(int j=1;j<=9;++j)
for(int k=0;k<d;++k)if(f[i][j][k])
for(int j1=j;j1<=9;++j1) upd(f[i+1][j1][(10*k+j1)%d],f[i][j][k]);
int ans=0;
for(int j=1;j<=9;++j) upd(ans,f[n][j][0]);
printf("%d\n",ans);
return 0;
}

对拍程序:

int main(){
for(int i=3;i<=18;++i)
for(int j=1;j<=500;++j){
cerr<<"T "<<i<<" "<<j<<endl;
FILE*f=fopen("std.in","w");
fprintf(f,"%d %d\n",i,j);
fflush(f);
system("std.exe < std.in > std.out");
system("test.exe < std.in > test.out");
if(system("fc std.out test.out")) return 1;
}
return 0;
}

我发现如果直接freopen的话system的调用会失效。

注意那个fflush。我发现如果把造数据和对拍写在一起,就是又有输出又有调用其他程序的话,在输出和调用之间会卡住。这时候需要加个cerr或者fflush刷新一下。

Topcoder10566 IncreasingNumber的更多相关文章

随机推荐

  1. 何为JavaScript原型?读完你就明白了

    熟悉软件开发的朋友都知道,原型是产品或数据系统的一个基本的实用模型,通常为示范目的或开发程序的部份结构.原型的重要性不言而喻,接下来我就会为你讲解关于JavaScript中的原型概念.原型对象释义每一 ...

  2. Debian系Linux源码安装Redis5.0.6

    一,先在官网下载源码包:https://redis.io/download 二,解压源码包,并cd到解压后的目录: 三,执行make MALLOC=libc: 接着cd src[解压的目录里有这个子目 ...

  3. 如何Dockerize您的端到端验收测试

    本文作为使用Selenium Docker映像以及CodeceptJS和Express服务器的“操作方法”指南. 其中,我们将涵盖: 什么是E2E验收测试? 为什么要使用Docker? 松散耦合的测试 ...

  4. Java开发笔记(一百五十)C3P0连接池的用法

    JDBC既制定统一标准兼容了多种数据库,又利用预报告堵上了SQL注入漏洞,照理说已经很完善了,可是人算不如天算,它在性能方面不尽如人意.问题出在数据库连接的管理上,按照正常流程,每次操作完数据库,都要 ...

  5. 使用Powershell实现自动化安装/卸载程序

    最近需要制作软件安装包,需要附带VC运行时和.Net Framework的安装,但又不想让用户自己点下一步,所以就有了以下操作. 微软提供了一个程序叫msiexec.exe,位于C:\Windows\ ...

  6. C#泛型集合之——列表

    列表基础 1.列表概述:列表与哈希集合不同之处在于,它的元素可以重复.(更接近逻辑上的数组,而哈希集合更接近于数学上的集合) 2.创建及初始化: (1)List<类型> 列表名 =new ...

  7. 通过Logstash由SQLServer向Elasticsearch同步数据

    延用上篇ELK所需环境,新增logstash配置文件 需要数据库链接驱动 Microsoft JDBC driver 6.2 for SQL Server 下载地址: https://www.micr ...

  8. NEST 自定义分析器

    public void SetAnalysis() { if (!client.IndexExists("employee").Exists) { client.CreateInd ...

  9. MySQL数据库汇总

    -- mysql的最大连接数:默认为 100   -- mysql的增删改查   -- mysql统计各个字段(case when 用法 注:也可以使用其他的)   select (case when ...

  10. ES5和ES6的继承

    ES5继承 构造函数.原型和实例的关系:每一个构造函数都有一个原型对象,每一个原型对象都有一个指向构造函数的指针,而每一个实例都包含一个指向原型对象的内部指针, 原型链实现继承 基本思想:利用原型让一 ...