题目

一颗\(n\)个节点的树,每个点有一个权值\(a_i\)

询问树上连通块权值之和对 \(m\) 取模为$ x $ 的方案数

答案对\(950009857\) 取模,满足\(m | 950009856\)

空间\(32 \ M\)

题解

  • 考虑\(F_i(x)\)为i为根的连通块的生成函数,\(G(x)\)为答案的生成函数

    \[\begin{align}
    F_i(x) \ = \ (\prod F_{son(i)}+1)x^{a_i} \\
    G(x) \ = \ \sum F_i(x) \\
    \end{align}
    \]

  • 一个比较naive的想法就是每次都dft,idft之后手动将系数取模,但其实没有必要

  • 可以直接对每个点求出dft,O(nm)求出点乘后的结果,最后做一次idft之后的到的答案就是循环卷积

    注意每个点的形式是\(x^a_i\),预处理单位根的次幂可以直接得到dft

  • 对于空间,重链剖分之后把一个点的数组直接传给重儿子,一个点dfs完之后回收一下

    最大引用数组就是一条链上的轻链个数

  • 时间复杂度:\(O(nm + m \ log \ m)\) ; 空间复杂度:\(O(m \ log \ n)\)

  • 为什么idft之后的结果是循环卷积呢?

    \[\begin{align}
    &考虑一个次数界为n的式子\{A_i\}在m次下的点值表达:\{dft(A)_i\}\\
    &设\{B_i\}为idft之后的结果\\
    &B_r = \sum_{j=0}^{m-1}\frac{1}{m}dft(A)_j \omega_m^{-jr}\\
    &= \sum_{j=0}^{m-1}\sum_{k=0}^{n-1}\frac{1}{m}A_k \omega_m^{j(k-r)}\\
    &= \sum_{k=0}^{n-1}A_k (\sum_{j=0}^{m-1}\frac{1}{m}\omega_m^{j(k-r)})\\
    &运用求和引理,B_r = \sum_{j=0}^{n-1}A_k[m|j-r]\\
    &即m次意义下的循环卷积
    \end{align}
    \]

Code

#include<bits/stdc++.h>
#define mod 950009857
using namespace std;
const int N=1<<18,M=14,R=7;
int n,m,a[N],o=1,hd[N],sz[N],sn[N],f[M][N],q[M],head,tail,now,id[N],g[N];
int t1[N],t2[N],len,L,rev[N],w[N],W[N];
struct Edge{int v,nt;}E[N<<1];
void adde(int u,int v){
E[o]=(Edge){v,hd[u]};hd[u]=o++;
E[o]=(Edge){u,hd[v]};hd[v]=o++;
}
void inc(int&x,int y){x+=y;if(x>=mod)x-=mod;}
void dfsA(int u,int fa){
sz[u]=1;
for(int i=hd[u];i;i=E[i].nt){
int v=E[i].v;
if(v==fa)continue;
dfsA(v,u);
sz[u]+=sz[v];
if(sz[v]>sz[sn[u]])sn[u]=v;
}
}
int get(){
if(head==tail)q[tail++]=++now;
if(tail==21)tail=0;
int re=q[head++],*F=f[re];
for(int i=0;i<m;++i)F[i]=1;
if(head==21)head=0;
return re;
}
void pop(int x){
q[tail++]=x;
if(tail==21)tail=0;
}
void dfsB(int u,int fa){
if(sn[u]){
dfsB(sn[u],u);
id[u]=id[sn[u]];
int *F=f[id[u]];
for(int i=0;i<m;++i)inc(F[i],1);
}else id[u]=get();
int *F=f[id[u]];
for(int i=0,t=0;i<m;++i){
F[i]=1ll*F[i]*w[t]%mod;
t+=a[u];if(t>=m)t-=m;
}
for(int i=hd[u];i;i=E[i].nt){
int v=E[i].v;
if(v==fa||v==sn[u])continue;
dfsB(v,u);
int *G=f[id[v]];
for(int j=0;j<m;++j)F[j]=1ll*F[j]*(G[j]+1)%mod;
pop(id[v]);
}
for(int i=0;i<m;++i)inc(g[i],F[i]);
}
int pw(int x,int y){
int re=1;if(y<0)y+=mod-1;
for(;y;y>>=1,x=1ll*x*x%mod)
if(y&1)re=1ll*re*x%mod;
return re;
}
void ntt(int*A,int F){
for(int i=0;i<len;++i)if(i<rev[i])swap(A[i],A[rev[i]]);
for(int i=1;i<len;i<<=1){
int wn=pw(R,F*(mod-1)/i/2);
for(int j=0;j<len;j+=i<<1){
int t=1;
for(int k=0;k<i;++k,t=1ll*t*wn%mod){
int x=A[j+k],y=1ll*t*A[j+k+i]%mod;
A[j+k]=(x+y)%mod;A[j+k+i]=(x-y+mod)%mod;
}
}
}
if(!~F){
int iv=pw(len,mod-2);
for(int i=0;i<len;++i)A[i]=1ll*A[i]*iv%mod;
}
}
int main(){
freopen("tree.in","r",stdin);
freopen("tree.out","w",stdout);
scanf("%d%d",&n,&m);
w[0]=1;w[1]=pw(R,(mod-1)/m);
for(int i=2;i<=m;++i)w[i]=1ll*w[i-1]*w[1]%mod;
for(int i=1;i<=n;++i)scanf("%d",&a[i]);
for(int i=1;i<n;++i){
int u,v;
scanf("%d%d",&u,&v);
adde(u,v);
}
dfsA(1,0);
dfsB(1,0);
for(len=1,L=0;len<=(m-1)*3;len<<=1,++L);
for(int i=1;i<len;++i)rev[i]=(rev[i>>1]>>1)|((i&1)<<(L-1));
for(int i=0;i<=(m-1)<<1;++i){
W[i]=w[1ll*i*(i-1)/2%m];
t2[i]=pw(W[i],mod-2);
}
for(int i=0;i<m;++i)t1[i]=1ll*g[m-1-i]*W[m-1-i]%mod;
ntt(t1,1);ntt(t2,1);
for(int i=0;i<len;++i)t1[i]=1ll*t1[i]*t2[i]%mod;
ntt(t1,-1);
int iv=pw(m,mod-2);
for(int i=0;i<m;++i)printf("%d ",1ll*iv*W[i]%mod*t1[m-1+i]%mod);
return 0;
}

【JZOJ6239】【20190629】智慧树的更多相关文章

  1. CSDN不限积分代下载,知网、万方、sci、IEEE论文代下载,智慧树、超星尔雅刷课

    下载内容: 1.CSDN不限积分代下载. 2.知网.万方.sci.IEEE论文代下载. 3.超星尔雅,智慧树刷课. 注:由于本人手抖买一个CSDN会员,想挽回一点损失,所以创立了一个下载群,绝对不是骗 ...

  2. 用Python来自动刷智慧树网站的网课

    学校最近让看什么网课,智慧树网站的,太无聊了,写个脚本刷下,这里是用Python+selenium实现的,也可以用js脚本,更简单,但是我这里刚好最近在学python,就顺便练习下,说下有几个点, 1 ...

  3. 智慧树刷网课python脚本

    0x00 写在前面 疫情期间肯定有很多小伙伴需要上网课,但是有些网课我们感觉十分的鸡肋,自己不感兴趣,又必须要学 所以我写了这个刷网课的小程序,一方面是锻炼自己的爬虫技术,另一方面也给同学们节约宝贵的 ...

  4. 智慧树mooc自动刷课代码

    最近学习javaScript和JQuery,恰好还有一门mooc没有看.结合学习的知识和其他人的代码:撸了一个自动播放课程的代码,同时自动跳过单章的测试题. 用电脑挂着不动就完事了. 如下: var ...

  5. 分布式任务调度平台XXL-JOB

    <分布式任务调度平台XXL-JOB>       一.简介 1.1 概述 XXL-JOB是一个轻量级分布式任务调度框架,其核心设计目标是开发迅速.学习简单.轻量级.易扩展.现已开放源代码并 ...

  6. Bluestein's Algorithm

    网上很少有人提到,写的也很简单,事实上就是很简单... \(Bluestein's\ Algorithm\),用以解决任意长度\(DFT\). 考虑\(DFT\)的形式:\[\begin{aligne ...

  7. php编写刷网课自助下单系统(第三方支付实例)

    此项目是由于本人刚刚入门php且在校代刷网课而编写的,由于在上课时间不方便接单,故特意写一个自助下单系统来实现客户自助下单.本项目主要实现以下功能:1.用户下单2.用户支付3.用户通过账号查询订单4. ...

  8. Comet OJ 夏季欢乐赛 完全k叉树

    完全k叉树 https://cometoj.com/contest/59/problem/A?problem_id=2712 题目描述 欢迎报考JWJU!这里有丰富的社团活动,比如为梦想奋斗的ACM集 ...

  9. 【重庆师范大学】PHP博客训练-Thinkphp

    设计数据库 CREATE TABLE `user` ( `user_id` int unsigned NOT NULL AUTO_INCREMENT, `username` varchar() COM ...

随机推荐

  1. html。PROGRESS进度条使用测试

    效果图 : 代码: ----------------------------------- //本文来自:https://www.cnblogs.com/java2sap/p/11199126.htm ...

  2. Vue.js 源码分析(十一) 基础篇 过滤器 filters属性详解

    Vue.js 允许你自定义过滤器,可被用于一些常见的文本格式化.过滤器可以用在两个地方:双花括号插值和 v-bind 表达式 (后者从 2.1.0+ 开始支持).过滤器应该被添加在 JavaScrip ...

  3. struts2拦截器的实现机制

    前言 最近老大让每周写一篇技术性的博客,想想也没啥写,就想着随便拿个以前的项目去研究研究五大框架的底层代码.本人水平有限,有不对的地方还望大家勿喷,指正! 开始之前先了解下strtus2的工作流程: ...

  4. 【spring boot】【redis】spring boot 集成redis的发布订阅机制

    一.简单介绍 1.redis的发布订阅功能,很简单. 消息发布者和消息订阅者互相不认得,也不关心对方有谁. 消息发布者,将消息发送给频道(channel). 然后是由 频道(channel)将消息发送 ...

  5. WPF DispatcherTimer一些个人看法 (原发布 csdn 2017-04-25 19:12:22)

    wpf中的DispatcherTimer基本用法,本文不在叙述.主要写一些不同的,来提醒自己不要再犯同样错误. 前几天写代码时发现.当在非UI线程创建DispatcherTimer实例时,程序无法进入 ...

  6. 记第一次使用NET CORE 2.2 完成的DEMO部署在LINUX并且上线

    .NET CORE 这么久了一直没有成功打通过,今天花了点儿时间做了一个小DEMO,首次完成并且部署上线.记录一下. DEMO中只是测试了一下从MSSQL中获取数据,并且显示在页面上,涉及到了数据库连 ...

  7. python plotly 画饼状图

    代码 import pandas as pd import numpy as np import plotly.plotly as py import plotly.graph_objs as go ...

  8. python2.7 与python3.X区别

    1,print("中文") python2.7,会报错  原因:py2.7用ascll码 解决:2.7头部加入并保存的文件用utf-8编码 # -*- coding: utf-8 ...

  9. android studio学习----gradle配置

    转载地址:http://blog.csdn.net/loongggdroid/article/details/47037413 1.gradle的简单介绍 Gradle是可以用于Android开发的新 ...

  10. Django框架(七)-- 模板层:模板导入、模板继承、静态文件

    一.模板导入 要复用一个组件,可以将该组件写在一个文件中,在使用的时候导入即可 在模板中使用 1.语法 {% include '模板名字' %} 2.使用 ad.html页面 <div clas ...