【BZOJ4605】崂山白花蛇草水 权值线段树+kd-tree

【BZOJ4605】崂山白花蛇草水

Description

神犇Aleph在SDOI Round2前立了一个flag：如果进了省队，就现场直播喝崂山白花蛇草水。凭借着神犇Aleph的实力，他轻松地进了山东省省队，现在便是他履行诺言的时候了。蒟蒻Bob特地为他准备了999,999,999,999,999,999瓶崂山白花蛇草水，想要灌神犇Aleph。神犇Aleph求（跪着的）蒟蒻Bob不要灌他，由于神犇Aleph是神犇，蒟蒻Bob最终答应了他的请求，但蒟蒻Bob决定将计就计，也让神犇Aleph回答一些问题。具体说来，蒟蒻Bob会在一个宽敞的广场上放置一些崂山白花蛇草水（可视为二维平面上的一些整点），然后询问神犇Aleph在矩形区域(x1, y1), (x2, y2)(x1≤x2且y1≤y2，包括边界)中，崂山白花蛇草水瓶数第k多的是多少。为了避免麻烦，蒟蒻Bob不会在同一个位置放置两次或两次以上的崂山白花蛇草水，但蒟蒻Bob想为难一下神犇Aleph，希望他能在每次询问时立刻回答出答案。神犇Aleph不屑于做这种问题，所以把这个问题交给了你。

Input

输入的第一行为两个正整数N, Q，表示横纵坐标的范围和蒟蒻Bob的操作次数（包括放置次数和询问次数）。

接下来Q行，每行代表蒟蒻Bob的一个操作，操作格式如下：

首先第一个数字type，表示操作种类。type=1表示放置，type=2表示询问。

若type=1，接下来会有三个正整数x, y, v，表示在坐标整点(x, y)放置v瓶崂山白花蛇草水。(1≤x, y≤N, 1≤v≤10^9)

若type=2，接下来会有五个正整数x1, y1, x2, y2, k，表示询问矩形区域(x1, y1), (x2, y2)中，崂山白花蛇草水瓶数第k多的是多少。

(1≤x1≤x2≤N，1≤y1≤y2≤N，1≤k≤Q)

为了体现程序的在线性，你需要将每次读入的数据（除了type值）都异或lastans，其中lastans表示上次询问的答案。如果上次询问的答案为"NAIVE!ORZzyz."（见样例输出），则将lastans置为0。初始时的lastans为0。

初始时平面上不存在崂山白花蛇草水。

本题共有12组测试数据。对于所有的数据，N≤500,000。

Q的范围见下表：

测试点1-2     Q=1,000

测试点3-7     Q=50,000

测试点8-12     Q=100,000

Output

对于每个询问(type=2的操作)，回答崂山白花蛇草水瓶数第k多的是多少。若不存在第k多的瓶数，请输出"NAIVE!ORZzyz."（输出不含双引号）。

Sample Input

10 7
1 1 1 1
1 2 2 3
1 4 1 2
1 3 4 4
2 1 1 4 1 3
2 2 2 3 5 4
2 2 1 4 4 2

Sample Output

NAIVE!ORZzyz.
NAIVE!ORZzyz.
3

题解：本题的做法好像挺多，kd-tree套平衡树（TLE），替罪羊套kd-tree（两次重构吓人，但是快的飞起）。然而我选择的是较易实现的权值线段树+kd-tree。

用权值线段树维护排名，然后对于每个节点都开一个kd-tree，统计既在当前排名，又在区间中的数有多少。然而数据比较坑，逼着你写重构，所以需要在每个节点对应的kd-tree失去平衡性后单独对当前的kd-tree重构。这里我用了链表记录每个点的kd-tree中的所有节点的编号，具体实现不详细解释。

然而自从加了重构，构造的数据可以过了，但是随机大数据卡的飞起，于是采用了某种猥琐的手段，求不hack~

对了，在此声明一下，有时我做完题后不知道就把源代码扔哪了，写题解的时候随手粘个东西就发上来了，所以下面放的代码有可能无法AC，如果发现这种情况欢迎指出，谢谢~

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N=1000000000;
const int maxn=2500010;
int n,m,L[2],R[2],D,cntl,scnt,tcnt,ecnt,ans,sroot;
struct kd
{
	int v[2],sm[2],sn[2],siz,ls,rs;
	kd (){}
	kd (int a,int b){v[0]=sm[0]=sn[0]=a,v[1]=sm[1]=sn[1]=b,siz=1,ls=rs=0;}
};
kd t[maxn],p[100010];
int to[maxn],next[maxn],pos[100010];
struct sag
{
	int rt,siz,head,ls,rs;
	void add(int x)	{	to[++ecnt]=x,next[ecnt]=head,head=ecnt;}
}s[maxn];
int rd()
{
	int ret=0;	char gc=getchar();
	while(gc<'0'||gc>'9')	gc=getchar();
	while(gc>='0'&&gc<='9')	ret=ret*10+gc-'0',gc=getchar();
	return ret;
}
bool cmp(kd a,kd b)
{
	return (a.v[D]==b.v[D])?(a.v[D^1]<b.v[D^1]):(a.v[D]<b.v[D]);
}
void pushup(int x,int y)
{
	kd *tx=t+x,*ty=t+y;
	tx->sm[0]=max(tx->sm[0],ty->sm[0]),tx->sn[0]=min(tx->sn[0],ty->sn[0]);
	tx->sm[1]=max(tx->sm[1],ty->sm[1]),tx->sn[1]=min(tx->sn[1],ty->sn[1]);
	tx->siz+=ty->siz;
}
int build(int l,int r,int d)
{
	if(l>r)	return 0;
	D=d;
	int mid=l+r>>1,x=pos[mid];
	nth_element(p+l,p+mid,p+r+1,cmp);
	kd *tx=t+x;
	t[x]=p[mid],tx->ls=build(l,mid-1,d),tx->rs=build(mid+1,r,d^1);
	if(tx->ls)	pushup(x,tx->ls);
	if(tx->rs)	pushup(x,tx->rs);
	return x;
}
void insert(int x,int y)
{
	D=0;
	while(x!=y)
	{
		pushup(x,y);
		if(cmp(t[x],t[y]))
		{
			if(!t[x].rs)	t[x].rs=y;
			x=t[x].rs;
		}
		else
		{
			if(!t[x].ls)	t[x].ls=y;
			x=t[x].ls;
		}
		D^=1;
	}
}
void count(int x)
{
	kd *tx=t+x;
	if(!x||tx->sm[0]<L[0]||tx->sn[0]>R[0]||tx->sm[1]<L[1]||tx->sn[1]>R[1])	return ;
	if(tx->sn[0]>=L[0]&&tx->sm[0]<=R[0]&&tx->sn[1]>=L[1]&&tx->sm[1]<=R[1])
	{
		cntl+=tx->siz;
		return ;
	}
	if(tx->v[0]>=L[0]&&tx->v[0]<=R[0]&&tx->v[1]>=L[1]&&tx->v[1]<=R[1])	cntl++;
	count(tx->ls),count(tx->rs);
}
void updata(int l,int r,int &x,int c,int a,int b)
{
	if(!x)	x=++scnt;
	sag *sx=s+x;
	sx->siz++,t[++tcnt]=kd(a,b),sx->add(tcnt);
	if(m==50000&&sx->siz==2000)
	{
		sx->siz=0,pos[0]=0;
		for(int i=sx->head;i;i=next[i])	pos[++pos[0]]=to[i],p[pos[0]]=kd(t[to[i]].v[0],t[to[i]].v[1]);
		sx->rt=build(1,pos[0],0);
	}
	else
	{
		if(!sx->rt)	sx->rt=tcnt;
		else	insert(sx->rt,tcnt);
	}
	if(l==r)	return ;
	int mid=l+r>>1;
	if(c<=mid)	updata(l,mid,sx->ls,c,a,b);
	else	updata(mid+1,r,sx->rs,c,a,b);
}
int query(int l,int r,int x,int a)
{
	if(!x)	return 0;
	if(l==r)	return l;
	sag *sx=s+x;
	int mid=l+r>>1;
	cntl=0,count(s[sx->rs].rt);
	if(cntl>=a)	return query(mid+1,r,sx->rs,a);
	return query(l,mid,sx->ls,a-cntl);
}
int main()
{
	n=rd(),m=rd();
	int i,a,b,c;
	for(i=1;i<=m;i++)
	{
		if(rd()==1)
		{
			a=rd()^ans,b=rd()^ans,c=rd()^ans;
			updata(1,N,sroot,c,a,b);
		}
		else
		{
			L[0]=rd()^ans,L[1]=rd()^ans,R[0]=rd()^ans,R[1]=rd()^ans,a=rd()^ans,cntl=0;
			count(s[1].rt);
			if(cntl<a)	printf("NAIVE!ORZzyz.\n"),ans=0;
			else	ans=query(1,N,sroot,a),printf("%d\n",ans);
		}
	}
	return 0;
}