【JZOJ6239】【20190629】智慧树
题目
一颗\(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】智慧树的更多相关文章
- CSDN不限积分代下载,知网、万方、sci、IEEE论文代下载,智慧树、超星尔雅刷课
下载内容: 1.CSDN不限积分代下载. 2.知网.万方.sci.IEEE论文代下载. 3.超星尔雅,智慧树刷课. 注:由于本人手抖买一个CSDN会员,想挽回一点损失,所以创立了一个下载群,绝对不是骗 ...
- 用Python来自动刷智慧树网站的网课
学校最近让看什么网课,智慧树网站的,太无聊了,写个脚本刷下,这里是用Python+selenium实现的,也可以用js脚本,更简单,但是我这里刚好最近在学python,就顺便练习下,说下有几个点, 1 ...
- 智慧树刷网课python脚本
0x00 写在前面 疫情期间肯定有很多小伙伴需要上网课,但是有些网课我们感觉十分的鸡肋,自己不感兴趣,又必须要学 所以我写了这个刷网课的小程序,一方面是锻炼自己的爬虫技术,另一方面也给同学们节约宝贵的 ...
- 智慧树mooc自动刷课代码
最近学习javaScript和JQuery,恰好还有一门mooc没有看.结合学习的知识和其他人的代码:撸了一个自动播放课程的代码,同时自动跳过单章的测试题. 用电脑挂着不动就完事了. 如下: var ...
- 分布式任务调度平台XXL-JOB
<分布式任务调度平台XXL-JOB> 一.简介 1.1 概述 XXL-JOB是一个轻量级分布式任务调度框架,其核心设计目标是开发迅速.学习简单.轻量级.易扩展.现已开放源代码并 ...
- Bluestein's Algorithm
网上很少有人提到,写的也很简单,事实上就是很简单... \(Bluestein's\ Algorithm\),用以解决任意长度\(DFT\). 考虑\(DFT\)的形式:\[\begin{aligne ...
- php编写刷网课自助下单系统(第三方支付实例)
此项目是由于本人刚刚入门php且在校代刷网课而编写的,由于在上课时间不方便接单,故特意写一个自助下单系统来实现客户自助下单.本项目主要实现以下功能:1.用户下单2.用户支付3.用户通过账号查询订单4. ...
- Comet OJ 夏季欢乐赛 完全k叉树
完全k叉树 https://cometoj.com/contest/59/problem/A?problem_id=2712 题目描述 欢迎报考JWJU!这里有丰富的社团活动,比如为梦想奋斗的ACM集 ...
- 【重庆师范大学】PHP博客训练-Thinkphp
设计数据库 CREATE TABLE `user` ( `user_id` int unsigned NOT NULL AUTO_INCREMENT, `username` varchar() COM ...
随机推荐
- html。PROGRESS进度条使用测试
效果图 : 代码: ----------------------------------- //本文来自:https://www.cnblogs.com/java2sap/p/11199126.htm ...
- Vue.js 源码分析(十一) 基础篇 过滤器 filters属性详解
Vue.js 允许你自定义过滤器,可被用于一些常见的文本格式化.过滤器可以用在两个地方:双花括号插值和 v-bind 表达式 (后者从 2.1.0+ 开始支持).过滤器应该被添加在 JavaScrip ...
- struts2拦截器的实现机制
前言 最近老大让每周写一篇技术性的博客,想想也没啥写,就想着随便拿个以前的项目去研究研究五大框架的底层代码.本人水平有限,有不对的地方还望大家勿喷,指正! 开始之前先了解下strtus2的工作流程: ...
- 【spring boot】【redis】spring boot 集成redis的发布订阅机制
一.简单介绍 1.redis的发布订阅功能,很简单. 消息发布者和消息订阅者互相不认得,也不关心对方有谁. 消息发布者,将消息发送给频道(channel). 然后是由 频道(channel)将消息发送 ...
- WPF DispatcherTimer一些个人看法 (原发布 csdn 2017-04-25 19:12:22)
wpf中的DispatcherTimer基本用法,本文不在叙述.主要写一些不同的,来提醒自己不要再犯同样错误. 前几天写代码时发现.当在非UI线程创建DispatcherTimer实例时,程序无法进入 ...
- 记第一次使用NET CORE 2.2 完成的DEMO部署在LINUX并且上线
.NET CORE 这么久了一直没有成功打通过,今天花了点儿时间做了一个小DEMO,首次完成并且部署上线.记录一下. DEMO中只是测试了一下从MSSQL中获取数据,并且显示在页面上,涉及到了数据库连 ...
- python plotly 画饼状图
代码 import pandas as pd import numpy as np import plotly.plotly as py import plotly.graph_objs as go ...
- python2.7 与python3.X区别
1,print("中文") python2.7,会报错 原因:py2.7用ascll码 解决:2.7头部加入并保存的文件用utf-8编码 # -*- coding: utf-8 ...
- android studio学习----gradle配置
转载地址:http://blog.csdn.net/loongggdroid/article/details/47037413 1.gradle的简单介绍 Gradle是可以用于Android开发的新 ...
- Django框架(七)-- 模板层:模板导入、模板继承、静态文件
一.模板导入 要复用一个组件,可以将该组件写在一个文件中,在使用的时候导入即可 在模板中使用 1.语法 {% include '模板名字' %} 2.使用 ad.html页面 <div clas ...