博主曾更过一篇复杂度为$O( k· \log k)$的多项式做法在这里

惊闻本题有$ O(k)$的神仙做法,说起神仙我就想起了于是就去学习了一波


幂与第二类斯特林数

推导看这里

$$ x^k=\sum_{j=0}^kj!\binom{x}{j}\begin{Bmatrix}k\\j\end{Bmatrix}$$

$$ \begin{Bmatrix}k\\j\end{Bmatrix}=\frac{1}{j!}\sum_{i=0}^ji^k\binom{j}{i}(-1)^{j-i}$$

以上是两个非常实用的公式


推式子

现在开始推式子

原博文已经推出了我们真正需要求的是$ f(n,k)=\sum\limits_{i=0}^n\binom{n}{i}i^k$

根据上面的公式可以推得

$$
\begin{aligned}
f(n,k) & =\sum_{i=0}^n\binom{n}{i}i^k=\sum_{j=0}\begin{Bmatrix}k\\j\end{Bmatrix}\frac{n!}{(n-j)!}2^{n-j}\\
& =\sum_{j=0}^k\frac{n!}{(n-j)!}2^{n-j}\frac{1}{j!}\sum_{i=0}^j(-1)^{j-i}\binom{j}{i}i^k\\
&=\sum_{j=0}^k\binom{n}{j}2^{n-j}\sum_{i=0}^j(-1)^{j-i}\binom{j}{i}i^k\\
&=\sum_{i=0}^k\binom{n}{i}i^k\sum_{j=i}^k2^{n-j}(-1)^{j-i}\binom{n-i}{j-i}\\
&=\sum_{i=0}^k\binom{n}{i}i^k2^{n-i}\sum_{j=0}^{k-i}\binom{n-i}{j}(-\frac{1}{2})^j
\end{aligned}
$$

我们需要快速递推出$A(i)=\displaystyle\sum_{j=0}^{k-i}\binom{n-i}{j}(-\frac{1}{2})^j$

再推波式子得

$$
\begin{aligned}
\sum_{j=0}^{k-i}\binom{n-i}{j}(-\frac{1}{2})^j&=\sum_{j=0}^{k-i}\left(\binom{n-i-1}{j}+\binom{n-i-1}{j-1}\right)(-\frac{1}{2})^j\\
&=\sum_{j=1}^{k-i}(-\frac{1}{2})^j\binom{n-i-1}{j-1}+\sum_{j=0}^{k-i}(-\frac{1}{2})^j\binom{n-i-1}{j}\\
&=-\frac{1}{2}\sum_{j=0}^{k-i-1}(-\frac{1}{2})^j\binom{n-i-1}{j}+\sum_{j=0}^{k-i}(-\frac{1}{2})^j\binom{n-i-1}{j}\\
&=\frac{1}{2}\sum_{j=0}^{k-i-1}(-\frac{1}{2})^j\binom{n-i-1}{j}+(-\frac{1}{2})^{k-i}\binom{n-i-1}{k-i}
\end{aligned}
$$

因此$A(i)=\frac{1}{2}A(i+1)+(-\frac{1}{2})^{k-i}\binom{n-i-1}{k-i}$

就假装推完了


大常数代码

#include<ctime>
#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<queue>
#define p 998244353
#define inv2 499122177
#define rt register int
#define ll long long
using namespace std;
inline ll read(){
ll x = ; char zf = ; char ch = getchar();
while (ch != '-' && !isdigit(ch)) ch = getchar();
if (ch == '-') zf = -, ch = getchar();
while (isdigit(ch)) x = x * + ch - '', ch = getchar(); return x * zf;
}
void write(ll y){if(y<)putchar('-'),y=-y;if(y>)write(y/);putchar(y%+);}
void writeln(const ll y){write(y);putchar('\n');}
int i,j,k,m,n,x,y,z,cnt;
int ksm(int x,int y=p-){
int ans=;
for(rt i=y;i;i>>=,x=1ll*x*x%p)if(i&)ans=1ll*ans*x%p;
return ans;
}
int inv[],A[];
int v[],ss[];bool b[];
int main(){
n=read()-;k=read();
inv[]=inv[]=;
v[]=;v[]=(k==);
for(rt i=;i<=k;i++){
if(!b[i])ss[++cnt]=i,v[i]=ksm(i,k);
for(rt j=;i*ss[j]<=k&&j<=cnt;j++){
b[i*ss[j]]=;v[i*ss[j]]=1ll*v[i]*v[ss[j]]%p;
if(i%ss[j]==)break;
}
}
for(rt i=;i<=k;i++)inv[i]=1ll*inv[p%i]*(p-p/i)%p;
int ans=;
if(n<=k){
for(rt i=,c=;i<=n;c=1ll*(n-i)*inv[i+]%p,i++)
ans+=1ll*c*v[i]%p;
cout<<(1ll*ans*(n+)%p*ksm(,(ll)n*(n-)/%(p-))%p+p)%p;
return ;
} A[k]=;
for(rt i=k-,y=-inv2,c=n-i-;i>=;i--,y=1ll*y*-inv2%p){
A[i]=(1ll*A[i+]*inv2%p+1ll*c*y%p)%p;
c=1ll*c*(n-i)%p*inv[k-i+]%p;
} for(rt i=,d=ksm(,n),c=;i<=k&&i<=n;c=1ll*c*(n-i)%p*inv[i+]%p,i++,d=1ll*d*inv2%p)
(ans+=1ll*c*v[i]%p*d%p*A[i]%p)%=p;
cout<<(1ll*ans*(n+)%p*ksm(,(ll)n*(n-)/%(p-))%p+p)%p;
return ;
}

BZOJ 5093[Lydsy1711月赛]图的价值 线性做法的更多相关文章

  1. bzoj 5093 [Lydsy1711月赛]图的价值 NTT+第二类斯特林数

    [Lydsy1711月赛]图的价值 Time Limit: 30 Sec  Memory Limit: 256 MBSubmit: 245  Solved: 128[Submit][Status][D ...

  2. BZOJ 5093: [Lydsy1711月赛]图的价值

    第二类斯特林数模版题 需要一些组合数的小$ trick$ upd:这里更新了本题巧妙的$ O(k)$做法,虽然常数很大就是了 传送门:here 题意:求所有$ n$个节点的无重边自环图的价值和,定义一 ...

  3. BZOJ 5093: [Lydsy1711月赛]图的价值 第二类斯特林数+NTT

    定义有向图的价值为图中每一个点的度数的 \(k\) 次方之和. 求:对于 \(n\) 个点的无向图所有可能情况的图的价值之和. 遇到这种题,八成是每个点单独算贡献,然后累加起来. 我们可以枚举一个点的 ...

  4. bzoj 5093 [Lydsy1711月赛]图的价值——第二类斯特林数

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=5093 不要见到组合数就拆! 枚举每个点的度数,则答案为 \( n*\sum\limits_{ ...

  5. BZOJ.5093.[Lydsy1711月赛]图的价值(NTT 斯特林数)

    题目链接 对于单独一个点,我们枚举它的度数(有多少条边)来计算它的贡献:\[\sum_{i=0}^{n-1}i^kC_{n-1}^i2^{\frac{(n-2)(n-1)}{2}}\] 每个点是一样的 ...

  6. 【bzoj5093】 [Lydsy1711月赛]图的价值 组合数+斯特林数+NTT

    Description "简单无向图"是指无重边.无自环的无向图(不一定连通). 一个带标号的图的价值定义为每个点度数的k次方的和. 给定n和k,请计算所有n个点的带标号的简单无向 ...

  7. 【bzoj5093】[Lydsy1711月赛]图的价值(NTT+第二类斯特林数)

    题意: 给定\(n\)个点,一个图的价值定义为所有点的度数的\(k\)次方之和. 现在计算所有\(n\)个点的简单无向图的价值之和. 思路: 将式子列出来: \[ \sum_{i=1}^n\sum_{ ...

  8. bzoj5093:[Lydsy1711月赛]图的价值

    题目 首先考虑到这是一张有标号的图,每一个点的地位是相等的,因此我们只需要求出一个点的价值和乘上\(n\)就好了 考虑一个点有多少种情况下度数为\(i\) 显然我们可以让除了这个点的剩下的\(n-1\ ...

  9. BZOJ5093 [Lydsy1711月赛]图的价值 【第二类斯特林数 + NTT】

    题目链接 BZOJ5093 题解 点之间是没有区别的,所以我们可以计算出一个点的所有贡献,然后乘上\(n\) 一个点可能向剩余的\(n - 1\)个点连边,那么就有 \[ans = 2^{{n - 1 ...

随机推荐

  1. python学习笔记2_条件循环和其他语句

    一.条件循环和其他语句 1.print和import的更多信息. 1.1.使用逗号输出  //print() 打印多个表达式是可行的,用逗号隔开.       在脚本中,两个print语句想在一行输出 ...

  2. springboot 定时任务

    1.启动类新增注解 @EnableScheduling import org.springframework.boot.SpringApplication; import org.springfram ...

  3. CSAPP:第十二章 并发编程

    CSAPP:第十二章 并发编程 12.1 线程执行模型12.2 多线程之间并发通信12.3 其他并发问题   使用应用级并发的应用程序称为并发程序.现代操作系统提供三种基本的构造并发程序的方法: 进程 ...

  4. 一键发布部署vs插件[AntDeploy],让net开发者更幸福

    一键发布工具(ant deploy tool) 插件下载地址: https://marketplace.visualstudio.com/items?itemName=nainaigu.AntDepl ...

  5. django捡破烂

      一 Django的model form组件 这是一个神奇的组件,通过名字我们可以看出来,这个组件的功能就是把model和form组合起来,先来一个简单的例子来看一下这个东西怎么用:比如我们的数据库 ...

  6. 03-MySQL表操作

    MySQL表操作 1.介绍 表就相当于文件,表中的一条记录就相当与文件的一行内容,不同的是,表中的一条记录有对应的标题,成为表的字段. 2.创建表 2.1语法 create table 表名( 字段名 ...

  7. AtCoder Grand Contest 032-B - Balanced Neighbors (构造)

    Time Limit: 2 sec / Memory Limit: 1024 MB Score : 700700 points Problem Statement You are given an i ...

  8. Docker 核心技术之Docker Compose

    Docker Compose 简介 Docker Compose是什么? Docker Compose是一个能一次性定义和管理多个Docker容器的工具. 详细地说: Compose中定义和启动的每一 ...

  9. PHP判断点是否在多边形区域内外

    小谢博客原文地址https://xgs888.top/post/view?id=79 PHP判断点是否在多边形区域内外:根据数学知识的射线法, 射线与几何多边形相交的点的个数为奇数则是在几何内部: 偶 ...

  10. 制作H5像一个div中一张长图,里边是一条一条信息,需要点击的响应式方法

    <style> .nav_box { margin-top: 20vh } .section1 .directory { margin-top: 4vh; position: relati ...