[bzoj3514][CodeChef GERALD07] Chef ans Graph Queries [LCT+主席树]
题面
思路
首先可以确定,这类联通块相关的询问问题,都可以$LCT$+可持久化记录解决
用LCT维护生成树作为算法基础
具体而言,从前往后按照边的编号顺序扫一遍边
如果这条边两端不在同一个$LCT$联通块中,则$link$
否则$cut$掉当前连接两条边的路径上的编号最小的边,并$link$
记录$ntr[i]$表示第$i$条边触发第二种情况时$link$前$cut$掉的边的编号
如果触发第一种情况,则$ntr[i]=0$
如果为自环,则$ntr[i]=i$
这样记录之后,建立$ntr[i]$的主席树,每次在$ntr[i]$的位置+1
对于查询$[l,r]$,$Ans=n-query(0,l-1,root[l-1],root[r])$
具体原因为:考虑每个$ntr$值大于等于$l$的边,显然它们在不在对答案都没有贡献(因为已经被ntr了)
否则,它们会连接两个联通块,但是这条边不在$[l,r]$区间内,所以有联通块个数-1的贡献
Code
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cstdio>
#define mp make_pair
using namespace std;
inline int read(){
int re=0,flag=1;char ch=getchar();
while(!isdigit(ch)){
if(ch=='-') flag=-1;
ch=getchar();
}
while(isdigit(ch)) re=(re<<1)+(re<<3)+ch-'0',ch=getchar();
return re*flag;
}
int fa[400010],ch[400010][2],val[400010],minn[400010],rev[400010];
void update(int x){
minn[x]=x;
if(val[minn[x]]>val[minn[ch[x][0]]]) minn[x]=minn[ch[x][0]];
if(val[minn[x]]>val[minn[ch[x][1]]]) minn[x]=minn[ch[x][1]];
}
int nroot(int x){return ((ch[fa[x]][0]==x)||(ch[fa[x]][1]==x));}
int get(int x){return ch[fa[x]][1]==x;}
void pushrev(int x){
if(!x) return;
swap(ch[x][0],ch[x][1]);
rev[x]^=1;
}
void pushdown(int x){
if(!rev[x]) return;
pushrev(ch[x][0]);
pushrev(ch[x][1]);
rev[x]=0;
}
void push(int x){
if(!x) return;
if(nroot(x)) push(fa[x]);
pushdown(x);
}
void rotate(int x){
int f=fa[x],ff=fa[f],son=get(x),nr=nroot(f);
// cout<<" rotate "<<x<<' '<<f<<' '<<ff<<' '<<son<<' '<<ch[x][0]<<' '<<ch[x][1]<<' '<<ch[f][0]<<' '<<ch[f][1]<<'\n';
ch[f][son]=ch[x][son^1];
if(ch[f][son]) fa[ch[f][son]]=f;
fa[f]=x;ch[x][son^1]=f;
fa[x]=ff;
if(nr) ch[ff][ch[ff][1]==f]=x;
update(f);update(x);
}
void splay(int x){
// cout<<" splay "<<x<<'\n';
push(x);
for(int f;nroot(x);rotate(x)){
f=fa[x];
if(nroot(f))
rotate((get(x)==get(f))?f:x);
}
}
void access(int x){
// cout<<"access "<<x<<'\n';
for(int y=0;x;y=x,x=fa[x]){
splay(x);ch[x][1]=y;update(x);
// cout<<" do "<<x<<' '<<fa[x]<<' '<<y<<'\n';
}
}
void mroot(int x){
access(x);splay(x);pushrev(x);
}
void link(int u,int v){
mroot(u);fa[u]=v;
}
void cut(int u,int v){
mroot(u);access(v);splay(v);
fa[u]=ch[v][0]=0;
}
int find(int u){
access(u);splay(u);
while(ch[u][0]) u=ch[u][0];
return u;
}
int query(int u,int v){
mroot(u);access(v);splay(v);
return minn[v];
}
int lc[4000010],rc[4000010],seg[4000010],cnt;
int ntr[400010],root[400010];
int insert(int l,int r,int pre,int pos){
int cur=++cnt,mid=(l+r)>>1;
lc[cur]=lc[pre];rc[cur]=rc[pre];seg[cur]=seg[pre]+1;
if(l==r) return cur;
if(mid>=pos) lc[cur]=insert(l,mid,lc[pre],pos);
else rc[cur]=insert(mid+1,r,rc[pre],pos);
return cur;
}
int query(int l,int r,int ql,int qr,int pre,int cur){
if(l>=ql&&r<=qr) return seg[cur]-seg[pre];
int mid=(l+r)>>1,re=0;
if(mid>=ql) re+=query(l,mid,ql,qr,lc[pre],lc[cur]);
if(mid<qr) re+=query(mid+1,r,ql,qr,rc[pre],rc[cur]);
return re;
}
int n,m,q;
void init(){
n=read();m=read();q=read();cnt=0;
memset(lc,0,sizeof(lc));memset(rc,0,sizeof(rc));memset(seg,0,sizeof(seg));
for(int i=1;i<=n;i++) fa[i]=ch[i][0]=ch[i][1]=0,minn[i]=i,val[i]=1e9,rev[i]=0;
val[0]=1e9;
}
pair<int,int>e[200010];
int main(){
int T=read(),i,t1,t2,tmp,w;
while(T--){
init();
// cout<<n<<' '<<m<<' '<<q<<'\n';
for(i=1;i<=m;i++){
t1=read();t2=read();
e[i]=mp(t1,t2);
// cout<<"input "<<t1<<' '<<t2<<'\n';
if(t1==t2){ntr[i]=i;continue;}
if(find(t1)==find(t2)){
tmp=query(t1,t2);w=val[tmp];
ntr[i]=w;
cut(tmp,e[w].first);
cut(tmp,e[w].second);
}
else ntr[i]=0;
// cout<<"passed "<<ntr[i]<<'\n';
fa[n+i]=ch[n+i][0]=ch[n+i][1]=0;
val[n+i]=i;minn[n+i]=n+i;rev[n+i]=0;
link(n+i,t1);link(n+i,t2);
}
for(i=1;i<=m;i++) root[i]=insert(0,m,root[i-1],ntr[i]);
for(i=1;i<=q;i++){
t1=read();t2=read();
printf("%d\n",n-query(0,m,0,t1-1,root[t1-1],root[t2]));
}
}
}
[bzoj3514][CodeChef GERALD07] Chef ans Graph Queries [LCT+主席树]的更多相关文章
- BZOJ3514 / Codechef GERALD07 Chef and Graph Queries LCT、主席树
传送门--BZOJ 传送门--VJ 考虑使用LCT维护时间最大生成树,那么对于第\(i\)条边,其加入时可能会删去一条边.记\(pre_i\)表示删去的边的编号,如果不存在则\(pre_i = 0\) ...
- [CodeChef - GERALD07 ] Chef and Graph Queries
Read problems statements in Mandarin Chineseand Russian. Problem Statement Chef has a undirected gra ...
- 【CodeChef】Chef and Graph Queries
Portal --> CC Chef and Graph Queries Solution 快乐数据结构题(然而好像有十分优秀的莫队+可撤销并查集搞法qwq) 首先考虑一种方式来方便一点地..计 ...
- [BZOJ 3514]Codechef MARCH14 GERALD07加强版 (CHEF AND GRAPH QUERIES)
[BZOJ3514] Codechef MARCH14 GERALD07加强版 (CHEF AND GRAPH QUERIES) 题意 \(N\) 个点 \(M\) 条边的无向图,\(K\) 次询问保 ...
- [BZOJ3514]CodeChef MARCH14 GERALD07加强版(LCT+主席树)
3514: Codechef MARCH14 GERALD07加强版 Time Limit: 60 Sec Memory Limit: 256 MBSubmit: 2177 Solved: 834 ...
- 【BZOJ3514】Codechef MARCH14 GERALD07加强版 LCT+主席树
题解: 还是比较简单的 首先我们的思路是 确定起点 然后之后贪心的选择边(也就是越靠前越希望选) 我们发现我们只需要将起点从后向前枚举 然后用lct维护连通性 因为强制在线,所以用主席树记录状态就可以 ...
- BZOJ 3514: Codechef MARCH14 GERALD07加强版 [LCT 主席树 kruskal]
3514: Codechef MARCH14 GERALD07加强版 Time Limit: 60 Sec Memory Limit: 256 MBSubmit: 1312 Solved: 501 ...
- BZOJ 3514: Codechef MARCH14 GERALD07加强版(LCT + 主席树)
题意 \(N\) 个点 \(M\) 条边的无向图,询问保留图中编号在 \([l,r]\) 的边的时候图中的联通块个数. \(K\) 次询问强制在线. \(1\le N,M,K \le 200,000\ ...
- BZOJ3514:GERALD07加强版(LCT,主席树)
Description N个点M条边的无向图,询问保留图中编号在[l,r]的边的时候图中的联通块个数. Input 第一行四个整数N.M.K.type,代表点数.边数.询问数以及询问是否加密. 接下来 ...
随机推荐
- 工具类(为控件设置色值) - iOS
为了便于日常开发效率,因此创建了一些小的工具类便于使用.具体 code 如下:声明: /* 为控件设置色值 */ #import <UIKit/UIKit.h> @interface UI ...
- 谷歌angle库使用心得
通过谷歌的angle库可以在项目中,调用opengl接口渲染时,选择调用directx或者webgl来渲染,避免机器没有安装opengl驱动启动异常的问题. 这个库的使用可以不修改原有使用opengl ...
- iOS网络图片缓存详解
在开发移动应用的时候比如Android,IOS,因为手机流量.网速.内存等这些因素,当我们的移动应用是针对互联网,并要频繁访问网络的话,对网络优化这块就显得尤为重要了. 比如某个应用要经常显示网络图片 ...
- 爬虫学习(十八)——selenium解决javascript渲染
selenium 是一个用于Web应用程序测试的工具. Selenium测试直接运行在浏览器中,就像真正的用户在操作一样.支持的浏览器包括IE(7, 8, 9, 10, 11),Mozilla Fir ...
- ssm整合-错误3
1.警告: Unknown version string [3.1]. Default version will be used. 因为Tomcat版本为7,支持3.1版本的为Tomcat 8: 2. ...
- pycharm界面美化,个人喜欢
进入file-setting选项 界面设置主要是在appearance和editor里面.appearance主要是整个pycharm的主题设置,比如文件管理窗口的颜色,其实就是软件本身的主题设置.我 ...
- JAVA / MySql 编程——第五章 事务、视图、索引、备份和恢复
1.事务(Transaction): 事务是将一系列数据操作绑成一个整体进行统一管理. 如果一事务执行成功,则咋子该事务中进行的所有数据更改均会提交,称为数据库中的永久成部分. 如果事务执行是遇到错误 ...
- poj 1957 二分搜索
题意:N个灯泡离地H_i,满足H1 = A ,Hi = (Hi-1 + Hi+1)/2 – 1,HN = B ,求最小B. 思路: 只要二分第二个灯泡的高度就可以推出全部灯泡的高度 如果hi<0 ...
- python-6面向对象编程
1-类和实例 class Student(object): def __init__(self, name, score):# _init__方法的第一个参数永远是self,表示创建的实例本身 sel ...
- Git-Git里程碑
里程碑即Tag,是人为对提交进行的命名.这和Git的提交ID是否太长无关,使用任何数字版本号无论长短,都没有使用一个直观的表意的字符串来得方便.例如:用里程碑名称"v2.1"对应于 ...