LINK:graph

HDU题库里的原题 没做过自闭。

考虑dp 设\(f_{i,j}\)表示前i个点构成j个联通块是树的方案数。

对于一次询问答案即为\(\sum_{j}f_{n,j}j^k\)

考虑如何dp出来 显然每次枚举1号所在的连通块的大小 考虑这个连通块是否构成树 即可。

具体转移不再赘述 需要预处理一下i个点的树的个数 i个点的连通块个数 i个点不是树是连通块的个数。

复杂度\(n^3\) 利用分治NTT来优化可以到 \(n^2log^2\)比较繁杂且不是正解。

正解当然是考虑生成函数。

设\(T(x)\)表示i个点的生成树个数的EGF G(x)为i个点连通块个数的EGF F_{w}(x)表示k值为w时的答案的EGF E(x)为i个点联通但不是树的生成树个数.

那么显然有\(E(x)=e^{G(x)-T(x)},F_{w}(x)=\sum_{i}\frac{i^w\cdot T^i(x)}{i!}E(x)\)

显然当w==1时可以化简 这启示我们利用自然幂转斯特林数\(x^k=\sum_{i}x^\underline{i}\cdot s(k,i)\)

然后可以化简得到 \(f_{k}(x)=\sum_x^k s(k,x)\cdot e^{T(y)}E(y)T^x(y)\)

设H(x)表示i个点的图的个数。

那么有\(H(x)=E(x)\cdot e^{T(x)}\)

可得 \(f_{k}(x)=\sum_{x=0}^k s(k,x)\cdot H(y)T^x(y)\)

预处理\(knlogn\) 查询 \(Tk\)

值得一提的是 T(x)的第0项是0 因为如果为1答案是错误的 而H(x)第0项是1 因为可以上面的定义式计算出来为1.

code bf
//#include<bits\stdc++.h>
#include<iostream>
#include<iomanip>
#include<cstdio>
#include<cstring>
#include<string>
#include<ctime>
#include<cmath>
#include<cctype>
#include<cstdlib>
#include<queue>
#include<deque>
#include<stack>
#include<vector>
#include<algorithm>
#include<utility>
#include<bitset>
#include<set>
#include<map>
#define ll long long
#define db double
#define INF 2000000000
#define ldb long double
#define pb push_back
#define put_(x) printf("%d ",x);
#define get(x) x=read()
#define gt(x) scanf("%d",&x)
#define gi(x) scanf("%lf",&x)
#define put(x) printf("%d\n",x)
#define putl(x) printf("%lld\n",x)
#define gc(a) scanf("%s",a+1)
#define rep(p,n,i) for(RE int i=p;i<=n;++i)
#define go(x) for(int i=lin[x],tn=ver[i];i;tn=ver[i=nex[i]])
#define fep(n,p,i) for(RE int i=n;i>=p;--i)
#define vep(p,n,i) for(RE int i=p;i<n;++i)
#define pii pair<int,int>
#define mk make_pair
#define RE register
#define P 1000000007
#define gf(x) scanf("%lf",&x)
#define pf(x) ((x)*(x))
#define uint unsigned long long
#define ui unsigned
#define EPS 1e-8
#define sq sqrt
#define S second
#define F first
#define mod 998244353
using namespace std;
char buf[1<<15],*fs,*ft;
inline char getc()
{
return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:*fs++;
}
inline int read()
{
RE int x=0,f=1;RE char ch=getc();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getc();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getc();}
return x*f;
}
const int MAXN=1010;
int n=100,k,T;
int f1[MAXN],f2[MAXN],f3[MAXN],sum[21][MAXN];
int f[MAXN][MAXN],g[MAXN],inv[MAXN],fac[MAXN];
//f1[i]表示i个点形成的树的个数.f2[i]表示i个点形成连通块但不是树的方案数.f3[i]表示i个点形成的连通块的方案数.
//f[i][j]表示i个点形成j棵树的方案数.
inline int ksm(int b,int p)
{
int cnt=1;
while(p)
{
if(p&1)cnt=(ll)cnt*b%mod;
b=(ll)b*b%mod;p=p>>1;
}
return cnt;
}
inline int mul(int a,int b){return (ll)a*b%mod;}
inline int add(int a,int b){return a+b>=mod?a+b-mod:a+b;}
inline int mus(int a,int b){return a-b<0?a-b+mod:a-b;}
inline int C(int a,int b){return a<b?0:(ll)fac[a]*inv[b]%mod*inv[a-b]%mod;}
int main()
{
freopen("xuanyiming.in","r",stdin);
freopen("xuanyiming.out","w",stdout);
f3[1]=f1[1]=fac[0]=fac[1]=1;
rep(2,n,i)f1[i]=ksm(i,i-2),fac[i]=mul(fac[i-1],i);
inv[n]=ksm(fac[n],mod-2);
fep(n-1,0,i)inv[i]=mul(inv[i+1],i+1);
rep(2,n,i)
{
f3[i]=ksm(2,i*(i-1)/2);
rep(1,i-1,j)
{
f3[i]=mus(f3[i],mul(mul(C(i-1,j-1),f3[j]),ksm(2,(i-j)*(i-j-1)/2)));
}
f2[i]=mus(f3[i],f1[i]);
}
f[0][0]=1;f[1][1]=1;
rep(2,n,i)
{
rep(0,i,j)
{
rep(1,i,k)
{
//不做贡献.
f[i][j]=add(f[i][j],mul(mul(C(i-1,k-1),f2[k]),f[i-k][j]));
//做贡献
if(j>=1)f[i][j]=add(f[i][j],mul(mul(C(i-1,k-1),f1[k]),f[i-k][j-1]));
}
}
}
rep(1,n,j)
{
int ww=j;
rep(1,20,c)
{
rep(j,n,i)sum[c][i]=add(sum[c][i],mul(ww,f[i][j]));
ww=mul(ww,j);
}
}
get(T);
while(T--)
{
get(n);get(k);
put(sum[k][n]);
}
return 0;
}
code sol
//#include<bits\stdc++.h>
#include<iostream>
#include<iomanip>
#include<cstdio>
#include<cstring>
#include<string>
#include<ctime>
#include<cmath>
#include<cctype>
#include<cstdlib>
#include<queue>
#include<deque>
#include<stack>
#include<vector>
#include<algorithm>
#include<utility>
#include<bitset>
#include<set>
#include<map>
#define ll long long
#define db double
#define INF 10000000000000000ll
#define ldb long double
#define pb push_back
#define put_(x) printf("%d ",x);
#define get(x) x=read()
#define gt(x) scanf("%d",&x)
#define gi(x) scanf("%lf",&x)
#define put(x) printf("%d\n",x)
#define putl(x) printf("%lld\n",x)
#define gc(a) scanf("%s",a+1)
#define rep(p,n,i) for(RE int i=p;i<=n;++i)
#define go(x) for(int i=lin[x],tn=ver[i];i;tn=ver[i=nex[i]])
#define fep(n,p,i) for(RE int i=n;i>=p;--i)
#define vep(p,n,i) for(RE int i=p;i<n;++i)
#define pii pair<int,int>
#define mk make_pair
#define RE register
#define P 1000000007
#define gf(x) scanf("%lf",&x)
#define pf(x) ((x)*(x))
#define uint unsigned long long
#define ui unsigned
#define EPS 1e-4
#define sq sqrt
#define S second
#define F first
#define mod 998244353
using namespace std;
char buf[1<<15],*fs,*ft;
inline char getc()
{
return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:*fs++;
}
inline int read()
{
RE int x=0,f=1;RE char ch=getc();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getc();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getc();}
return x*f;
}
const int MAXN=200010,maxn=21,G=3;
int A[MAXN],fac[MAXN],inv[MAXN],rev[MAXN],B[MAXN],C[MAXN],D[MAXN],O[MAXN];
int n,T,k,lim;
int s[maxn][maxn];
int F[maxn][MAXN];
inline int ksm(int b,int p)
{
p%=mod-1;
int cnt=1;
while(p)
{
if(p&1)cnt=(ll)cnt*b%mod;
b=(ll)b*b%mod;p=p>>1;
}
return cnt;
}
inline void NTT(int *a,int op)
{
vep(0,lim,i)if(i<rev[i])swap(a[i],a[rev[i]]);
for(int len=2;len<=lim;len=len<<1)
{
int mid=len>>1;
int wn=ksm(G,op==1?(mod-1)/len:mod-1-(mod-1)/len);
vep(1,mid,i)O[i]=(ll)O[i-1]*wn%mod;
for(int j=0;j<lim;j+=len)
{
vep(0,mid,i)
{
int x=a[i+j],y=(ll)a[i+j+mid]*O[i]%mod;
a[i+j]=(x+y)%mod;a[i+j+mid]=(x-y+mod)%mod;
}
}
}
if(op==-1)
{
int INV=ksm(lim,mod-2);
vep(0,lim,i)a[i]=(ll)a[i]*INV%mod;
}
}
int main()
{
freopen("xuanyiming.in","r",stdin);
freopen("xuanyiming.out","w",stdout);
s[1][1]=1;k=20;n=50000;fac[0]=O[0]=1;
rep(1,n,i)fac[i]=(ll)fac[i-1]*i%mod;
inv[n]=ksm(fac[n],mod-2);
fep(n-1,0,i)inv[i]=(ll)inv[i+1]*(i+1)%mod;
rep(2,k,i)rep(1,i,j)s[i][j]=(s[i-1][j-1]+(ll)j*s[i-1][j])%mod;
B[0]=B[1]=A[1]=1;rep(2,n,i)A[i]=(ll)ksm(i,i-2)*inv[i]%mod,B[i]=(ll)ksm(2,(ll)(i-1)*i/2)*inv[i]%mod;
lim=1;while(lim<=n+n)lim=lim<<1;
vep(1,lim,i)rev[i]=rev[i>>1]>>1|((i&1)?lim>>1:0);
NTT(A,1);NTT(B,1);
vep(0,lim,i)C[i]=(ll)A[i]*B[i]%mod;
NTT(C,-1);vep(n+1,lim,i)C[i]=0;
rep(1,k,j)
{
rep(0,n,i)F[j][i]=(ll)C[i]*fac[i]%mod;
NTT(C,1);
vep(0,lim,i)C[i]=(ll)C[i]*A[i]%mod;
NTT(C,-1);vep(n+1,lim,i)C[i]=0;
}
get(T);
while(T--)
{
get(n);get(k);
int ans=0;rep(1,k,i)ans=(ans+(ll)s[k][i]*F[i][n])%mod;
put(ans);
}
return 0;
}

7.11 NOI模拟赛 graph 生成函数 dp 多项式的更多相关文章

  1. 7.11 NOI模拟赛 qiqi20021026的T1 四个指针莫队 trie树

    LINK:qiqi20021026的T1 考场上只拿到了50分的\(nq\)暴力. 考虑一个区间和一个区间配对怎么做 二分图最大带权匹配复杂度太高. 先考虑LCS的问题 常见解决方法是后缀数组/tri ...

  2. 9.11 myl模拟赛

    9.11 myl 模拟赛 100 + 100 + 0 第一题耗费了太多的时间,导致最后一题没有时间想,直接去写了暴力,而且出题人没有给暴力分.... Problem 1. superman [题目描述 ...

  3. 6.28 NOI模拟赛 好题 状压dp 随机化

    算是一道比较新颖的题目 尽管好像是两年前的省选模拟赛题目.. 对于20%的分数 可以进行爆搜,对于另外20%的数据 因为k很小所以考虑上状压dp. 观察最后答案是一个连通块 从而可以发现这个连通块必然 ...

  4. NOI模拟赛 Day1

    [考完试不想说话系列] 他们都会做呢QAQ 我毛线也不会呢QAQ 悲伤ING 考试问题: 1.感觉不是很清醒,有点困╯﹏╰ 2.为啥总不按照计划来!!! 3.脑洞在哪里 4.把模拟赛当作真正的比赛,紧 ...

  5. Newnode's NOI(P?)模拟赛 第二题 dp决策单调优化

    其实直接暴力O(n3)DP+O2O(n^3)DP+O_2O(n3)DP+O2​优化能过- CODE O(n3)O(n^3)O(n3) 先来个O(n3)O(n^3)O(n3)暴力DP(开了O2O_2O2 ...

  6. 7.12 NOI模拟赛 生成树 装压dp vector装压

    LINK:生成树 这场比赛我打的真失败 T3是比较容易的 却一直刚 那道"数论" 10分其实搜一下全排列. 30分容易想到对边进行装压dp. 不过存在一些细节 可以对于一个连通块的 ...

  7. 7.12 NOI模拟赛 探险队 期望 博弈 dp 最坏情况下最优策略 可并堆

    LINK:探险队 非常难的题目 考试的时候爆零了 完全没有想到到到底怎么做 (当时去刚一道数论题了. 首先考虑清楚一件事情 就是当前是知道整张地图的样子 但是不清楚到底哪条边断了. 所以我们要做的其实 ...

  8. 7.1 NOI模拟赛 dp floyd

    这是一道非常垃圾的题目 且 数据范围简直迷惑选手.. 可以发现 题目中有 边权递增 边的条数 所有边权值不同 最小边权和等条件. 看起来很难做 一个想法 边权递增+边的1的权值都不相同可以想到 关系存 ...

  9. 7.9 NOI模拟赛 C.走路 背包 dp 特异性

    (啊啊啊 什么考试的时候突然降智这题目硬生生没想出来. 容易发现是先走到某个地方 然后再走回来的 然后在倒着走的路径上选择一些点使得最后的得到的最多. 设\(f_{i,j}\)表示到达i这个点选择的价 ...

随机推荐

  1. Report,又是一道思维题

    题目: Each month Blake gets the report containing main economic indicators of the company "Blake ...

  2. 什么?你还不会通过纯js提交表单?

    如果程序已经封装好了, 不管后台是java .asp.net   .还是php   ?这个时候你的客户突然追加说我要 追加表单验证?   what  妇产科    怎么办? submit  自带刷新效 ...

  3. MVC + EFCore 项目实战 - 数仓管理系统3 - 完成整体样式风格配置

    上次课程我们新建了管理员的模板页. 本次我们就完善这个模板页,顺便加入样式和一些基本的组件,配置好整个项目的UI风格.   一.引入 共用的css和js文件 后端库用nuget, 前端库用libman ...

  4. git clone远程仓库的指定分支

    正常clone方式 git clone <远程仓库地址> 默认clone的是远程仓库的master分支 clone指定分支 git clone -b <分支名> <远程仓 ...

  5. 小程序checkbox-group只获取到一个值

    wx:for循环不能写在checkbox-group标签上 wx:for循环不能写在checkbox-group标签上 wx:for循环不能写在checkbox-group标签上 wx:for循环不能 ...

  6. TB6560电机驱动器参数设置

    TB6560电机驱动器参数设置 最近接触了一些步进电机的开发,整理了一些参数设置的经验,希望能帮助到有需要的人儿~ 步进电机主要按一定的给电规律,给对应的绕组响应的电信号,电机将按一定的方向运行,而且 ...

  7. java 基本语法(十四)Lambda (一)表达式

    1.Lambda表达式使用前后的对比:举例一: @Test public void test1(){ Runnable r1 = new Runnable() { @Override public v ...

  8. drf源码剖析系列(系列目录)

    drf源码剖析系列(系列目录) 01 drf源码剖析之restful规范 02 drf源码剖析之快速了解drf 03 drf源码剖析之视图 04 drf源码剖析之版本 05 drf源码剖析之认证 06 ...

  9. 数据可视化之DAX篇(八) DAX学习:使用VAR定义变量

    https://zhuanlan.zhihu.com/p/64414205 前面介绍如何使用DAX生成日期表的时候,使用了VAR,有人留言问这个VAR怎么理解,那么这篇文章就来介绍VAR以及它的用法. ...

  10. 随笔java面试基础

    转:http://blog.csdn.net/wenwen360360/article/details/54969418 Application ―Java应用程序”是可以独立运行的Java程序.由J ...