bzoj 5093 图的价值 —— 第二类斯特林数+NTT
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=5093
每个点都是等价的,从点的贡献来看,得到式子:
\( ans = n * \sum\limits_{d=0}^{n-1} d^{k} * 2^{C_{n-1}^{2}} * C_{n-1}^{d} \)
使用 \( n^{k} = \sum\limits_{i=0}^{k} S(k,i) * i! *C_{n}^{i} \)
得到 \( ans = n * \sum\limits_{d=0}^{n-1} 2^{C_{n-1}^{2}} * C_{n-1}^{d} * \sum\limits_{j=0}^{k} S(k,j) * j! * C_{d}^{j} \)
此时不要把组合数拆成阶乘!虽然拆成阶乘可以消去 \( d! \),但如果不消去,放在一起可以得到新的组合意义;
\( ans = n * 2^{C_{n-1}^{2}} * \sum\limits_{j=0}^{k} S(k,j) * j! * \sum\limits_{d=0}^{n-1} C_{n-1}^{d} * C_{d}^{j} \)
而 \( \sum\limits_{d=0}^{n-1} C_{n-1}^{d} * C_{d}^{j} \) 表示从 \( n-1 \) 个人里选 \( d \) 个人,再从 \( d \) 个人里选 \( j \) 个人;
其实就是从 \( n-1 \) 个人里选 \( j \) 个人,剩下的人随便选,即 \( C_{n-1}^{j} * 2^{n-1-j} \)
所以 \( ans = n * 2^{C_{n-1}^{2}} * \sum\limits_{j=0}^{k} S(k,j) * j! * C_{n-1}^{j} * 2^{n-1-j} \)
而通过 \( S(n,m) = \frac{1}{m!} \sum\limits_{k=0}^{m} C_{m}^{k} * (m-k)^{n} * (-1)^{k} \) (枚举 \( k \) 个空组,最后除去 \( m \) 组的排列)
即 \( S(n,m) = \sum\limits_{k=0}^{m} \frac{(m-k)^{n}}{(m-k)!} * \frac{(-1)^{k}}{k!} \)
可以用NTT求出一行的第二类斯特林数,也就是求出 \( S(k,i) \)
然后把 \( C_{n-1}^{j} \) 拆开约分,上下都只有 \( k \) 级别,预处理即可;
还是要注意次数是对 \( mod-1 \) 取模。
代码如下:
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
int const xn=2e5+,xm=(<<),mod=;
int n,m,lim,a[xm],b[xm],rev[xm],jc[xn],jcn[xn],jd[xn];
int upt(int x){while(x>=mod)x-=mod; while(x<)x+=mod; return x;}
ll pw(ll a,ll b)
{
ll ret=; a=a%mod; b=b%(mod-);
for(;b;b>>=,a=(a*a)%mod)if(b&)ret=(ret*a)%mod;
return ret;
}
void init()
{
jc[]=;
for(int i=;i<=m;i++)jc[i]=(ll)jc[i-]*i%mod;
jcn[m]=pw(jc[m],mod-);
for(int i=m-;i>=;i--)jcn[i]=(ll)jcn[i+]*(i+)%mod;
jd[]=;
for(int j=;j<=m;j++)jd[j]=(ll)jd[j-]*(n-j)%mod;
}
void ntt(int *a,int tp)
{
for(int i=;i<lim;i++)
if(i<rev[i])swap(a[i],a[rev[i]]);
for(int mid=;mid<lim;mid<<=)
{
int len=(mid<<),wn=pw(,tp==?(mod-)/len:(mod-)-(mod-)/len);
for(int j=;j<lim;j+=len)
for(int k=,w=;k<mid;k++,w=(ll)w*wn%mod)
{
int x=a[j+k],y=(ll)w*a[j+mid+k]%mod;
a[j+k]=upt(x+y); a[j+mid+k]=upt(x-y);
}
}
if(tp==)return; int inv=pw(lim,mod-);
for(int i=;i<lim;i++)a[i]=(ll)a[i]*inv%mod;
}
int main()
{
scanf("%d%d",&n,&m); init();
lim=; int l=;
while(lim<=m+m)lim<<=,l++;
for(int i=;i<lim;i++)rev[i]=((rev[i>>]>>)|((i&)<<(l-)));
for(int i=;i<=m;i++)a[i]=(ll)pw(i,m)*jcn[i]%mod;
for(int i=;i<=m;i++)b[i]=upt((i&?-:)*jcn[i]);
ntt(a,); ntt(b,);
for(int i=;i<lim;i++)a[i]=(ll)a[i]*b[i]%mod;
ntt(a,-);
int ans=;
for(int j=;j<=m;j++)
ans=(ans+(ll)a[j]*jc[j]%mod*jd[j]%mod*jcn[j]%mod*pw(,n--j))%mod;
printf("%lld\n",(ll)n*pw(,((ll)(n-)*(n-)/))%mod*ans%mod);
return ;
}
bzoj 5093 图的价值 —— 第二类斯特林数+NTT的更多相关文章
- BZOJ 5093: [Lydsy1711月赛]图的价值 第二类斯特林数+NTT
定义有向图的价值为图中每一个点的度数的 \(k\) 次方之和. 求:对于 \(n\) 个点的无向图所有可能情况的图的价值之和. 遇到这种题,八成是每个点单独算贡献,然后累加起来. 我们可以枚举一个点的 ...
- bzoj 4555 [Tjoi2016&Heoi2016] 求和 —— 第二类斯特林数+NTT
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4555 关于第二类斯特林数:https://www.cnblogs.com/Wuweizhen ...
- BZOJ 4555:[TJOI2016&HEOI2016]求和(第二类斯特林数+NTT)
题目链接 \(Description\) 求 \[\sum_{i=0}^n\sum_{j=0}^iS(i,j)2^jj!\]对998244353取模后的结果. \(n<=10^5\) \(Sol ...
- bzoj 5093 [Lydsy1711月赛]图的价值——第二类斯特林数
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=5093 不要见到组合数就拆! 枚举每个点的度数,则答案为 \( n*\sum\limits_{ ...
- 【XSY1301】原题的价值 第二类斯特林数 NTT
题目描述 给你\(n,m\),求所有\(n\)个点的简单无向图中每个点度数的\(m\)次方的和. \(n\leq {10}^9,m\leq {10}^5\) 题解 \(g_n\)为\(n\)个点的无向 ...
- BZOJ5093 [Lydsy1711月赛]图的价值 【第二类斯特林数 + NTT】
题目链接 BZOJ5093 题解 点之间是没有区别的,所以我们可以计算出一个点的所有贡献,然后乘上\(n\) 一个点可能向剩余的\(n - 1\)个点连边,那么就有 \[ans = 2^{{n - 1 ...
- bzoj5093:图的价值(第二类斯特林数+NTT)
传送门 首先,题目所求为\[n\times 2^{C_{n-1}^2}\sum_{i=0}^{n-1}C_{n-1}^ii^k\] 即对于每个点\(i\),枚举它的度数,然后计算方案.因为有\(n\) ...
- BZOJ4555 [Tjoi2016&Heoi2016]求和 【第二类斯特林数 + NTT】
题目 在2016年,佳媛姐姐刚刚学习了第二类斯特林数,非常开心. 现在他想计算这样一个函数的值: S(i, j)表示第二类斯特林数,递推公式为: S(i, j) = j ∗ S(i − 1, j) + ...
- 【BZOJ4555】【TJOI2016】【HEOI2016】求和 (第二类斯特林数+NTT卷积)
Description 在2016年,佳媛姐姐刚刚学习了第二类斯特林数,非常开心. 现在他想计算这样一个函数的值: $$f(n)=\sum_{i=0}^n\sum_{j=0}^i S(i,j)\tim ...
随机推荐
- Spark源码分析之一:Job提交运行总流程概述
Spark是一个基于内存的分布式计算框架,运行在其上的应用程序,按照Action被划分为一个个Job,而Job提交运行的总流程,大致分为两个阶段: 1.Stage划分与提交 (1)Job按照RDD之间 ...
- Mysql 5.7.18 利用 MySQL proxies_priv(模拟角色)实现类似用户组管理
利用 MySQL proxies_priv(模拟角色)实现类似用户组管理 角色(Role)可以用来批量管理用户,同一个角色下的用户,拥有相同的权限. MySQL5.7.X以后可以模拟角色(Role)的 ...
- Windows+VS+SVN实现版本控制
Subversion已经是一个热门话题,下面介绍一下Windows下Subversion和TortoiseSVN构建SVN版本控制 问题. 首先看一些基础知识: Subversion是架设一个SVN ...
- authority分层
- d[k]=eval(k)
lk = ['oid', 'timestamp', 'signals', 'area', 'building', 'city', 'name', 'floor', 'industry', 'regio ...
- 2-phase-commit 3-phase-commit
2 prepare commit rollback acknowledge
- pgsql 数据类型
- 【题解】Coins(二进制拆分+bitset)
[题解]Coins(二进制拆分+bitset) [vj] 俗话说得好,bitset大法吼啊 这道题要不是他多组数据卡死了我复杂度算出来等于九千多万的选手我还不会想这种好办法233 考虑转移的实质是怎样 ...
- [容易]合并排序数组 II
题目来源:http://www.lintcode.com/zh-cn/problem/merge-sorted-array/
- python仪表盘
1.在这里可以看到pyecharts中有定义好的各种图标类. 复制上面代码,会出现“ModuleNotFoundError: No module named 'pyecharts'”. pip ins ...