【AGC005F】简单的问题 Many Easy Problems
Description
Solution
对于每个\(k\),统计任选\(k\)个点作为关键点的“最小生成树”的大小之和
正向想法是枚举或者计算大小为\(x\)、叶子数目为\(y\)的子树有多少种,然后贡献答案。这种方法参数多、难统计,可以感受到无法适应\(1e5\)的数据,舍弃
正难则反,自顶向下正向统计难,就考虑自底向上贡献统计。那么这里的自底向上,就应该是对于每一个点,统计其贡献到每个\(ans\)的次数,并累加。
既然要输出k=1...m的答案,可以猜到贡献是一个卷积加速的形式
所以先考虑每个点对某一个k的答案的贡献
任选k个点之后,一个点对答案有1的贡献,当且仅当选择的点不全在以其为根时的某棵子树中
这个很好统计,不全在某棵子树中这个条件很难考虑,不如直接用总数减去不合法的方案,毕竟所有元素用一个组合数就可以搞定\({n \choose k}-\sum_v {size_v\choose k}\)
则
\]
前一部分可以直接算,但后一部分看起来不是一个数组的卷积
遇到这种情况,我们可以用权值作为下标先做一个统计数组\(a[size_v]++\),因为统计时使用的数据与这个\(size_v\)具体是哪一个点的子树大小关系不大,而只和子树大小这个数值有关。因此不以每个点作为视角考虑(具体是谁不重要),而以整棵树为视角考虑,那么\(ans_k\)就会变成
\]
减法卷积算出每个\(ans_k\)的负部分即可
Code
#include <cstdio>
using namespace std;
namespace IO{
const int S=10000000;
char buf[S];
int pos;
void load(){
fread(buf,1,S,stdin);
pos=0;
}
char getChar(){
return buf[pos++];
}
int getInt(){
int x=0,f=1;
char c=getChar();
while(c<'0'||c>'9'){if(c=='-')f=-1;c=getChar();}
while('0'<=c&&c<='9'){x=x*10+c-'0';c=getChar();}
return x*f;
}
}
using IO::getInt;
const int N=200005;
const int MOD=924844033,G=5;
int n;
int h[N],tot;
struct Edge{
int v,next;
}e[N*2];
int size[N],sum[N];
int fact[N],iact[N];
inline void swap(int &x,int &y){
x^=y^=x^=y;
}
void addEdge(int u,int v){
e[++tot]=(Edge){v,h[u]}; h[u]=tot;
e[++tot]=(Edge){u,h[v]}; h[v]=tot;
}
void readData(){
n=getInt();
int u,v;
for(int i=1;i<n;i++){
u=getInt(); v=getInt();
addEdge(u,v);
}
}
void dfs(int u,int fa){
size[u]=1;
for(int i=h[u],v;i;i=e[i].next)
if((v=e[i].v)!=fa){
dfs(v,u);
size[u]+=size[v];
sum[size[v]]++;
}
sum[n-size[u]]++;
}
int fmi(int x,int y){
int res=1;
for(;y;x=1ll*x*x%MOD,y>>=1)
if(y&1)
res=1ll*res*x%MOD;
return res;
}
void init(){
fact[0]=1;
for(int i=1;i<=n;i++)
fact[i]=1ll*fact[i-1]*i%MOD;
iact[0]=iact[1]=1;
if(n>1){
iact[n]=fmi(fact[n],MOD-2);
for(int i=n-1;i>=2;i--)
iact[i]=1ll*iact[i+1]*(i+1)%MOD;
}
}
inline int C(int n,int m){
return m>n?0:1ll*fact[n]*iact[m]%MOD*iact[n-m]%MOD;
}
namespace NTT{/*{{{*/
const int S=N*4,B=19;
int n,invn,bit;
int rev[S],W[S][2];
void build(){
int iG=fmi(G,MOD-2);
for(int i=0;i<=B;i++){
W[1<<i][0]=fmi(G,(MOD-1)/(1<<i));
W[1<<i][1]=fmi(iG,(MOD-1)/(1<<i));
}
}
void init(int _n){
for(n=1,bit=0;n<_n;n<<=1,bit++);
invn=fmi(n,MOD-2);
for(int i=0;i<n;i++) rev[i]=(rev[i>>1]>>1)|((i&1)<<(bit-1));
}
void ntt(int *a,int f){
for(int i=0;i<n;i++) if(i<rev[i]) swap(a[i],a[rev[i]]);
int w_n,w,u,v;
for(int i=2;i<=n;i<<=1){
w_n=W[i][f];
for(int j=0;j<n;j+=i){
w=1;
for(int k=0;k<(i>>1);k++){
u=a[j+k];
v=1ll*w*a[j+(i>>1)+k]%MOD;
a[j+k]=(u+v)%MOD;
a[j+(i>>1)+k]=(u-v)%MOD;
w=1ll*w*w_n%MOD;
}
}
}
if(f)
for(int i=0;i<n;i++) a[i]=1ll*a[i]*invn%MOD;
}
}/*}}}*/
void solve(){
static int a[NTT::S],b[NTT::S];
for(int i=0;i<n;i++){
a[i]=1ll*sum[i]*fact[i]%MOD;
b[i]=iact[n-1-i];
}
NTT::init(n+n-1);
NTT::ntt(a,0);
NTT::ntt(b,0);
for(int i=0;i<NTT::n;i++) a[i]=1ll*a[i]*b[i]%MOD;
NTT::ntt(a,1);
// now a[n],a[n+1],... represent k=1,2,3,...
int ans;
for(int k=1;k<=n;k++){
ans=(1ll*n*C(n,k)%MOD-1ll*iact[k]*a[n-1+k]%MOD)%MOD;
printf("%d\n",ans<0?ans+MOD:ans);
}
}
int main(){
IO::load();
NTT::build();
readData();
dfs(1,0);
init();
solve();
return 0;
}
【AGC005F】简单的问题 Many Easy Problems的更多相关文章
- AtcoderGrandContest 005 F. Many Easy Problems
$ >AtcoderGrandContest \space 005 F. Many Easy Problems<$ 题目大意 : 有一棵大小为 \(n\) 的树,对于每一个 \(k \i ...
- 解题:AT2064 Many Easy Problems&EXNR #1 T3 两开花
题面 两道题比较像,放在一起写了,后者可以看成前者的加强版 (sto ztb orz) 先看AT那道题 考虑计算每个点的贡献,用容斥计算:每个点没有贡献当且仅当选的所有点都在以他为根时的一个子节点的子 ...
- Codeforces 913D - Too Easy Problems
913D - Too Easy Problems 思路:二分check k 代码: #include<bits/stdc++.h> using namespace std; #define ...
- 【AtCoder】AGC005 F - Many Easy Problems 排列组合+NTT
[题目]F - Many Easy Problems [题意]给定n个点的树,定义S为大小为k的点集,则f(S)为最小的包含点集S的连通块大小,求k=1~n时的所有点集f(S)的和取模92484403 ...
- 【CodeForces】913 D. Too Easy Problems
[题目]D. Too Easy Problems [题意]给定n个问题和总时限T,每个问题给定时间ti和限制ai,当解决的问题数k<=ai时问题有效,求在时限T内选择一些问题解决的最大有效问题数 ...
- 【AGC005F】Many Easy Problems FFT 容斥原理
题目大意 给你一棵树,有\(n\)个点.还给你了一个整数\(k\). 设\(S\)为树上某些点的集合,定义\(f(S)\)为最小的包含\(S\)的联通子图的大小. \(n\)个点选\(k\)个点一共有 ...
- 【AGC005F】Many Easy Problems (NTT)
Description 给你一棵\(~n~\)个点的树和一个整数\(~k~\).设为\(~S~\)为树上某些点的集合,定义\(~f(S)~\)为最小的包含\(~S~\)的联通子图的大小.\(~n~ ...
- AGC005F Many Easy Problems(NTT)
先只考虑求某个f(k).考虑转换为计算每条边的贡献,也即该边被所选连通块包含的方案数.再考虑转换为计算每条边不被包含的方案数.这仅当所选点都在该边的同一侧.于是可得f(k)=C(n,k)+ΣC(n,k ...
- 【AGC005F】Many Easy Problems
Description 题目链接 对于每个\(k\),统计任选\(k\)个点作为关键点的"最小生成树"的大小之和 Solution 正向想法是枚举或者计算大小为\(x\).叶子数目 ...
随机推荐
- BootStrap学习(6)_模态框
一.模态框 模态框(Modal)是覆盖在父窗体上的子窗体.通常,目的是显示来自一个单独的源的内容,可以在不离开父窗体的情况下有一些互动.子窗体可提供信息.交互等. 如果只使用该功能,只引入BootSt ...
- 在平衡树的海洋中畅游(一)——Treap
记得有一天翔哥毒奶我们: 当你们已经在平衡树的海洋中畅游时,我还在线段树的泥沼中挣扎. 我觉得其实像我这种对平衡树一无所知的蒟蒻也要开一开数据结构了. 然后花了一天啃了下最简单的平衡树Treap,感觉 ...
- 老生常谈,函数柯里化(curring)
柯里化这个概念确实晦涩难懂,没有深入思考过的人其实真的很难明白这是一个什么东西.看起来简单.简单到或许只需要一行代码: const curry = fn => (…args) => fn. ...
- python-scapy学习笔记-(1)
主要功能函数sniff sniff(filter="",iface="any",prn=function,count=N) filter参数允许我们对Scapy ...
- Session配置之WebApi支持
1.在WebApiConfig中建立建立HttpControllerHandler和HttpControllerRouteHandler 并覆写它 public class SessionRouteH ...
- PHP 设置调试工具XDebug PHPStorm IDE
先下载PHP扩展Xdebug https://xdebug.org, 可以复制自己的phpinfo粘贴到https://xdebug.org/wizard.php中, 会生成需要下载的版本, php. ...
- Heartbeat基础知识-运维小结
在日常的集群系统架构中,一般用到Heartbeat的主要就2种:1)高可用(High Availability)HA集群, 使用Heartbeat实现,也称为”双机热备”, “双机互备”, “双机”: ...
- zabbix问题记录
zabbix部署好,在使用一段时间后,出现了不少报错,在此简单做一记录.1)Zabbix监控界面报错Lack of free swap space on Zabbix server”解决公司线上部署的 ...
- Mysql双主热备+LVS+Keepalived高可用操作记录
MySQL复制能够保证数据的冗余的同时可以做读写分离来分担系统压力,如果是主主复制还可以很好的避免主节点的单点故障.然而MySQL主主复制存在一些问题无法满足我们的实际需要:未提供统一访问入口来实现负 ...
- Apache的Thrift引发的编译思考
最近偶然看到了Apache的Thrift,感觉有点像Corba架构后的变种(赞一个,Facebook真伟大).WSDL能生成C#和Java的(SOAP标准接口,做WebService都用过).Corb ...