K-D Tree 是一种适用于  维空间信息处理的数据结构，一般是维护  个点的信息，建出平衡二叉树；在  比较小的

建树：

一般使用交替建树，递归的分为以下三个步骤：

• 交替选择一个维度切割（即  依次切一遍，最后回到  继续切）。

• 选择一个切割点将这个维度切割了。

• 然后递归到被切割点切开的两个超立方体继续切割，直到区域内没有点。

一个切割点的左右儿子是其切开的两个超立方体的切割点。

为了维持二叉树的平衡，要左右子树尽量均匀，所以一般选择这个切割维度的中位数作为切割点。

此时得到的树高显然是  级别的。

为了方便理解，给定一个在二维平面的例子：

此时建出的 K-D Tree 就是：

可以使用 nth_element 辅助建树，时间复杂度为 。

为了方便操作，对于每个点，可以维护其被切割时的超立方体，即可以记录其子树内每个维度的最大最小值。

最近点对：

即对于每个点，求出到其它点的最短距离。

设查询点是 ，依然是递归的形式的从  进入（设当前到了 ）：

• 先用  更新答案 。

• 然后求出  到左右子树所代表的超立方体的最短距离 ，如果大于 ，则直接剪枝。

• 否则进入  更小的那个子树先更新，出来时再判断是否比另外一个更优；这是估价型剪枝。

提示： 使用 K-D Tree 单次查询最坏是  的，但是如果没有特意卡的情况下，还是可以骗到很多分的。

操作：

对于一个高维矩形  内的点的查询，可以递归式的从  开始判断（设当前到了 ）：

• 若包含  子树，则直接返回所有点的信息。

• 若与  子树所在超立方体有交，先考虑  本身的贡献，然后递归到左右子树处理。

• 否则无交，直接退出。

考虑时间复杂度分析，先考虑二维情况，根据递归，显然时间复杂度是跟与  相交的点（且没有被  包含）的数量，将这些点分为两类：

• 完全包含 ：即树上一条到根的链，点数是  的。

• 部分与  相交：显然这些点所代表的矩形互不相交。

考虑求与  相交的矩形的数量，显然这些与  相交的矩形必然至少与一条  的边相交；于是可以转化为与一条边相交的矩形的数量：

• 考虑一个点  所代表的矩形，通过两次切割将这个矩形分为了四个部分，每个部分为  的孙子来表示，而一条平行于坐标轴的直线显然最多穿越这个四个部分中的两个部分。

这里阐述了要交替维度切割建树的原因，因为如果不交替切割，一条直线可能会直接穿过这四个部分。

因为子树大小几乎是严格的一半，于是可以得到递推式子：

得到 ；拓展到  维上，类似的，是 ，于是 （这里是将  当做常数计算的，实际上常数要大不少）。

插入/删除：

先说删除，比较简单，不需要真的将这个点删除，就把这个点打上懒标记，将其贡献清除即可，时间复杂度是  的；如果要真删的话，也可以用下面的重构方法。

如果直接插入，就是递归式的，根据是否在左右子树的超立方体内判断插入到哪里，最后到达空节点。

但是这样可能会导致二叉树不平衡，使得查询复杂度出错；然后大家可能会想到替罪羊树的方法，定义一个平衡因子 ，如果子树大小超了，就子树重构，可以保证树高是  的。

但是请注意，复杂度分析中，其四个孙子最多只有两个孙子被算进去，同时根据儿子子树严格减半，可以得到递推式；而替罪羊树的方法，只保证了树高是  的，没有保证子树节点数量，所以若那条  中的线恰好穿过四个孙子中两个子树最大的孙子，复杂度将会被卡满出问题，具体复杂度不太清楚，但是应该能卡？

于是可以想到两种著名的重构算法：

• 根号重构。

• 二进制分组。

根号重构，即我每插入  个点后再重构，存下插入的点，每次查询是  的；重构  次，复杂度是 ，均摊下来单次插入复杂度是 ，取  最优；插入复杂度是 ，查询 ；常数一般，可以使用。

二进制分组，即将  二进制拆分，维护若干个二次幂大小的 K-D Tree；每次新加一个点，即新建一个大小  的 K-D Tree，然后不断将相同大小的树合并（实现时把所有需要合并的点，全部拿出来合并即可，而不是真的依次合并，这样过于浪费）；因为合并带 ，所以最后均摊复杂度是  的；查询就是在每个树上查一遍，最后累加起来，是一个等比数列累加的形式，也是  的；常数很小。

例题：P4148 简单题

题意：

二维平面上，单点加，区间矩形查；强制在线。

思路：

板子题，使用上面任意一种重构方式即可通过。

code

P14312 【模板】K-D Tree

题意：

 维平面上，动态插入点，高维矩形内的点加，高维矩形内的点查。

思路：

重构使用二进制分组形式。

对于高维矩形内的点加，使用懒标记维护即可，注意懒标记的下传等。

时间复杂度是 。

完整代码：

#include<bits/stdc++.h>

#define lowbit(x) x & (-x)

#define pi pair<ll, ll>

#define ls(k) k << 1

#define rs(k) k << 1 | 1

#define fi first

#define se second

using namespace std;

typedef __int128 __;

typedef long double lb;

typedef double db;

typedef unsigned long long ull;

typedef long long ll;

const int N = 1.5e5 + 10, M = 18, K = 3;

inline ll read(){

ll x = 0, f = 1;

char c = getchar();

while(c < '0' || c > '9'){

if(c == '-')

f = -1;

c = getchar();

}

while(c >= '0' && c <= '9'){

x = (x << 1) + (x << 3) + (c ^ 48);

c = getchar();

}

return x * f;

}

inline void write(ll x){

if(x < 0){

putchar('-');

x = -x;

}

if(x > 9)

write(x / 10);

putchar(x % 10 + '0');

}

ll ans;

int n, m, op, w, rk, nowk, cnt;

int h[N], rt[M];

struct point{

ll X[K];

point(){

memset(X, 0, sizeof(X));

}

inline bool operator<(const point&rhs)const{

return X[nowk] < rhs.X[nowk];

}

}a;

struct KD_Node{

point a, mn, mx;

int siz, lson, rson;

ll data, sum, tag;

inline bool operator<(const KD_Node&rhs)const{

return a < rhs.a;

}

}Q, T[N];

inline void getmin(ll &x, ll y){

x = (x < y) ? x : y;

}

inline void getmax(ll &x, ll y){

x = (x > y) ? x : y;

}

inline void pushup(int k){

T[k].siz = T[T[k].lson].siz + 1 + T[T[k].rson].siz;

T[k].sum = T[k].data + T[T[k].lson].sum + T[T[k].rson].sum;

for(int i = 0; i < rk; ++i){

T[k].mn.X[i] = T[k].mx.X[i] = T[k].a.X[i];

if(T[k].lson){

getmin(T[k].mn.X[i], T[T[k].lson].mn.X[i]);

getmax(T[k].mx.X[i], T[T[k].lson].mx.X[i]);

}

if(T[k].rson){

getmin(T[k].mn.X[i], T[T[k].rson].mn.X[i]);

getmax(T[k].mx.X[i], T[T[k].rson].mx.X[i]);

}

}

}

inline void add(int k, ll v){

if(!k)

return ;

T[k].data += v;

T[k].tag += v;

T[k].sum += v * T[k].siz;

}

inline void push_down(int k){

if(T[k].tag){

add(T[k].lson, T[k].tag);

add(T[k].rson, T[k].tag);

T[k].tag = 0;

}