上上周见fc爷用长链剖分秒题 于是偷偷学一学

3522的数据范围很小 可以暴力枚举每个点作为根节点来dp 复杂度\(O(n^2)\)

考虑令
\(f[x][j]\)表示以\(x\)为根的子树内距离\(x\)为\(j\)的点的个数
\(g[x][j]\)表示以\(x\)为根的子树内的点对\((a,b)\)距他们的\(lca\)的距离为\(d\),\(x\)距\(lca\)的距离为\(d-j\)的点对数

那么转移很明了
对于 \(x,y\) 其中\(fa[y]=x\) 有

\(f[x][i]+=f[y][i-1]\)

\(g[x][i-1]+=g[y][i]\)

\(g[x][i+1]+=f[x][i+1]*f[y][i]\)

\(ans+=f[x][i-1]*g[y][i]+g[x][i+1]*f[y][i]\)

发现对于第一个儿子\(y\)有

\(f[x]=f[y]-1\)

\(g[x]=g[y]+1\)

\(ans+=g[x][0]\)

于是我们可以对于最长链先用指针转移 复杂度为\(O(1)\) 其余暴力转移 这样的复杂度看似\(O(nlog_n)\) 其实是\(O(n)\)

我在网上的题解里看到一个写的比较通俗易懂的:

实际上如果一个点v 在某个祖先u 对复杂度有+1的效果,说明v 不在u往下的最长链上,并且v 在 u 的儿子u’(也是 v 的祖先)的最长链上。则到u 的父亲时,v 不在 u的最长链上,则对答案没有贡献。所以贡献的总和是 O(n)的。

贴上代码

#include<bits/stdc++.h>
#define bug(x) cout<<(#x)<<" "<<(x)<<endl
#define ll long long
/*
char *TT,*mo,but[(1<<15)+2];
#define getchar() ((TT==mo&&(mo=(TT=but)+fread(but,1,1<<15,stdin),TT==mo))?-1:*TT++)//*/
using namespace std;
const int N=1e5+5;
inline int read(){
int x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
struct Edge{
int v,nxt;
}e[N<<1];
int n,tot;
int dep[N],dn[N],son[N],head[N];
ll tmp[N*10],*tt=tmp,*f[N],*g[N];
ll ans;
void add(int u,int v){
e[++tot].v=v,e[tot].nxt=head[u],head[u]=tot;
e[++tot].v=u,e[tot].nxt=head[v],head[v]=tot;
}
inline void dfs(int x,int fa){
dn[x]=x,dep[x]=dep[fa]+1;
for(int i=head[x];i;i=e[i].nxt){
int j=e[i].v;
if(j==fa) continue;
dfs(j,x);
if(dep[dn[x]]<dep[dn[j]]) dn[x]=dn[j],son[x]=j;
}
for(int i=head[x];i;i=e[i].nxt) if(e[i].v!=fa&&(x==1||e[i].v!=son[x])){
int j=dn[e[i].v];
f[j]=(tt+=dep[j]-dep[x]+1);
g[j]=(++tt),tt+=((dep[j]-dep[x])<<1)+1;
}
}
inline void dp(int x,int fa){
for(int i=head[x];i;i=e[i].nxt){
int j=e[i].v;
if(j==fa) continue;
dp(j,x);
if(j==son[x]) f[x]=f[j]-1,g[x]=g[j]+1;
}
ans+=g[x][0],f[x][0]=1;
for(int i=head[x];i;i=e[i].nxt){
int j=e[i].v;
if(j==fa||j==son[x]) continue;
for(int k=0;k<=dep[dn[j]]-dep[x];k++) ans+=f[x][k-1]*g[j][k]+g[x][k+1]*f[j][k];
for(int k=0;k<=dep[dn[j]]-dep[x];k++) {
g[x][k-1]+=g[j][k];
g[x][k+1]+=f[x][k+1]*f[j][k];
f[x][k+1]+=f[j][k];
}
} }
int main(){
#ifdef Devil_Gary
freopen("in.txt","r",stdin);
#endif
n=read();
for(int i=1;i<n;i++) add(read(),read());
dfs(1,0),dp(1,0);
printf("%lld\n",ans);
return 0;
}

BZOJ3522&4543 [POI2014]Hotel加强版 长链剖分的更多相关文章

  1. BZOJ.4543.[POI2014]Hotel加强版(长链剖分 树形DP)

    题目链接 弱化版:https://www.cnblogs.com/SovietPower/p/8663817.html. 令\(f[x][i]\)表示\(x\)的子树中深度为\(i\)的点的个数,\( ...

  2. bzoj4543 [POI2014]Hotel加强版 长链剖分+树形DP

    题目传送门 https://lydsy.com/JudgeOnline/problem.php?id=4543 题解 这道题的弱化版 bzoj3522 [POI2014]Hotel 的做法有好几种吧. ...

  3. 【BZOJ4543】[POI2014]Hotel加强版 长链剖分+DP

    [BZOJ4543][POI2014]Hotel加强版 Description 同OJ3522数据范围:n<=100000 Sample Input 7 1 2 5 7 2 5 2 3 5 6 ...

  4. BZOJ4543[POI2014]Hotel加强版——长链剖分+树形DP

    题意参见BZOJ3522 n<=100000 数据范围增强了,显然之前的转移方程不行了,那么不妨换一种. 因为不能枚举根来换根DP,那么我们描述的DP方程每个点要计算三个点都在这个点的子树内的方 ...

  5. 4543: [POI2014]Hotel加强版

    4543: [POI2014]Hotel加强版 链接 分析: f[u][i]表示子树u内,距离u为i的点的个数,g[u][i]表示在子树u内,已经选了两个深度一样的点,还需要在距离u为i的一个点作为第 ...

  6. 【刷题】BZOJ 4543 [POI2014]Hotel加强版

    Description 同OJ3522 数据范围:n<=100000 Solution dp的设计见[刷题]BZOJ 3522 [Poi2014]Hotel 然后发现dp的第二维与深度有关,于是 ...

  7. bzoj 4543: [POI2014]Hotel加强版

    Description 给出一棵树求三元组 \((x,y,z)\,,x<y<z\) 满足三个点两两之间距离相等,求三元组的数量 Solution 考虑暴力 \(DP\) 设 \(f[i][ ...

  8. bzoj 3522 / 4543 [POI 2014] Hotel - 动态规划 - 长链剖分

    题目传送门 bzoj 3522 需要root权限的传送点 bzoj 4543 快速的传送点 慢速的传送点 题目大意 给定一棵树,问有多少个无序三元组$(x, y, z)$使得这三个不同点在树上两两距离 ...

  9. BZOJ4543/BZOJ3522 [POI2014]Hotel加强版(长链剖分)

    题目好神仙--这个叫长链剖分的玩意儿更神仙-- 考虑dp,设\(f[i][j]\)表示以\(i\)为根的子树中到\(i\)的距离为\(j\)的点的个数,\(g[i][j]\)表示\(i\)的子树中有\ ...

随机推荐

  1. java基础18 String字符串和Object类(以及“equals” 和 “==”的解析)

    一.String字符串 问:笔试题:new String("abc")创建了几个对象?答:两个对象,一个对象是 位于堆内存,一个对象位于字符串常量池 class Demo17 { ...

  2. 洛谷P1938 找工就业

    传送门啦 这个题本质就是跑一边最长路,重点就是在怎么建图上. 我们可以把点权放到边权上面,即将每一个边的终点点权当做这个边的边权,这个题里就是将工钱 $ d $ 当做边权. 如果这一条边需要坐飞机才能 ...

  3. C语言基础 - read()函数读取文本字节导致判断失误的问题

    工作了几个月,闲着没事又拿起了经典的C程序设计看了起来,看到字符计数一节时想到用read()去读文本作为字符输入,一切OK,直到行计数时问题出现 了,字符总计数没有问题,可行计算就是进行不了,思考了半 ...

  4. Ubuntu 搭建docker registry 私有仓库

    一.为什么要搭建 docker 私有仓库 原因有几个: 项目需要,不希望将项目放到 docker hub 上. 环境需求,考虑网络.效率的问题,希望在私有服务器上建立自用的仓库,提高便利性和访问速度. ...

  5. Ninject中如果在抽象类中使用了属性注入,则属性必须设置为protected或public

    Ninject中如果在抽象类中使用了属性注入,则属性必须设置为protected或public 不能使用private,否则无法注入成功,会报null异常

  6. PHP将对象转换成数组的方法(兼容多维数组类型)

    /** * @author gayayang * @date 2012-8-21 * @todo 将对象转换成数组 * @param unknown_type $obj * @return unkno ...

  7. 解析文本文件 "r" 与 "rb" 模式的区别(Python)

    r,rb 那么在读文件时,有无b标识的的主要区别在哪里呢? 1.文件使用方式标识 'r':默认值,表示从文件读取数据.'b':表示要读写二进制数据 2.读文件 进行读文件操作时,直到读到文档结束符(E ...

  8. 【Codechef】Chef and Bike(二维多项式插值)

    something wrong with my new blog! I can't type matrixs so I come back. qwq 题目:https://www.codechef.c ...

  9. git status中文文件名编码问题解决

    在默认设置下,中文文件名在工作区状态输出,中文名不能正确显示,而是显示为八进制的字符编码. 通过将git配置变量 core.quotepath 设置为false,就可以解决中文文件名称在这些Git命令 ...

  10. 【转】 LINUX中IPTABLES和TC对端口的带宽限制 端口限速

    不管是iptables还是tc(traffic control)功能都很强大,都是与网络相关的工具,那么我们就利用这两个工具来对端口进行带宽的限制. 1.使用命令ifconfig查看服务器上的网卡信息 ...