机器学习 第9章-聚类

机器学习 第9章-聚类

9.1 聚类任务

在“无监督学习”(unsupervised learning)中，训练样本的标记信息是未知的，目标是通过对无标记训练样本的学习来揭示数据的内在性质及规律，为进一步的数据分析提供基础。此类学习任务中研究最多、应用最广的是“聚类”(clustering)。

聚类试图将数据集中的样本划分为若干个通常是不相交的子集，每个子集称为一个“簇”(cluster)。通过这样的划分，每个簇可能对应于一些潜在的概念(类别)，如“浅色瓜”“深色瓜”，“有籽瓜”“无籽瓜”，甚至“本地瓜”“外地瓜”等；需说明的是，这些概念对聚类算法而言事先是未知的，聚类过程仅能自动形成簇结构，簇所对应的概念语义需由使用者来把握和命名。

形式化地说，假定样本集$D=x_1,x_2,...,x_m$包含m个无标记样本，每个样本$x_i=(x_{i1}；x_{i2}；。。。；x_{in})$是一个$n$维特征向量，则聚类算法将样本集$D$划分为$k$个不相交的簇$C_l|l=1,2,...,k$，其中$C_{l^{\prime }}{\cap }_{l^{\prime }\ne l}{C}_l=\varnothing$且$D={\bigcup }_{l=1}^k{C}_l$。 相应地，我们用${\lambda }_j\in 1,2,...,k$表示样本$x_j$的“簇标记”(cluster label)，即$x_j\in C_{{\lambda }_j}$，于是，聚类的结果可用包含$m$个元素的簇标记向量$\lambda =({\lambda }_1;{\lambda }_2;...;{\lambda }_m)$表示。

聚类既能作为一个单独过程，用于找寻数据内在的分布结构，也可作为分类等其他学习任务的前驱过程。例如，在一些商业应用中需对新用户的类型进行判别，但定义“用户类型”对商家来说却可能不太容易，此时往往可先对用户数据进行聚类，根据聚类结果将每个定义为一个类，然后再基于这些类训练分类模型，用于判别新用户的类型。

基于不同的学习策略，人们设计出多种类型的聚类算法。本章后半部分将对不同类型的代表性算法进行介绍，但在此之前，我们先讨论聚类算法涉及的两个基本问题–性能度量和距离计算。

9.2 性能度量

聚类性能度量亦称聚类“有效性指标”。与监督学习中的性能度量作用相似，对聚类结果，我们需通过某种性能度量来评估其好坏；另一方面，若明确了最终将要使用的性能度量，则可直接将其作为聚类过程的优化目标，从而更好地得到符合要求的聚类结果。

聚类是将样本集D划分为若干互不相交的子集，即样本簇。那么，什么样的聚类结果比较好呢？直观上看，我们希望“物以类聚”，即同一簇的样本尽可能彼此相似，不同簇的样本尽可能不同。换言之，聚类结果的“簇内相似度”(intra-cluster similarity)高且“簇间相似度”(inter-cluster similarity)低

聚类性能度量大致有两类，一类是将聚类结果与某个“参考模型”(reference model)进行比较，称为“外部指标”(external index)；另一类是直接考察聚类结果而不利用任何参考模型，称为“内部指标”(internalindex)。

对数据集$D$，假定通过聚类给出的簇划分为$C$，参考模型给出的簇划分为$C^{\ast }$，相应地，令$\lambda$与${\lambda }^{\ast }$分别表示与$C$和$C^{\ast }$对应的簇标记向量。我们将样本两两配对考虑，则有定义：
$$a=|SS|,SS=\left\{(x_i,x_j)|{\lambda }_i={\lambda }_j,{\lambda }_i^{\ast }={\lambda }_j^{\ast },i<j\right\}$$
$$b=|SD|,SD=\left\{(x_i,x_j)|{\lambda }_i={\lambda }_j,{\lambda }_i^{\ast }\ne {\lambda }_j^{\ast },i<j\right\}$$
$$c=|DS|,DS=\left\{(x_i,x_j)|{\lambda }_i\ne {\lambda }_j,{\lambda }_i^{\ast }={\lambda }_j^{\ast },i<j\right\}$$
$$d=|DD|,DD=\left\{(x_i,x_j)|{\lambda }_i\ne {\lambda }_j,{\lambda }_i^{\ast }\ne {\lambda }_j^{\ast },i<j\right\}$$
其中集合SS包含了在$C$中隶属于相同簇且在$C^{\ast }$中也隶属于相同簇的样本对，集合SD包含了在$C$中隶属于相同簇但在$C^{\ast }$中隶属于不同簇的样本对。

由于每个样本对$(x_i,x_j)(i<j)$仅能出现在一个集合中，因此有$a+b+c+d=m(m-1)/2$成立

基于以上可以导出下面这些常用的聚类性能度量外部指标:

Jaccard系数
$$JC=\frac{a}{a+b+c}$$
FM指数
$$FMI=\sqrt{\frac{a}{a+b}\cdot \frac{a}{a+c}}$$
Rand指数，$$RI=\frac{2(a+d)}{m(m-1)}$$

显然，上述性能度量的结果值均在[0,1]区间，值越大越好

考虑聚类结果的簇划分$C=C_1,C_2,...,C_k$，定义
$$avg(C)=\frac{2}{|C|(|C|-1)}\sum _{1\le i<j\le |C|}dist(x_i,x_j)$$
$$diam(C)=ma{x}_{1\le i<j\le |C|}dist(x_i,x_j)$$
$$d_{min}(C_i,C_j)=mi{n}_{x_i\in C_i,x_j\in C_j}dist(x_i,x_j)$$
$$d_{cen}(C_i,C_j)=dist({\mu }_i,{\mu }_j)$$
其中，$dist(\cdot ,\cdot )$用于计算两个样本之间的距离；$\mu$代表簇$C$的中心点。显然， $avg(C)$对应于簇$C$内样本间的平均距离， $diam(C)$对应于簇$C$内样本间的最远距离，$d_{min}(C_i,C_j)$对应于簇$C_i$与簇$C_j$最近样本间的距离， $d_{cen}(C_i,C_j)$ 对应于簇$C_i$与簇$C_j$中心点间的距离

基于以上4个式子，又可导出下面这些常用的聚类性能度量内部指标:
DB指数
$$DBI=\frac{1}{k}\sum _{i=1}^k\underset{j\ne i}{\max }(\frac{avg(C_i)+avg(C_j)}{d_{cen}({\mu }_i,{\mu }_j)})$$

Dunn指数
$$DI=\underset{i\le i\le k}{\min }\left\{\underset{j\ne i}{\min }(\frac{d_{min}(C_i,C_j)}{ma{x}_{1\le l\le k}diam(C_l)})\right\}$$

显然，$DBI$的值越小越好，而$DI$则相反，值越大越好

9.3 距离计算

对函数 dist(·,·)，若它是一个“距离度量”(distance measure)，则需满足些基本性质:非负性、同一性、对称性、直递性

给定样本$x_i=(x_{i1}；x_{i2}；。。。；x_{in})$与$x_j=(x_{j1}；x_{j2}；。。。；x_{jn})$，最常用的是“闵可夫斯基距离”(Minkowski distance)
$$distmk(x_i,x_j)=(\sum _{u=1}^n|x_{iu}-x_{ju}{|}^p{)}^{\frac{1}{p}}$$
p=2时，闵可夫斯基距离即欧氏距离；p=1时，闵可夫斯基距离即曼哈顿距离

我们常将属性划分为“连续属性”(continuous attribute)和“离散属性”(categorical attribute)，前者在定义域上有无穷多个可能的取值，后者在定义域上是有限个取值。

然而，在讨论距离计算时，属性上是否定义了“序”关系更为重要。例如定义域为$1,2,3$的离散属性与连续属性的性质更接近一些能直接在属性值上计算距离:“1”与“2”比较接近、与“3”比较远，这样的属性称为“有序属性”(ordinal attribute)；而定义域为$飞机,火车,轮船$这样的离散属性则不能直接在属性值上计算距离，称为“无序属性”(non-ordinalattribute)。显然，闵可夫斯基距离可用于有序属性，

对于无序属性采用的是VDM，令$m_{u,a}$表示在属性$u$上取值为$a$的样本，$m_{u,a,i}$表示在第$i$个样本簇中在属性$u$上取值为$a$的样本数，$k$为样本簇数，那么属性$u$上两个离散值$a$和$b$之间的VDM距离可定义为：
$$VD{M}_p(a,b)=\sum _{i=1}^k|\frac{m_{u,a,i}}{m_{u,a}}-\frac{m_{u,b,i}}{m_{u,b}}{|}^p$$
于是，将闵可夫斯基距离和 VDM 结合即可处理混合属性。假定有$n_c$个有序属性、$n-n_c$个无序属性，不失一般性，令有序属性排列在无序属性之前，则
$$MinkovD{M}_p(x_i,x_j)=(\sum _{u=1}^{n_c}|x_{iu}-x_{ju}{|}^p+\sum _{u=n_c+1}^{n}VD{M}_p(x_{iu}，x_{ju}){)}^{\frac{1}{p}}$$

然而，用于相似度度量的距离未必一定要满足距离度量的所有基本性质，；这样的距离称为"非度量距离"

9.4 原型聚类

原型聚类亦称“基于原型的聚类”(prototype-based clustering)，此类算法假设聚类结构能通过一组原型刻画，在现实聚类任务中极为常用。通常情形下算法先对原型进行初始化，然后对原型进行迭代更新求解。采用不同的原型表示、不同的求解方式，将产生不同的算法，下面介绍几种著名的原型聚类算法

9.4.1 k均值算法

给定样本集$D$，“k均值”(k-means)算法针对聚类所得簇划分$C=C_1,C_2,..,C_k$最小化平方误差
$$E=\sum _{i=1}^k\sum _{x\in C_i}||x-u_i|{|}_2^2$$
k 均值算法采用了贪心策略，通过迭代优化来近似求解式。算法流程如图 9.2所示

其中第1行对均值向量进行初始化，在第4-8行与第9-16行依次对当前簇划分及均值向量选代更新，若迭代更新后聚类结果保持不变，则在第 18 行将当前簇划分结果返回。

9.4.2 学习向量量化

与k均值算法类似，“学习向量量化”(Learning Vector Quantization,简称 LVQ)也是试图找到一组原型向量来刻画聚类结构，但与一般聚类算法不同的是，LVQ假设数据样本带有类别标记，学习过程利用样本的这些监督信息来辅助聚类。

其算法流程如下图所示：

9.4.3 高斯混合聚类

对$n$维样本空间$X$中的随机向量$x$， 若$x$服从高斯分布，其概率密度函数为
$$p(x)=\frac{1}{(2\pi {)}^{\frac{n}{2}}|\Sigma {|}^{\frac{1}{2}}}{e}^{-\frac{1}{2}(x-u{)}^T{\Sigma }^{-1}(x-u)}$$
将其记为$p(x|\mu ,\sum )$

定义高斯混合分布：
$$p_M(x)=\sum _{i=1}^k{\alpha }_i\cdot p(x|{\mu }_i,{\Sigma }_i)$$
其中$\alpha$为混合系数，该分布共由 k个混合成分组成，每个混合成分对应一个高斯分布。

假设样本的生成过程由高斯混合分布给出:首先，根据 ${\alpha }_1，{\alpha }_2，。。。，{\alpha }_k$定义的先验分布选择高斯混合成分，其中${\alpha }_i$为选择第$i$个混合成分的概率；然后，根据被选择的混合成分的概率密度函数进行采样，从而生成相应的样本。
其算法流程如下：

9.5 密度聚类

密度聚类亦称“基于密度的聚类”(density-based clustering)，此类算法假设聚类结构能通过样本分布的紧密程度确定。通常情形下，密度聚类算法从样本密度的角度来考察样本之间的可连接性，并基于可连接样本不断扩展聚类簇以获得最终的聚类结果。

DBSCAN是一种著名的密度聚类算法，它基于一组“邻域”(neigh-borhood)参数$(ϵ,MinPts)$来刻画样本分布的紧密程度。给定数据集$D=x_1,x_2,...,x_m$，定义下面这几个概念:

ϵ − 邻域，对 x j ∈ D , 其 ϵ − 邻域包含样本集 D 中与 x j 的距离不大于 ϵ 的样本，即 N ϵ ( x j ) = { x i ∈ D ∣ d i s t ( x i , x j ) ≤ ϵ } \epsilon-邻域，对x_j\in D,其\epsilon-邻域包含样本集D中与x_j的距离不大于\epsilon的样本，即N_\epsilon (x_j)=\left \{ x_i\in D|dist(x_i,x_j)\leq \epsilon \right \} ϵ−邻域，对xj​∈D,其ϵ−邻域包含样本集D中与xj​的距离不大于ϵ的样本，即Nϵ​(xj​)={xi​∈D∣dist(xi​,xj​)≤ϵ}
$$核心对象，若x_j的ϵ-邻域至少包含MinPts个样本，即|N_{ϵ}(x_j)|\ge MinPts，则x_j是一个核心对象$$
$$密度直达，若x_j位于x_i的ϵ-邻域中，其x_i是核心对象，则x_i和x_j密度直达$$
$$密度可达，对x_i和x_j，若存在样本序列p_1,p_2,\cdots \cdots ,p_n，其中p_1=x_i,p_n=x_j，且p_{i+1}和p_i密度直达，那么x_i和x_j密度可达$$
$$密度相连，对x_i和x_j，若存在x_k使得x_i和x_j均由x_k密度可达，那么x_i和x_j密度相连$$

上述概念的直观显示:

基于这些概念,DBSCAN将“簇”定义为:由密度可达关系导出的最大的密度相连样本集合.形式化地说,给定邻域参数$(ϵ,MinPts)$,簇$C\subseteq D$是满足连接性和最大性的非空样本子集.

DBSCAN算法先任选数据集中的一个核心对象为“种子”(seed)再由此出发确定相应的聚类簇，算法描述如图9.9所示。在第1-7行中，算法先根据给定的邻域参数$(ϵ,MinPts)$找出所有核心对象；然后在第 10-24 行中以任一核心对象为出发点，找出由其密度可达的样本生成聚类簇，直到所有核心对象均被访问过为止。

9.6 层次聚类

层次聚类(hierarchical clustering)试图在不同层次对数据集进行划分，从而形成树形的聚类结构。数据集的划分可采用“自底向上”的聚合策略，也可采用“自顶向下”的分拆策略。

AGNES 是一种采用自底向上聚合策略的层次聚类算法:它先将数据集中的每个样本看作一个初始聚类簇，然后在算法运行的每一步中找出距离最近的两个聚类簇进行合并，该过程不断重复，直至达到预设的聚类簇个数。这里的关键是如何计算聚类簇之间的距离。实际上，每个簇是一个样本集合，因此，只需采用关于集合的某种距离即可。例如，给定聚类簇$C_i$与$C_j$，可通过下面的式子来计算距离:
最小距离$$d_{min}(C_i,C_j)=\underset{x\in C_i,z\in C_j}{\min }dist(x,z)$$

最大距离$$d_{max}(C_i,C_j)=\underset{x\in C_i,z\in C_j}{\max }dist(x,z)$$

平均距离$$d_{avg}(C_i,C_j)=\frac{1}{|C_i||C_j|}\sum _{x\in C_i}\sum _{z\in C_j}dist(x,z)$$

显然，最小距离由两个簇的最近样本决定，最大距离由两个簇的最远样本决定，而平均距离则由两个簇的所有样本共同决定。

其算法流程如下图所示：