神他吗一天考一道码农题两道 FFT(其实还是我推式子一窍不通)

题意

  给你一棵 \(n\) 个点的树,再给你一个常数 \(k\)。

  设 \(S\) 为树上某些点的集合,定义 \(f(S)\) 为最小的包含 \(S\) 的连通子图的大小。

  \(n\) 个点选 \(k\) 个点一共有 \(\tbinom{n}{k}\) 种方案,请求出所有方案的 \(f(S)\) 之和。

  出题人觉得这样就太简单了,他决定让你求出 \(k=1\cdots n\) 的答案。

  对于 \(27\%\) 的数据,\(n\le 2700\)

  对于 \(100\%\) 的数据,$ n\le 2\times 10^5$

题解

  这种题的关键点在于 \(n^2\) \(\text{dp}\)。

  首先无法对于每个 \(k\) 快速求出答案,但我们可以考虑一个点对每个 \(k\) 的贡献。

  把 \(x\) 转为整棵树的根,则一个点 \(x\) 在这个连通子图内,当且仅当这 \(k\) 个点不都在 \(x\) 的某一个儿子子树里。

  那么贡献为 \(\tbinom{n}{k}-\sum\tbinom{a_i}{k}\),其中 \(a_i\) 为以 \(x\) 为根时,各个儿子子树的大小。

  不难发现,计算总的贡献时,\(\tbinom{n}{k}\) 会被计算 \(n\) 次,每条边两端的子树大小都会被计算一次。

  设 \(num_i\) 表示大小为 \(i\) 的子树被计算的次数(不管加还是减),则 $$b_i = \begin{cases} n\space\space\space\space\space\space\space\space\space\space\space (i=n) \ -num_i\space (i≠n) \end{cases}$$

  其中 \(cnt_i\) 为大小为 \(i\) 的子树个数。

  由于一棵子树被且仅被被计算一次,所以 $$\begin{align} ans_k&= \sum\limits_{i\ge k} \tbinom{i}{k} b_i \nonumber \ &= \sum\limits_{i\ge k} \frac{i!}{(i-k)!k!} b_i \nonumber \ &= \frac{1}{k!} \sum\limits_{i\ge k} b_i i!\times \frac{1}{(i-k)!} \nonumber \end{align}$$

  此时直接计算是 \(O(n^2)\) 的,可以得到 \(27\) 分。

  我们发现 \(ans\) 像一个可以卷积的生成函数。

  又发现 \(\sum\limits_{i\ge k} b_i i!\times \frac{1}{(i-k)!} = [b_k k! \frac{1}{0!}] + [b_{k+1} (k+1)! \frac{1}{1!}] \cdots + [b_n n! \frac{1}{(n-k)!}]\)

  故我们需要构造一个序列 \(c\),使得 \(c_{0\cdots (n-k)}\) 包含了 \(b_k k!,\space b_{k+1} (k+1)!,\space\cdots ,\space b_n n!\);再构造一个序列 \(d\),使得 \(d_{0\cdots (n-k)}\) 包含了 \(\frac{1}{0!},\space \frac{1}{1!},\space \cdots,\space \frac{1}{(n-k)!}\)。我们还要使一个序列的 \(i\) 由大变小,另一个序列的 \(i\) 由小变大,这样才卷积时才会把原序列中相同位置乘起来。

  于是不难构造出 $$\begin{align} c_{n-i} &= b_i i! \nonumber \ d_i &= \frac{1}{i!} \nonumber \ a_i &= \sum\limits_{j+k=i} c_j d_k \nonumber \ ans_i &= \frac{a_{n-i}}{i} \nonumber \end{align}$$

  \(\text{NTT}\) 计算出序列 \(a\) 即可。

  复杂度 \(O(n\log n)\)。

#include<bits/stdc++.h>
#define ll long long
#define N 800010
#define mod 924844033
#define G 5
#define invG 554906420
using namespace std;
inline int read(){
int x=0; bool f=1; char c=getchar();
for(;!isdigit(c); c=getchar()) if(c=='-') f=0;
for(; isdigit(c); c=getchar()) x=(x<<3)+(x<<1)+(c^'0');
if(f) return x;
return 0-x;
}
int n;
struct edge{int v,nxt;}e[N<<1];
int hd[N],cnt;
inline void add(int u, int v){e[++cnt]=(edge){v,hd[u]}, hd[u]=cnt;}
int Pow(int x, int y){
int ret=1;
while(y){
if(y&1) ret=(ll)ret*x%mod;
x=(ll)x*x%mod;
y>>=1;
}
return ret;
}
int siz[N],num[N];
void dfs(int u, int fa){
siz[u]=1;
for(int i=hd[u]; i; i=e[i].nxt) if(e[i].v!=fa){
dfs(e[i].v,u);
siz[u]+=siz[e[i].v];
--num[siz[e[i].v]], --num[n-siz[e[i].v]];
}
}
int jc[N],jcn[N];
int a[N],b[N],c[N];
struct Poly{
int n,bit,r[N];
void init(int x){
for(n=1, bit=0; n<=x; n<<=1, ++bit);
for(int i=1; i<n; ++i) r[i] = (r[i>>1]>>1) | ((i&1)<<(bit-1));
}
void dft(int *a, int f){
for(int i=0; i<n; ++i) if(i<r[i]) swap(a[i],a[r[i]]);
for(int i=1; i<n; i<<=1){
int wn = Pow(f==1 ? G : invG, (mod-1)/(i<<1));
for(int j=0; j<n; j+=(i<<1)){
int w=1, x, y;
for(int k=0; k<i; ++k, w=(ll)w*wn%mod)
x=a[j+k], y=(ll)w*a[j+i+k]%mod,
a[j+k]=(x+y)%mod, a[j+i+k]=(x-y+mod)%mod;
}
}
if(f==-1){
int tmp=Pow(n,mod-2);
for(int i=0; i<n; ++i) a[i]=(ll)a[i]*tmp%mod;
}
}
}NTT;
int main(){
n=read();
int u,v;
for(int i=1; i<n; ++i) u=read(), v=read(), add(u,v), add(v,u);
jc[0]=1;
for(int i=1; i<=n; ++i) jc[i]=(ll)jc[i-1]*i%mod;
jcn[n]=Pow(jc[n],mod-2);
for(int i=n-1; i>=0; --i) jcn[i]=(ll)jcn[i+1]*(i+1)%mod;
dfs(1,0);
num[n]=n;
for(int i=0; i<=n; ++i)
b[i]=((ll)num[n-i]*jc[n-i]%mod+mod)%mod,
c[i]=jcn[i];
NTT.init(n*2+1), NTT.dft(b,1), NTT.dft(c,1);
for(int i=0; i<NTT.n; ++i) a[i]=(ll)b[i]*c[i]%mod;
NTT.dft(a,-1);
for(int i=1; i<=n; ++i) printf("%lld\n",(ll)a[n-i]*jcn[i]%mod);
return 0;
}

【AGC005 F】Many Easy Problems的更多相关文章

  1. 【AGC 005F】Many Easy Problems

    Description One day, Takahashi was given the following problem from Aoki: You are given a tree with ...

  2. 【期望DP】BZOJ3450- Tyvj1952 Easy

    ---恢复内容开始--- [题目大意] 有n次点击要做,成功了就是o,失败了就是x,分数是按comb计算的,连续a个comb就有a*a分,comb就是极大的连续o.求期望分数. [思路] 比之前的OS ...

  3. 【Hello 2018 D】Too Easy Problems

    [链接] 我是链接,点我呀:) [题意] 在这里输入题意 [题解] 可以考虑把所有的题目按照ai排序. 然后顺序考虑最后做出来的题目个数和第i道题目的ai一样. 则1..i-1这些题目就没有用了. 值 ...

  4. 【AGC005F】Many Easy Problems FFT 容斥原理

    题目大意 给你一棵树,有\(n\)个点.还给你了一个整数\(k\). 设\(S\)为树上某些点的集合,定义\(f(S)\)为最小的包含\(S\)的联通子图的大小. \(n\)个点选\(k\)个点一共有 ...

  5. 【AGC005F】Many Easy Problems (NTT)

    Description ​ 给你一棵\(~n~\)个点的树和一个整数\(~k~\).设为\(~S~\)为树上某些点的集合,定义\(~f(S)~\)为最小的包含\(~S~\)的联通子图的大小.\(~n~ ...

  6. 【AGC005F】Many Easy Problems

    Description 题目链接 对于每个\(k\),统计任选\(k\)个点作为关键点的"最小生成树"的大小之和 Solution 正向想法是枚举或者计算大小为\(x\).叶子数目 ...

  7. 【hdu6334】【2018Multi-University-Training Contest04】Problem C. Problems on a Tree

    维护1边的联通块和2边的联通块,合并的时候直接启发式合并. cdqz的大爷好强啊. #include<bits/stdc++.h> #define lson (o<<1) #d ...

  8. 【SDOI2018】反回文串(【ARC064 F】Rotated Palindromes 加强版)

    题意 给你一个正整数 \(n\),求有多少字符集为 \(1\) 到 \(k\) 之间整数的字符串,使得该字符串可以由一个长度为 \(n\) 的回文串循环移位得到. ARC原题 \(100\%\) 的数 ...

  9. 【POJ 2826】An Easy Problem?!(几何、线段)

    两个木条装雨水能装多少. 两线段相交,且不遮盖的情况下才可能装到水. 求出交点,再取两线段的较高端点的较小值h,(h-交点的y)为三角形的高. 三角形的宽即为(h带入两条线段所在直线得到的横坐标的差值 ...

随机推荐

  1. 跨平台python异步回调机制实现和使用方法

    跨平台python异步回调机制实现和使用方法 这篇文章主要介绍了python异步回调机制的实现方法,提供了使用方法代码 1 将下面代码拷贝到一个文件,命名为asyncore.py 代码如下: impo ...

  2. Python的Multiprocessing多进程实例

    最近在拜读RBG大神的faster-rcnn源码时发现他用了多进程去分阶段处理神经网络,原因如下: # ------------------------------------------------ ...

  3. Ubuntu 16.04 安装 google 输入法

    Ubuntu 16.04 安装 google 输入法 在命令行中运行:’sudo apt install fcitx-googlepinyin’ 在 system setting > Langu ...

  4. CTF—攻防练习之HTTP—SQL注入(SSI注入)

    主机:192.168.32.152 靶机:192.168.32.161 ssI是赋予html静态页面的动态效果,通过ssi执行命令,返回对应的结果,若在网站目录中发现了.stm .shtm .shtm ...

  5. Android开发 所需组件配置

    1 Unity中的Android Build Support下载 在Unity中的File>Building Settings>Android>Open Download Page, ...

  6. Python学习之认知(一)

    第二章(一) 2.1 python介绍 2.1.1 python是一种什么样的语言 ​ 编程语⾔主要从以下几个⻆度为进行分类,编译型和解释型.静态语言和动态语⾔.强类型定义语言和弱类型定义语言. 编译 ...

  7. 【POJ - 3009】Curling 2.0 (dfs+回溯)

    -->Curling 2.0 直接上中文 Descriptions: 今年的奥运会之后,在行星mm-21上冰壶越来越受欢迎.但是规则和我们的有点不同.这个游戏是在一个冰游戏板上玩的,上面有一个正 ...

  8. 【AMAD】django-model-utils -- Django model使用的mixin和utils

    动机 简介 个人评分 动机 为django model系统提供一些可重用的mixin和utils. 简介 django-model-utils1为Django Model提供了下嘛几种分类的utils ...

  9. iscsi脚本

    服务端 #!/bin/bash #测试主机是否可以联网 echo -e "\033[31m即将测试主机是否可以联网\033[0m" ping -c 4 www.baidu.com ...

  10. OpenStack组件——Neutron网络服务(2)

    1.虚拟机获取 ip 1)用 namspace 隔离 DHCP 服务 Neutron 通过 dnsmasq 提供 DHCP 服务,而 dnsmasq 通过 Linux Network Namespac ...