引言

从本节开始，将介绍聚类任务，本节将介绍$\text{k-Means}$算法。

回顾：高斯混合模型

高斯混合模型($\text{Gaussian Mixture Model,GMM}$)是一种处理聚类任务的常用模型。作为一种概率生成模型，它的概率图结构可表示为如下形式：

其中隐变量$\mathcal{Z}$是一个离散型随机变量，对应随机变量$\mathcal{X}$的后验结果服从高斯分布：
Z ∼ Categorical Distribution ( 1 , 2 , ⋯   , K ) X ∣ Z ∼ N ( μ k , Σ k ) k ∈ { 1 , 2 , ⋯   , K }

$$egin{aligned} mathcal Z & sim ext{Categorical Distribution}(1,2,cdots,mathcal K) \ mathcal X & mid mathcal Z sim mathcal N(mu_{k},Sigma_{k}) quad k in {1,2,cdots,mathcal K} end{aligned}$$ ZX​∼Categorical Distribution(1,2,⋯,K)∣Z∼N(μk​,Σk​)k∈{1,2,⋯,K}​
从生成模型的角度，高斯混合模型对$\mathcal{P}(\mathcal{X},\mathcal{Z})$进行建模。关于$\mathcal{X}$的概率密度函数$\mathcal{P}(\mathcal{X})$可表示为如下形式：
其中${\mathcal{P}}_{{\mathcal{Z}}_k}$表示隐变量$\mathcal{Z}$选择离散结果$k$时的概率结果;${\mu }_{{\mathcal{Z}}_k},{\Sigma }_{{\mathcal{Z}}_k}$表示对应$\mathcal{X}\mid {\mathcal{Z}}_k$高斯分布的均值和协方差信息。
$$\begin{array}{rl}\mathcal{P}(\mathcal{X})& =\sum _{\mathcal{Z}}\mathcal{P}(\mathcal{X},\mathcal{Z})\\ & =\sum _{\mathcal{Z}}\mathcal{P}(\mathcal{Z})\cdot \mathcal{P}(\mathcal{X}\mid \mathcal{Z})\\ & =\sum _{k=1}^{\mathcal{K}}{\mathcal{P}}_{{\mathcal{Z}}_k}\cdot \mathcal{N}({\mu }_{{\mathcal{Z}}_k},{\Sigma }_{{\mathcal{Z}}_k})\end{array}$$

聚类任务基本介绍

在生成模型综述——监督学习与无监督学习中简单介绍过，聚类($\text{Clustering}$)任务属于无监督学习($\text{Unsupervised Learning}$)任务。无监督学习任务的特点是：样本标签是未知的。而无监督学习的目标是通过学习无标签的样本来揭示数据的内在性质及规律。

而聚类试图将数据集内的样本划分为若干个子集，每个子集称为一个簇($\text{Cluster}$)。从概率/非概率模型的角度划分，概率模型的典型模型是高斯混合模型；而非概率的聚类模型，其主要代表是 $k$均值算法($\text{k-Means}$)。

距离计算

在介绍$\text{k-Means}$算法之前，需要介绍聚类的有效性指标($\text{Vaildity Index}$)。从直观上描述，在聚类的过程我们更希望物以类聚——相同簇的样本尽可能地彼此相似，不同簇的样本尽可能地不同。

对于两个样本点，通常使用计算它们在样本空间中的距离 来描述两样本之间的相似性程度。样本之间距离越小，样本之间的相似性程度越高，反之同理。

已知两个样本$x^{(i)},x^{(j)}$表示如下：
它们均属于$p$维特征空间，即$x^{(i)},x^{(j)}\in {\mathbb{R}}^p$.
{ x ( i ) = ( x 1 ( i ) , x 2 ( i ) , ⋯   , x p ( i ) ) T x ( j ) = ( x 1 ( j ) , x 2 ( j ) , ⋯   , x p ( j ) ) T

$$egin{cases} x^{(i)} = left(x_1^{(i)},x_2^{(i)},cdots,x_p^{(i)} ight)^T \ x^{(j)} = left(x_1^{(j)},x_2^{(j)},cdots,x_p^{(j)} ight)^T end{cases}$$ ⎩ ⎨ ⎧​x(i)=(x1(i)​,x2(i)​,⋯,xp(i)​)Tx(j)=(x1(j)​,x2(j)​,⋯,xp(j)​)T​
关于描述样本$x^{(i)},x^{(j)}$之间的距离，最常用的方法是明可夫斯基距离($\text{Minkowski Distance}$)：
其中参数$m\ge 1$.
$${\text{Dist}}_{\text{mk}}(x^{(i)},x^{(j)})={\left(\sum _{k=1}^p{\left|x_k^{(i)}-x_k^{(j)}\right|}^m\right)}^{\frac{1}{m}}$$
当$m=2$时的明可夫斯基距离即欧几里得距离($\text{Euclidean Distance}$)，也称欧式距离：
$$\begin{array}{rl}{\text{Dist}}_{\text{ed}}(x^{(i)},x^{(j)})& ={\left(\sum _{k=1}^p{\left|x_k^{(i)}-x_k^{(j)}\right|}^2\right)}^{\frac{1}{2}}\\ & =\sqrt{\sum _{k=1}^p{\left|x_k^{(i)}-x_k^{(j)}\right|}^2}\\ & ={\left|\left|x^{(i)}-x^{(j)}\right|\right|}_2\end{array}$$
当$m=1$时的明可夫斯基距离即曼哈顿距离($\text{Manhattan Distance}$)：
$$\begin{array}{rl}{\text{Dist}}_{\text{man}}& =\sum _{k=1}^p\left|x_k^{(i)}-x_k^{(j)}\right|\\ & ={\left|\left|x^{(i)}-x^{(j)}\right|\right|}_1\end{array}$$

$\text{k-Means}$算法介绍

给定一个样本集合 D = { x ( 1 ) , x ( 2 ) , ⋯   , x ( N ) } mathcal D = {x^{(1)},x^{(2)},cdots,x^{(N)}} D={x(1),x(2),⋯,x(N)}，并设定簇的数量 C = { C 1 , C 2 , ⋯   , C K } mathcal C = {C_1,C_2,cdots,C_{mathcal K}} C={C1​,C2​,⋯,CK​}，那么目标函数可描述成：对所有的簇，各簇内样本到均值向量之间的距离之和：
{ E = ∑ k = 1 K ∑ x ∈ C k Dist ( x , μ k ) μ k = 1 ∣ C k ∣ ∑ x ∈ C k x

$$egin{cases} mathbb E = sum_{k=1}^{mathcal K} sum_{x in C_k} ext{Dist}(x,mu_k) \ mu_{k} = frac{1}{|C_k|} sum_{x in C_k} x end{cases}$$ {E=∑k=1K​∑x∈Ck​​Dist(x,μk​)μk​=∣Ck​∣1​∑x∈Ck​​x​
其中${\mu }_k$表示簇$C_k$的均值向量。观察上式，${\sum }_{x\in C_k}\text{Dist}(x,{\mu }_k)$描述了簇$C_k$内样本围绕${\mu }_k$的紧密程度：

• 如果${\sum }_{x\in C_k}\text{Dist}(x,{\mu }_k)$较小，那么簇$C_k$内样本的紧密程度就高；
• 同理，如果${\sum }_{k=1}^{\mathcal{K}}{\sum }_{x\in C_k}\text{Dist}(x,{\mu }_k)$小，意味着各个簇内样本的紧密程度都较高，从而达到样本分类的目的。

如果想要通过这种方式去寻找各簇对应的${\mu }_k$，这明显是一个$\text{NP-Hard}$问题：均值向量${\mu }_k$可能并不是某个真实的样本点，因而它有无穷多种可能；虽然在给定样本的条件下，各簇对应的${\mu }_k$是客观存在的，但相应寻找的代价是极高的。
假设在当前样本条件下，找到了最优的簇对应的${\mu }_k$,但样本自身是存在噪声的，如果新加入样本进来，可能会使${\mu }_k$产生变化。

那么$\text{k-Means}$方法采用贪心策略，通过迭代的方式去近似求解$\mathbb{E}={\sum }_{k=1}^{\mathcal{K}}{\sum }_{x\in C_k}\text{Dist}(x,{\mu }_k)$的最小值。下面通过实例使用$\text{k-Means}$算法进行近似求解。
示例转载自K-means 算法【基本概念篇】非常感谢，侵删。

$\text{k-Means}$算法示例

已知包含二维特征的数据集合$\mathcal{D}$表示如下，并针对该集合使用$\text{k-Means}$算法执行聚类任务：
$$\mathcal{D}=\{(2,10),(2,5),(8,4),(5,8),(7,5),(6,4),(1,2),(4,9)\}$$
对应二维图像表示如下：

• 假设将上述集合内的样本点划分成三类，因此需要选择三个类对应的初始中心。这里我们从集合中随机选择样本点作为初始中心(上图中的橙色样本点)：
  当然，并不是说‘初始中心’就必须在样本中进行选择，实际上只要是样本空间中任意点都可作为初始中心。
  $${\mu }_1^{(init)}=(2,10){\mu }_2^{(init)}=(5,8){\mu }_3^{(init)}=(1,2)$$
• 对两样本点之间的距离$\text{Dist}(x^{(i)},x^{(j)});x^{(i)},x^{(j)}\in \mathcal{D}$进行定义。由于样本比较简单，这里直接定义为曼哈顿距离：
  $$\rho [x^{(i)},x^{(j)}]=\left|x_1^{(i)}-x_1^{(j)}\right|+\left|x_2^{(i)}-x_2^{(j)}\right|\{\begin{array}{l}{x}^{(i)}=(x_1^{(i)},x_2^{(i)}{)}^T\\ x^{(j)}=(x_1^{(j)},x_2^{(j)}{)}^T\end{array}$$
• 定义完毕后，将所有样本点分别与三个初始中心计算曼哈顿距离。具体结果表示如下：
  示例：样本点$(5,8)$与初始中心$(2,10)$之间的曼哈顿距离
  $$\rho =|5-2|+|8-10|=5$$
  选择距离最小的初始中心，并划分至该初始中心对应的簇。

至此，得到了第一次迭代产生的聚类结果表示如下：
{ Cluster 1:  ( 2 , 10 ) Cluster 2:  ( 8 , 4 ) , ( 5 , 8 ) , ( 7 , 5 ) , ( 6 , 4 ) , ( 4 , 9 ) Cluster 3:  ( 2 , 5 ) , ( 1 , 2 )

$$egin{cases} ext{Cluster 1: }(2,10) \ ext{Cluster 2: }(8,4),(5,8),(7,5),(6,4),(4,9) \ ext{Cluster 3: }(2,5),(1,2) \ end{cases}$$ ⎩ ⎨ ⎧​Cluster 1: (2,10)Cluster 2: (8,4),(5,8),(7,5),(6,4),(4,9)Cluster 3: (2,5),(1,2)​

• 基于第一次迭代，重新计算每个聚类的中心，并替换初始中心：

  • $\text{Cluster 1: }$本次聚类中，该类样本点只有1个，因而新的聚类中心就是它自身；
  • $\text{Cluster 2: }(6,6)\Leftarrow \{\begin{array}{l}{\bar{x}}_1=(4+5+6+7+8)/5=6\\ {\bar{x}}_2=(4+4+5+8+9)/5=6\end{array}$
  • $\text{Cluster 3: }(1.5,3.5)\Leftarrow \{\begin{array}{l}(2+1)/2=1.5\\ (5+2)/2=3.5\end{array}$

  此时，基于替换中心的样本空间以及聚类区域表示如下(红色样本点表示第一次迭代后的新聚类中心)：

• 重复执行上述步骤，可以得到新的聚类中心以及对应的簇。直到聚类中心不再发生变化，这意味着：在迭代过程中，通过计算聚类中心所产生的簇内部的样本点已经稳定，不再发生变化。此时即可停止算法：
  

$\text{k-Means}$算法与高斯混合模型的关系

从上面的迭代过程中，可以发现：整个计算过程与概率没有明显的关联关系。我们仅仅在迭代过程中执行了计算距离并比较大小、更新聚类中心这两种操作。

但从单个样本点的角度，可以将其视作高斯混合模型的一种描述。以样本点$(2,5)$为例，对该样本到各聚类中心之间的距离进行计算，并将其映射至(0,1)区间：
注意：这里的箭头表示的是‘欧式距离’，而不是曼哈顿距离。这里仅表示一个指向，不要被误导。

注意：距离数值越小的，映射的结果越大。这意味着样本点与该聚类中心对应的簇关联更加密切。因而这里使用的标准化方法表示如下。其中$N$表示簇的个数;$\text{SumDistance}$表示样本到所有聚类中心的$\text{ManhattanDistance}$之和。
$$\text{MappingResult}=\frac{1}{N-1}(1-\frac{\text{ManhattanDistance}}{\text{SumDistance}})$$
这里的标准化方法仅仅描述映射后的大小关系，严格来说并不准确。这里推荐一种函数$\text{Softmax}(\frac{1}{\text{ManhanttanDistance}})$作为参考。

观察上述表格的$\text{MappingResult}$，完全可以将这一组数值$\mathcal{P}(\mathcal{Z})=[0.4253,0.5868,0.2879]$看作是一个概率分布。该概率分布中概率值最大的是对应聚类中心$(1.5,3.5)$对应的簇结果。
另一种思路在于：此时的聚类中心已经不是样本点了，此时的聚类中心在样本空间中已经没有任何实际意义，也符合隐变量的描述。

而样本点在给定聚类中心$\mathcal{Z}$的条件下，那么样本点$x^{(i)}\mid \mathcal{Z}$服从高斯分布。因为该样本点距离聚类中心越近，意味着它从该簇中生成的概率越高。因而可将$\text{k-Means}$视作一种基于高斯混合模型思想的硬划分模型($\text{Hard-GMM}$)。

$\text{k-Means}$算法的缺陷

虽然$\text{k-Means}$算法简单，但它同样存在缺陷：

• 我们需要手动添加聚类数量。这需要对样本信息有一定程度的了解，聚类数量的选择对聚类结果的影响是巨大的；
• 它对于聚类分布紧密($\text{Compactness}$)的样本集合有不错的聚类效果，如簇是凸形状($\text{Convex}$)这种类似云团状的分布结构：

import matplotlib.pyplot as plt
from sklearn import datasets
from sklearn import cluster

n_samples = 500
colors = ["tab:blue","tab:orange","tab:green"]
blobs = datasets.make_blobs(n_samples=n_samples, random_state=8)

X,y = blobs
KMeans = cluster.MiniBatchKMeans(n_clusters=3)
KMeans.fit(X)
yPred = KMeans.predict(X)

for _,(XElement,yPredElement) in enumerate(zip(X,yPred)):
    plt.scatter(XElement[0],XElement[1],color=colors[yPredElement],s=5)
plt.show()

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

返回结果如下：

但针对连通性($\text{Connectivity}$)簇分布，它的聚类结果可能并不漂亮：
我们原本希望将大圆与小圆中的样本划分开来;不仅k-Means出现这样的现象，高斯混合模型同样会出现这种现象。

blobs = datasets.make_circles(n_samples=n_samples, factor=0.5, noise=0.05)
1

关于这种结构，在核方法思想与核函数介绍中提到过，使用核方法 + $\text{k-Means}$的方式进行处理，但这种方式同样因维度增加而可能出现维度诅咒/维度惩罚($\text{Curse of Dimensionary}$)的风险。因此，针对类似连通类型的簇分布，$\text{k-Means}$并不可取。

下一节从$\text{k-Means}$的缺陷开始，介绍谱聚类($\text{Spectral Clusting}$)。

相关参考：
机器学习-谱聚类（1）-背景介绍
K-means 算法【基本概念篇】
$\text{Sklearn}$中文文档——K-means
机器学习——周志华著