Compressed cover tree

Template:Short description Template:Multiple issues The compressed cover tree is a type of data structure in computer science that is specifically designed to facilitate the speed-up of a k-nearest neighbors algorithm in finite metric spaces. Compressed cover tree is a simplified version of explicit representation of cover tree that was motivated by past issues in proofs of time complexity results of cover tree. The compressed cover tree was specifically designed to achieve claimed time complexities of cover tree in a mathematically rigorous way.

Problem statement

In the modern formulation, the k-nearest neighbor problem is to find all $k\ge 1$ nearest neighbors in a given reference set R for all points from another given query set Q. Both sets belong to a common ambient space X with a distance metric d satisfying all metric axioms.

Definitions

Compressed cover tree

Let (R,d) be a finite metric space. A compressed cover tree $𝒯(R)$ has the vertex set R with a root $r\in R$ and a level function $l:R\to \mathbb{Z}$ satisfying the conditions below:

• Root condition: the level of the root node r satisfies $l(r)\ge 1+\max {\mathrm{\backslash limits}}_{p\in R\setminus \{r\}}l(p)$
• Covering condition: For every node $q\in R\setminus \{r\}$, we select a unique parent p and a level l(q) such that $d(q,p)\le 2^{l(q)+1}$ and $l(q)<l(p)$ this parent node pp has a single link to its child node q.

• Separation condition: For $i\in \mathbb{Z}$, the cover set $C_i=\{p\in R\mid l(p)\ge i\}$ has $d_{\min }(C_i)=\min {\mathrm{\backslash limits}}_{p\in C_i}\min {\mathrm{\backslash limits}}_{q\in C_i\setminus \{p\}}d(p,q)>2^i$

Expansion constants

In a metric space, let $\overline{B}(p,t)$ be the closed ball with a center p and a radius $t\ge 0$. The notation $|\overline{B}(p,t)|$ denotes the number (if finite) of points in the closed ball.

The expansion constant $c(R)$ is the smallest $c(R)\ge 2$ such that $|\overline{B}(p,2t)|\le c(R)\cdot |\overline{B}(p,t)|$ for any point $p\in R$ and $t\ge 0$.

the new minimized expansion constant $c_m$ is a discrete analog of the doubling dimension Navigating nets $c_m(R)=\lim {\mathrm{\backslash limits}}_{\xi \to 0^{+}}\inf {\mathrm{\backslash limits}}_{R\subseteq A\subseteq X}\sup {\mathrm{\backslash limits}}_{p\in A,t>\xi }\frac{|\overline{B}(p,2t)\cap A|}{|\overline{B}(p,t)\cap A|}$, where A is a locally finite set which covers R.

Note that $c_m(R)\le c(R)$ for any finite metric space (R,d).

Aspect ratio

For any finite set R with a metric d, the diameter is $\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{m}(R)=\underset{p\in R}{\max }\underset{q\in R}{\max }d(p,q)$. The aspect ratio is $\mathrm{\Delta }(R)=\frac{\mathrm{d}\mathrm{i}\mathrm{a}\mathrm{m}(R)}{d_{\min }(R)}$, where $d_{\min }(R)$ is the shortest distance between points of R.

Complexity

Insert

Although cover trees provide faster searches than the naive approach, this advantage must be weighed with the additional cost of maintaining the data structure. In a naive approach adding a new point to the dataset is trivial because order does not need to be preserved, but in a compressed cover tree it can be bounded:

• using expansion constant: $O(c(R{)}^{10}\cdot \log |R|)$.
• using minimized expansion constant / doubling dimension $O(c_m(R{)}^8\cdot \log \mathrm{\Delta }(|R|))$.

K-nearest neighborhood search

Let Q and R be finite subsets of a metric space (X,d). Once all points of R are inserted into a compressed cover tree $𝒯(R)$ it can be used for find-queries of the query point set Q. The following time complexities have been proven for finding the k-nearest neighbor of a query point $q\in Q$ in the reference set R:

• using expansion constant: $O(c(R\cup \{q\}{)}^2\cdot {\log }_2(k)\cdot ((c_m(R){)}^{10}\cdot {\log }_2(|R|)+c(R\cup \{q\})\cdot k\left)\right).$.
• using minimized expansion constant / doubling dimension $O((c_m(R){)}^{10}\cdot {\log }_2(k)\cdot {\log }_2(\mathrm{\Delta }(R))+|\overline{B}(q,5d_k(q,R))|\cdot {\log }_2(k))$, where $|\overline{B}(q,5d_k(q,R))|$ is a number of points inside a closed ball around q having a radius 5 times the distance of q to its k-nearest neighbor.

Space

The compressed cover tree constructed on finite metric space R requires O(|R|) space, during the construction and during the execution of the Find algorithm.

Compared to other similar data structures

Using doubling dimension as hidden factor

Tables below show time complexity estimates which use minimized expansion constant $c_m(R)$ or dimensionality constant $2^{\text{dim}}$ related to doubling dimension. Note that $\mathrm{\Delta }$ denotes the aspect ratio.

Results for building data structures

Name of datastructure, source	Claimed time complexity	Claimed space complexity	Proof of result
Navigating nets	$O(2^{O(\text{dim})}\cdot |R|\cdot \log (\mathrm{\Delta }(R))\cdot \log (\log ((\mathrm{\Delta }(R))))$	$O(2^{O(\text{dim})}|R|)$	Theorem 2.5
Compressed cover tree	$O(c(R\cup \{q\}{)}^{O(1)}\cdot \log (k)\cdot (\log (|R|)+k))$	$O(|R|)$	Theorem 3.6

Results for exact k-nearest neighbors of one query point $q\in Q$ in reference set R assuming that all data structures are already built. Below we denote the distance between a query point q and the reference set R as $d(q,R)$ and distance from a query point q to its k-nearest neighbor in set R as $d_k(q,R)$:

Name of datastructure, source	Claimed time complexity	Claimed space complexity	Proof of result
Navigating nets	$O(2^{O(\text{dim})}\cdot \log (\mathrm{\Delta })+|\overline{B}(q,O(d(q,R))|)$	$O(2^{O(\text{dim})}|R|)$	Proof outline in Theorem 2.3
Compressed cover tree	$O(\log (k)\cdot (c_m(R{)}^{O(1)}\log (|\mathrm{\Delta }|)+|\overline{B}(q,O(d_k(q,R))|))$	$O(|R|)$	Corollary 3.7

Using expansion constant as hidden factor

Tables below show time complexity estimates which use $c(R)$ or KR-type constant $2^{{\text{dim}}_{KR}}$ as a hidden factor. Note that the dimensionality factor $2^{{\text{dim}}_{KR}}$ is equivalent to $c(R{)}^{O(1)}$

Results for building data structures

Name of datastructure, source	Claimed time complexity	Claimed space complexity	Proof of result
Navigating nets	$O(2^{O({\text{dim}}_{KR})}\cdot |R|\log (|R|)\log (\log |R|))$	$O(2^{O(dim)}\cdot |R|))$	Not available
Cover tree	$O(c(R{)}^{O(1)}\cdot |R|\cdot \log |R|)$	$O(|R|)$	Counterexample 4.2 shows that the past proof is incorrect.
Compressed cover tree	$O(c(R{)}^{O(1)}\cdot |R|\cdot \log |R|)$	$O(|R|)$	Corollary 3.10

Results for exact k-nearest neighbors of one query point $q\in X$ assuming that all data structures are already built.

Name of datastructure, source	Claimed time complexity	Claimed space complexity	Proof of result
Navigating nets	$O(2^{O({\text{dim}}_{KR}(R\cup \{q\})}(k+\log |R|))$	$O(2^{O(dim)}\cdot |R|))$	Not available
Cover tree	$O(c(R{)}^{O(1)}\log |R|)$ for k = 1.	$O(|R|)$	Counterexample 5.2 shows that the past proof is incorrect.
Compressed cover tree	$O(c(R\cup \{q\}{)}^{O(1)}\cdot \log (k)\cdot (\log (|R|)+k))$	$O(|R|)$	Theorem 4.9

See also

• Cover tree
• Nearest neighbor search
• k-d tree