package prbnmcn-clustering

  1. Overview
  2. Docs
type t

t is the type of (multi)-sets of elements.

type elt

elt is the type of elements to be clustered.

val singleton : elt -> t

singleton x is the cluster containing x as only element.

val dist : t -> t -> float

The user should provide dist, aa distance function on clusters. A typical (costly) choice is the Hausdorff distance (see e.g. the gromov package). Other, non-metric choices are sometimes used.

val join : t -> t -> t

One should be able to "join" clusters. This can be multiset union, set union or any sensible overapproximation - the algorithm will work anyway (think for instance of convex hulls in R^n)