CF809E Surprise me!(莫比乌斯反演+Dp(乱搞?))
题目大意:
给你一棵树,树上的点编号为\(1-n\)。选两个点\(i、j\),能得到的得分是\(\phi(a_i*a_j)*dis(i,j)\),其中\(dis(i,j)\)表示\(a\)到\(b\)的最短距离。求一次选择能得到的得分的期望
推式子
显然是求\(\frac{1}{n(n-1)} \sum\limits_{i=1}^n \sum\limits_{j=1}^n \phi(i*j)*dis(i,j)\)
有这样一个式子\(\phi(i*j)=\frac{\phi(i)*phi(j)*gcd(i,j)}{\phi(gcd(i,j))}\),于是按照套路莫比乌斯反演一波
令 \(p_{a_i}=i\)
原式=\(\frac{1}{n(n-1)} \sum\limits_{d=1}^n \sum\limits_{i=1}^{n/d} \sum\limits_{j=1}^{n/d} \frac{\phi(id)*\phi(jd)*d}{\phi(d)}*dis(p_{id},p_{jd})*[gcd(i,j)==1]\)
\(=\frac{1}{n(n-1)} \sum\limits_{d=1}^n \frac{d}{\phi(d)} \sum\limits_{i=1}^{n/d}\mu(i) \sum\limits_{j=1}^{n/di} \sum\limits_{k=1}^{n/di} \phi(ijd)*\phi(ikd)*dis(p_{ijd},p_{jkd})\)
令 \(T=id\)
原式=\(\frac{1}{n(n-1)} \sum\limits_{T=1}^n \sum\limits_{d|T} \frac{d\mu(T/d)}{\phi(d)} \sum\limits_{i=1}^{n/d} \sum\limits_{j=1}^{n/d} \phi(ijd)*\phi(ikd)*dis(p_{ijd},p_{jkd})\)
\(\sum\limits_{T=1}^n \sum\limits_{d|T} \frac{d\mu(T/d)}{\phi(d)}\)可以用\(O(NlnN)\)的时间跑出来(会线性求的大佬请评论告知一下小蒟蒻做法谢谢QAQ),问题是\(\sum\limits_{i=1}^{n/d} \sum\limits_{j=1}^{n/d} \phi(ijd)*\phi(ikd)*dis(p_{ijd},p_{jkd})\),这个可以建虚树保证时间复杂度,在虚树上\(dp\)就行了……吗?
大概是个乱搞?
因为我太菜看不懂大佬们的\(dp\)做法,于是自己乱搞了一下:
设虚树上所有点的点集为\(V\),虚树上点\(x\)的贡献为\(B_x\) . 可以发现当\(w_x\neq 0\)时,\(T|a_x\)
于是就要求:
\[\sum\limits_{i\in V}\sum\limits_{j\in V} B_i*B_j*dis(i,j)\]
把距离拆开
\(\sum\limits_{i\in V}\sum\limits_{j\in V} B_i*B_j*dep_i+B_i*B_j*dep_j-2*B_i*B_j*dep_{lca}\)
令\(A_i=B_i*dep_i\),\(sum=\sum\limits _{i \in V} B_i\),则有:
\(\sum\limits_{i\in V}\sum\limits_{j\in V} A_i*w_j+A_j*B_i*dep_j-2*B_i*B_j*dep_{lca}\)
\(=2\sum\limits_{i\in V}sum*A_i-2\sum\limits_{i\in V}\sum\limits_{j\in V} B_i*B_j*dep_{lca}\)
这样就可以枚举\(lca\),\(dfs\)一遍求得答案
详见代码:
#include <bits/stdc++.h>
#define N 200010
#define mod 1000000007ll
#define ll long long
using namespace std;
int p[N],n,tot,cnt,f[N][18],dep[N],son[N],st[N],top[N],dfn[N],fa[N],fr,pr[N],bb,sz[N],d[N];
ll phi[N],S[N],u[N],inv[N],w[N],sum[N],pre,ans,B[N];
int head[N],nxt[N],v[N];
bool vis[N];
vector<int>G[N];
void init(int n){
phi[1]=u[1]=inv[1]=1;
for(int i=2;i<=n;++i){
inv[i]=(1ll*mod-mod/i)*inv[mod%i]%mod;
if(!vis[i]) pr[++cnt]=i,phi[i]=i-1,u[i]=-1;
for(int j=1;j<=cnt && i*pr[j]<=n;++j){
vis[i*pr[j]]=1;
if(i%pr[j]!=0){
u[i*pr[j]]=-u[i];
phi[i*pr[j]]=phi[i]*(pr[j]-1);
} else{
u[i*pr[j]]=0;
phi[i*pr[j]]=phi[i]*pr[j];
break;
}
}
}
for(int i=1;i<=n;++i)
for(int j=i;j<=n;j+=i)
(S[j]+=1ll*u[j/i]*i%mod*inv[phi[i]]%mod)%=mod,(S[j]+=mod)%=mod;
}
void dfs1(int x,int f){
fa[x]=f,dep[x]=dep[f]+1,sz[x]=1;
for(int i=0;i<G[x].size();++i){
int to=G[x][i];
if(to!=f){
dfs1(to,x);
if(sz[to]>sz[son[x]]) son[x]=to;
}
}
}
void dfs2(int x,int s){
dfn[x]=++cnt,top[x]=s;
if(!son[x]) return;
dfs2(son[x],s);
for(int i=0;i<G[x].size();++i){
int to=G[x][i];
if(!dfn[to]) dfs2(to,to);
}
}
inline int lca(int x,int y){
if(x==0 || y==0) return 0;
while(top[x]!=top[y]){
if(dep[top[x]]<dep[top[y]]) swap(x,y);
x=fa[top[x]];
}
if(dep[x]<dep[y]) return x;
else return y;
}
void add(int x,int y){ v[++bb]=y,nxt[bb]=head[x],head[x]=bb; }
bool cmp(const int &x,const int &y){ return dfn[x]<dfn[y]; }
void insert(int p){
if(fr==1){ st[++fr]=p;return; }
int ff=lca(p,st[fr]);
if(ff==st[fr]){
st[++fr]=p;
return;
}
while(fr>1 && dfn[st[fr-1]]>=dfn[ff]) add(st[fr-1],st[fr]),fr--;
if(ff!=st[fr]) add(ff,st[fr]),st[fr]=ff;
st[++fr]=p;
}
void build(int num){
ll tmp=0;
sort(d+1,d+num+1,cmp);
fr=0,st[++fr]=0;
for(int i=1;i<=num;++i){
insert(d[i]);
(pre+=B[d[i]])%=mod;
}
for(int i=1;i<=num;++i)
(tmp+=2ll*pre%mod*B[d[i]]%mod*dep[d[i]]%mod)%=mod;
while(fr>1)
add(st[fr-1],st[fr]),fr--;
ans=tmp;
}
void dfs3(int x,int f){
sum[x]=0;
for(int i=head[x];i;i=nxt[i]){
int to=v[i];
if(v[i]!=f && v[i]){
dfs3(v[i],x);
(sum[x]+=sum[to])%=mod;
}
}
if(vis[x]) (sum[x]+=B[x])%=mod;
for(int i=head[x];i;i=nxt[i]){
int to=v[i];
if(v[i]!=f && v[i]){
(ans-=sum[to]%mod*(sum[x]-sum[to]+mod)%mod*2ll%mod*dep[x]%mod)%=mod;
(ans+=mod)%=mod;
}
}
if(vis[x]){
(ans-=2ll*B[x]%mod*sum[x]%mod*dep[x]%mod)%=mod;
(ans+=mod)%=mod;
}
head[x]=0;
}
int main(){
int x,y,i,j;ll qwq=0;
scanf("%d",&n);
for(i=1;i<=n;++i) scanf("%d",&x),p[x]=i;
init(n);
for(i=1;i<n;++i){
scanf("%d%d",&x,&y);
G[x].push_back(y),G[y].push_back(x);
}
dfs1(1,0);
dfs2(1,1);
memset(vis,0,sizeof(vis));
for(i=1;i<=n;++i){
pre=0,tot=0;bb=0;
for(j=i;j<=n;j+=i) d[++tot]=p[j],B[d[tot]]=phi[j],vis[d[tot]]=1;
build(tot);
dfs3(0,-1);
(qwq+=S[i]*ans%mod)%=mod;
for(j=1;j<=tot;++j) vis[d[j]]=0,B[d[j]]=0,d[j]=0;
}
printf("%I64d",qwq*inv[n-1]%mod*inv[n]%mod);
}
CF809E Surprise me!(莫比乌斯反演+Dp(乱搞?))的更多相关文章
- CF809E Surprise me! 莫比乌斯反演、虚树
传送门 简化题意:给出一棵\(n\)个点的树,编号为\(1\)到\(n\),第\(i\)个点的点权为\(a_i\),保证序列\(a_i\)是一个\(1\)到\(n\)的排列,求 \[ \frac{1} ...
- Playrix Codescapes Cup (Codeforces Round #413, rated, Div. 1 + Div. 2)(A.暴力,B.优先队列,C.dp乱搞)
A. Carrot Cakes time limit per test:1 second memory limit per test:256 megabytes input:standard inpu ...
- 2016 10 28考试 dp 乱搞 树状数组
2016 10 28 考试 时间 7:50 AM to 11:15 AM 下载链接: 试题 考试包 这次考试对自己的表现非常不满意!! T1看出来是dp题目,但是在考试过程中并没有推出转移方程,考虑了 ...
- BZOJ - 2500 树形DP乱搞
题意:给出一棵树,两个给给的人在第\(i\)天会从节点\(i\)沿着最长路径走,求最长的连续天数\([L,R]\)使得\([L,R]\)为起点的最长路径极差不超过m 求\(1\)到\(n\)的最长路经 ...
- HZOJ 20190727 T2 单(树上dp+乱搞?+乱推式子?+dfs?)
考试T2,考试时想到了40pts解法,即对于求b数组,随便瞎搞一下就oxxk,求a的话,很明显的高斯消元,但考试时不会打+没开double挂成10pts(我真sb),感觉考试策略还是不够成熟,而且感觉 ...
- Codeforces 809E Surprise me! [莫比乌斯反演]
洛谷 Codeforces 非常套路的一道题,很适合我在陷入低谷时提升信心-- 思路 显然我们需要大力推式子. 设\(p_{a_i}=i\),则有 \[ \begin{align*} n(n-1)an ...
- [BZOJ4011][HNOI2015]落忆枫音-[dp乱搞+拓扑排序]
Description 传送门 Solution 假如我们的图为DAG图,总方案数ans为每个点的入度In相乘(不算1号点).(等同于在每个点的入边选一条边,最后一定构成一棵树). 然而如果加了边x- ...
- [OpenJudge90][序列DP+乱搞]滑雪
滑雪 总时间限制: 1000ms 内存限制: 65536kB [描述] Michael喜欢滑雪百这并不奇怪, 因为滑雪的确很刺激.可是为了获得速度,滑的区域必须向下倾斜,而且当你滑到坡底,你不得不再次 ...
- [CSP-S模拟测试]:最小值(DP+乱搞)
题目背景 $Maxtir$更喜欢序列的最小值. 题目传送门(内部题128) 输入格式 第一行输入一个正整数$n$和四个整数$A,B,C,D$. 第二行输入$n$个整数,第$i$个数表示$a_i$. 输 ...
随机推荐
- win10系统电脑常用基本操作快捷键
win:开始 == ctrl + ESC :开始菜单 win + X: 开始菜单 win + i : 控制面板 win + L:快速锁屏 win +A:操作中心 win+Tab 时间轴(1803版本 ...
- VS2015 IIS Express Web服务器无法启动解决办法
1.运行和调试vs2015项目 提示无法运行项目,打开vs2013项目发现可以正常运行,所以推测试vs2015项目配置有问题. 2.找到项目启动项中 .csproj文件,定位到<WebProje ...
- 高端内存映射之kmap_atomic固定映射--Linux内存管理(二十一)
1 固定映射 1.1 数据结构 linux高端内存中的临时内存区为固定内存区的一部分, 对于固定内存在linux内核中有下面描述 x86 arm arm64 arch/x86/include/asm/ ...
- Windows Server 2016-查询并导出固定时间段创建AD用户
生产环境中往往我们有各式各样的需求,例如快速查询某段时间创建用户,或批量导出固定时间段创建用户列表,具体操作如下: $date=Get-Date $oldday=(Get-Date).AddDays( ...
- 安卓(Android)开发基础知识
.aar文件 .aar是一种压缩文件,和.jar类似,不过它可以包含资源文件,例如图片.drawable.xml资源 .jar文件 在软件领域,JAR文件(Java归档,英语:Java ARchive ...
- bootstrap,bootstrap-table,bootstrapValidator,animate,layer配合起来搞事情
资源准备(just download) bootstrap: http://www.bootcss.com/ bootstrap-table: http://bootstrap-table.wenzh ...
- django url分发,视图,模板回顾
Django基础轮廓 MTV+controller 一 url分发系统: 1 简单使用 url(r'^articles/2003/$', views.special_case_2003), # spe ...
- zookeeper的分布式锁
实现分布式锁目前有三种流行方案,分别为基于数据库.Redis.Zookeeper的方案,其中前两种方案网络上有很多资料可以参考,本文不做展开.我们来看下使用Zookeeper如何实现分布式锁. 什么是 ...
- bzoj3122 [SDOI2013]随机数生成器
bzoj3122 [SDOI2013]随机数生成器 给定一个递推式, \(X_i=(aX_{i-1}+b)\mod P\) 求满足 \(X_k=t\) 的最小整数解,无解输出 \(-1\) \(0\l ...
- SpringBoot中使用Servlet,Filter,Listener
项目最近在替换之前陈旧的框架,改用SpringBoot进行重构,初接触,暂时还没有用到Servlet,Filter,Listener的地方,但在之前回顾Servlet的生命周期时,https://ww ...