K-平均算法
"k"-均值算法（英文："k"-means clustering）源于信号处理中的一种向量量化方法，现在则更多地作为一种聚类分析方法流行于数据挖掘领域。"k"-平均聚类的目的是：把formula_1个点（可以是样本的一次观察或一个实例）划分到"k"个聚类中，使得每个点都属于离他最近的均值（此即聚类中心）对应的聚类，以之作为聚类的标准。这个问题将归结为一个把数据空间划分为Voronoi cells的问题。
这个问题在计算上是NP困难的，不过存在高效的启发式算法。一般情况下，都使用效率比较高的启发式算法，它们能够快速收敛于一个局部最优解。这些算法通常类似于通过迭代优化方法处理高斯混合分布的最大期望算法（EM算法）。而且，它们都使用聚类中心来为数据建模；然而"k"-平均聚类倾向于在可比较的空间范围内寻找聚类，期望-最大化技术却允许聚类有不同的形状。
"k"-平均聚类与"k"-近邻之间没有任何关系（后者是另一流行的机器学习技术）。
已知观测集formula_2，其中每个观测都是一个formula_3-维实向量，"k"-平均聚类要把这formula_1个观测划分到"k"个集合中(k≤n),使得组内平方和（WCSS within-cluster sum of squares）最小。换句话说，它的目标是找到使得下式满足的聚类formula_5， formula_6 其中formula_7是formula_5中所有点的均值。
虽然其思想能够追溯到1957年的Hugo Steinhaus ，术语“"k"-均值”于1967年才被James MacQueen 首次使用。标准算法则是在1957年被Stuart Lloyd作为一种脉冲码调制的技术所提出，但直到1982年才被贝尔实验室公开出版 。在1965年，E.W.Forgy发表了本质上相同的方法，所以这一算法有时被称为Lloyd-Forgy方法。更高效的版本则被Hartigan and Wong提出（1975/1979）
最常用的算法使用了迭代优化的技术。它被称为"k"-平均算法而广为使用，有时也被称为Lloyd算法（尤其在计算机科学领域）。已知初始的"k"个均值点formula_9,算法的按照下面两个步骤交替进行 因为这一平方和就是平方后的欧氏距离，所以很直观地把观测分配到离它最近的均值点即可 。（数学上，这意味依照由这些均值点生成的Voronoi图来划分上述观测）。 formula_10 其中每个formula_11都只被分配到一个确定的聚类formula_12中，尽管在理论上它可能被分配到2个或者更多的聚类。 formula_13 因为算术平均是最小平方估计，所以这一步同样减小了目标函数组内平方和（WCSS）的值。
这一算法将在对于观测的分配不再变化时收敛。由于交替进行的两个步骤都会减小目标函数WCSS的值，并且分配方案只有有限种，所以算法一定会收敛于某一（局部）最优解。注意：使用这一算法无法保证得到全局最优解。
这一算法经常被描述为“把观测按照距离分配到最近的聚类”。标准算法的目标函数是组内平方和（WCSS），而且按照“最小平方和”来分配观测，确实是等价于按照最小欧氏距离来分配观测的。如果使用不同的距离函数来代替（平方）欧氏距离，可能使得算法无法收敛。然而，使用不同的距离函数，也能得到"k"-均值聚类的其他变体，如球体"k"-均值算法和"k"-中心点算法。
通常使用的初始化方法有Forgy和随机划分(Random Partition)方法
。Forgy方法随机地从数据集中选择"k"个观测作为初始的均值点；而随机划分方法则随机地为每一观测指定聚类，然后运行“更新(Update)”步骤,即计算随机分配的各聚类的图心，作为初始的均值点。Forgy方法易于使得初始均值点散开，随机划分方法则把均值点都放到靠近数据集中心的地方。参考Hamerly et al的文章
，可知随机划分方法一般更适用于"k"-调和均值和模糊"k"-均值算法。对于期望-最大化(EM)算法和标准"k"-均值算法，Forgy方法作为初始化方法的表现会更好一些。
这是一个启发式算法，无法保证收敛到全局最优解，并且聚类的结果会依赖于初始的聚类。又因为算法的运行速度通常很快，所以一般都以不同的起始状态运行多次来得到更好的结果。不过，在最差的情况下，"k"-均值算法会收敛地特别慢：尤其是已经证明了存在这一的点集（甚至在2维空间中），使得"k"-均值算法收敛的时间达到指数级（formula_14）
。好在在现实中，这样的点集几乎不会出现：因为"k"-均值算法的平滑运行时间是多项式时间的
注：把“分配”步骤视为“期望”步骤，把“更新”步骤视为“最大化步骤”，可以看到，这一算法实际上是广义期望-最大化算法（GEM）的一个变体。
在formula_3维空间中找到"k"-均值聚类问题的最优解的计算复杂度：
相比之下，Lloyds算法的运行时间通常为formula_19,"k"和formula_3定义如上，formula_21为直到收敛时的迭代次数。如果数据本身就有一定的聚类结构，那么收敛所需的迭代数目通常是很少的，并且进行少数迭代之后，再进行迭代的话，对于结果的改善效果很小。鉴于上述原因，Lloyds算法在实践中通常被认为几乎是线性复杂度的。
下面有几个关于这一算法复杂度的近期研究：
使得"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聚类要维护一个与输入数据集规模大小相同的数据点集。初始时，这一集合就是输入集的副本。然后对于每一个点，用一定距离范围内的所有点的均值来迭代地替换它。与之对比，"k"-均值把这样的迭代更新限制在（通常比输入数据集小得多的）K个点上，而更新这些点时，则利用了输入集中与之相近的所有点的均值（亦即，在每个点的Voronoi划分内）。还有一种与"k"-均值类似的Mean shift算法，即 似然Mean shift，对于迭代变化的集合，用一定距离内在输入集中所有点的均值来更新集合里的点。Mean Shift聚类与"k"-均值聚类相比，有一个优点就是不用指定聚类数目，因为Mean shift倾向于找到尽可能少的聚类数目。然而，Mean shift会比"k"-均值慢得多，并且同样需要选择一个“宽度”参数。和"k"-均值一样，Mean shift算法有许多变体。 有一些研究表明，"k"-均值的放松形式解（由聚类指示向量表示），可由主成分分析中的主成分给出，并且主成分分析由主方向张成的子空间与聚类图心空间是等价的。不过，主成分分析是"k"-均值聚类的有效放松形式并不是一个新的结果(如，见)，并且还有的研究结果直接揭示了关于“聚类图心子空间是由主成分方向张成的”这一论述的反例 有研究表明，在稀疏假设以及输入数据经过白化的预处理后，"k"-均值得到的解就是独立成分分析的解。这一结果对于解释"k"-均值在特征学习方面的成功应用很有帮助。 "k"-均值算法隐含地假设输入数据的顺序不影响结果。双向过滤与"k"-均值算法和Mean shift算法类似之处在于它同样维护着一个迭代更新的数据集（亦是被均值更新）。然而，双向过滤限制了均值的计算只包含了在输入数据中顺序相近的点，这使得双向过滤能够被应用在图像去噪等数据点的空间安排是非常重要的问题中。 目标函数是使得聚类平方误差最小化的算法还有"k"-中心点算法，该方法保持聚类的中心在一个真实数据点上，亦即使用中心而非图心作为均值点。