zoukankan      html  css  js  c++  java
  • [BZOJ 4763]雪辉

    [BZOJ 4763] 雪辉

    题意

    给定一棵 (n) 个点的无根树, 点带权. (q) 次询问, 每次给定树上的若干路径, 求这些路径上的点共有多少种不同权值以及这些点的权值组成的集合的 (operatorname{mex}).

    (n,qle1 imes 10^5,v_ile30000). 部分测试点强制在线.

    题解

    首先吐槽一下沙雕考试出题人又出原题

    这个只有 (30000) 的值域明示要用 std::bitset 趴...

    然后发现这个 std::bitset 的标准接口不滋磁查 lowbit, 于是 (operatorname{mex}) 就没法求了...(于是沙雕rvalue就手写了一个)

    然后按照套路树剖一下把树链拆成 DFS 序上的 (log) 段区间, 然后变成求若干段区间的 bitset 的并. 发现数据范围刚好允许开 (O(n))bitset, 那么直接对 DFS 序分块, 然后把一段连续的块的 bitset 都求出来, 这样查询的时候就可以只处理两端的散块了.

    对于一次查询, 首先树剖出若干个区间, 然后发现这一坨区间可能有很多重复, 我们随手排个序把相交的区间都并起来. 直接在预处理好的连续块数据上增量构造就可以了.

    时间复杂度好像是 (Oleft(nleft(sqrt n+frac V w ight)+qleft(sqrt nlog n+frac V w ight) ight)). 实测跑得巨快无比. 大概是因为复杂度中 (O(q sqrt n log n)) 的部分因为无法造出每条树链长度都达到 (O(sqrt n)) 的同时剖出来的树链数量达到 (log n) 的路径而跑不满趴(树链数量增加必然导致整树深度变浅)...神仙 hzoizcl 说这个那个 (O(sqrt n log n)) 实际只能达到 (Oleft(logleft (sqrt n^{sqrt n} ight) ight)) 级别qaq...(这个值大概是 (2 exttt{k}) 左右于是复杂度好像没毛病)

    参考代码

    #include <bits/stdc++.h>
    
    const int SQRN=320;
    const int MAXV=1e5+10;
    const int MAXE=2e5+10;
    typedef unsigned int uint;
    
    struct Edge{
    	int from;
    	int to;
    	Edge* next;
    };
    Edge E[MAXE];
    Edge* head[MAXV];
    Edge* topE=E;
    
    struct Bits{
    	static const int MAXL=940;
    	uint data[MAXL];
    	Bits(){}
    	inline void operator|=(const Bits& b){
    		for(int i=0;i<MAXL;i++)
    			this->data[i]|=b.data[i];
    	}
    	inline int count(){
    		int ans=0;
    		for(int i=0;i<MAXL;i++)
    			ans+=__builtin_popcount(this->data[i]);
    		return ans;
    	}
    	inline int mex(){
    		for(int i=0;i<MAXL;i++){
    			if(__builtin_popcount(this->data[i])!=32){
    				for(int j=0;j<32;j++)
    					if(((this->data[i]>>j)&1)==0)
    						return (i<<5)|j;
    			}
    		}
    		return MAXL<<5;
    	}
    	inline void set(int p){
    		this->data[p>>5]|=(1u<<(p&31));
    	}
    };
    Bits s[SQRN][SQRN];
    Bits ans;
    
    int n;
    int q;
    int clk;
    int sqrn;
    int blk[MAXV];
    int dfn[MAXV];
    int val[MAXV];
    int pos[MAXV];
    int prt[MAXV];
    int top[MAXV];
    int son[MAXV];
    int deep[MAXV];
    int size[MAXV];
    
    int cur;
    std::pair<int,int> R[MAXV];
    
    void Merge();
    void DFS(int,int);
    void Export(int,int);
    inline int ReadInt();
    void DFS(int,int,int);
    inline void Insert(int,int);
    
    int main(){
    	int T;
    	n=ReadInt(),q=ReadInt(),T=ReadInt();
    	sqrn=sqrt(n+0.5);
    	for(int i=1;i<=n;i++)
    		val[i]=ReadInt();
    	for(int i=1;i<n;i++){
    		int a=ReadInt(),b=ReadInt();
    		Insert(a,b);
    		Insert(b,a);
    	}
    
    	DFS(1,0,0);
    	DFS(1,1);
    
    	for(int i=0;i*sqrn<n;i++){
    		for(int j=i;j*sqrn<n;j++){
    			if(j>i)
    				s[i][j]=s[i][j-1];
    			for(int k=j*sqrn;blk[k]==j&&k<n;k++)
    				s[i][j].set(val[pos[k]]);
    		}
    	}
    
    	// Query;
    	int lastans=0;
    	for(int i=0;i<q;i++){
    		memset(ans.data,0,sizeof(ans.data));
    		int cnt=ReadInt();
    		cur=0;
    		while(cnt--){
    			int a=ReadInt()^(lastans*T),b=ReadInt()^(lastans*T);
    			Export(a,b);
    		}
    		Merge();
    		for(int i=0;i<cur;i++){
    			int l=R[i].first,r=R[i].second;
    			if(blk[l]==blk[r]){
    				for(int i=l;i<=r;i++)
    					ans.set(val[pos[i]]);
    			}
    			else{
    				if(blk[l]<blk[r]-1)
    					ans|=s[blk[l]+1][blk[r]-1];
    				for(int i=l;blk[i]==blk[l];i++)
    					ans.set(val[pos[i]]);
    				for(int i=r;blk[i]==blk[r];i--)
    					ans.set(val[pos[i]]);
    			}
    //			printf("%d %d %d
    ",ans.data[0],ans.data[1],ans.data[2]);
    		}
    		int x=ans.count(),y=ans.mex();
    		printf("%d %d
    ",x,y);
    		lastans=x+y;
    	}
    	return 0;
    }
    
    void Export(int x,int y){
    	while(top[x]!=top[y]){
    		if(deep[top[x]]<deep[top[y]])
    			std::swap(x,y);
    		R[cur++]=std::make_pair(dfn[top[x]],dfn[x]);
    		x=prt[top[x]];
    	}
    	if(deep[x]>deep[y])
    		std::swap(x,y);
    	R[cur++]=std::make_pair(dfn[x],dfn[y]);
    }
    
    void Merge(){
    	int cnt=cur;
    	std::sort(R,R+cnt);
    	int l=R[0].first,r=R[0].second;
    	for(int i=1;i<cnt;i++){
    		if(R[i].first>r){
    			R[cur++]=std::make_pair(l,r);
    			l=R[i].first;
    			r=R[i].second;
    		}
    		else
    			r=std::max(r,R[i].second);
    	}
    	R[cur++]=std::make_pair(l,r);
    }
    
    void DFS(int root,int prt,int deep){
    	::prt[root]=prt;
    	::deep[root]=deep;
    	::size[root]=1;
    	for(Edge* i=head[root];i!=NULL;i=i->next){
    		if(i->to!=prt){
    			DFS(i->to,root,deep+1);
    			size[root]+=size[i->to];
    			if(size[i->to]>size[son[root]])
    				son[root]=i->to;
    		}
    	}
    }
    
    void DFS(int root,int top){
    	::dfn[root]=clk;
    	::pos[clk]=root;
    	::blk[clk]=clk/sqrn;
    	++clk;
    	::top[root]=top;
    	if(son[root])
    		DFS(son[root],top);
    	for(Edge* i=head[root];i!=NULL;i=i->next)
    		if(i->to!=son[root]&&i->to!=prt[root])
    			DFS(i->to,i->to);
    }
    
    inline void Insert(int from,int to){
    	topE->from=from;
    	topE->to=to;
    	topE->next=head[from];
    	head[from]=topE++;
    }
    
    inline int ReadInt(){
    	int x=0;
    	register char ch=getchar();
    	while(!isdigit(ch))
    		ch=getchar();
    	while(isdigit(ch)){
    		x=x*10+ch-'0';
    		ch=getchar();
    	}
    	return x;
    }
    
    

  • 相关阅读:
    NET CORE 数据库迁移
    VUE3.0 解析svg文件
    关于ElementUI的样式不生效
    git命令
    vue 2.x的跨域问题
    Putty 重新启动 linux sqlserver服务
    aspnetcore之session
    Syncfusion 在 core 的架构
    TortoiseSVN创建/合并分支
    正则表达式知识点整理
  • 原文地址:https://www.cnblogs.com/rvalue/p/10621751.html
Copyright © 2011-2022 走看看