题目

首先考虑到这是一张有标号的图,每一个点的地位是相等的,因此我们只需要求出一个点的价值和乘上\(n\)就好了

考虑一个点有多少种情况下度数为\(i\)

显然我们可以让除了这个点的剩下的\(n-1\)个点之间的边随便连,之后这个点从\(n-1\)个点里选择\(i\)个连边就好了,于是是\(\binom{n-1}{i}\times 2^{\frac{(n-1)(n-2)}{2}}\)种情况这个点度数为\(i\)

我们现在要做的就是这个柿子了

\[n2^{\frac{(n-1)(n-2)}{2}}\sum_{i=0}^{n-1}\binom{n-1}{i}i^k
\]

我们考虑一下展开\(i^k\),自然是用第二类斯特林数了

于是不管前面的,我们要求的东西是

\[\sum_{i=0}^{n-1}\binom{n-1}{i}\sum_{j=1}^kS_2(k,j)\times \binom{i}{j}j!
\]

我们把\(j\)放到前面来枚举

\[\sum_{j=1}^kS_2(j,k)j!\sum_{i=0}^{n-1}\binom{n-1}{i}\binom{i}{j}
\]

考虑一下\(\sum_{i=0}^{n-1} \binom{n-1}{i}\binom{i}{j}\)的组合意义,就是先从\(n-1\)里选择了\(i\)个又从\(i\)个里选择了\(j\)个,总体上看是选择了\(j\)个,是\(\binom{n-1}{j}\)种情况,但是我们只需要保证第一次选择的\(i\)完全包含\(j\),显然完全包含\(j\)的集合有\(2^{n-1-j}\)个

于是我们能把柿子写成这个样子

\[\sum_{j=1}^kS_2(k,j)\times \binom{n-1}{j}2^{n-1-j}\times j!
\]

现在的瓶颈在于求第二类斯特林数,我们记得斯特林数有一个容斥写法

\[S_2(i,j)=\frac{1}{j!}\sum_{k=0}(-1)^k\binom{j}{k}(j-k)^i
\]

我们拆开组合数之后发现这是一个卷积的形式,因此我们可以用\(NTT\)在\(O(nlogn)\)的时间内卷出一行斯特林数来

于是就解决了

代码

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define re register
#define LL long long
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
inline int read() {
char c=getchar();int x=0;while(c<'0'||x>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;
}
const int maxn=8e5+5;
const int mod=998244353;
const int G[2]={3,332748118};
int rev[maxn],n,k,fac[maxn],inv[maxn];
int a[maxn],b[maxn],len,ifac[maxn];
inline int ksm(int a,int b) {
int S=1;
while(b) {if(b&1) S=1ll*S*a%mod;b>>=1;a=1ll*a*a%mod;}
return S;
}
inline void NTT(int *f,int o) {
for(re int i=0;i<len;i++) if(i<rev[i]) std::swap(f[i],f[rev[i]]);
for(re int i=2;i<=len;i<<=1) {
int ln=i>>1,og1=ksm(G[o],(mod-1)/i);
for(re int l=0;l<len;l+=i) {
int t,og=1;
for(re int x=l;x<l+ln;++x) {
t=1ll*og*f[x+ln]%mod;
f[x+ln]=(f[x]-t+mod)%mod;
f[x]=(f[x]+t)%mod;
og=1ll*og*og1%mod;
}
}
}
if(!o) return;
int inv=ksm(len,mod-2);
for(re int i=0;i<len;i++) f[i]=1ll*f[i]*inv%mod;
}
int main() {
n=read(),k=read();fac[0]=1,inv[1]=1;ifac[0]=1;
for(re int i=2;i<=k;i++) inv[i]=1ll*(mod-mod/i)*inv[mod%i]%mod;
for(re int i=1;i<=k;i++) fac[i]=1ll*fac[i-1]*i%mod;
for(re int i=1;i<=k;i++) ifac[i]=1ll*ifac[i-1]*inv[i]%mod;
len=1;while(len<=k+k+2) len<<=1;
for(re int i=0;i<len;i++) rev[i]=rev[i>>1]>>1|((i&1)?len>>1:0);
for(re int i=0;i<=k;i++)
a[i]=1ll*ifac[i]*ksm(i,k)%mod;
for(re int i=0;i<=k;i++)
if(i&1) b[i]=(mod-ifac[i])%mod;else b[i]=ifac[i];
NTT(a,0),NTT(b,0);
for(re int i=0;i<len;i++) a[i]=1ll*a[i]*b[i]%mod;
NTT(a,1);
int tot=n-1,now=1,ans=0;
for(re int i=1;i<=k;i++) {
now=1ll*now*tot%mod;
tot--;if(tot<0) break;
ans=(ans+1ll*a[i]*now%mod*ksm(2,n-1-i)%mod)%mod;
}
LL t=1ll*(n-1)*(n-2)/2;t%=(mod-1);
ans=1ll*ans*n%mod;
ans=1ll*ans*ksm(2,t)%mod;
printf("%d\n",ans);
return 0;
}

bzoj5093:[Lydsy1711月赛]图的价值的更多相关文章

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

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

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

    不难想到考虑每个点的贡献,ans=n*sigema(1~n)i C(n-1,i)*(2^C(n-1,2))*i^k 直接套第二类斯特林拆柿子即可.提示:sigema(1~n)i C(n,i)*C(i, ...

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

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

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

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

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

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

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

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

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

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

  8. BZOJ 5093[Lydsy1711月赛]图的价值 线性做法

    博主曾更过一篇复杂度为$O( k· \log k)$的多项式做法在这里 惊闻本题有$ O(k)$的神仙做法,说起神仙我就想起了于是就去学习了一波 幂与第二类斯特林数 推导看这里 $$ x^k=\sum ...

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

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

随机推荐

  1. Python和Java编程题(三)

    1.题目:判断101到200之间有多少个素数,并输出所有素数 题目分析:判断一个数是否为素数,只需要判断这个数有没有除1和它自身外的其他因数.因此,判断这个数能否被2-它的平方根中的任意一个数整除即可 ...

  2. [转]Node.js tutorial in Visual Studio Code

    本文转自:https://code.visualstudio.com/docs/nodejs/nodejs-tutorial Node.js tutorial in Visual Studio Cod ...

  3. [转]JS组件系列——Bootstrap组件福利篇:几款好用的组件推荐

    本文转自:https://www.cnblogs.com/landeanfen/p/5461849.html#_label3 阅读目录 一.时间组件 1.效果展示 2.源码说明 3.代码示例 二.自增 ...

  4. U盘基本处理,U盘与移动固态硬盘

    一.辨别 USB2.0 和 USB3.0 1.从USB外观上来看,USB2.0通常是白色或黑色,而USB3.0则改观为“高大上”的蓝色接口. 目前,部分笔记本电脑USB接口,已同时提供对USB2.0及 ...

  5. 【Spring】18、springMVC对异常处理的支持

    无论做什么项目,进行异常处理都是非常有必要的,而且你不能把一些只有程序员才能看懂的错误代码抛给用户去看,所以这时候进行统一的异常处理,展现一个比较友好的错误页面就显得很有必要了.跟其他MVC框架一样, ...

  6. vue中使用axios(异步请求)和mock.js 模拟虚假数据

    一.使用axios 1.安装 npm install --save axios 2.引用 import Axios from 'axios' Vue.prototype.Axios = Axios 二 ...

  7. React 入门学习笔记整理(四)—— 事件

    1.事件定义 React事件绑定属性的命名采用驼峰式写法,而不是小写. 如果采用 JSX 的语法你需要传入一个函数作为事件处理函数,而不是一个字符串(DOM元素的写法) 在类组件中定义函数,通过thi ...

  8. 纯css实现元素下出现横线动画(background-image)

    效果图: html: <div class='site_bar'>首页</div> css: .site_bar{ background-image : linear-grad ...

  9. form的重置reset

    HTML中Form表单的reset方法被用来重置用户所输入的内容,以前一直误以为其是单纯的将input等输入项中的值清空. 但实际上不是这样的,reset方法的本质是将input等输入项中的内容还原为 ...

  10. GIS性能策略

    当一个地理平台上线运行,我们经常会遇到这些问题:1.系统刚上线时速度较快,一段时间后访问较慢?2.在地理平台目前的配置下,发布多少个服务才合理?一个服务配置多少个实例数才合适?这些问题,都涉及整个地理 ...