题目大意

​  一个序列\(a_1,\ldots,a_n\)是合法的,当且仅当:

​  长度为给定的\(n\)。

​  \(a_1,\ldots,a_n\)都是\([1,m]\)中的整数。

​  \(a_1,\ldots,a_n\)互不相等。

​  一个序列的值定义为它里面所有数的乘积,即\(a_1\times a_2\times\cdots\times a_n\)。

  求所有不同合法序列的值的和。

​  两个序列不同当且仅当他们任意一位不一样。

​  输出答案对一个数\(p\)取余的结果。

  \(n\leq500,m\leq {10}^9,p\leq{10}^9,n+1<m<p\)且\(p\)是质数。

题解

​  这题做法很多种。

​  设\(f_{i,j}\)为前\(i\)个数中选\(j\)个数的所有方案的值的和,容易得到递推式:\(f_{0,0}=1,f_{i,j}=f_{i-1,j-1}\times i\times j+f_{i-1,j}\)。最后\(ans=f_{m,n}\)。但是这题\(m\)很大,不能直接求出答案。怎么办呢?

​  我们先打个表:

\(f\) \(0\) \(1\) \(2\)
\(0\) \(1\) \(0\) \(0\)
\(1\) \(1\) \(1\) \(0\)
\(2\) \(1\) \(3\) \(4\)
\(3\) \(1\) \(6\) \(22\)
\(4\) \(1\) \(10\) \(70\)
\(5\) \(1\) \(15\) \(170\)
\(6\) \(1\) \(21\) \(350\)

​  什么?你看不出来?

\(f\) \(0\) \(1\) \(2\)
\(0\) \(1\) \(0\) \(0\)
\(1\) \(1\) \(i\) \(0\)
\(2\) \(1\) \(2i-1\) \(2i^2-2i\)
\(3\) \(1\) \(3i-3\) \(6i^2-12i+4\)
\(4\) \(1\) \(4i-6\) \(12i^2-36i+22\)
\(5\) \(1\) \(5i-10\) \(20i^2-80i+70\)
\(6\) \(1\) \(6i-15\) \(30i^2-150i+170\)

  你还是看不出来?那我就直接告诉你吧。\(f_{i,0}=1,f_{i,1}=\frac12i^2-\frac12i,f_{i,2}=\frac14i^4+\frac16i^3-\frac14i^2-\frac16i\)。我们会发现,\(f_{i,j}\)是一个最高次项为\(2j\)的多项式,也就是说,\(f_{m,n}\)是一个最高次项为\(2n\)的多项式。我们只用求出\(0\)到\(2n\)次项的系数就可以求答案了。我们可以把前面\(0\)~\(2n\)个\(f_{i,n}\)求出来,就可以用拉格朗日插值插出多项式了。

​  这道题因为是求某一个点的值,并不要求求出多项式,而且\(x\)取的是\([0,2n]\),所以可以\(O(n)\)求出答案。然而并没有什么用,因为前面的DP已经是\(O(n^2)\)的了。

​  时间复杂度:\(O(n^2)\)

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
#include<ctime>
#include<utility>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
ll p;
ll f[1010][1010];
ll fp(ll a,ll b)
{
ll s=1;
while(b)
{
if(b&1)
s=s*a%p;
a=a*a%p;
b>>=1;
}
return s;
}
int main()
{
int n,m;
scanf("%d%d%lld",&m,&n,&p);
int i,j;
memset(f,0,sizeof f);
f[0][0]=1;
for(i=1;i<=2*n;i++)
{
f[i][0]=f[i-1][0];
for(j=1;j<=n;j++)
f[i][j]=(f[i-1][j-1]*i%p*j+f[i-1][j])%p;
}
if(m<=2*n)
{
printf("%lld\n",f[m][n]);
return 0;
}
ll ans=0;
for(i=0;i<=2*n;i++)
{
ll s1=1,s2=1;
for(j=0;j<=2*n;j++)
if(j!=i)
{
s1=(s1*(m-j))%p;
s2=(s2*(i-j))%p;
}
ans=(ans+f[i][n]*s1%p*fp(s2,p-2)%p)%p;
}
ans=(ans%p+p)%p;
printf("%lld\n",ans);
return 0;
}

【BZOJ2655】calc DP 数学 拉格朗日插值的更多相关文章

  1. 2019.02.19 bzoj2655: calc(生成函数+拉格朗日插值)

    传送门 题意简述:问有多少数列满足如下条件: 所有数在[1,A][1,A][1,A]之间. 没有相同的数 数列长度为nnn 一个数列的贡献是所有数之积,问所有满足条件的数列的贡献之和. A≤1e9,n ...

  2. BZOJ2655 Calc - dp 拉格朗日插值法

    BZOJ2655 Calc 参考 题意: 给定n,m,mod,问在对mod取模的背景下,从[1,m]中选出n个数相乘可以得到的总和为多少. 思路: 首先可以发现dp方程 ,假定dp[m][n]表示从[ ...

  3. BZOJ2655 calc(动态规划+拉格朗日插值法)

    考虑暴力dp:f[i][j]表示i个数值域1~j时的答案.考虑使其值域++,则有f[i][j]=f[i][j-1]+f[i-1][j-1]*i*j,边界f[i][i]=i!*i!. 注意到值域很大,考 ...

  4. 51nod1229-序列求和V2【数学,拉格朗日插值】

    正题 题目链接:http://www.51nod.com/Challenge/Problem.html#problemId=1229 题目大意 给出\(n,k,r\)求 \[\sum_{i=1}^ni ...

  5. BZOJ2655: calc(dp 拉格朗日插值)

    题意 题目链接 Sol 首先不难想到一个dp 设\(f[i][j]\)表示选了\(i\)个严格递增的数最大的数为\(j\)的方案数 转移的时候判断一下最后一个位置是否是\(j\) \[f[i][j] ...

  6. 【BZOJ】2655: calc 动态规划+拉格朗日插值

    [题意]一个序列$a_1,...,a_n$合法当且仅当它们都是[1,A]中的数字且互不相同,一个序列的价值定义为数字的乘积,求所有序列的价值和.n<=500,A<=10^9,n+1< ...

  7. 【BZOJ2655】Calc(拉格朗日插值,动态规划)

    [BZOJ2655]Calc(多项式插值,动态规划) 题面 BZOJ 题解 考虑如何\(dp\) 设\(f[i][j]\)表示选择了\(i\)个数并且值域在\([1,j]\)的答案. \(f[i][j ...

  8. BZOJ.2655.calc(DP/容斥 拉格朗日插值)

    BZOJ 洛谷 待补.刚刚政治会考完来把它补上了2333.考数学去了. DP: 首先把无序化成有序,选严格递增的数,最后乘个\(n!\). 然后容易想到令\(f_{i,j}\)表示到第\(i\)个数, ...

  9. 【BZOJ2655】calc(拉格朗日插值)

    bzoj 题意: 给出\(n\),现在要生成这\(n\)个数,每个数有一个值域\([1,A]\).同时要求这\(n\)个数两两不相同. 问一共有多少种方案. 思路: 因为\(A\)很大,同时随着值域的 ...

随机推荐

  1. Django Rest framework基础使用之Request/Response

    1.Request restframework提供了一个Request对象(rest_framework.request.Request) Request对象继承了Django默认的HttpReque ...

  2. Randomized Online PCA Algorithms with Regret Bounds that are Logarithmic in the Dimension

    目录 Setup of Batch PCA and Online PCA Hedge Algorithm 改进算法 用于矩阵 \(rounding()\) 前俩次,都用到了\(rounding()\) ...

  3. 软件扒网站? 爬虫? F12查看源码? 查看网页源代码?浏览器sources? 区别和联系!

    1.软件扒网站: 利用各类扒站网站,如仿站小工具8.0,可以按照规则将网站的未经浏览器简析的前端代码扒下来,并整理成css,js,html等文件夹,很方便.(当然看不到ajax等相关代码) 备注:如果 ...

  4. JavaScript中的各种X,Y,Width,Height

    在JavaScript DOM编程中,会接触很多很多很多关于浏览器的宽高,屏幕的宽高,元素的各种宽高,以及鼠标的坐标等,常常让人搞混.索性就写篇博客整理一下. case 1:鼠标的坐标 获取鼠标的坐标 ...

  5. scp Permission denied

    https://blog.csdn.net/xlgen157387/article/details/49818259

  6. 解决jenkins运行磁盘满的问题

    解决jenkins运行磁盘满的问题 - ling811的专栏 - CSDN博客 https://blog.csdn.net/ling811/article/details/74991899 1.自动丢 ...

  7. PHP优化与提升

    一.十个不错的建议 1.使用 ip2long() 和 long2ip() 函数来把 IP 地址转化成整型存储到数据库里.这种方法把存储空间降到了接近四分之一(char(15) 的 15 个字节对整形的 ...

  8. 导出数据之CSV

    平常开发中,常见的需求就是导出数据为Excel,CSV格式的表格.所以,在此记录一下导出CSV数据的小方法 $fileName = 'demo.csv'; $data = [ ['id'=>1, ...

  9. noode inquirer

    一. 由于交互的问题种类不同,inquirer为每个问题提供很多参数: type:表示提问的类型,包括:input, confirm, list, rawlist, expand, checkbox, ...

  10. [微软].net2.1 的兼容支持情况.

    dotnet core 现在看起来 不支持xp 不支持 win10 最早版本的 和 版本. 军工客户 如果还不升级 winxp的话 可能还是没法用(客户端运行时) 不过根据前段时间安装的国产linux ...