Details view: Density-based spatial clustering of applications with noise (DBSCAN)

Density-based spatial clustering of applications with noise (DBSCAN) is a data clustering algorithm proposed by Martin Ester, Hans-Peter Kriegel, Jörg Sander and Xiaowei Xu in 1996.^[1] It is a density-based clustering algorithm because it finds a number of clusters starting from the estimated density distribution of corresponding nodes. DBSCAN is one of the most common clustering algorithms and also most cited in scientific literature.^[2] OPTICS can be seen as a generalization of DBSCAN to multiple ranges, effectively replacing the $\varepsilon$ parameter with a maximum search radius.

[hide]

1 Basic idea
2 Algorithm
3 Pseudocode
4 Complexity
5 Advantages
6 Disadvantages
7 Parameter estimation
8 Generalization
9 Extensions
10 Availability
11 References
- 11.1 Further reading

Basic idea[edit]

Points at A are core points. Points B and C are density-reachable from A and thus density-connected and belong to the same cluster. Point N is a noise point that is neither a core point nor density-reachable. (MinPts=3 or MinPts=4)

DBSCAN's definition of a cluster is based on the notion of density reachability. Basically, a point $q$ is directly density-reachable from a point $p$ if it is not farther away than a given distance $\varepsilon$ (i.e., is part of its $\varepsilon$ -neighborhood) and if $p$ is surrounded by sufficiently many points such that one may consider $p$ and $q$ to be part of a cluster. $q$ is called density-reachable (note the distinction from "directly density-reachable") from $p$ if there is a sequence $p_1,\ldots,p_n$ of points with $p_1 = p$ and $p_n = q$ where each $p_{i+1}$ is directly density-reachable from $p_i$ .

Note that the relation of density-reachable is not symmetric. $q$ might lie on the edge of a cluster, having insufficiently many neighbors to count as dense itself. This would halt the process of finding a path that stops with the first non-dense point. By contrast, starting the process with $p$ would lead to $q$ (though the process would halt there, $q$ being the first non-dense point). Due to this asymmetry, the notion of density-connected is introduced: two points $p$ and $q$ are density-connected if there is a point $o$ such that both $p$ and $q$ are density-reachable from $o$ . Density-connectedness is symmetric.

A cluster, which is a subset of the points of the database, satisfies two properties:

All points within the cluster are mutually density-connected.
If a point is density-connected to any point of the cluster, it is part of the cluster as well.

Algorithm[edit]

DBSCAN requires two parameters: $\varepsilon$ (eps) and the minimum number of points required to form a cluster (minPts). It starts with an arbitrary starting point that has not been visited. This point's $\varepsilon$ -neighborhood is retrieved, and if it contains sufficiently many points, a cluster is started. Otherwise, the point is labeled as noise. Note that this point might later be found in a sufficiently sized $\varepsilon$ -environment of a different point and hence be made part of a cluster.

If a point is found to be a dense part of a cluster, its $\varepsilon$ -neighborhood is also part of that cluster. Hence, all points that are found within the $\varepsilon$ -neighborhood are added, as is their own $\varepsilon$ -neighborhood when they are also dense. This process continues until the density-connected cluster is completely found. Then, a new unvisited point is retrieved and processed, leading to the discovery of a further cluster or noise.

Pseudocode[edit]

DBSCAN(D, eps, MinPts)   C = 0   for each unvisited point P in dataset D      mark P as visited      NeighborPts = regionQuery(P, eps)      if sizeof(NeighborPts) < MinPts         mark P as NOISE      else         C = next cluster         expandCluster(P, NeighborPts, C, eps, MinPts)          expandCluster(P, NeighborPts, C, eps, MinPts)   add P to cluster C   for each point P' in NeighborPts       if P' is not visited         mark P' as visited         NeighborPts' = regionQuery(P', eps)         if sizeof(NeighborPts') >= MinPts            NeighborPts = NeighborPts joined with NeighborPts'      if P' is not yet member of any cluster         add P' to cluster C          regionQuery(P, eps)   return all points within P's eps-neighborhood (including P)

Complexity[edit]

DBSCAN visits each point of the database, possibly multiple times (e.g., as candidates to different clusters). For practical considerations, however, the time complexity is mostly governed by the number of regionQuery invocations. DBSCAN executes exactly one such query for each point, and if an indexing structure is used that executes such a neighborhood query in $O(\log n)$ , an overall runtime complexity of $O(n \cdot \log n)$ is obtained. Without the use of an accelerating index structure, the run time complexity is $O(n^2)$ . Often the distance matrix of size $(n^2-n)/2$ is materialized to avoid distance recomputations. This however also needs $O(n^2)$ memory.

DBSCAN can find non-linearly separable clusters. This dataset cannot be adequately clustered with k-means or Gaussian Mixture EM clustering.

Advantages[edit]

DBSCAN does not require one to specify the number of clusters in the data a priori, as opposed to k-means.
DBSCAN can find arbitrarily shaped clusters. It can even find a cluster completely surrounded by (but not connected to) a different cluster. Due to the MinPts parameter, the so-called single-link effect (different clusters being connected by a thin line of points) is reduced.
DBSCAN has a notion of noise.
DBSCAN requires just two parameters and is mostly insensitive to the ordering of the points in the database. (However, points sitting on the edge of two different clusters might swap cluster membership if the ordering of the points is changed, and the cluster assignment is unique only up to isomorphism.)
DBSCAN is designed for use with databases that can accelerate region queries, e.g. using an R* tree.

Disadvantages[edit]

The quality of DBSCAN depends on the distance measure used in the function regionQuery(P, $\varepsilon$ ). The most common distance metric used is Euclidean distance. Especially for high-dimensional data, this metric can be rendered almost useless due to the so-called "Curse of dimensionality", making it difficult to find an appropriate value for $\varepsilon$ . This effect, however, is also present in any other algorithm based on Euclidean distance.
DBSCAN cannot cluster data sets well with large differences in densities, since the minPts- $\varepsilon$ combination cannot then be chosen appropriately for all clusters.

See the section below on extensions for algorithmic modifications to handle these issues.

Parameter estimation[edit]

Every data mining task has the problem of parameters. Every parameter influences the algorithm in specific ways. For DBSCAN, the parameters ε and minPts are needed. The parameters must be specified by the user.

MinPts: As a rule of thumb, a minimum minPts can be derived from the number of dimensions D in the data set, as minPts≥D+1.
The low value of minPts=1 does not make sense, as then every point on its own will already be a cluster. With minPts=2, the result will be the same as of hierarchical clustering with the single link metric, with the dendrogram cut at height ε (however, DBSCAN is substantially faster, because it does not compute the full dendrogram and can use indexes).
However, larger values are usually better for data sets with noise and will yield more significant clusters. The larger the data set, the lager the value of minPts should be chosen.
ε: The value for ε can then be chosen by using a k-distance graph, plotting the distance to the k=minPts nearest neighbor. Good values of ε are where this plot shows a strong bend: if ε is chosen too small, a large part of the data will not be clustered; whereas for a too high value of ε, clusters will merge and the majority of objects will be in the same cluster.

OPTICS can be seen as a generalization of DBSCAN that replaces the $\varepsilon$ parameter with a maximum value that mostly affects performance. MinPts then essentially becomes the minimum cluster size to find. While the algorithm is much easier to parameterize than DBSCAN, the results are a bit more difficult to use, as it will usually produce a hierarchical clustering instead of the simple data partitioning that DBSCAN produces.

Recently, one of the original authors of DBSCAN has revisited DBSCAN and OPTICS, and published a refined version of hierarchical DBSCAN (HDBSCAN*),^[3]^[4] which no longer has the notion of border points.

Generalization[edit]

Generalized DBSCAN or GDBSCAN ^[5]^[6] is a generalization by the same authors to arbitrary "neighborhood" and "dense" predicates. The $\varepsilon$ and minpts parameters are removed from the original algorithm and moved to the predicates. For example on polygon data, the "neighborhood" could be any intersecting polygon, whereas the density predicate uses the polygon areas instead of just the object count.

Extensions[edit]

Various extensions to the DBSCAN algorithm have been proposed, including methods for parallelization, parameter estimation and support for uncertain data. The basic idea has been extended to hierarchical clustering by the OPTICS algorithm. DBSCAN is also used as part of subspace clustering algorithms like PreDeCon and SUBCLU. HDBSCAN^[3] is a revisited version of DBSCAN and OPTICS, from which informative clusters can be extracted using heuristics.^[4]

Availability[edit]

An implementation of DBSCAN is available in the ELKI framework. Notice that this implementation is not optimized for speed but for extensibility. Thus, this implementation can use various index structures for sub-quadratic performance and supports various distance functions and arbitrary data types, but it may be outperformed by low-level optimized implementations on small data sets.

scikit-learn includes a Python implementation of DBSCAN for arbitrary Minkowski metrics, based on kd-trees and ball trees.

GNU R contains DBSCAN in the "fpc" package with support for arbitrary distance functions via distance matrixes. However it does not have index support (and thus has quadratic runtime complexity).

References[edit]

Jump up^ Martin Ester, Hans-Peter Kriegel, Jörg Sander, Xiaowei Xu (1996-). "A density-based algorithm for discovering clusters in large spatial databases with noise". In Evangelos Simoudis, Jiawei Han, Usama M. Fayyad. Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96). AAAI Press. pp. 226–231. ISBN 1-57735-004-9.
Jump up^ [1] Most cited data mining articles according to Microsoft academic search; DBSCAN is on rank 24, when accessed on: 4/18/2010
^ Jump up to:^a ^b Campello, R. J. G. B.; Moulavi, D.; Sander, J. (2013). "Density-Based Clustering Based on Hierarchical Density Estimates". Proceedings of the 17th Pacific-Asia Conference on Knowledge Discovery in Databases, PAKDD 2013. Lecture Notes in Computer Science7819. p. 160. doi:10.1007/978-3-642-37456-2_14. ISBN 978-3-642-37455-5. edit
^ Jump up to:^a ^b Campello, R. J. G. B.; Moulavi, D.; Zimek, A.; Sander, J. (2013). "A framework for semi-supervised and unsupervised optimal extraction of clusters from hierarchies". Data Mining and Knowledge Discovery 27 (3): 344. doi:10.1007/s10618-013-0311-4. edit
Jump up^ Sander, Jörg; Ester, Martin; Kriegel, Hans-Peter; Xu, Xiaowei (1998). Density-Based Clustering in Spatial Databases: The Algorithm GDBSCAN and Its Applications. "Data Mining and Knowledge Discovery". Data Mining and Knowledge Discovery (Berlin: Springer-Verlag) 2 (2): 169–194. doi:10.1023/A:1009745219419.
Jump up^ Sander, Jörg (1998). Generalized Density-Based Clustering for Spatial Data Mining. München: Herbert Utz Verlag. ISBN 3-89675-469-6.

DBSCAN

Contents