[BZOJ]4605 崂山白花蛇草水 线段树套KD-Tree

4605: 崂山白花蛇草水

Time Limit: 80 Sec  Memory Limit: 512 MB
Submit: 527  Solved: 153

[Submit][Status][Discuss]

Description

神犇Aleph在SDOI Round2前立了一个flag：如果进了省队，就现场直播喝崂山白花蛇草水。凭借着神犇Aleph的实
力，他轻松地进了山东省省队，现在便是他履行诺言的时候了。蒟蒻Bob特地为他准备了999,999,999,999,999,999
瓶崂山白花蛇草水，想要灌神犇Aleph。神犇Aleph求（跪着的）蒟蒻Bob不要灌他，由于神犇Aleph是神犇，蒟蒻Bo
b最终答应了他的请求，但蒟蒻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

HINT

Source

Idea By Aleph,
Description & Data cases By jinlifu1999.

[Submit][Status][Discuss]

HOME Back

　　KD-Tree是个啥? 好像不会啊... 听说就是按维度来二分? 于是YY了一下， 没想到就还YY出来了KD-Tree嘿嘿。 建树的时候每次按一个维度来划分， 选中间那个点作为当前节点， 然后分开搞lson， rson... 树高显然log. 插入怎么维护树高... gg.  于是还是可耻的打开了学习笔记.

　　原来是用替罪羊暴力重建来， 妙啊妙啊， 不过秉承着自己平衡树只写数组的原则就放弃指针的写法了(线段树还是秉承丁神的指针... 所以这份代码又会有指针又会有数组...). 而且找中位数不用sort直接调用一个nth_element? 期望O(n)? 并不知道怎么做到的... 

　　然后这道题就很水啦， 要找第k大外层套一个值域线段树即可， 内部套一个2d-tree维护矩阵即可. 第一次写学了Claris神犇的模板... 还是很好写的. 成功跟随神犇的脚步走上了第一页的光辉之路. 不过码量还是不小啊... 码力还是欠缺.

　　Ps:话说为什么找最早的替罪羊重建要跑60s， 找到第一个替罪羊重建就是10s? 记得论文说过有两种写法的啊(难不成记错了)... 说不定是我写丑了. 如果神犇有独特的见解希望能留言指导一下蒟蒻.

#include<bits/stdc++.h>
#define smax(x, y) x = max(x, y)
#define smin(x, y) x = min(x, y)
using namespace std;
const int inf = 1e9;
const int maxm = 3e5;
const double A = 0.75;
const int maxn = 1e6 + 7e5;
int deep, n, ans, cmpd, cnt, X1, X2, Y1, Y2, K, cur, type;
int tmp[maxm], re[maxm];
struct Seg_Node {
int KDrt;
Seg_Node *ls, *rs;
}pool[maxn], *root, *tail = pool;
struct KDT_Node {
int ls, rs, siz;
int d[2], Min[2], Max[2];
}t[maxn];
inline bool cmp(int x, int y) {
return t[x].d[cmpd] < t[y].d[cmpd];
}
inline const int read() {
register int x = 0;
register char ch = getchar();
while (ch < '0' || ch > '9') ch = getchar();
while (ch >= '0' && ch <= '9') x = (x << 3) + (x << 1) + ch - '0', ch = getchar();
return x;
}
inline bool balance(int x) {
return (double)t[t[x].ls].siz < A * t[x].siz && (double)t[t[x].rs].siz < A * t[x].siz;
}
inline void update(int x) {
t[x].siz = t[t[x].ls].siz + t[t[x].rs].siz + 1;
if (t[x].ls) {
smax(t[x].Max[0], t[t[x].ls].Max[0]);
smin(t[x].Min[0], t[t[x].ls].Min[0]);
smax(t[x].Max[1], t[t[x].ls].Max[1]);
smin(t[x].Min[1], t[t[x].ls].Min[1]);
}
if (t[x].rs) {
smax(t[x].Max[0], t[t[x].rs].Max[0]);
smin(t[x].Min[0], t[t[x].rs].Min[0]);
smax(t[x].Max[1], t[t[x].rs].Max[1]);
smin(t[x].Min[1], t[t[x].rs].Min[1]);
}
}
void dfs(int x) {
if (x)
re[++ cnt] = x,
dfs(t[x].ls), dfs(t[x].rs);
}
int build(int lf, int rg, int D) {
int mid = (lf + rg) >> 1;
cmpd = D;
nth_element(re + lf + 1, re + mid + 1, re + rg + 1, cmp);
int x = re[mid];
t[x].Max[0] = t[x].Min[0] = t[x].d[0];
t[x].Max[1] = t[x].Min[1] = t[x].d[1];
if (lf ^ mid) t[x].ls = build(lf, mid - 1, !D);
else t[x].ls = 0;
if (rg ^ mid) t[x].rs = build(mid + 1, rg, !D);
else t[x].rs = 0;
update(x);
return x;
}
inline void insert(int &rt, int now) {
if (!rt) {
rt = now;
return;
}
for (int D = deep = 0, x = rt; ; D ^= 1) {
tmp[++ deep] = x;
t[x].siz ++;
smax(t[x].Max[0], t[now].Max[0]);
smin(t[x].Min[0], t[now].Min[0]);
smax(t[x].Max[1], t[now].Max[1]);
smin(t[x].Min[1], t[now].Min[1]);
if (t[now].d[D] < t[x].d[D]) {
if (!t[x].ls) {
t[x].ls = now;
break;
} else x = t[x].ls;
} else {
if (!t[x].rs) {
t[x].rs = now;
break;
} else x = t[x].rs;
}
}
tmp[++ deep] = now;
while (balance(now)) now = tmp[-- deep];
if (!now) return;
cnt = 0;
if (now == rt) {
dfs(rt);
rt = build(1, cnt, 0);
} else {
dfs(now);
int f = tmp[-- deep];
int k = build(1, cnt, deep & 1);
(t[f].ls == now) ? t[f].ls = k : t[f].rs = k;
}
}
inline void ask(int x) {
if (!x || t[x].Max[0] < X1 || t[x].Min[0] > X2 || t[x].Max[1] < Y1 || t[x].Min[1] > Y2 || ans >= K) return;
if (t[x].Min[0] >= X1 && t[x].Max[0] <= X2&& t[x].Min[1] >= Y1 && t[x].Max[1] <= Y2) {
ans += t[x].siz; return;
}
if (t[x].d[0] >= X1 && t[x].d[0] <= X2 && t[x].d[1] >= Y1 && t[x].d[1] <= Y2) ans ++;
ask(t[x].ls), ask(t[x].rs);
}
inline void add() {
Seg_Node *bt = root;
int lf = 1, rg = inf, flag = 1;
while(true) {
if (flag) {
cur ++;
t[cur].siz = 1;
t[cur].Max[0] = t[cur].Min[0] = t[cur].d[0] = X1;
t[cur].Max[1] = t[cur].Min[1] = t[cur].d[1] = Y1;
insert(bt -> KDrt, cur);
}
if (lf == rg) return;
int mid = (lf + rg) >> 1;
if (K <= mid) {
if (bt -> ls == NULL) bt -> ls = ++ tail;
bt = bt -> ls, rg = mid, flag = 0;
} else {
if (bt -> rs == NULL) bt -> rs = ++ tail;
bt = bt -> rs, lf = mid + 1, flag = 1;
}
}
}
inline void seg_query() {
ans = 0, ask(root -> KDrt);
if (ans < K) {
ans = 0;
puts("NAIVE!ORZzyz.");
return;
}
Seg_Node* bt = root;
int lf = 1, rg = inf;
while(lf < rg) {
int mid = (lf + rg) >> 1;
ans = 0;
if (bt -> rs != NULL) ask(bt -> rs -> KDrt);
if (ans >= K) bt = bt -> rs, lf = mid + 1;
else bt = bt -> ls, rg = mid, K -= ans;
}
printf("%d\n", ans = lf);
}
int main() {
root = ++ tail;
n = read(), n = read();
for (register int i = 1; i <= n; ++ i) {
type = read();
X1 = read(), Y1 = read();
X1 ^= ans, Y1 ^= ans;
if (type & 1) {
K = read(), K ^= ans;
add();
} else {
X2 = read(), Y2 = read(), K = read();
X2 ^= ans, Y2 ^= ans, K ^= ans;
seg_query();
}
}
}