#分治,Kruskal#洛谷 3206 [HNOI2010]城市建设
题目
动态改边权求最小生成树
\(n\leq 2*10^4,m\leq 5*10^4,q\leq 5*10^4\)
分析
乍一看是线段树分治,但有一个很大的问题就是局部的Kruskal不一定是最后的选择,
但是如果在底部再处理所有边的话,那仍然是 \(O(qm\log m)\) 的复杂度,必须在到达底层之前处理掉一些边。
由于所有边只是边权改变,并不需要线段树分治(常数会更大)。
分治到 \([l,r]\) 区间时,考虑两种特殊情况,就是需要修改的边无限大或者无限小。
无限小的时候,如果其它边被选上了,那么它们在之后肯定也会被选上,
直接缩成同一个连通块并统计答案,这样就保证点数一定与 \(r-l\) 同级
无限大的时候,如果没有被选上,一定不会被选上,直接不管这些边,
这样在无限小之后保证边数与点数同级。
各跑一次Kruskal,时间复杂度 \(O(m\log q\log m)\)
代码
#include <cstdio>
#include <cctype>
#include <algorithm>
using namespace std;
const int N=50011,inf=1e9; typedef long long lll;
struct rec{int x,w;}q[N];
struct node{int x,y,w,rk;}e[21][N],E[N];
int edge[21],w[N],rk[N],f[N],b[N],n,m,Q; lll ans[21];
int iut(){
int ans=0; char c=getchar();
while (!isdigit(c)) c=getchar();
while (isdigit(c)) ans=ans*10+c-48,c=getchar();
return ans;
}
void print(lll ans){
if (ans>9) print(ans/10);
putchar(ans%10+48);
}
bool cmp(node x,node y){return x.w<y.w;}
int getf(int u){return f[u]==u?u:f[u]=getf(f[u]);}
void dfs(int dep,int l,int r){
int Edge=edge[dep]; lll Ans=ans[dep];
if (l==r) w[q[l].x]=q[l].w;
for (int i=1;i<=Edge;++i){
e[dep][i].w=w[e[dep][i].rk];
E[i]=e[dep][i],rk[E[i].rk]=i;
}
if (l==r){
sort(E+1,E+1+Edge,cmp);
for (int i=1;i<=Edge;++i)
f[E[i].x]=E[i].x,f[E[i].y]=E[i].y;
for (int i=1;i<=Edge;++i){
int fa=getf(E[i].x),fb=getf(E[i].y);
if (fa>fb) fa^=fb,fb^=fa,fa^=fb;
if (fa!=fb) Ans+=E[i].w,f[fa]=fb;
}
print(Ans),putchar(10);
return;
}
for (int i=l;i<=r;++i) E[rk[q[i].x]].w=-inf;
for (int i=1;i<=Edge;++i) f[E[i].x]=E[i].x,f[E[i].y]=E[i].y;
sort(E+1,E+1+Edge,cmp);
int EDGE=0;
for (int i=1;i<=Edge;++i){
int fa=getf(E[i].x),fb=getf(E[i].y);
if (fa>fb) fa^=fb,fb^=fa,fa^=fb;
if (fa!=fb) f[fa]=fb,b[++EDGE]=i;
}
for (int i=1;i<=EDGE;++i) f[E[b[i]].x]=E[b[i]].x,f[E[b[i]].y]=E[b[i]].y;
for (int i=1;i<=EDGE;++i)
if (E[b[i]].w!=-inf){
int fa=getf(E[b[i]].x),fb=getf(E[b[i]].y);
if (fa>fb) fa^=fb,fb^=fa,fa^=fb;
Ans+=E[b[i]].w,f[fa]=fb;
}
EDGE=0;
for (int i=1;i<=Edge;++i){
int fa=getf(E[i].x),fb=getf(E[i].y);
if (fa!=fb) b[++EDGE]=i;
}
for (int i=1;i<=EDGE;++i){
E[i]=(node){f[E[b[i]].x],f[E[b[i]].y],E[b[i]].w,E[b[i]].rk};
rk[E[i].rk]=i;
}
Edge=EDGE;
for (int i=l;i<=r;++i) E[rk[q[i].x]].w=inf;//无限小时大于r的rk被放在最后即使被删除也不会影响
for (int i=1;i<=Edge;++i) f[E[i].x]=E[i].x,f[E[i].y]=E[i].y;
sort(E+1,E+1+Edge,cmp),EDGE=0;
for (int i=1;i<=Edge;++i){
int fa=getf(E[i].x),fb=getf(E[i].y);
if (fa>fb) fa^=fb,fb^=fa,fa^=fb;
if (fa!=fb) f[fa]=fb,b[++EDGE]=i;
else if (E[i].w==inf) b[++EDGE]=i;
}
for (int i=1;i<=EDGE;++i){
E[i]=(node){E[b[i]].x,E[b[i]].y,E[b[i]].w,E[b[i]].rk};
rk[E[i].rk]=i;
}
Edge=EDGE;
for (int i=1;i<=Edge;++i) e[dep+1][i]=E[i];
int mid=(l+r)>>1;
edge[dep+1]=Edge,ans[dep+1]=Ans;
dfs(dep+1,l,mid),dfs(dep+1,mid+1,r);
}
int main(){
n=iut(),m=iut(),Q=iut();
for (int i=1;i<=m;++i)
e[0][i]=(node){iut(),iut(),w[i]=iut(),i};
for (int i=1;i<=Q;++i) q[i]=(rec){iut(),iut()};
edge[0]=m,dfs(0,1,Q);
return 0;
}
#分治,Kruskal#洛谷 3206 [HNOI2010]城市建设的更多相关文章
- 洛谷P3206 [HNOI2010]城市建设
神仙题 题目大意: 有一张\(n\)个点\(m\)条边的无向联通图,每次修改一条边的边权,问每次修改之后这张图的最小生成树权值和 话说是不是\(cdq\)题目都可以用什么数据结构莽过去啊-- 这道题目 ...
- Luogu 3206 [HNOI2010]城市建设
BZOJ 2001 很神仙的cdq分治 先放论文的链接 顾昱洲_浅谈一类分治算法 我们考虑分治询问,用$solve(l, r)$表示询问编号在$[l, r]$时的情况,那么当$l == r$的时候 ...
- 【BZOJ2001】[HNOI2010]城市建设(CDQ分治,线段树分治)
[BZOJ2001][HNOI2010]城市建设(CDQ分治,线段树分治) 题面 BZOJ 洛谷 题解 好神仙啊这题.原来想做一直不会做(然而YCB神仙早就切了),今天来怒写一发. 很明显这个玩意换种 ...
- 【LG3206】[HNOI2010]城市建设
[LG3206][HNOI2010]城市建设 题面 洛谷 题解 有一种又好想.码得又舒服的做法叫线段树分治+\(LCT\) 但是因为常数过大,无法跑过此题. 所以这里主要介绍另外一种玄学\(cdq\) ...
- [HNOI2010]城市建设
[HNOI2010]城市建设 玄学cdq O(nlog^2n)的动态最小生成树 其实就是按照时间cdq分治+剪枝(剪掉一定出现和不可能出现的边) 处理[l,r]之间的修改以及修改之后的询问,不能确定是 ...
- [洛谷P3761] [TJOI2017]城市
洛谷题目链接:[TJOI2017]城市 题目描述 从加里敦大学城市规划专业毕业的小明来到了一个地区城市规划局工作.这个地区一共有ri座城市,<-1条高速公路,保证了任意两运城市之间都可以通过高速 ...
- 【经典DP】洛谷 P2782 友好城市
嘤嘤嘤,昨天两个文化课老师在上奥赛时招呼我(亲切交流),今天又要写工作报告,没时间写题解,希望今天能补上 友好城市 题目://洛谷那粘来的题面竟然能把格式粘过来 题目描述 有一条横贯东西的大河,河有笔 ...
- 洛谷 P2120 [ZJOI2007] 仓库建设
链接: P2120 题意: 有 \(n\) 个点依次编号为 \(1\sim n\).给出这 \(n\) 个点的信息,包括位置 \(x_i\),所拥有的的物品数量 \(p_i\),在此建设一个仓库的费用 ...
- 洛谷P3203 [HNOI2010]弹飞绵羊(LCT,Splay)
洛谷题目传送门 关于LCT的问题详见我的LCT总结 思路分析 首先分析一下题意.对于每个弹力装置,有且仅有一个位置可以弹到.把这样的一种关系可以视作边. 然后,每个装置一定会往后弹,这不就代表不存在环 ...
- Bzoj2002/洛谷P3203 [HNOI2010]弹飞绵羊(分块)
题面 Bzoj 洛谷 题解 大力分块,分块大小\(\sqrt n\),对于每一个元素记一下跳多少次能跳到下一个块,以及跳到下一个块的哪个位置,修改的时候时候只需要更新元素所在的那一块即可,然后询问也是 ...
随机推荐
- EnumColorProfiles WcsGetDefaultColorProfile WcsSetDefaultColorProfile的使用
#include <Windows.h> #include <Icm.h> #include <iostream> #include <string> ...
- 【Android逆向】某小说网站签名破解
1. 豌豆荚下载v5.4的版本 2. 参考前面两篇文章进行反编译和重打包后,安装到手机发现会有验签失败的报错 抓取log 03-29 16:15:37.545 25910 26539 D KM-NAT ...
- [BUUCTF][WEB][极客大挑战 2019]Knife 1
这题几乎是送分 题目不断暗示,后台存在一句话木马 拿个蚁剑连上去就完事了 这里用curl 连上去,演示一下,理解一下其中的原理 #注意 phpinfo() 后面的分号不能省 curl -d " ...
- cookie和服务器Session的区别
cookie和服务器Session的区别 cookie和服务器Session都可用来存储用户信息,cookie存放于客户端,Session存放于web服务器端. 因为cookie存放于客户端有可能被窃 ...
- 泛型类Generic注解
在 Python 的 typing 模块中,Generic 是一个泛型类,用于创建参数化的类和函数,以便支持不同类型的参数.它允许你定义具有类型参数的类,这些类型参数在实例化时才确定.这样,你可以在不 ...
- 【Azure 存储服务】Azure Data Lake Storage (ADLS) Gen2 GRS Failover是否支持自动切换或者手动切换到灾备的终结点呢?
问题描述 在Azure的存储服务中,介绍灾备恢复和Storage Account故障转移的文档中,有一句话"Account failover is not supported for sto ...
- 【Azure 应用服务】如何定期自动重启 Azure App Service Plan(应用服务计划)
问题描述 如何定期自动重启 Azure App Service Plan(应用服务计划)? 因一个App Service Plan 下包含多个应用服务,如果能统一通过应用服务计划来重启所有的应用,则有 ...
- C++ //案列-员工分组 ( 容器存放,查找,打印,统计,宏定义 ,随机)
//案列-员工分组//描述:公司招聘10个员工(ABCDEFGHIJ),10名指派员工进入公司,需要指派那个员工在那个部门工作//员工信息有:姓名 工资组成: 部门分为:策划 美术 研发//随机给10 ...
- centos7挂载硬盘(大于2T)
配置方法: 1.root账户下,执行 fdisk -l 命令查看挂载的硬盘设备,假设设备号为/dev/sdb,接下来我们使用parted命令来进行GPT分区 2.使用parted命令进行GPT分区 # ...
- C1. Good Subarrays (Easy Version)
思路:我们枚举每一个左端点,对于每一个左端点,寻找最长的满足条件的区间,这个区间长度就是左端点对答案的贡献,可以发现具有单调性,右端点只会前进不会倒退.所以我们两个指针各扫一遍区间就可以. #incl ...