| 机器学习与 |
| --- |
| 散点图展示了线性支持向量机核函數的决策边界（虚线） |
| 范式
* 监督学习
* 無監督學習
* 線上機器學習
* 元学习（英语：）
* 半监督学习
* 自监督学习
* 强化学习
* 基于规则的机器学习（英语：）
* 量子機器學習
 |
| 问题
* 统计分类
* 生成模型
* 迴歸分析
* 聚类分析
* 降维
* 密度估计（英语：）
* 异常检测
* 数据清洗
* 自动机器学习
* 关联规则学习
* 語意分析
* 结构预测（英语：）
* 特征工程
* 表征学习
* 排序学习（英语：）
* 语法归纳（英语：）
* 本体学习（英语：）
* 多模态学习（英语：）
 |
| 监督学习(**分类** · **回归**)
* 学徒学习（英语：）
* 决策树学习
* 集成学习
	+ Bagging
	+ 提升方法
	+ 随机森林
* *k*-NN
* 線性回歸
* 朴素贝叶斯
* 人工神经网络
* 邏輯迴歸
* 感知器
* 相关向量机（RVM）
* 支持向量机（SVM）
 |
| 聚类分析
* BIRCH
* CURE算法（英语：）
* 层次
* *k*-平均
* Fuzzy
* 期望最大化（EM）
* DBSCAN
* OPTICS
* 均值飘移（英语：）
 |
| 降维
* 因素分析
* CCA
* ICA
* LDA
* NMF（英语：）
* PCA
* PGD（英语：）
* t-SNE（英语：）
* SDL
 |
| 结构预测（英语：）
* 圖模式
	+ 貝氏網路
	+ 條件隨機域
	+ 隐马尔可夫模型
 |
| 异常检测
* RANSAC
* *k*-NN
* 局部异常因子（英语：）
* 孤立森林（英语：）
 |
| 人工神经网络
* 自编码器
* 認知計算
* 深度学习
* DeepDream（英语：）
* 多层感知器
* RNN
	+ LSTM
	+ GRU（英语：）
	+ ESN（英语：）
	+ 储备池计算（英语：）
* 受限玻尔兹曼机
* GAN
* SOM
* 卷积神经网络
	+ U-Net
* Transformer
	+ Vision transforme（英语：）
* 脉冲神经网络（英语：）
* Memtransistor（英语：）
* 电化学RAM（英语：）（ECRAM）
 |
| 强化学习
* Q学习
* SARSA
* 时序差分（TD）
* 多智能体（英语：）
	+ Self-play（英语：）
 |
| 与人类学习
* 主动学习（英语：）
* 众包
* Human-in-the-loop（英语：）
 |
| 模型诊断
* 学习曲线（英语：）
 |
| 数学基础
* 内核机器（英语：）
* 偏差–方差困境（英语：）
* 计算学习理论（英语：）
* 经验风险最小化
* 奥卡姆学习（英语：）
* PAC学习（英语：）
* 统计学习
* VC理论
 |
| 大会与出版物
* NeurIPS
* ICML（英语：）
* ICLR
* ML（英语：）
* JMLR（英语：）
 |
| 相关条目
* 人工智能术语（英语：）
* 机器学习研究数据集列表（英语：）
* 机器学习概要（英语：）
 |
| * 
* 论
* 编
 |

***k*-均值算法**（英文：*k*-means clustering）源于信号处理中的一种向量量化方法，现在则更多地作为一种聚类分析方法流行于数据挖掘领域。*k*-平均聚类的目的是：把n个点（可以是样本的一次观察或一个实例）划分到*k*个聚类中，使得每个点都属于离他最近的均值（此即聚类中心）对应的聚类，以之作为聚类的标准。这个问题将归结为一个把数据空间划分为Voronoi cells的问题。

这个问题在计算上是NP困难的，不过存在高效的启发式算法。一般情况下，都使用效率比较高的启发式算法，它们能够快速收敛于一个局部最优解。这些算法通常类似于通过迭代优化方法处理高斯混合分布的最大期望算法（EM算法）。而且，它们都使用聚类中心来为数据建模；然而*k*-平均聚类倾向于在可比较的空间范围内寻找聚类，期望-最大化技术却允许聚类有不同的形状。

*k*-平均聚类与*k*-近邻之间没有任何关系（后者是另一流行的机器学习技术）。

描述
--

已知观测集(x\_{1},x\_{2},...x\_{n})，其中每个观测都是一个d-维实向量，*k*-平均聚类要把这n个观测划分到*k*个集合中(k≤n),使得组内平方和（WCSS within-cluster sum of squares）最小。换句话说，它的目标是找到使得下式满足的聚类S\_{i}，

{\underset {{\mathbf {S}}}{\operatorname {arg\,min}}}\sum \_{{i=1}}^{{k}}\sum \_{{{\mathbf x}\in S\_{i}}}\left\|{\mathbf x}-{\boldsymbol \mu }\_{i}\right\|^{2}
其中\mu \_{i}是S\_{i}中所有点的均值。

历史源流
----

虽然其思想能够追溯到1957年的胡戈·施泰因豪斯（英语：）
 
，术语"*k*-均值"于1967年才被詹姆斯·麥昆（James MacQueen）
 
首次使用。标准算法则是在1957年被史都華·勞埃德（Stuart Lloyd）作为一种脉冲码调制的技术所提出，但直到1982年才被贝尔实验室公开出版
 
。在1965年，E·W·弗吉（E. W. Forgy）发表了本质上相同的方法，所以这一算法有时被称为勞埃德-弗吉方法。更高效的版本则被J·A·哈蒂根（J. A. Hartigan）和M·A·王（M. A. Wong）提出（1975/1979）
。

算法
--

### 标准算法

最常用的算法使用了迭代优化的技术。它被称为*k*-平均算法而广为使用，有时也被称为Lloyd算法（尤其在计算机科学领域）。已知初始的*k*个均值点{\displaystyle m\_{1}^{(t)},...m\_{k}^{(t)}},算法的按照下面两个步骤交替进行

：

* 分配(Assignment)：将每个观测分配到聚类中，使得组内平方和（WCSS）达到最小。

因为这一平方和就是平方后的欧氏距离，所以很直观地把观测分配到离它最近的均值点即可
 
。（数学上，这意味依照由这些均值点生成的Voronoi图来划分上述观测）。

S\_{i}^{{(t)}}=\left\{x\_{p}:\left\|x\_{p}-m\_{i}^{{(t)}}\right\|^{2}\leq \left\|x\_{p}-m\_{j}^{{(t)}}\right\|^{2}\forall j,1\leq j\leq k\right\}
其中每个x\_{p}都只被分配到一个确定的聚类S^{{t}}中，尽管在理论上它可能被分配到2个或者更多的聚类。

* 更新(Update)：对于上一步得到的每一个聚类，以聚类中观测值的图心，作为新的均值点。

m\_{i}^{{(t+1)}}={\frac {1}{\left|S\_{i}^{{(t)}}\right|}}\sum \_{{x\_{j}\in S\_{i}^{{(t)}}}}x\_{j}
因为算术平均是最小平方估计，所以这一步同样减小了目标函数组内平方和（WCSS）的值。

这一算法将在对于观测的分配不再变化时收敛。由于交替进行的两个步骤都会减小目标函数WCSS的值，并且分配方案只有有限种，所以算法一定会收敛于某一（局部）最优解。注意：使用这一算法无法保证得到全局最优解。

这一算法经常被描述为"把观测按照距离分配到最近的聚类"。标准算法的目标函数是组内平方和（WCSS），而且按照"最小平方和"来分配观测，确实是等价于按照最小欧氏距离来分配观测的。如果使用不同的距离函数来代替（平方）欧氏距离，可能使得算法无法收敛。然而，使用不同的距离函数，也能得到*k*-均值聚类的其他变体，如球体*k*-均值算法和*k*-中心点算法。

### 初始化方法

通常使用的初始化方法有Forgy和随机划分(Random Partition)方法

。Forgy方法随机地从数据集中选择*k*个观测作为初始的均值点；而随机划分方法则随机地为每一观测指定聚类，然后运行"更新(Update)"步骤,即计算随机分配的各聚类的图心，作为初始的均值点。Forgy方法易于使得初始均值点散开，随机划分方法则把均值点都放到靠近数据集中心的地方。参考Hamerly et al的文章

，可知随机划分方法一般更适用于*k*-调和均值和模糊*k*-均值算法。对于期望-最大化(EM)算法和标准*k*-均值算法，Forgy方法作为初始化方法的表现会更好一些。

这是一个启发式算法，无法保证收敛到全局最优解，并且聚类的结果会依赖于初始的聚类。又因为算法的运行速度通常很快，所以一般都以不同的起始状态运行多次来得到更好的结果。不过，在最差的情况下，*k*-均值算法会收敛地特别慢：尤其是已经证明了存在这一的点集（甚至在2维空间中），使得*k*-均值算法收敛的时间达到指数级（2^{{\Omega (n)}}）

。好在在现实中，这样的点集几乎不会出现：因为*k*-均值算法的平滑运行时间是多项式时间的

。

注：把"分配"步骤视为"期望"步骤，把"更新"步骤视为"最大化步骤"，可以看到，这一算法实际上是广义期望-最大化算法（GEM）的一个变体。

复杂度
---

在d维空间中找到*k*-均值聚类问题的最优解的计算复杂度：

* NP-hard：一般欧式空间中，即使目标聚类数仅为2
* NP困难：平面中，不对聚类数目*k*作限制
* 如果*k*和d都是固定的，时间复杂度为O(n^{{dk+1}}logn),其中n为待聚类的观测点数目

相比之下，Lloyds算法的运行时间通常为O(nkdi),*k*和d定义如上，i为直到收敛时的迭代次数。如果数据本身就有一定的聚类结构，那么收敛所需的迭代数目通常是很少的，并且进行少数迭代之后，再进行迭代的话，对于结果的改善效果很小。鉴于上述原因，Lloyds算法在实践中通常被认为几乎是线性复杂度的。

下面有几个关于这一算法复杂度的近期研究：

* Lloyd's *k*-均值算法具有多项式平滑运行时间。对于落在空间[0,1]^{d}任意的n点集合，如果每一个点都独立地受一个均值为{\displaystyle 0}，标准差为\sigma 的正态分布所影响，那么*k*-均值算法的期望运行时间上界为O(n^{{34}}k^{{34}}d^{{8}}log^{4}(n)/\sigma ^{6})，即对于n,k,i,d和1/\sigma 都是多项式时间的。
* 在更简单的情况下，有更好的上界。例如，在整数网格\left\{1,...M\right\}^{d}中，*k*-均值算法运行时间的上界为O(dn^{4}M^{2})。

算法的变体
-----

更多的讨论
-----

使得*k*-均值算法效率很高的两个关键特征同时也被经常被视为它最大的缺陷：

* 聚类数目*k*是一个输入参数。选择不恰当的*k*值可能会导致糟糕的聚类结果。这也是为什么要进行特征检查来决定数据集的聚类数目了。
* 收敛到局部最优解，可能导致"反直观"的错误结果。

*k*-均值算法的一个重要的局限性即在于它的聚类模型。这一模型的基本思想在于：得到相互分离的球状聚类，在这些聚类中，均值点趋向收敛于聚类中心。
一般会希望得到的聚类大小大致相当，这样把每个观测都分配到离它最近的聚类中心（即均值点）就是比较正确的分配方案。

*k*-均值聚类的结果也能理解为由均值点生成的Voronoi cells。

相关应用
----

*k*-均值聚类（尤其是使用如Lloyd's算法的启发式方法的聚类）即使是在巨大的数据集上也非常容易部署实施。正因为如此，它在很多领域都得到成功的应用，如市场划分、机器视觉、 地质统计学、天文学和农业等。它经常作为其他算法的预处理步骤，比如要找到一个初始设置。

### 向量的量化

条目：向量量化
*k*-均值起源于信号处理领域，并且现在也能在这一领域找到应用。例如在计算机图形学中，色彩量化的任务，就是要把一张图像的色彩范围减少到一个固定的数目*k*上来。*k*-均值算法就能很容易地被用来处理这一任务，并得到不错的结果。其它得向量量化的例子有非随机抽样，在这里，为了进一步的分析，使用*k*-均值算法能很容易的从大规模数据集中选出*k*个合适的不同观测。

### 聚类分析

条目：聚类分析
在聚类分析中，*k*-均值算法被用来将输入数据划分到*k*个部分(聚类)中。
然而，纯粹的*k*-均值算法并不是非常灵活，同样地，在使用上有一定局限（不过上面说到的向量量化，确实是一个理想的应用场景）。特别是，当没有额外的限制条件时，参数*k*是很难选择的（正如上面讨论过的一样）。算法的另一个限制就是它不能和任意的距离函数一起使用、不能处理非数值数据。而正是为了满足这些使用条件，许多其他的算法才被发展起来。

### 特征学习

在（半）监督学习或无监督学习中，*k*-均值聚类被用来进行特征学习（或字典学习）步骤。基本方法是，首先使用输入数据训练出一个*k*-均值聚类表示，然后把任意的输入数据投射到这一新的特征空间。
*k*-均值的这一应用能成功地与自然语言处理和计算机视觉中半监督学习的简单线性分类器结合起来。在对象识别任务中，它能展现出与其他复杂特征学习方法（如自动编码器、受限Boltzmann机等）相当的效果。然而，相比复杂方法，它需要更多的数据来达到相同的效果，因为每个数据点都只贡献了一个特征（而不是多重特征）。

与其他统计机器学习方法的关系
--------------

*k*-均值聚类，以及它与EM算法的联系，是高斯混合模型的一个特例。很容易能把*k*-均值问题一般化为高斯混合模型。另一个*k*-均值算法的推广则是*k*-SVD算法，后者把数据点视为"编码本向量"的稀疏线性组合。而*k*-均值对应于使用单编码本向量的特殊情形（其权重为1）。

### Mean Shift 聚类

基本的Mean Shift聚类要维护一个与输入数据集规模大小相同的数据点集。初始时，这一集合就是输入集的副本。然后对于每一个点，用一定距离范围内的所有点的均值来迭代地替换它。与之对比，*k*-均值把这样的迭代更新限制在（通常比输入数据集小得多的）K个点上，而更新这些点时，则利用了输入集中与之相近的所有点的均值（亦即，在每个点的Voronoi划分内）。还有一种与*k*-均值类似的Mean shift算法，即 似然Mean shift，对于迭代变化的集合，用一定距离内在输入集中所有点的均值来更新集合里的点。Mean Shift聚类与*k*-均值聚类相比，有一个优点就是不用指定聚类数目，因为Mean shift倾向于找到尽可能少的聚类数目。然而，Mean shift会比*k*-均值慢得多，并且同样需要选择一个"宽度"参数。和*k*-均值一样，Mean shift算法有许多变体。

### 主成分分析（PCA）

有一些研究表明，*k*-均值的放松形式解（由聚类指示向量表示），可由主成分分析中的主成分给出，并且主成分分析由主方向张成的子空间与聚类图心空间是等价的。不过，主成分分析是*k*-均值聚类的有效放松形式并不是一个新的结果(如，见)，并且还有的研究结果直接揭示了关于"聚类图心子空间是由主成分方向张成的"这一论述的反例
。

### 独立成分分析(ICA)

有研究表明，在稀疏假设以及输入数据经过白化的预处理后，*k*-均值得到的解就是独立成分分析的解。这一结果对于解释*k*-均值在特征学习方面的成功应用很有帮助。

### 双向过滤

*k*-均值算法隐含地假设输入数据的顺序不影响结果。双向过滤与*k*-均值算法和Mean shift算法类似之处在于它同样维护着一个迭代更新的数据集（亦是被均值更新）。然而，双向过滤限制了均值的计算只包含了在输入数据中顺序相近的点，这使得双向过滤能够被应用在图像去噪等数据点的空间安排是非常重要的问题中。

相似问题
----

目标函数是使得聚类平方误差最小化的算法还有*k*-中心点算法，该方法保持聚类的中心在一个真实数据点上，亦即使用中心而非图心作为均值点。

参考资料
----

1. ↑  Steinhaus, H.. Bull. Acad. Polon. Sci. 1957, **4** (12): 801–804. MR 0090073. Zbl 0079.16403 （法语）.
2. ↑  MacQueen, J. B.. Proceedings of 5th Berkeley Symposium on Mathematical Statistics and Probability **1**. University of California Press: 281–297. 1967  [2009-04-07]. MR 0214227. Zbl 0214.46201. （原始内容存档于2019-10-29）.
3. ↑  Lloyd, S. P.. Bell Telephone Laboratories Paper. 1957.  Published in journal much later:
Lloyd. S. P.  (PDF). IEEE Transactions on Information Theory. 1982, **28** (2): 129–137  [2009-04-15]. doi:10.1109/TIT.1982.1056489. （原始内容存档 (PDF)于2009-06-17）.
4. ↑  E.W. Forgy.. Biometrics. 1965, **21**: 768–769.
5. ↑  J.A. Hartigan.. John Wiley & Sons, Inc. 1975.
6. ↑  Hartigan, J. A.; Wong, M. A.. Journal of the Royal Statistical Society, Series C. 1979, **28** (1): 100–108. JSTOR 2346830.
7. ↑  MacKay, David.  (PDF).. Cambridge University Press. 2003: 284–292  [2015-04-02]. ISBN 0-521-64298-1. MR 2012999. （原始内容存档于2016-02-17）.
8. ↑  Since the square root is a monotone function, this also is the minimum Euclidean distance assignment.
9. 1 2  Hamerly, G. and Elkan, C.  (PDF).. 2002  [2015-04-02]. （原始内容 (PDF)存档于2012-08-05）.
10. ↑  Vattani. A.  (PDF). Discrete and Computational Geometry. 2011, **45** (4): 596–616  [2015-04-02]. doi:10.1007/s00454-011-9340-1. （原始内容存档 (PDF)于2011-10-08）.
11. 1 2  Arthur, D.; Manthey, B.; Roeglin, H.. . 2009.
12. ↑  Aloise, D.; Deshpande, A.; Hansen, P.; Popat, P.. Machine Learning. 2009, **75**: 245–249. doi:10.1007/s10994-009-5103-0.
13. ↑  
Dasgupta, S. and Freund, Y.. Information Theory, IEEE Transactions on. July 2009, **55**: 3229–3242. arXiv:0805.1390 可免费查阅. doi:10.1109/TIT.2009.2021326.
14. ↑  Mahajan, M.; Nimbhorkar, P.; Varadarajan, K.. Lecture Notes in Computer Science. 2009, **5431**: 274–285. doi:10.1007/978-3-642-00202-1\_24.
15. ↑  
Inaba, M.; Katoh, N.; Imai, H.. Proceedings of 10th ACM Symposium on Computational Geometry: 332–339. 1994. doi:10.1145/177424.178042.
16. ↑  Arthur; Abhishek Bhowmick.  (学位论文). 2009. []
17. ↑  Honarkhah, M and Caers, J, 2010, *Stochastic Simulation of Patterns Using Distance-Based Pattern Modeling*, Mathematical Geosciences, 42: 487 - 517
18. ↑  Coates, Adam; Ng, Andrew Y.  (PDF). G. Montavon, G. B. Orr, K.-R. Müller (编).. Springer. 2012  [2015-04-02]. （原始内容 (PDF)存档于2013-07-06）.
19. ↑  Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP..  3rd. New York: Cambridge University Press. 2007  [2015-04-02]. ISBN 978-0-521-88068-8. （原始内容存档于2011-08-11）.
20. ↑  Template:Cite Journal
21. 1 2  Little, M.A.; Jones, N.S.  (PDF). Proceedings of the Royal Society A. 2011  [2015-04-02]. （原始内容存档 (PDF)于2019-08-19）.
22. ↑  H. Zha, C. Ding, M. Gu, X. He and H.D. Simon.  (PDF). Neural Information Processing Systems vol.14 (NIPS 2001) (Vancouver, Canada). Dec 2001: 1057–1064  [2015-04-02]. （原始内容存档 (PDF)于2020-09-30）.
23. ↑  Chris Ding and Xiaofeng He.  (PDF). Proc. of Int'l Conf. Machine Learning (ICML 2004). July 2004: 225–232  [2015-04-02]. （原始内容存档 (PDF)于2020-09-30）.
24. ↑  Drineas, P.; A. Frieze; R. Kannan; S. Vempala; V. Vinay.  (PDF). Machine learning. 2004, **56**: 9–33  [2012-08-02]. doi:10.1023/b:mach.0000033113.59016.96. （原始内容存档 (PDF)于2020-10-24）.
25. ↑  Cohen, M.; S. Elder; C. Musco; C. Musco; M. Persu.. ArXiv. 2014  [2014-11-29]. （原始内容存档于2020-08-06）.
26. ↑  Alon Vinnikov and Shai Shalev-Shwartz.  (PDF). Proc. of Int'l Conf. Machine Learning (ICML 2014). 2014  [2015-04-02]. （原始内容存档 (PDF)于2020-11-26）.

外部链接
----

* Numerical Example of *k*-means clustering （页面存档备份，存于）
* Application example which uses *k*-means clustering to reduce the number of colors in images （页面存档备份，存于）
* Interactive demo of the *k*-means-algorithm(Applet) （页面存档备份，存于）
* An example of multithreaded application which uses *k*-means in Java
* *k*-means application in php
* *k*-means application in image retrieval
* Another animation of the *k*-means-algorithm （页面存档备份，存于）